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

Method read

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

Read the value at a given position in this array. @param index @return

(Int index)

Source from the content-addressed store, hash-verified

361 * @return
362 */
363 public RValue read(Int index);
364
365 /**
366 * Write a value to the given position in this array, returning the

Callers 15

loadMethod · 0.65
checkAssignedLValMethod · 0.65
executeRecordAccessMethod · 0.65
executeArrayAccessMethod · 0.65
executeDereferenceMethod · 0.65
isMethod · 0.65
extractFromZipMethod · 0.65
readWyilFileMethod · 0.65
WhileyFileLexerMethod · 0.65

Implementers 1

Arraysrc/main/java/wyil/interpreter/Concret

Calls

no outgoing calls

Tested by

no test coverage detected