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

Method size

src/main/java/wyil/interpreter/AbstractSemantics.java:412–412  ·  view source on GitHub ↗

Return the number of items in this tuple. @return

()

Source from the content-addressed store, hash-verified

410 * @return
411 */
412 public int size();
413
414 /**
415 * Get the ith value in this tuple

Callers 15

shapeMethod · 0.95
isWriteableMethod · 0.95
isReadableMethod · 0.95
substituteMethod · 0.95
toStringMethod · 0.95
toCanonicalStringMethod · 0.95
mapMethod · 0.95
toBareStringMethod · 0.95
hasNextMethod · 0.95
InterpreterMethod · 0.65
executeMethod · 0.65
extractParametersMethod · 0.65

Implementers 11

Selectorsrc/main/java/wyil/lang/WyilFile.java
Tuplesrc/main/java/wyil/interpreter/Concret
ConcreteSolutionsrc/main/java/wyil/util/IncrementalSub
SubtypeConstraintssrc/main/java/wyil/util/IncrementalSub
Rowsrc/main/java/wyil/check/FlowTypeUtils
QuickChecksrc/main/java/wyc/task/QuickCheck.java
SectionedSchemasrc/main/java/wycc/util/SectionedSchem
Bufferedsrc/main/java/wycc/util/MailBox.java
Triesrc/main/java/wycc/util/Trie.java
AbstractItemsrc/main/java/wycc/util/AbstractItem.j
TestFilesrc/main/java/wycc/util/testing/TestFi

Calls

no outgoing calls

Tested by

no test coverage detected