Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ setWhileyPath
Method
setWhileyPath
src/main/java/wyc/Executor.java:54–57 ·
view source on GitHub ↗
(List<File> whileypath)
Source
from the content-addressed store, hash-verified
52
}
53
54
public
Executor setWhileyPath(List<File> whileypath) {
55
this.whileypath = whileypath;
56
return
this;
57
}
58
59
public
Executor setWyilDir(File wyildir) {
60
this.wyildir = wyildir;
Callers
1
main
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected