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

Method fromString

src/main/java/wycc/util/Trie.java:254–261  ·  view source on GitHub ↗

Construct a Trie from a string, where '/' is the separator. s @param str @return

(String str)

Source from the content-addressed store, hash-verified

252 * @return
253 */
254 public static Trie fromString(String str) {
255 String[] components = str.split("/");
256 Trie r = ROOT;
257 for(int i=0;i!=components.length;++i) {
258 r = r.append(components[i]);
259 }
260 return r;
261 }
262
263 public static Trie fromStrings(String... components) {
264 Trie r = ROOT;

Callers 15

WhileyCompilerTestsMethod · 0.95
getSourceMethod · 0.95
getSourceMethod · 0.95
ExecutorClass · 0.95
mainMethod · 0.95
CompilerClass · 0.95
mainMethod · 0.95
mainMethod · 0.95
applyMethod · 0.95
toErrorMethod · 0.95
getSourceMethod · 0.95
fromStringMethod · 0.95

Calls 1

appendMethod · 0.95

Tested by 9

WhileyCompilerTestsMethod · 0.76
applyMethod · 0.76
toErrorMethod · 0.76
getSourceMethod · 0.76
fromStringMethod · 0.76
applyMethod · 0.76
toErrorMethod · 0.76
parseActionMethod · 0.76
parseErrorMethod · 0.76