1 /* 2 * Copyright (c) 2012-2019 The ANTLR Project. All rights reserved. 3 * Use of this file is governed by the BSD 3-clause license that 4 * can be found in the LICENSE.txt file in the project root. 5 */ 6 7 module antlr.v4.runtime.misc.IntegerList; 8 9 import antlr.v4.runtime.IllegalArgumentException; 10 import std.conv; 11 import std.format; 12 import std.range; 13 import std.typecons; 14 15 /** 16 * A buffert list of interger values 17 */ 18 class IntegerList 19 { 20 21 /** 22 * @uml 23 * @read 24 */ 25 public int[] data_; 26 27 public this() 28 { 29 } 30 31 public this(int capacity) 32 { 33 if (capacity < 0) { 34 throw new IllegalArgumentException("Capacity can't be a negativ value!"); 35 } 36 if (capacity) 37 { 38 data_.reserve(capacity); 39 } 40 } 41 42 public this(IntegerList list) 43 { 44 data_ = list.data; 45 //size_ = list.size; 46 } 47 48 public this(int[] list) 49 { 50 foreach (value; list) { 51 add(value); 52 } 53 } 54 55 /** 56 * @uml 57 * @final 58 */ 59 public final void add(int value) 60 { 61 data_ ~= value; 62 } 63 64 /** 65 * @uml 66 * @final 67 */ 68 public final void addAll(int[] array) 69 { 70 foreach (value; array) { 71 add(value); 72 } 73 } 74 75 public void addAll(IntegerList list) 76 { 77 foreach (value; list.data) { 78 add(value); 79 } 80 } 81 82 /** 83 * @uml 84 * @final 85 */ 86 public final int get(int index) 87 in 88 { 89 assert(index >= 0 || index < data_.length); 90 } 91 do 92 { 93 return data_[index]; 94 } 95 96 /** 97 * @uml 98 * @final 99 */ 100 public final bool contains(int value) 101 { 102 import std.algorithm.searching : canFind; 103 return data_.canFind(value); 104 } 105 106 /** 107 * @uml 108 * @final 109 */ 110 public final int set(int index, int value) 111 in 112 { 113 assert(index >= 0 || index < data_.length); 114 } 115 do 116 { 117 int previous = data_[index]; 118 data_[index] = value; 119 return previous; 120 } 121 122 /** 123 * @uml 124 * @final 125 */ 126 public final int removeAt(int index) 127 { 128 int value = get(index); 129 import std.algorithm.mutation : remove; 130 data_ = remove(data_, index); 131 return value; 132 } 133 134 /** 135 * @uml 136 * @final 137 */ 138 public final void removeRange(int fromIndex, int toIndex) 139 in 140 { 141 assert(fromIndex >= 0 || toIndex >= 0 || fromIndex <= data_.length || toIndex <= data_.length, "IndexOutOfBoundsException"); 142 assert(fromIndex <= toIndex, "IllegalArgumentException"); 143 } 144 do 145 { 146 import std.algorithm.mutation : remove; 147 data_ = remove(data_, tuple(fromIndex, toIndex+1)); 148 } 149 150 /** 151 * @uml 152 * @final 153 */ 154 public final bool isEmpty() 155 { 156 return data_.length == 0; 157 } 158 159 /** 160 * @uml 161 * @final 162 */ 163 public final int size() 164 { 165 return to!int(data_.length); 166 } 167 168 /** 169 * @uml 170 * @final 171 * @property 172 */ 173 public final @property void clear() 174 { 175 data_.length = 0; 176 } 177 178 /** 179 * @uml 180 * @final 181 * @property 182 */ 183 public final @property int[] toArray() 184 { 185 return data_; 186 } 187 188 public void sort() 189 { 190 import std.algorithm.sorting: sort; 191 data_.sort; 192 } 193 194 /** 195 * Compares the specified object with this list for equality. Returns 196 * {@code true} if and only if the specified object is also an {@link IntegerList}, 197 * both lists have the same size, and all corresponding pairs of elements in 198 * the two lists are equal. In other words, two lists are defined to be 199 * equal if they contain the same elements in the same order. 200 * <p> 201 * This implementation first checks if the specified object is this 202 * list. If so, it returns {@code true}; if not, it checks if the 203 * specified object is an {@link IntegerList}. If not, it returns {@code false}; 204 * if so, it checks the size of both lists. If the lists are not the same size, 205 * it returns {@code false}; otherwise it iterates over both lists, comparing 206 * corresponding pairs of elements. If any comparison returns {@code false}, 207 * this method returns {@code false}. 208 * 209 * @param o the object to be compared for equality with this list 210 * @return {@code true} if the specified object is equal to this list 211 * @uml 212 * @override 213 */ 214 public override bool opEquals(Object o) 215 { 216 if (o is this) { 217 return true; 218 } 219 220 if (!cast(IntegerList)o) { 221 return false; 222 } 223 224 IntegerList other = cast(IntegerList)o; 225 if (data_.length != other.size) { 226 return false; 227 } 228 import std.algorithm.comparison : equal; 229 return data_.equal(other.data); 230 } 231 232 /** 233 * Returns the hash code value for this list. 234 * 235 * <p>This implementation uses exactly the code that is used to define the 236 * list hash function in the documentation for the {@link List#hashCode} 237 * method.</p> 238 * 239 * @return the hash code value for this list 240 * @uml 241 * @override 242 * @safe 243 * @nothrow 244 */ 245 public override size_t toHash() @safe nothrow 246 { 247 int hashCode = 1; 248 for (int i = 0; i < data_.length; i++) { 249 hashCode = 31*hashCode + data_[i]; 250 } 251 return hashCode; 252 } 253 254 /** 255 * Returns a string representation of this list. 256 * @uml 257 * @override 258 */ 259 public override string toString() 260 { 261 return format("%s", data_); 262 } 263 264 public final int[] data() 265 { 266 return this.data_.dup; 267 } 268 269 } 270 271 version(unittest) { 272 import dshould : be, equal, not, should; 273 import dshould.thrown; 274 import unit_threaded; 275 276 class Test { 277 278 @Tags("IntegerList") 279 @("TestEmpty") 280 unittest { 281 auto il = new IntegerList; 282 il.should.not.be(null); 283 il.isEmpty.should.equal(true); 284 il.toArray.should.equal([]); 285 } 286 287 @Tags("IntegerList") 288 @("Capacity") 289 unittest { 290 auto il = new IntegerList(20); 291 il.should.not.be(null); 292 il.addAll([3, 17, 55, 12, 1, 7]); 293 il.toArray.should.equal([3, 17, 55, 12, 1, 7]); 294 il.toString.should.equal("[3, 17, 55, 12, 1, 7]"); 295 (new IntegerList(-3)) 296 .should 297 .throwAn!IllegalArgumentException 298 .where.msg.should.equal("Capacity can't be a negativ value!"); 299 } 300 301 @Tags("IntegerList") 302 @("SetGet") 303 unittest { 304 auto il = new IntegerList([7, 2, 5, 15, 40]); 305 il.contains(3).should.equal(false); 306 il.contains(5).should.equal(true); 307 il.get(2).should.equal(5); 308 il.sort; 309 il.toString.should.equal("[2, 5, 7, 15, 40]"); 310 il.set(3, 2); 311 il.toString.should.equal("[2, 5, 7, 2, 40]"); 312 } 313 314 @Tags("IntegerList") 315 @("Hash") 316 unittest { 317 auto il = new IntegerList([7, 5, 15, 40]); 318 auto il1 = new IntegerList; 319 il1.addAll(il); 320 il.toHash.should.equal(1137368); 321 il1.toHash.should.equal(1137368); 322 } 323 324 @Tags("IntegerList") 325 @("Remove") 326 unittest { 327 auto il = new IntegerList([7, 5, 15, 40]); 328 il.toString.should.equal("[7, 5, 15, 40]"); 329 il.removeAt(2); 330 il.toString.should.equal("[7, 5, 40]"); 331 il.removeAt(2); 332 il.toString.should.equal("[7, 5]"); 333 il.removeRange(0, 1); 334 il.isEmpty.should.equal(true); 335 il.addAll([4, 2, 1, 33, 22, 11, 13]); 336 il.removeRange(2, 4); 337 il.toString.should.equal("[4, 2, 11, 13]"); 338 } 339 340 @Tags("IntegerList") 341 @("Compare") 342 unittest { 343 auto il = new IntegerList([7, 2, 5, 15, 40]); 344 il.contains(3).should.equal(false); 345 il.contains(5).should.equal(true); 346 il.opEquals(il).should.equal(true); 347 il.get(2).should.equal(5); 348 auto il1 = new IntegerList(il); 349 il1.should.not.be(null); 350 il.toString.should.equal("[7, 2, 5, 15, 40]"); 351 il1.toString.should.equal("[7, 2, 5, 15, 40]"); 352 il.should.equal(il1); 353 il.sort; 354 il.toString.should.equal("[2, 5, 7, 15, 40]"); 355 il.should.not.equal(il1); 356 il.clear; 357 il.toString.should.equal("[]"); 358 il.should.not.equal(il1); 359 class A { 360 } 361 auto a = new A; 362 il.should.not.equal(a); 363 } 364 } 365 }