| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| index 3b45c3285a3c94549e9b8f72510a64f3cb1be66e..774d8c66334489028e3400a5a6bf61d47de2c282 100644
|
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart
|
| @@ -284,6 +284,10 @@ class ListWrapper<E> extends ListBase<E> implements List<E> {
|
| elements.addAll(iterable);
|
| }
|
|
|
| + void setAll(int index, Iterable<E> iterable) {
|
| + elements.setAll(iterable);
|
| + }
|
| +
|
| void sort([int compare(E a, E b)]) {
|
| elements.sort(compare);
|
| }
|
| @@ -296,6 +300,10 @@ class ListWrapper<E> extends ListBase<E> implements List<E> {
|
| elements.insert(index, element);
|
| }
|
|
|
| + void insertAll(int index, Iterable<E> iterable) {
|
| + elements.insertAll(index, iterable);
|
| + }
|
| +
|
| int lastIndexOf(E element, [int start]) {
|
| return elements.lastIndexOf(element, start);
|
| }
|
| @@ -330,6 +338,14 @@ class ListWrapper<E> extends ListBase<E> implements List<E> {
|
| elements.removeRange(start, end);
|
| }
|
|
|
| + void replaceRange(int start, int end, Iterable<E> iterable) {
|
| + elements.replaceRange(start, end, iterable);
|
| + }
|
| +
|
| + void fillRange(int start, int end, [E fillValue]) {
|
| + elements.fillRange(start, end, fillValue);
|
| + }
|
| +
|
| Map<int, E> asMap() {
|
| return elements.asMap();
|
| }
|
|
|