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

Method search

src/main/java/wycc/io/HeapPrinter.java:74–84  ·  view source on GitHub ↗
(int index, Syntactic.Heap heap, boolean[] visited)

Source from the content-addressed store, hash-verified

72 }
73
74 private void search(int index, Syntactic.Heap heap, boolean[] visited) {
75 visited[index] = true;
76 //
77 Item item = heap.getSyntacticItem(index);
78 for (int j = 0; j != item.size(); ++j) {
79 int jth = item.get(j).getIndex();
80 if(!visited[jth]) {
81 search(jth, heap, visited);
82 }
83 }
84 }
85}

Callers 1

printMethod · 0.95

Calls 4

sizeMethod · 0.95
getMethod · 0.95
getSyntacticItemMethod · 0.65
getIndexMethod · 0.65

Tested by

no test coverage detected