Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
replace
Method · 0.95
syntaxError
Method · 0.95
load
Method · 0.80
visitModule
Method · 0.80
checkImports
Method · 0.80
SymbolTable
Method · 0.80
consolidate
Method · 0.80
visitModule
Method · 0.80
visitModule
Method · 0.80
visitModule
Method · 0.80
check
Method · 0.80
check
Method · 0.80
Calls
1
getRootItem
Method · 0.65
Tested by
no test coverage detected