Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ addSource
Method
addSource
src/main/java/wyc/Compiler.java:98–101 ·
view source on GitHub ↗
(Trie source)
Source
from the content-addressed store, hash-verified
96
}
97
98
public
Compiler addSource(Trie source) {
99
this.sources.add(source);
100
return
this;
101
}
102
103
public
Compiler setWhileyPath(List<File> whileypath) {
104
this.whileypath = whileypath;
Callers
1
main
Method · 0.95
Calls
1
add
Method · 0.65
Tested by
no test coverage detected