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

Method addSource

src/main/java/wyc/Compiler.java:98–101  ·  view source on GitHub ↗
(Trie source)

Source from the content-addressed store, hash-verified

96 }
97
98 public Compiler addSource(Trie source) {
99 this.sources.add(source);
100 return this;
101 }
102
103 public Compiler setWhileyPath(List<File> whileypath) {
104 this.whileypath = whileypath;

Callers 1

mainMethod · 0.95

Calls 1

addMethod · 0.65

Tested by

no test coverage detected