| changeset 17824 | 24dc83d7c1d7 |
| parent 17322 | 35c488005999 |
| child 19332 | ee4c8c2af356 |
| 17612:1b6801b0796c | 17824:24dc83d7c1d7 |
|---|---|
113 |
113 |
114 // Intered strings |
114 // Intered strings |
115 public native boolean isInStringTable(String str); |
115 public native boolean isInStringTable(String str); |
116 |
116 |
117 // Memory |
117 // Memory |
118 public native long reserveMemory(long size); |
118 public native void readReservedMemory(); |
119 |
119 |
120 // force Full GC |
120 // force Full GC |
121 public native void fullGC(); |
121 public native void fullGC(); |
122 } |
122 } |