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

Method getMinorVersion

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

Get the minor version of this schema. @return

()

Source from the content-addressed store, hash-verified

418 * @return
419 */
420 public int getMinorVersion();
421
422 /**
423 * Get the major version of this schema.

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