Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ setWyilDir
Method
setWyilDir
src/main/java/wyc/Executor.java:59–62 ·
view source on GitHub ↗
(File wyildir)
Source
from the content-addressed store, hash-verified
57
}
58
59
public
Executor setWyilDir(File wyildir) {
60
this.wyildir = wyildir;
61
return
this;
62
}
63
64
public
boolean run(QualifiedName name, Type.Callable sig) throws IOException {
65
//
Callers
1
main
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected