de.uka.ilkd.key.java.reference

Interface MemberReference

All Superinterfaces:

ExpressionContainer, ModelElement, NonTerminalProgramElement, ProgramElement, Reference, SourceElement, SVSubstitute

All Known Subinterfaces:

ConstructorReference, MethodOrConstructorReference, ProgramConstruct, TypeReference

All Known Implementing Classes:

ArrayLength, ArrayPostDecl, ConstructorCall, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, FieldReference, ForInitUnfoldTransformer, ForToWhile, InitArray, InitArrayCreation, IsStatic, MethodCall, MethodReference, MultipleVarDecl, New, PostWork, ProgramSV, ProgramTransformer, SchematicFieldReference, SchemaTypeReference, SpecialConstructorCall, SpecialConstructorReference, StaticInitialisation, SuperConstructorReference, SwitchToIf, ThisConstructorReference, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop

public interface MemberReference
extends Reference, ExpressionContainer

Member reference.

Author:

AutoDoc

Method Summary

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

getExpressionAt, getExpressionCount

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