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

Method clone

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

Create a new copy of the given syntactic item with the given operands. The number of operands must match size() for this item, and be of appropriate type. @param operands @return

(Item[] operands)

Source from the content-addressed store, hash-verified

352 * @return
353 */
354 public Item clone(Item[] operands);
355
356 // ============================================================
357 // Schema

Callers 8

executeMethod · 0.65
executeLambdaAccessMethod · 0.65
checkMethod · 0.65
cloneMethod · 0.65
cloneOnlyMethod · 0.65
substituteMethod · 0.65
allocateMethod · 0.65

Implementers 1

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

Calls

no outgoing calls

Tested by

no test coverage detected