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

Method getModule

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

Source from the content-addressed store, hash-verified

310 }
311
312 public Decl.Module getModule() {
313 return (Decl.Module) getRootItem();
314 }
315
316 public Decl.Unit getUnit() {
317 // The first node is always the declaration root.

Callers 14

replaceMethod · 0.95
syntaxErrorMethod · 0.95
loadMethod · 0.80
visitModuleMethod · 0.80
checkImportsMethod · 0.80
SymbolTableMethod · 0.80
consolidateMethod · 0.80
visitModuleMethod · 0.80
visitModuleMethod · 0.80
visitModuleMethod · 0.80
checkMethod · 0.80
checkMethod · 0.80

Calls 1

getRootItemMethod · 0.65

Tested by

no test coverage detected