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

Method getMajorVersion

src/main/java/wycc/lang/Syntactic.java:427–427  ·  view source on GitHub ↗

Get the major version of this schema. @return

()

Source from the content-addressed store, hash-verified

425 * @return
426 */
427 public int getMajorVersion();
428
429 /**
430 * Get the schema from which this schema extends (if any).

Callers 7

WyilFileMethod · 0.95
mainMethod · 0.95
checkHeaderMethod · 0.95
selectSchemaMethod · 0.65
writeVersionNumberMethod · 0.65
visitModuleMethod · 0.65
doneMethod · 0.65

Implementers 1

SectionedSchemasrc/main/java/wycc/util/SectionedSchem

Calls

no outgoing calls

Tested by

no test coverage detected