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

Method read

src/main/java/wyil/io/WyilFileReader.java:42–46  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

40 }
41
42 @Override
43 public WyilFile read() throws IOException {
44 Pair<Integer, Syntactic.Item[]> p = readItems();
45 return new WyilFile(p.first(), p.second(), majorVersion, minorVersion);
46 }
47
48 @Override
49 protected Schema checkHeader() throws IOException {

Callers

nothing calls this directly

Calls 3

readItemsMethod · 0.80
firstMethod · 0.80
secondMethod · 0.80

Tested by

no test coverage detected