| 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 4da34a13a41eaf57b461814c397b0269c3884be8..91b4c163d8ef38f86b10c2a625de6e52d9ab17e7 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
|
| @@ -315,6 +315,10 @@ class ListWrapper<E> extends Collection<E> implements List<E> {
|
| void insertRange(int start, int length, [E fill]) {
|
| elements.insertRange(start, length, fill);
|
| }
|
| +
|
| + Map<int, E> asMap() {
|
| + return elements.asMap();
|
| + }
|
| }
|
|
|
| class JavaIterator<E> {
|
|
|