Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ addSource
Method
addSource
src/main/java/wyc/Check.java:81–84 ·
view source on GitHub ↗
(Trie source)
Source
from the content-addressed store, hash-verified
79
}
80
81
public
Check addSource(Trie source) {
82
this.sources.add(source);
83
return
this;
84
}
85
86
public
Check setVerbose(boolean verbose) {
87
this.verbose = verbose;
Callers
2
main
Method · 0.95
apply
Method · 0.45
Calls
1
add
Method · 0.65
Tested by
1
apply
Method · 0.36