de.uka.ilkd.key.java

Interface NamedModelElement

All Superinterfaces:

ModelElement

All Known Subinterfaces:

ArrayType, ClassType, ClassTypeContainer, Constructor, Field, Member, Method, NamedProgramElement, NameReference, ProgramConstruct, ProgramModelElement, Type, TypeReference, TypeReferenceInfix, Variable

All Known Implementing Classes:

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

public interface NamedModelElement
extends ModelElement

A model element that carries a name.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName() Return the name of the model element.

Method Detail

getName

java.lang.String getName()

Return the name of the model element.

Returns:

the name of the model element.