Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(2086)

Unified Diff: sdk/lib/_internal/compiler/js_lib/js_array.dart

Issue 1212513002: sdk files reorganization to make dart2js a proper package (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: renamed Created 5 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: sdk/lib/_internal/compiler/js_lib/js_array.dart
diff --git a/sdk/lib/_internal/compiler/js_lib/js_array.dart b/sdk/lib/_internal/compiler/js_lib/js_array.dart
deleted file mode 100644
index f6bcbbbe6d382bdd4a1e136d6ff73bc0fa84b918..0000000000000000000000000000000000000000
--- a/sdk/lib/_internal/compiler/js_lib/js_array.dart
+++ /dev/null
@@ -1,656 +0,0 @@
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-part of _interceptors;
-
-/**
- * The interceptor class for [List]. The compiler recognizes this
- * class as an interceptor, and changes references to [:this:] to
- * actually use the receiver of the method, which is generated as an extra
- * argument added to each member.
- */
-class JSArray<E> extends Interceptor implements List<E>, JSIndexable {
-
- const JSArray();
-
- /**
- * Returns a fresh JavaScript Array, marked as fixed-length.
- *
- * [length] must be a non-negative integer.
- */
- factory JSArray.fixed(int length) {
- // Explicit type test is necessary to guard against JavaScript conversions
- // in unchecked mode.
- if ((length is !int) || (length < 0)) {
- throw new ArgumentError("Length must be a non-negative integer: $length");
- }
- return new JSArray<E>.markFixed(JS('', 'new Array(#)', length));
- }
-
- /**
- * Returns a fresh growable JavaScript Array of zero length length.
- */
- factory JSArray.emptyGrowable() => new JSArray<E>.markGrowable(JS('', '[]'));
-
- /**
- * Returns a fresh growable JavaScript Array with initial length.
- *
- * [validatedLength] must be a non-negative integer.
- */
- factory JSArray.growable(int length) {
- // Explicit type test is necessary to guard against JavaScript conversions
- // in unchecked mode.
- if ((length is !int) || (length < 0)) {
- throw new ArgumentError("Length must be a non-negative integer: $length");
- }
- return new JSArray<E>.markGrowable(JS('', 'new Array(#)', length));
- }
-
- /**
- * Constructor for adding type parameters to an existing JavaScript Array.
- * The compiler specially recognizes this constructor.
- *
- * var a = new JSArray<int>.typed(JS('JSExtendableArray', '[]'));
- * a is List<int> --> true
- * a is List<String> --> false
- *
- * Usually either the [JSArray.markFixed] or [JSArray.markGrowable]
- * constructors is used instead.
- *
- * The input must be a JavaScript Array. The JS form is just a re-assertion
- * to help type analysis when the input type is sloppy.
- */
- factory JSArray.typed(allocation) => JS('JSArray', '#', allocation);
-
- factory JSArray.markFixed(allocation) =>
- JS('JSFixedArray', '#', markFixedList(new JSArray<E>.typed(allocation)));
-
- factory JSArray.markGrowable(allocation) =>
- JS('JSExtendableArray', '#', new JSArray<E>.typed(allocation));
-
- static List markFixedList(List list) {
- // Functions are stored in the hidden class and not as properties in
- // the object. We never actually look at the value, but only want
- // to know if the property exists.
- JS('void', r'#.fixed$length = Array', list);
- return JS('JSFixedArray', '#', list);
- }
-
- static List markUnmodifiableList(List list) {
- // Functions are stored in the hidden class and not as properties in
- // the object. We never actually look at the value, but only want
- // to know if the property exists.
- JS('void', r'#.fixed$length = Array', list);
- JS('void', r'#.immutable$list = Array', list);
- return JS('JSUnmodifiableArray', '#', list);
- }
-
- checkMutable(reason) {
- if (this is !JSMutableArray) {
- throw new UnsupportedError(reason);
- }
- }
-
- checkGrowable(reason) {
- if (this is !JSExtendableArray) {
- throw new UnsupportedError(reason);
- }
- }
-
- void add(E value) {
- checkGrowable('add');
- JS('void', r'#.push(#)', this, value);
- }
-
- E removeAt(int index) {
- checkGrowable('removeAt');
- if (index is !int) throw argumentErrorValue(index);
- if (index < 0 || index >= length) {
- throw new RangeError.value(index);
- }
- return JS('var', r'#.splice(#, 1)[0]', this, index);
- }
-
- void insert(int index, E value) {
- checkGrowable('insert');
- if (index is !int) throw argumentErrorValue(index);
- if (index < 0 || index > length) {
- throw new RangeError.value(index);
- }
- JS('void', r'#.splice(#, 0, #)', this, index, value);
- }
-
- void insertAll(int index, Iterable<E> iterable) {
- checkGrowable('insertAll');
- RangeError.checkValueInInterval(index, 0, this.length, "index");
- if (iterable is! EfficientLength) {
- iterable = iterable.toList();
- }
- int insertionLength = iterable.length;
- this.length += insertionLength;
- int end = index + insertionLength;
- this.setRange(end, this.length, this, index);
- this.setRange(index, end, iterable);
- }
-
- void setAll(int index, Iterable<E> iterable) {
- checkMutable('setAll');
- RangeError.checkValueInInterval(index, 0, this.length, "index");
- for (var element in iterable) {
- this[index++] = element;
- }
- }
-
- E removeLast() {
- checkGrowable('removeLast');
- if (length == 0) throw new RangeError.value(-1);
- return JS('var', r'#.pop()', this);
- }
-
- bool remove(Object element) {
- checkGrowable('remove');
- for (int i = 0; i < this.length; i++) {
- if (this[i] == element) {
- JS('var', r'#.splice(#, 1)', this, i);
- return true;
- }
- }
- return false;
- }
-
- /**
- * Removes elements matching [test] from [this] List.
- */
- void removeWhere(bool test(E element)) {
- checkGrowable('removeWhere');
- _removeWhere(test, true);
- }
-
- void retainWhere(bool test(E element)) {
- checkGrowable('retainWhere');
- _removeWhere(test, false);
- }
-
- void _removeWhere(bool test(E element), bool removeMatching) {
- // Performed in two steps, to avoid exposing an inconsistent state
- // to the [test] function. First the elements to retain are found, and then
- // the original list is updated to contain those elements.
-
- // TODO(sra): Replace this algorthim with one that retains a list of ranges
- // to be removed. Most real uses remove 0, 1 or a few clustered elements.
-
- List retained = [];
- int end = this.length;
- for (int i = 0; i < end; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- // !test() ensures bool conversion in checked mode.
- if (!test(element) == removeMatching) {
- retained.add(element);
- }
- if (this.length != end) throw new ConcurrentModificationError(this);
- }
- if (retained.length == end) return;
- this.length = retained.length;
- for (int i = 0; i < retained.length; i++) {
- this[i] = retained[i];
- }
- }
-
- Iterable<E> where(bool f(E element)) {
- return new WhereIterable<E>(this, f);
- }
-
- Iterable expand(Iterable f(E element)) {
- return new ExpandIterable<E, dynamic>(this, f);
- }
-
- void addAll(Iterable<E> collection) {
- checkGrowable('addAll');
- for (E e in collection) {
- JS('void', r'#.push(#)', this, e);
- }
- }
-
- void clear() {
- length = 0;
- }
-
- void forEach(void f(E element)) {
- int end = this.length;
- for (int i = 0; i < end; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- f(element);
- if (this.length != end) throw new ConcurrentModificationError(this);
- }
- }
-
- Iterable map(f(E element)) {
- return new MappedListIterable(this, f);
- }
-
- String join([String separator = ""]) {
- var list = new List(this.length);
- for (int i = 0; i < this.length; i++) {
- list[i] = "${this[i]}";
- }
- return JS('String', "#.join(#)", list, separator);
- }
-
- Iterable<E> take(int n) {
- return new SubListIterable<E>(this, 0, n);
- }
-
- Iterable<E> takeWhile(bool test(E value)) {
- return new TakeWhileIterable<E>(this, test);
- }
-
- Iterable<E> skip(int n) {
- return new SubListIterable<E>(this, n, null);
- }
-
- Iterable<E> skipWhile(bool test(E value)) {
- return new SkipWhileIterable<E>(this, test);
- }
-
- E reduce(E combine(E previousValue, E element)) {
- int length = this.length;
- if (length == 0) throw IterableElementError.noElement();
- E value = this[0];
- for (int i = 1; i < length; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- value = combine(value, element);
- if (length != this.length) throw new ConcurrentModificationError(this);
- }
- return value;
- }
-
- fold(var initialValue, combine(var previousValue, E element)) {
- var value = initialValue;
- int length = this.length;
- for (int i = 0; i < length; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- value = combine(value, element);
- if (this.length != length) throw new ConcurrentModificationError(this);
- }
- return value;
- }
-
- E firstWhere(bool test(E value), {E orElse()}) {
- var end = this.length;
- for (int i = 0; i < end; ++i) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- if (test(element)) return element;
- if (this.length != end) throw new ConcurrentModificationError(this);
- }
- if (orElse != null) return orElse();
- throw IterableElementError.noElement();
- }
-
- E lastWhere(bool test(E element), { E orElse() }) {
- int length = this.length;
- for (int i = length - 1; i >= 0; i--) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- if (test(element)) return element;
- if (length != this.length) {
- throw new ConcurrentModificationError(this);
- }
- }
- if (orElse != null) return orElse();
- throw IterableElementError.noElement();
- }
-
- E singleWhere(bool test(E element)) {
- int length = this.length;
- E match = null;
- bool matchFound = false;
- for (int i = 0; i < length; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- if (test(element)) {
- if (matchFound) {
- throw IterableElementError.tooMany();
- }
- matchFound = true;
- match = element;
- }
- if (length != this.length) {
- throw new ConcurrentModificationError(this);
- }
- }
- if (matchFound) return match;
- throw IterableElementError.noElement();
- }
-
- E elementAt(int index) {
- return this[index];
- }
-
- List<E> sublist(int start, [int end]) {
- checkNull(start); // TODO(ahe): This is not specified but co19 tests it.
- if (start is !int) throw argumentErrorValue(start);
- if (start < 0 || start > length) {
- throw new RangeError.range(start, 0, length);
- }
- if (end == null) {
- end = length;
- } else {
- if (end is !int) throw argumentErrorValue(end);
- if (end < start || end > length) {
- throw new RangeError.range(end, start, length);
- }
- }
- if (start == end) return <E>[];
- return new JSArray<E>.markGrowable(
- JS('', r'#.slice(#, #)', this, start, end));
- }
-
-
- Iterable<E> getRange(int start, int end) {
- RangeError.checkValidRange(start, end, this.length);
- return new SubListIterable<E>(this, start, end);
- }
-
- E get first {
- if (length > 0) return this[0];
- throw IterableElementError.noElement();
- }
-
- E get last {
- if (length > 0) return this[length - 1];
- throw IterableElementError.noElement();
- }
-
- E get single {
- if (length == 1) return this[0];
- if (length == 0) throw IterableElementError.noElement();
- throw IterableElementError.tooMany();
- }
-
- void removeRange(int start, int end) {
- checkGrowable('removeRange');
- RangeError.checkValidRange(start, end, this.length);
- int deleteCount = end - start;
- JS('', '#.splice(#, #)', this, start, deleteCount);
- }
-
- void setRange(int start, int end, Iterable<E> iterable, [int skipCount = 0]) {
- checkMutable('set range');
-
- RangeError.checkValidRange(start, end, this.length);
- int length = end - start;
- if (length == 0) return;
- RangeError.checkNotNegative(skipCount, "skipCount");
-
- List otherList;
- int otherStart;
- // TODO(floitsch): Make this accept more.
- if (iterable is List) {
- otherList = iterable;
- otherStart = skipCount;
- } else {
- otherList = iterable.skip(skipCount).toList(growable: false);
- otherStart = 0;
- }
- if (otherStart + length > otherList.length) {
- throw IterableElementError.tooFew();
- }
- if (otherStart < start) {
- // Copy backwards to ensure correct copy if [from] is this.
- // TODO(sra): If [from] is the same Array as [this], we can copy without
- // type annotation checks on the stores.
- for (int i = length - 1; i >= 0; i--) {
- // Use JS to avoid bounds check (the bounds check elimination
- // optimzation is too weak). The 'E' type annotation is a store type
- // check - we can't rely on iterable, it could be List<dynamic>.
- E element = otherList[otherStart + i];
- JS('', '#[#] = #', this, start + i, element);
- }
- } else {
- for (int i = 0; i < length; i++) {
- E element = otherList[otherStart + i];
- JS('', '#[#] = #', this, start + i, element);
- }
- }
- }
-
- void fillRange(int start, int end, [E fillValue]) {
- checkMutable('fill range');
- RangeError.checkValidRange(start, end, this.length);
- for (int i = start; i < end; i++) {
- // Store is safe since [fillValue] type has been checked as parameter.
- JS('', '#[#] = #', this, i, fillValue);
- }
- }
-
- void replaceRange(int start, int end, Iterable<E> replacement) {
- checkGrowable('replace range');
- RangeError.checkValidRange(start, end, this.length);
- if (replacement is! EfficientLength) {
- replacement = replacement.toList();
- }
- int removeLength = end - start;
- int insertLength = replacement.length;
- if (removeLength >= insertLength) {
- int delta = removeLength - insertLength;
- int insertEnd = start + insertLength;
- int newLength = this.length - delta;
- this.setRange(start, insertEnd, replacement);
- if (delta != 0) {
- this.setRange(insertEnd, newLength, this, end);
- this.length = newLength;
- }
- } else {
- int delta = insertLength - removeLength;
- int newLength = this.length + delta;
- int insertEnd = start + insertLength; // aka. end + delta.
- this.length = newLength;
- this.setRange(insertEnd, newLength, this, end);
- this.setRange(start, insertEnd, replacement);
- }
- }
-
- bool any(bool test(E element)) {
- int end = this.length;
- for (int i = 0; i < end; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- if (test(element)) return true;
- if (this.length != end) throw new ConcurrentModificationError(this);
- }
- return false;
- }
-
- bool every(bool test(E element)) {
- int end = this.length;
- for (int i = 0; i < end; i++) {
- // TODO(22407): Improve bounds check elimination to allow this JS code to
- // be replaced by indexing.
- var element = JS('', '#[#]', this, i);
- if (!test(element)) return false;
- if (this.length != end) throw new ConcurrentModificationError(this);
- }
- return true;
- }
-
- Iterable<E> get reversed => new ReversedListIterable<E>(this);
-
- void sort([int compare(E a, E b)]) {
- checkMutable('sort');
- Sort.sort(this, compare == null ? Comparable.compare : compare);
- }
-
- void shuffle([Random random]) {
- checkMutable('shuffle');
- if (random == null) random = new Random();
- int length = this.length;
- while (length > 1) {
- int pos = random.nextInt(length);
- length -= 1;
- var tmp = this[length];
- this[length] = this[pos];
- this[pos] = tmp;
- }
- }
-
- int indexOf(Object element, [int start = 0]) {
- if (start >= this.length) {
- return -1;
- }
- if (start < 0) {
- start = 0;
- }
- for (int i = start; i < this.length; i++) {
- if (this[i] == element) {
- return i;
- }
- }
- return -1;
- }
-
- int lastIndexOf(Object element, [int startIndex]) {
- if (startIndex == null) {
- startIndex = this.length - 1;
- } else {
- if (startIndex < 0) {
- return -1;
- }
- if (startIndex >= this.length) {
- startIndex = this.length - 1;
- }
- }
- for (int i = startIndex; i >= 0; i--) {
- if (this[i] == element) {
- return i;
- }
- }
- return -1;
- }
-
- bool contains(Object other) {
- for (int i = 0; i < length; i++) {
- if (this[i] == other) return true;
- }
- return false;
- }
-
- bool get isEmpty => length == 0;
-
- bool get isNotEmpty => !isEmpty;
-
- String toString() => ListBase.listToString(this);
-
- List<E> toList({ bool growable: true }) =>
- growable
- ? _toListGrowable()
- : _toListFixed();
-
- List<E> _toListGrowable() =>
- new JSArray<E>.markGrowable(JS('', '#.slice()', this));
-
- List<E> _toListFixed() =>
- new JSArray<E>.markFixed(JS('', '#.slice()', this));
-
- Set<E> toSet() => new Set<E>.from(this);
-
- Iterator<E> get iterator => new ArrayIterator<E>(this);
-
- int get hashCode => Primitives.objectHashCode(this);
-
- int get length => JS('JSUInt32', r'#.length', this);
-
- void set length(int newLength) {
- checkGrowable('set length');
- if (newLength is !int) {
- throw new ArgumentError.value(newLength, 'newLength');
- }
- // TODO(sra): Remove this test and let JavaScript throw an error.
- if (newLength < 0) {
- throw new RangeError.range(newLength, 0, null, 'newLength');
- }
- // JavaScript with throw a RangeError for numbers that are too big. The
- // message does not contain the value.
- JS('void', r'#.length = #', this, newLength);
- }
-
- E operator [](int index) {
- if (index is !int) throw diagnoseIndexError(this, index);
- if (index >= length || index < 0) throw diagnoseIndexError(this, index);
- return JS('var', '#[#]', this, index);
- }
-
- void operator []=(int index, E value) {
- checkMutable('indexed set');
- if (index is !int) throw diagnoseIndexError(this, index);
- if (index >= length || index < 0) throw diagnoseIndexError(this, index);
- JS('void', r'#[#] = #', this, index, value);
- }
-
- Map<int, E> asMap() {
- return new ListMapView<E>(this);
- }
-}
-
-/**
- * Dummy subclasses that allow the backend to track more precise
- * information about arrays through their type. The CPA type inference
- * relies on the fact that these classes do not override [] nor []=.
- *
- * These classes are really a fiction, and can have no methods, since
- * getInterceptor always returns JSArray. We should consider pushing the
- * 'isGrowable' and 'isMutable' checks into the getInterceptor implementation so
- * these classes can have specialized implementations. Doing so will challenge
- * many assuptions in the JS backend.
- */
-class JSMutableArray<E> extends JSArray<E> implements JSMutableIndexable {}
-class JSFixedArray<E> extends JSMutableArray<E> {}
-class JSExtendableArray<E> extends JSMutableArray<E> {}
-class JSUnmodifiableArray<E> extends JSArray<E> {} // Already is JSIndexable.
-
-
-/// An [Iterator] that iterates a JSArray.
-///
-class ArrayIterator<E> implements Iterator<E> {
- final JSArray<E> _iterable;
- final int _length;
- int _index;
- E _current;
-
- ArrayIterator(JSArray<E> iterable)
- : _iterable = iterable, _length = iterable.length, _index = 0;
-
- E get current => _current;
-
- bool moveNext() {
- int length = _iterable.length;
-
- // We have to do the length check even on fixed length Arrays. If we can
- // inline moveNext() we might be able to GVN the length and eliminate this
- // check on known fixed length JSArray.
- if (_length != length) {
- throw new ConcurrentModificationError(_iterable);
- }
-
- if (_index >= length) {
- _current = null;
- return false;
- }
- _current = _iterable[_index];
- _index++;
- return true;
- }
-}

Powered by Google App Engine
This is Rietveld 408576698