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

Method replace

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

Replace all references to a given syntactic item with references to another syntactic item. Observe that all reachable items are traversed, except for those within the item being replaced. The original item remains until the next garbage collection phase. @param from @param to

(T from, T to)

Source from the content-addressed store, hash-verified

199 * @param to
200 */
201 public <T extends Item> void replace(T from, T to);
202
203 /**
204 * Trigger garbage collection for this heap. This may result in the indices of

Callers 13

replaceMethod · 0.65
getSourceMethod · 0.65
createSchema_2_2Method · 0.65
getSourceMethod · 0.65
toMangledNameMethod · 0.65
mainMethod · 0.65
sendMethod · 0.65
toNameStringMethod · 0.65
readMethod · 0.65
parseIntegerLiteralMethod · 0.65
parseHexLiteralMethod · 0.65
applyMethod · 0.65

Implementers 1

AbstractHeapsrc/main/java/wycc/util/AbstractHeap.j

Calls

no outgoing calls

Tested by 2

applyMethod · 0.52
getSourceMethod · 0.52