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

Method createSchema

src/main/java/wyil/lang/WyilFile.java:7564–7566  ·  view source on GitHub ↗

This method constructs a chain of versioned schemas which should represent an immutable record of the various file formats used for representing WyilFiles. @return

()

Source from the content-addressed store, hash-verified

7562 * @return
7563 */
7564 private static Schema createSchema() {
7565 return createSchema_2_2();
7566 }
7567
7568 private static SectionedSchema createSchema_2_2() {
7569 SectionedSchema schema = createSchema_2_1();

Callers 2

getSchemaMethod · 0.95
mainMethod · 0.95

Calls 1

createSchema_2_2Method · 0.95

Tested by

no test coverage detected