Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ setWyilDir
Method
setWyilDir
src/main/java/wyc/Compiler.java:118–121 ·
view source on GitHub ↗
(File wyildir)
Source
from the content-addressed store, hash-verified
116
}
117
118
public
Compiler setWyilDir(File wyildir) {
119
this.wyildir = wyildir;
120
return
this;
121
}
122
123
public
boolean run() throws IOException {
124
List<WhileyFile> whileyfiles =
new
ArrayList<>();
Callers
1
main
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected