| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_engine.dart
|
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_engine.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_engine.dart
|
| index 770acf512fd5b0293361ae7ab9508937e8ff24c7..d2cc9c4b532408e4d44d9c0bbdc738a408790754 100644
|
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_engine.dart
|
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_engine.dart
|
| @@ -2,6 +2,7 @@ library java.engine;
|
|
|
| class StringUtilities {
|
| static List<String> EMPTY_ARRAY = new List(0);
|
| + static String intern(String s) => s;
|
| }
|
|
|
| class FileNameUtilities {
|
| @@ -16,3 +17,19 @@ class FileNameUtilities {
|
| return "";
|
| }
|
| }
|
| +
|
| +class ArrayUtils {
|
| + static List addAll(List target, List source) {
|
| + List result = new List.from(target);
|
| + result.addAll(source);
|
| + return result;
|
| + }
|
| +}
|
| +
|
| +class UUID {
|
| + static int __nextId = 0;
|
| + final String id;
|
| + UUID(this.id);
|
| + String toString() => id;
|
| + static UUID randomUUID() => new UUID((__nextId).toString());
|
| +}
|
|
|