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

Method addSource

src/main/java/wyc/Check.java:81–84  ·  view source on GitHub ↗
(Trie source)

Source from the content-addressed store, hash-verified

79 }
80
81 public Check addSource(Trie source) {
82 this.sources.add(source);
83 return this;
84 }
85
86 public Check setVerbose(boolean verbose) {
87 this.verbose = verbose;

Callers 2

mainMethod · 0.95
applyMethod · 0.45

Calls 1

addMethod · 0.65

Tested by 1

applyMethod · 0.36