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

Method createSchema_2_2

src/main/java/wyil/lang/WyilFile.java:7568–7573  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

7566 }
7567
7568 private static SectionedSchema createSchema_2_2() {
7569 SectionedSchema schema = createSchema_2_1();
7570 SectionedSchema.Builder builder = schema.extend();
7571 builder.replace("DECL", "property", Decl.Property.DESCRIPTOR_1);
7572 return builder.done();
7573 }
7574
7575 /**
7576 * The first recorded schema for WyIL files. There were many many versions prior

Callers 1

createSchemaMethod · 0.95

Calls 4

createSchema_2_1Method · 0.95
extendMethod · 0.95
doneMethod · 0.80
replaceMethod · 0.65

Tested by

no test coverage detected