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

Method length

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

Return the length of this array. @return

()

Source from the content-addressed store, hash-verified

378 * @return
379 */
380 public Int length();
381
382 }
383

Callers 15

executeArrayLengthMethod · 0.65
checkArrayBoundsMethod · 0.65
writeTypeMangleRecordMethod · 0.65
writeTypeMangleNominalMethod · 0.65
writeTypeMangleVariableMethod · 0.65
toStringMethod · 0.65
scanMethod · 0.65
scanNumericLiteralMethod · 0.65
scanIntegerLiteralMethod · 0.65
scanHexLiteralMethod · 0.65
scanBinaryLiteralMethod · 0.65
scanCharacterLiteralMethod · 0.65

Implementers 1

Arraysrc/main/java/wyil/interpreter/Concret

Calls

no outgoing calls

Tested by 3

findTestNamesMethod · 0.52
findTestFilesMethod · 0.52
parseConfigMethod · 0.52