de.uka.ilkd.key.java.reference

Interface ReferencePrefix

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

ConstructorReference, MethodOrConstructorReference, ProgramConstruct, TypeReference, TypeReferenceInfix

All Known Implementing Classes:

ArrayLength, ArrayPostDecl, ArrayReference, ConstructorCall, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, FieldReference, ForInitUnfoldTransformer, ForToWhile, InitArray, InitArrayCreation, IsStatic, LocationVariable, MetaClassReference, MethodCall, MethodReference, MultipleVarDecl, New, NewArray, PackageReference, ParenthesizedExpression, PassiveExpression, PostWork, ProgramConstant, ProgramSV, ProgramTransformer, ProgramVariable, SchematicFieldReference, SchemaTypeReference, SpecialConstructorCall, SpecialConstructorReference, StaticInitialisation, StringLiteral, SuperConstructorReference, SuperReference, SwitchToIf, ThisConstructorReference, ThisReference, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop, VariableReference

public interface ReferencePrefix
extends ProgramElement

Reference prefix.

Author:

AutoDoc

Method Summary

Modifier and Type	Method and Description
ReferencePrefix	getReferencePrefix()

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

Method Detail

getReferencePrefix

ReferencePrefix getReferencePrefix()