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

Method getAll

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

Return the top-level children in this bytecode. @return

()

Source from the content-addressed store, hash-verified

294 * @return
295 */
296 public Item[] getAll();
297
298 /**
299 * Mutate the ith child of this item

Callers 14

toNameMethod · 0.65
getAllMethod · 0.65
createMethod · 0.65
getAllMethod · 0.65
leastUpperBoundMethod · 0.65
pullArrayInitialiserMethod · 0.65
pullRecordInitialiserMethod · 0.65
pullTupleInitialiserMethod · 0.65
inferMethod · 0.65
getUnderlyingTypeMethod · 0.65
getAllMethod · 0.65
replaceAllMethod · 0.65

Implementers 1

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

Calls

no outgoing calls

Tested by

no test coverage detected