Robust/src/ClassLibrary/System.java

   1 public class System {
   2   public static void printInt(int x) {
   3     String s=String.valueOf(x);
   4     printString(s);
   5   }
   6
   7   public static native long currentTimeMillis();
   8
   9   public static native long microTimes();
  10
  11   public static native long getticks();
  12
  13   public static native void printString(String s);
  14
  15   public static void println(String s) {
  16     System.printString(s+"\n");
  17   }
  18
  19   public static void println(Object o) {
  20     System.printString(""+o+"\n");
  21   }
  22
  23   public static void println(int o) {
  24     System.printString(""+o+"\n");
  25   }
  26
  27   public static void println(double o) {
  28     System.printString(""+o+"\n");
  29   }
  30
  31   public static void println(long o) {
  32     System.printString(""+o+"\n");
  33   }
  34
  35   public static void println() {
  36     System.printString("\n");
  37   }
  38
  39   public static void print(String s) {
  40     System.printString(s);
  41   }
  42
  43   public static void print(Object o) {
  44     System.printString(""+o);
  45   }
  46
  47   public static void print(int o) {
  48     System.printString(""+o);
  49   }
  50
  51   public static void print(double o) {
  52     System.printString(""+o);
  53   }
  54
  55   public static void print(long o) {
  56     System.printString(""+o);
  57   }
  58
  59   public static void error() {
  60     System.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   public static native void logevent();
  78
  79   /* Only used for microbenchmark testing of SingleTM version */
  80   public static native void initLog();
  81
  82   public static native void flushToFile(int threadid);
  83   /* Only used for microbenchmark testing of SingleTM version */
  84
  85   public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
  86
  87   // for disjoint reachability analysis
  88   public static void genReach();
  89 }