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

Method setTarget

src/main/java/wyc/Executor.java:49–52  ·  view source on GitHub ↗
(Trie target)

Source from the content-addressed store, hash-verified

47 private List<File> whileypath = Collections.EMPTY_LIST;
48
49 public Executor setTarget(Trie target) {
50 this.target = target;
51 return this;
52 }
53
54 public Executor setWhileyPath(List<File> whileypath) {
55 this.whileypath = whileypath;

Callers 2

mainMethod · 0.45
applyMethod · 0.45

Calls

no outgoing calls

Tested by 1

applyMethod · 0.36