2 @METHODDEFAULT("OUT<IN")
4 public static void printInt(int x) {
5 String s = String.valueOf(x);
9 public static native void gc();
11 public static native long currentTimeMillis();
13 public static native long microTimes();
15 public static native long getticks();
17 public static native void printString(String s);
19 public static void println(@LOC("IN") String s) {
20 System.printString(s + "\n");
23 public static void println() {
24 System.printString("\n");
27 public static void print(String s) {
28 System.printString(s);
31 public static void error() {
33 .printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
36 public static native void exit(int status);
38 public static native void printI(int status);
40 public static native void clearPrefetchCache();
42 public static native void rangePrefetch(Object o, short[] offsets);
44 public static native void deepArrayCopy(Object dst, Object src);
46 public static native void Assert(boolean status);
48 /* Only used for microbenchmark testing of SingleTM version */
49 public static native void logevent(int event);
51 public static native void logevent();
53 /* Only used for microbenchmark testing of SingleTM version */
54 public static native void initLog();
56 public static native void flushToFile(int threadid);
58 /* Only used for microbenchmark testing of SingleTM version */
60 public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
62 // for disjoint reachability analysis
63 public static void genReach();