Dispose of all allocated memory.
()
| 67 | |
| 68 | /** Dispose of all allocated memory. */ |
| 69 | public static void disposeAll() { |
| 70 | // use a copy since dispose() modifies the map |
| 71 | Collection<Reference<Memory>> refs = new ArrayList<>(allocatedMemory.values()); |
| 72 | for (Reference<Memory> r : refs) { |
| 73 | Memory m = r.get(); |
| 74 | if(m != null) { |
| 75 | m.close(); |
| 76 | } |
| 77 | } |
| 78 | } |
| 79 | |
| 80 | private final Cleaner.Cleanable cleanable; |
| 81 | protected long size; // Size of the malloc'ed space |