| 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 a1a74ad85831e6f476280e146119d0ef498bc4e1..8b69fd6a6f93da10f1e4046ba11d24c4f35f89b5 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 IllegalStateException extends JavaException {
|
| IllegalStateException([message = ""]) : super(message);
|
| }
|
|
|
| +class NotImplementedException extends JavaException {
|
| + NotImplementedException(message) : super(message);
|
| +}
|
| +
|
| class UnsupportedOperationException extends JavaException {
|
| UnsupportedOperationException([message = ""]) : super(message);
|
| }
|
| @@ -417,6 +421,10 @@ bool javaCollectionContainsAll(Iterable list, Iterable c) {
|
| return c.fold(true, (bool prev, e) => prev && list.contains(e));
|
| }
|
|
|
| +bool javaSetEquals(Set a, Set b) {
|
| + return a.containsAll(b) && b.containsAll(a);
|
| +}
|
| +
|
| javaMapPut(Map target, key, value) {
|
| var oldValue = target[key];
|
| target[key] = value;
|
|
|