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

[Todd W. <tod...@us...>]

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

Modified Files:
	JPF_java_lang_Math.java 
Log Message:
Added new MJI methods for java.lang.Math including asin, acos, atan, atan2, ceil, cos, floor, log, rint, sin, and tan.  Only rudimentary testing was done but should work fine since they are just "pass-through" methods to the real Java library calls.

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.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- JPF_java_lang_Math.java	16 May 2005 18:33:14 -0000	1.3
+++ JPF_java_lang_Math.java	17 May 2005 14:02:55 -0000	1.4
@@ -85,4 +85,48 @@
   public static double exp__D (MJIEnv env, int clsObjRef, double a) {
     return Math.exp(a);
   }
+  
+  public static double asin__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.asin(a);
+  }
+
+  public static double acos__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.acos(a);
+  }
+  
+  public static double atan__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.atan(a);
+  }
+  
+  public static double atan2__DD (MJIEnv env, int clsObjRef, double a, double b) {
+    return Math.atan2(a,b);
+  }
+  
+  public static double ceil__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.ceil(a);
+  }
+  
+  public static double cos__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.cos(a);
+  }
+  
+  public static double floor__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.floor(a);
+  }
+  
+  public static double log__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.log(a);
+  }
+  
+  public static double rint__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.rint(a);
+  }
+  
+  public static double sin__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.sin(a);
+  }
+  
+  public static double tan__D (MJIEnv env, int clsObjRef, double a) {
+    return Math.tan(a);
+  }
 }
\ No newline at end of file