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

Method getTarget

src/main/java/wycc/lang/Syntactic.java:468–468  ·  view source on GitHub ↗

Get the syntactic item to which this marker is associated. @return

()

Source from the content-addressed store, hash-verified

466 * @return
467 */
468 public Item getTarget();
469
470 /**
471 * Get concrete path of enclosing source file.

Callers 15

getConcreteTypeMethod · 0.65
getDeclarationMethod · 0.65
getTypeMethod · 0.65
shapeMethod · 0.65
dimensionMethod · 0.65
isAliasMethod · 0.65
getConcreteTypeMethod · 0.65
toCanonicalStringMethod · 0.65
executeStaticAssignVariableMethod · 0.65
checkAssignedLValMethod · 0.65
executeStaticVariableAccessMethod · 0.65
executeLambdaAccessMethod · 0.65

Implementers 1

SyntaxErrorsrc/main/java/wyil/lang/WyilFile.java

Calls

no outgoing calls

Tested by 1

toErrorMethod · 0.52