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

Method getName

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

Return the name of this field. @return

()

Source from the content-addressed store, hash-verified

394 * @return
395 */
396 public Identifier getName();
397
398 /**
399 * Return the value associated with this field.

Callers 15

getDeclarationMethod · 0.65
putUnitMethod · 0.65
putExternMethod · 0.65
toStringMethod · 0.65
toStringMethod · 0.65
toStringMethod · 0.65
toStringMethod · 0.65
toStringMethod · 0.65
substituteMethod · 0.65
toStringMethod · 0.65
toStringMethod · 0.65
applyMethod · 0.65

Implementers 1

Fieldsrc/main/java/wyil/interpreter/Concret

Calls

no outgoing calls

Tested by 4

getSourceMethod · 0.52
findTestNamesMethod · 0.52
findTestFilesMethod · 0.52
printStackTraceMethod · 0.52