MCPcopy 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

mainMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected