de.uka.ilkd.key.java

Interface NamedProgramElement

All Superinterfaces:

ModelElement, NamedModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

NameReference, ProgramConstruct, TypeReference, TypeReferenceInfix

All Known Implementing Classes:

ArrayDeclaration, ArrayLength, ArrayPostDecl, Break, ClassDeclaration, ConstructorCall, ConstructorDeclaration, Continue, CreateObject, DoBreak, EnhancedForElimination, EnumClassDeclaration, EvaluateArgs, ExpandMethodBody, FieldReference, FieldSpecification, ForInitUnfoldTransformer, ForToWhile, ImplicitFieldSpecification, InitArray, InitArrayCreation, InterfaceDeclaration, IsStatic, LabeledStatement, LabelJumpStatement, MethodCall, MethodDeclaration, MethodReference, MultipleVarDecl, PackageReference, PostWork, ProgramSV, ProgramTransformer, SchematicFieldReference, SchemaTypeReference, SpecialConstructorCall, StaticInitialisation, SuperArrayDeclaration, SwitchToIf, TypeDeclaration, TypeOf, TypeRef, TypeReferenceImp, Unpack, UnwindLoop, VariableReference, VariableSpecification

public interface NamedProgramElement
extends NamedModelElement, NonTerminalProgramElement

Named program element. taken from COMPOST and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
ProgramElementName	getProgramElementName() Get identifier.

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

getName

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

getProgramElementName

ProgramElementName getProgramElementName()

Get identifier.

Returns:

the identifier.