de.uka.ilkd.key.java

Interface Declaration

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

IProgramMethod, MemberDeclaration, ProgramConstruct

All Known Implementing Classes:

ArrayDeclaration, ClassDeclaration, ClassInitializer, ConstructorDeclaration, EnumClassDeclaration, FieldDeclaration, InterfaceDeclaration, JavaDeclaration, LocalVariableDeclaration, MethodDeclaration, ParameterDeclaration, ProgramMethod, ProgramSV, SuperArrayDeclaration, TypeDeclaration, VariableDeclaration

public interface Declaration
extends NonTerminalProgramElement

Declaration. taken from COMPOST and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
ImmutableArray<Modifier>	getModifiers() Get the modifiers.

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

getModifiers

ImmutableArray<Modifier> getModifiers()

Get the modifiers.

Returns:

the (original) list of modifiers wrapped .