Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ setWhileyDir
Method
setWhileyDir
src/main/java/wyc/Compiler.java:113–116 ·
view source on GitHub ↗
(File whileydir)
Source
from the content-addressed store, hash-verified
111
}
112
113
public
Compiler setWhileyDir(File whileydir) {
114
this.whileydir = whileydir;
115
return
this;
116
}
117
118
public
Compiler setWyilDir(File wyildir) {
119
this.wyildir = wyildir;
Callers
2
main
Method · 0.80
apply
Method · 0.80
Calls
no outgoing calls
Tested by
1
apply
Method · 0.64