[Javapathfinder-devel] javapathfinder/env/jvm/gov/nasa/jpf/jvm JPF_java_lang_Math.java,1.1.1.1,1.2

[Willem V. <wv...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/env/jvm/gov/nasa/jpf/jvm
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv30968/env/jvm/gov/nasa/jpf/jvm

Modified Files:
	JPF_java_lang_Math.java 
Log Message:
* added Random to Math
* so that our beloved dining Philosophers don't throw a fit :-)

Index: JPF_java_lang_Math.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Math.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- JPF_java_lang_Math.java	26 Apr 2005 19:43:26 -0000	1.1.1.1
+++ JPF_java_lang_Math.java	16 May 2005 18:16:10 -0000	1.2
@@ -77,4 +77,8 @@
   public static double sqrt__D (MJIEnv env, int clsObjRef, double a) {
     return Math.sqrt(a);
   }
+  
+  public static double random__ (MJIEnv env, int clsObjRef) {
+    return Math.random();
+  }
 }
\ No newline at end of file