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

Method getValue

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

Return the value associated with this field. @return

()

Source from the content-addressed store, hash-verified

401 * @return
402 */
403 public RValue getValue();
404 }
405
406 public interface Tuple extends RValue {

Callers 8

executeConstMethod · 0.65
visitConstantMethod · 0.65
getAllAvailableMethod · 0.65
toStringMethod · 0.65
pushConstantMethod · 0.65
pullConstantMethod · 0.65
getNaturalTypeMethod · 0.65
mirrorMethod · 0.65

Implementers 1

Fieldsrc/main/java/wyil/interpreter/Concret

Calls

no outgoing calls

Tested by 1

mirrorMethod · 0.52