Merge: Thanks to Toni we have random numbers
authorJaroslav Tulach <jaroslav.tulach@apidesign.org>
Wed, 23 Jan 2013 16:18:40 +0100
changeset 55238696181ea53
parent 549 8f0a97d446a1
parent 551 ca781bc82662
child 553 388e48c0a37a
child 567 62dd2c794431
Merge: Thanks to Toni we have random numbers
     1.1 --- a/emul/src/main/java/java/lang/Math.java	Wed Jan 23 14:18:07 2013 +0100
     1.2 +++ b/emul/src/main/java/java/lang/Math.java	Wed Jan 23 16:18:40 2013 +0100
     1.3 @@ -641,6 +641,7 @@
     1.4       * to {@code 0.0} and less than {@code 1.0}.
     1.5       * @see Random#nextDouble()
     1.6       */
     1.7 +    @JavaScriptBody(args={}, body="return Math.random();")
     1.8      public static double random() {
     1.9          throw new UnsupportedOperationException();
    1.10      }