de.uka.ilkd.key.java.reference

Interface PackageReferenceContainer

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

ProgramConstruct, TypeReference

All Known Implementing Classes:

ArrayLength, ArrayPostDecl, ConstructorCall, CreateObject, DoBreak, EnhancedForElimination, EvaluateArgs, ExpandMethodBody, ForInitUnfoldTransformer, ForToWhile, Import, InitArray, InitArrayCreation, IsStatic, MethodCall, MultipleVarDecl, PackageReference, PackageSpecification, PostWork, ProgramSV, ProgramTransformer, SchemaTypeReference, SpecialConstructorCall, StaticInitialisation, SwitchToIf, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop

public interface PackageReferenceContainer
extends NonTerminalProgramElement

Element that contains a PackageReference.

Author:

AL

Method Summary

Modifier and Type	Method and Description
PackageReference	getPackageReference() Get the package reference.

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

Method Detail

getPackageReference

PackageReference getPackageReference()

Get the package reference.

Returns:

the package reference.