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

Method allocate

src/main/java/wycc/lang/Syntactic.java:259–259  ·  view source on GitHub ↗

Allocated the given item to a syntactic heap. Note that an item can only be allocated to one heap at a time. Therefore, an exception will be raised if this item is already allocated to another heap. @param heap The heap into which this item is being allocated @param index The

(Heap heap, int index)

Source from the content-addressed store, hash-verified

257 * The index at which this item is being allocated
258 */
259 public void allocate(Heap heap, int index);
260
261 /**
262 * The opcode which defines what this bytecode does. Observe that certain

Callers 2

gcMethod · 0.95
allocateMethod · 0.95

Implementers 1

AbstractItemsrc/main/java/wycc/util/AbstractItem.j

Calls

no outgoing calls

Tested by

no test coverage detected