de.uka.ilkd.key.java.reference

Interface ConstructorReference

All Superinterfaces:

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

All Known Implementing Classes:

New, SpecialConstructorReference, SuperConstructorReference, ThisConstructorReference

public interface ConstructorReference
extends MethodOrConstructorReference, MemberReference

Constructor reference.

Author:

AutoDoc

Method Summary

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

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