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

Method toPath

src/main/java/wycc/util/Trie.java:112–118  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

110 }
111
112 public Path toPath() {
113 if(parent == null) {
114 return Paths.get(component);
115 } else {
116 return parent.toPath().resolve(component);
117 }
118 }
119
120 public boolean matches(Trie id) {
121 return match(id, 0, 0, false);

Callers 2

setupMethod · 0.80
mirrorMethod · 0.80

Calls 2

resolveMethod · 0.80
getMethod · 0.65

Tested by 2

setupMethod · 0.64
mirrorMethod · 0.64