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

Method toNativeString

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

Source from the content-addressed store, hash-verified

238 }
239
240 public String toNativeString() {
241 if(parent == null || parent == ROOT) {
242 return component;
243 } else {
244 return parent.toNativeString() + File.separatorChar + component;
245 }
246 }
247
248 /**
249 * Construct a Trie from a string, where '/' is the separator.

Callers 4

readWhileyFileMethod · 0.80
readWyilFileMethod · 0.80
writeWyilFileMethod · 0.80
readTestFileMethod · 0.80

Calls

no outgoing calls

Tested by 1

readTestFileMethod · 0.64