7 public static void printInt(int x) {
8 String s=String.valueOf(x);
12 public static native void gc();
14 public static native long currentTimeMillis();
16 public static native long microTimes();
18 public static native long getticks();
20 public static native void printString(String s);
22 public static void println(@LOC("in") String s) {
23 System.printString(s+"\n");
26 public static void println(@LOC("in") Object o) {
27 System.printString(""+o+"\n");
30 public static void println(@LOC("in") int o) {
31 System.printString(""+o+"\n");
34 public static void println(@LOC("in") double o) {
35 System.printString(""+o+"\n");
38 public static void println(@LOC("in") long o) {
39 System.printString(""+o+"\n");
42 public static void println() {
43 System.printString("\n");
46 public static void print(@LOC("in") String s) {
47 System.printString(s);
50 public static void print(@LOC("in") Object o) {
51 System.printString(""+o);
54 public static void print(@LOC("in") int o) {
55 System.printString(""+o);
58 public static void print(@LOC("in") double o) {
59 System.printString(""+o);
62 public static void print(@LOC("in") long o) {
63 System.printString(""+o);
66 public static void error() {
67 System.printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
70 public static native void exit(int status);
72 public static native void printI(int status);
74 public static native void clearPrefetchCache();
76 public static native void rangePrefetch(Object o, short[] offsets);
78 public static native void deepArrayCopy(Object dst, Object src);
80 public static native void Assert(boolean status);
82 /* Only used for microbenchmark testing of SingleTM version */
83 public static native void logevent(int event);
84 public static native void logevent();
86 /* Only used for microbenchmark testing of SingleTM version */
87 public static native void initLog();
89 public static native void flushToFile(int threadid);
90 /* Only used for microbenchmark testing of SingleTM version */
92 public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
94 // for disjoint reachability analysis
95 public static void genReach();