Index: sdk/lib/_internal/lib/js_helper.dart |
diff --git a/sdk/lib/_internal/lib/js_helper.dart b/sdk/lib/_internal/lib/js_helper.dart |
index 54fb1b8fa53e9706981267ed8d75f216bf6b4ac1..fa0fe094db6b318fe3c6071bdc35e7e53c906cb1 100644 |
--- a/sdk/lib/_internal/lib/js_helper.dart |
+++ b/sdk/lib/_internal/lib/js_helper.dart |
@@ -3038,3 +3038,15 @@ class UnimplementedNoSuchMethodError extends Error |
String toString() => "Unsupported operation: $_message"; |
} |
+ |
+/** |
+ * Creates a random number with 64 bits of randomness. |
+ * |
+ * This will be truncated to the 53 bits available in a double. |
+ */ |
+int random64() { |
+ // TODO(lrn): Use a secure random source. |
+ int int32a = JS("int", "(Math.random() * 0x100000000) >>> 0"); |
+ int int32b = JS("int", "(Math.random() * 0x100000000) >>> 0"); |
+ return int32a + int32b * 0x100000000; |
+} |