add gc() to System

[IRC.git] / Robust / src / ClassLibrary / System.java

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
index 75a01479b6811b13b3782fb70053c0b6df6e4dea..df5fd33b75e7be7e18f6e753d7c4cbbd4ec6d924 100644 (file)
--- a/Robust/src/ClassLibrary/System.java
+++ b/Robust/src/ClassLibrary/System.java
@@ -4,8 +4,10 @@ public class System {
     printString(s);
   }
 
+  public static native void gc();
+
   public static native long currentTimeMillis();
-  
+
   public static native long microTimes();
 
   public static native long getticks();
@@ -32,6 +34,10 @@ public class System {
     System.printString(""+o+"\n");
   }
 
+  public static void println() {
+    System.printString("\n");
+  }
+
   public static void print(String s) {
     System.printString(s);
   }
@@ -66,4 +72,20 @@ public class System {
 
   public static native void deepArrayCopy(Object dst, Object src);
 
+  public static native void Assert(boolean status);
+
+  /* Only used for microbenchmark testing of SingleTM version */
+  public static native void logevent(int event);
+  public static native void logevent();
+
+  /* Only used for microbenchmark testing of SingleTM version */
+  public static native void initLog();
+
+  public static native void flushToFile(int threadid);
+  /* Only used for microbenchmark testing of SingleTM version */
+
+  public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
+
+  // for disjoint reachability analysis
+  public static void genReach();
 }