de.uka.ilkd.key.java.reference

Interface MethodOrConstructorReference

All Superinterfaces:

ExpressionContainer, MemberReference, ModelElement, NonTerminalProgramElement, ProgramElement, Reference, ReferencePrefix, SourceElement, Statement, SVSubstitute

All Known Subinterfaces:

ConstructorReference

All Known Implementing Classes:

MethodReference, New, SpecialConstructorReference, SuperConstructorReference, ThisConstructorReference

public interface MethodOrConstructorReference
extends MemberReference, ReferencePrefix, Statement

Method Summary

Modifier and Type	Method and Description
ImmutableArray<? extends Expression>	getArguments()

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

Methods inherited from interface de.uka.ilkd.key.java.reference.ReferencePrefix

getReferencePrefix

Method Detail

getArguments

ImmutableArray<? extends Expression> getArguments()

Returns:

the array wrapper of the argument expressions .