Robust/src/ClassLibrary/SSJavaInfer/System.java

   1
   2 public class System {
   3   public static void printInt(int x) {
   4     String s = String.valueOf(x);
   5     printString(s);
   6   }
   7
   8   public static native void gc();
   9
  10   public static native long currentTimeMillis();
  11
  12   public static native long microTimes();
  13
  14   public static native long getticks();
  15
  16   public static native void printString(String s);
  17
  18   public static void println(String s) {
  19     System.printString(s + "\n");
  20   }
  21
  22   public static void println(int o) {
  23     System.printString("" + o + "\n");
  24   }
  25
  26   public static void println(double o) {
  27     System.printString("" + o + "\n");
  28   }
  29
  30   public static void println(long o) {
  31     System.printString("" + o + "\n");
  32   }
  33
  34   public static void println() {
  35     System.printString("\n");
  36   }
  37
  38   public static void print(String s) {
  39     System.printString(s);
  40   }
  41
  42   public static void print(Object o) {
  43     System.printString("" + o);
  44   }
  45
  46   public static void print(int o) {
  47     System.printString("" + o);
  48   }
  49
  50   public static void print(double o) {
  51     System.printString("" + o);
  52   }
  53
  54   public static void print(long o) {
  55     System.printString("" + o);
  56   }
  57
  58   public static void error() {
  59     System
  60         .printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
  61   }
  62
  63   public static native void exit(int status);
  64
  65   public static native void printI(int status);
  66
  67   public static native void clearPrefetchCache();
  68
  69   public static native void rangePrefetch(Object o, short[] offsets);
  70
  71   public static native void deepArrayCopy(Object dst, Object src);
  72
  73   public static native void Assert(boolean status);
  74
  75   /* Only used for microbenchmark testing of SingleTM version */
  76   public static native void logevent(int event);
  77
  78   public static native void logevent();
  79
  80   /* Only used for microbenchmark testing of SingleTM version */
  81   public static native void initLog();
  82
  83   public static native void flushToFile(int threadid);
  84
  85   /* Only used for microbenchmark testing of SingleTM version */
  86
  87   public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
  88
  89   // for disjoint reachability analysis
  90   public static void genReach();
  91 }