Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ parent
Method
parent
src/main/java/wycc/util/Trie.java:128–130 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
126
}
127
128
public
Trie parent() {
129
return
parent;
130
}
131
132
public
Trie subpath(
int
start,
int
end) {
133
Trie id = Trie.ROOT;
Callers
1
main
Method · 0.95
Calls
no outgoing calls
Tested by
no test coverage detected