MCPcopy 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

mainMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected