de.uka.ilkd.key.java.declaration

Interface MemberDeclaration

All Superinterfaces:

Declaration, ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

IProgramMethod, ProgramConstruct

All Known Implementing Classes:

ArrayDeclaration, ClassDeclaration, ClassInitializer, ConstructorDeclaration, EnumClassDeclaration, FieldDeclaration, InterfaceDeclaration, MethodDeclaration, ProgramMethod, ProgramSV, SuperArrayDeclaration, TypeDeclaration

public interface MemberDeclaration
extends Declaration, NonTerminalProgramElement

Member declaration. taken from COMPOST and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
boolean	isPrivate() Test whether the declaration is private.
boolean	isProtected() Test whether the declaration is protected.
boolean	isPublic() Test whether the declaration is public.
boolean	isStatic() Test whether the declaration is static.
boolean	isStrictFp() Test whether the declaration is strictfp.

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

getModifiers

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

isPrivate

boolean isPrivate()

Test whether the declaration is private.

isProtected

boolean isProtected()

Test whether the declaration is protected.

isPublic

boolean isPublic()

Test whether the declaration is public.

isStatic

boolean isStatic()

Test whether the declaration is static.

isStrictFp

boolean isStrictFp()

Test whether the declaration is strictfp.