1 package shark 2 3 import java.io.Closeable 4 5 /** 6 * A [HeapGraph] that should be closed after being used. 7 */ 8 interface CloseableHeapGraph : HeapGraph, Closeable