Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
extractFromZip
Method · 0.45
WhileyFileLexer
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected