MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / close

Method close

src/main/java/wycc/io/HeapReader.java:41–43  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

39 }
40
41 public void close() throws IOException {
42 in.close();
43 }
44
45 public abstract Syntactic.Heap read() throws IOException;
46

Callers 2

extractFromZipMethod · 0.45
WhileyFileLexerMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected