Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
setup
Method · 0.80
mirror
Method · 0.80
Calls
2
resolve
Method · 0.80
get
Method · 0.65
Tested by
2
setup
Method · 0.64
mirror
Method · 0.64