Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ setWhileyPath
Method
setWhileyPath
src/main/java/wyc/Compiler.java:103–106 ·
view source on GitHub ↗
(List<File> whileypath)
Source
from the content-addressed store, hash-verified
101
}
102
103
public
Compiler setWhileyPath(List<File> whileypath) {
104
this.whileypath = whileypath;
105
return
this;
106
}
107
108
public
Compiler addDependency(WyilFile dep) {
109
this.dependencies.add(dep);
Callers
1
main
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected