1 import java.util.Properties;
7 out = new PrintStream("System.out");
10 public static void printInt(int x) {
11 String s=String.valueOf(x);
15 public static native long currentTimeMillis();
17 public static native long microTimes();
19 public static native long getticks();
21 public static native void printString(String s);
23 public static void println(String s) {
24 System.printString(s+"\n");
27 public static void println(Object o) {
28 System.printString(""+o+"\n");
31 public static void println(int o) {
32 System.printString(""+o+"\n");
35 public static void println(double o) {
36 System.printString(""+o+"\n");
39 public static void println(long o) {
40 System.printString(""+o+"\n");
43 public static void println() {
44 System.printString("\n");
47 public static void print(String s) {
48 System.printString(s);
51 public static void print(Object o) {
52 System.printString(""+o);
55 public static void print(int o) {
56 System.printString(""+o);
59 public static void print(double o) {
60 System.printString(""+o);
63 public static void print(long o) {
64 System.printString(""+o);
67 public static void error() {
68 System.printString("Error (Use Breakpoint on ___System______error method for more information!)\n");
71 public static native void exit(int status);
73 public static native void printI(int status);
75 public static native void clearPrefetchCache();
77 public static native void rangePrefetch(Object o, short[] offsets);
79 public static native void deepArrayCopy(Object dst, Object src);
81 public static native void Assert(boolean status);
83 /* Only used for microbenchmark testing of SingleTM version */
84 public static native void logevent(int event);
85 public static native void logevent();
87 /* Only used for microbenchmark testing of SingleTM version */
88 public static native void initLog();
90 public static native void flushToFile(int threadid);
91 /* Only used for microbenchmark testing of SingleTM version */
93 public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
95 // for disjoint reachability analysis
96 public static void genReach();
98 private static Properties props;
99 private static native Properties initProperties(Properties props);
101 public static Properties getProperties() {