Robust/src/ClassLibrary/SSJava/System.java

   1 @LATTICE("")
   2 @METHODDEFAULT("OUT<IN")
   3 public class System {
   4   public static void printInt(int x) {
   5     String s = String.valueOf(x);
   6     printString(s);
   7   }
   8
   9   public static native void gc();
  10
  11   public static native long currentTimeMillis();
  12
  13   public static native long microTimes();
  14
  15   public static native long getticks();
  16
  17   public static native void printString(String s);
  18
  19   public static void println(@LOC("IN") String s) {
  20     System.printString(s + "\n");
  21   }
  22
  23   public static void println(@LOC("IN") int o) {
  24     System.printString("" + o + "\n");
  25   }
  26
  27   public static void println(@LOC("IN") double o) {
  28     System.printString("" + o + "\n");
  29   }
  30
  31   public static void println(@LOC("IN") 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(@LOC("IN") 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
  61         .printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
  62   }
  63
  64   public static native void exit(int status);
  65
  66   public static native void printI(int status);
  67
  68   public static native void clearPrefetchCache();
  69
  70   public static native void rangePrefetch(Object o, short[] offsets);
  71
  72   public static native void deepArrayCopy(Object dst, Object src);
  73
  74   public static native void Assert(boolean status);
  75
  76   /* Only used for microbenchmark testing of SingleTM version */
  77   public static native void logevent(int event);
  78
  79   public static native void logevent();
  80
  81   /* Only used for microbenchmark testing of SingleTM version */
  82   public static native void initLog();
  83
  84   public static native void flushToFile(int threadid);
  85
  86   /* Only used for microbenchmark testing of SingleTM version */
  87
  88   public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
  89
  90   // for disjoint reachability analysis
  91   public static void genReach();
  92 }