MCPcopy 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

mainMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected