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

Method AbstractHeap

src/main/java/wycc/util/AbstractHeap.java:38–40  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

36 protected int root;
37
38 public AbstractHeap() {
39
40 }
41
42 public AbstractHeap(Syntactic.Heap heap) {
43 // Copy over the root

Callers

nothing calls this directly

Calls 6

cloneMethod · 0.95
allocateMethod · 0.95
getIndexMethod · 0.65
getRootItemMethod · 0.65
sizeMethod · 0.65
getSyntacticItemMethod · 0.65

Tested by

no test coverage detected