de.uka.ilkd.key.java.reference

Interface NameReference

All Superinterfaces:

ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ProgramElement, Reference, SourceElement, SVSubstitute

All Known Subinterfaces:

ProgramConstruct, TypeReference, TypeReferenceInfix

All Known Implementing Classes:

ArrayLength, ArrayPostDecl, Break, ConstructorCall, Continue, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, FieldReference, ForInitUnfoldTransformer, ForToWhile, InitArray, InitArrayCreation, IsStatic, LabelJumpStatement, MethodCall, MethodReference, MultipleVarDecl, PackageReference, PostWork, ProgramSV, ProgramTransformer, SchematicFieldReference, SchemaTypeReference, SpecialConstructorCall, StaticInitialisation, SwitchToIf, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop, VariableReference

public interface NameReference
extends NamedProgramElement, Reference

A NameReference references an entity by its explicite name.

Method Summary

Methods inherited from interface de.uka.ilkd.key.java.NamedProgramElement

getProgramElementName

Methods inherited from interface de.uka.ilkd.key.java.NamedModelElement

getName

Methods inherited from interface de.uka.ilkd.key.java.NonTerminalProgramElement

getChildAt, getChildCount

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit