MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / setWhileyPath

Method setWhileyPath

src/main/java/wyc/Compiler.java:103–106  ·  view source on GitHub ↗
(List<File> whileypath)

Source from the content-addressed store, hash-verified

101 }
102
103 public Compiler setWhileyPath(List<File> whileypath) {
104 this.whileypath = whileypath;
105 return this;
106 }
107
108 public Compiler addDependency(WyilFile dep) {
109 this.dependencies.add(dep);

Callers 1

mainMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected