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
|
