MCPcopy 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

mainMethod · 0.80
applyMethod · 0.80

Calls

no outgoing calls

Tested by 1

applyMethod · 0.64