de.uka.ilkd.key.java.reference

Interface ReferenceSuffix

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

ProgramConstruct, TypeReference, TypeReferenceInfix

All Known Implementing Classes:

ArrayLength, ArrayLengthReference, ArrayPostDecl, ArrayReference, ConstructorCall, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, FieldReference, ForInitUnfoldTransformer, ForToWhile, InitArray, InitArrayCreation, IsStatic, LocationVariable, MetaClassReference, MethodCall, MethodReference, MultipleVarDecl, New, PackageReference, PostWork, ProgramConstant, ProgramElementName, ProgramSV, ProgramTransformer, ProgramVariable, SchematicFieldReference, SchemaTypeReference, SpecialConstructorCall, StaticInitialisation, SuperConstructorReference, SuperReference, SwitchToIf, ThisReference, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop, VariableNamer.IndProgramElementName, VariableNamer.PermIndProgramElementName, VariableNamer.TempIndProgramElementName

public interface ReferenceSuffix
extends ModelElement, ProgramElement, SourceElement

Reference suffix. There are only few pure suffices, e.g. SuperConstructorReference. This interface does not extend Reference, as ParenthesizedExpression is a qualifier but not a reference per se.

Method Summary

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