2 public static void printInt(int x) {
3 String s=String.valueOf(x);
7 public static native void gc();
9 public static native long currentTimeMillis();
11 public static native long microTimes();
13 public static native long getticks();
15 public static native void printString(String s);
17 public static void println(String s) {
18 System.printString(s+"\n");
21 public static void println(Object o) {
22 System.printString(""+o+"\n");
25 public static void println(int o) {
26 System.printString(""+o+"\n");
29 public static void println(double o) {
30 System.printString(""+o+"\n");
33 public static void println(long o) {
34 System.printString(""+o+"\n");
37 public static void println() {
38 System.printString("\n");
41 public static void print(String s) {
42 System.printString(s);
45 public static void print(Object o) {
46 System.printString(""+o);
49 public static void print(int o) {
50 System.printString(""+o);
53 public static void print(double o) {
54 System.printString(""+o);
57 public static void print(long o) {
58 System.printString(""+o);
61 public static void error() {
62 System.printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
65 public static native void exit(int status);
67 public static native void printI(int status);
69 public static native void clearPrefetchCache();
71 public static native void rangePrefetch(Object o, short[] offsets);
73 public static native void deepArrayCopy(Object dst, Object src);
75 public static native void Assert(boolean status);
77 /* Only used for microbenchmark testing of SingleTM version */
78 public static native void logevent(int event);
79 public static native void logevent();
81 /* Only used for microbenchmark testing of SingleTM version */
82 public static native void initLog();
84 public static native void flushToFile(int threadid);
85 /* Only used for microbenchmark testing of SingleTM version */
87 public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
89 // for disjoint reachability analysis
90 public static void genReach();