| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of dart._collection.dev; | 5 part of dart._collection.dev; |
| 6 | 6 |
| 7 | 7 |
| 8 // This is a hack to make @deprecated work in dart:io. Don't remove or use this, | 8 // This is a hack to make @deprecated work in dart:io. Don't remove or use this, |
| 9 // unless coordinated with either me or the core library team. Thanks! | 9 // unless coordinated with either me or the core library team. Thanks! |
| 10 // TODO(ajohnsen): Remove at the 11th of Auguest 2013. | 10 // TODO(ajohnsen): Remove at the 11th of August 2013. |
| 11 // TODO(ajohnsen): Remove hide in: | 11 // TODO(ajohnsen): Remove hide in: |
| 12 // tools/dom/templates/html/dart2js/html_dart2js.darttemplate | 12 // tools/dom/templates/html/dart2js/html_dart2js.darttemplate |
| 13 // tools/dom/templates/html/dart2js/svg_dart2js.darttemplate | 13 // tools/dom/templates/html/dart2js/svg_dart2js.darttemplate |
| 14 // tools/dom/templates/html/dart2js/web_audio_dart2js.darttemplate | 14 // tools/dom/templates/html/dart2js/web_audio_dart2js.darttemplate |
| 15 // tools/dom/templates/html/dart2js/web_gl_dart2js.darttemplate | 15 // tools/dom/templates/html/dart2js/web_gl_dart2js.darttemplate |
| 16 // tools/dom/templates/html/dart2js/web_sql_dart2js.darttemplate | 16 // tools/dom/templates/html/dart2js/web_sql_dart2js.darttemplate |
| 17 // tools/dom/templates/html/dartium/html_dartium.darttemplate | 17 // tools/dom/templates/html/dartium/html_dartium.darttemplate |
| 18 // tools/dom/templates/html/dartium/svg_dartium.darttemplate | 18 // tools/dom/templates/html/dartium/svg_dartium.darttemplate |
| 19 // tools/dom/templates/html/dartium/web_audio_dartium.darttemplate | 19 // tools/dom/templates/html/dartium/web_audio_dartium.darttemplate |
| 20 // tools/dom/templates/html/dartium/web_gl_dartium.darttemplate | 20 // tools/dom/templates/html/dartium/web_gl_dartium.darttemplate |
| 21 // tools/dom/templates/html/dartium/web_sql_dartium.darttemplate | 21 // tools/dom/templates/html/dartium/web_sql_dartium.darttemplate |
| 22 // sdk/lib/core/regexp.dart |
| 22 | 23 |
| 24 @deprecated |
| 23 const deprecated = 0; | 25 const deprecated = 0; |
| 24 | 26 |
| 25 /** | 27 /** |
| 26 * An [Iterable] for classes that have efficient [length] and [elementAt]. | 28 * An [Iterable] for classes that have efficient [length] and [elementAt]. |
| 27 * | 29 * |
| 28 * All other methods are implemented in terms of [length] and [elementAt], | 30 * All other methods are implemented in terms of [length] and [elementAt], |
| 29 * including [iterator]. | 31 * including [iterator]. |
| 30 */ | 32 */ |
| 31 abstract class ListIterable<E> extends IterableBase<E> { | 33 abstract class ListIterable<E> extends IterableBase<E> { |
| 32 int get length; | 34 int get length; |
| (...skipping 1041 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1074 | 1076 |
| 1075 static Set setDifference(Set set, Set other, Set result) { | 1077 static Set setDifference(Set set, Set other, Set result) { |
| 1076 for (var element in set) { | 1078 for (var element in set) { |
| 1077 if (!other.contains(element)) { | 1079 if (!other.contains(element)) { |
| 1078 result.add(element); | 1080 result.add(element); |
| 1079 } | 1081 } |
| 1080 } | 1082 } |
| 1081 return result; | 1083 return result; |
| 1082 } | 1084 } |
| 1083 } | 1085 } |
| OLD | NEW |