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 574cba4ba3336fc78ef697e34be829b80534c473..86763a520928c17efa8d58ea7530579d5023b12c 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 |
@@ -7,6 +7,10 @@ class JavaSystem { |
return (new DateTime.now()).millisecondsSinceEpoch; |
} |
+ static int nanoTime() { |
+ return currentTimeMillis() * 1000000; |
Brian Wilkerson
2014/01/17 23:43:22
:-(
|
+ } |
+ |
static void arraycopy(List src, int srcPos, List dest, int destPos, int length) { |
for (int i = 0; i < length; i++) { |
dest[destPos + i] = src[srcPos + i]; |