projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add gc() to System
[IRC.git]
/
Robust
/
src
/
ClassLibrary
/
System.java
diff --git
a/Robust/src/ClassLibrary/System.java
b/Robust/src/ClassLibrary/System.java
index a0b847a87b4025812b442b48d69375affa1be665..df5fd33b75e7be7e18f6e753d7c4cbbd4ec6d924 100644
(file)
--- a/
Robust/src/ClassLibrary/System.java
+++ b/
Robust/src/ClassLibrary/System.java
@@
-4,8
+4,10
@@
public class System {
printString(s);
}
printString(s);
}
+ public static native void gc();
+
public static native long currentTimeMillis();
public static native long currentTimeMillis();
-
+
public static native long microTimes();
public static native long getticks();
public static native long microTimes();
public static native long getticks();
@@
-32,6
+34,10
@@
public class System {
System.printString(""+o+"\n");
}
System.printString(""+o+"\n");
}
+ public static void println() {
+ System.printString("\n");
+ }
+
public static void print(String s) {
System.printString(s);
}
public static void print(String s) {
System.printString(s);
}
@@
-77,4
+83,9
@@
public class System {
public static native void flushToFile(int threadid);
/* Only used for microbenchmark testing of SingleTM version */
public static native void flushToFile(int threadid);
/* Only used for microbenchmark testing of SingleTM version */
+
+ public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
+
+ // for disjoint reachability analysis
+ public static void genReach();
}
}