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

Method getSchema

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

Source from the content-addressed store, hash-verified

220 private static Schema SCHEMA;
221
222 public static Schema getSchema() {
223 // FIXME: doing something?
224 if(SCHEMA == null) {
225 // Generate the latest schema
226 SCHEMA = createSchema();
227 }
228 return SCHEMA;
229 }
230
231 // =========================================================================
232 // Constructors

Callers 3

WyilFileMethod · 0.95
checkHeaderMethod · 0.95
WyilFileWriterMethod · 0.95

Calls 1

createSchemaMethod · 0.95

Tested by

no test coverage detected