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

Method checkHeader

src/main/java/wycc/io/HeapReader.java:78–78  ·  view source on GitHub ↗

Check the header of this syntactic heap and, based on this, select the most appropriate schema for decoding it. @return @throws IOException

()

Source from the content-addressed store, hash-verified

76 * @throws IOException
77 */
78 protected abstract Schema checkHeader() throws IOException;
79
80 protected Bytecode readItem(Schema schema) throws IOException {
81 // read opcode

Callers 1

readItemsMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected