public abstract class JavaDeclaration extends JavaNonTerminalProgramElement implements Declaration
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<Modifier> |
modArray
Modifiers.
|
Constructor and Description |
---|
JavaDeclaration()
Java declaration.
|
JavaDeclaration(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
JavaDeclaration(ImmutableArray<Modifier> mods) |
JavaDeclaration(Modifier[] mods) |
Modifier and Type | Method and Description |
---|---|
private boolean |
containsModifier(java.lang.Class<?> type) |
ImmutableArray<Modifier> |
getModifiers()
Get modifiers.
|
protected int |
getStateCount()
Get the state count of the declaration
|
VisibilityModifier |
getVisibilityModifier()
Returns a Public, Protected, or Private Modifier, if there
is one, null otherwise.
|
protected boolean |
isAbstract()
Test whether the declaration is abstract.
|
protected boolean |
isFinal()
Test whether the declaration is final.
|
protected boolean |
isGhost()
Test whether the declaration is ghost (the jml modifier is meant).
|
protected boolean |
isModel()
Test whether the declaration is model (the jml modifier is meant).
|
protected boolean |
isNative()
Test whether the declaration is native.
|
protected boolean |
isPrivate()
Test whether the declaration is private.
|
protected boolean |
isProtected()
Test whether the declaration is protected.
|
protected boolean |
isPublic()
Test whether the declaration is public.
|
protected boolean |
isStatic()
Test whether the declaration is static.
|
protected boolean |
isStrictFp()
Test whether the declaration is strictfp.
|
protected boolean |
isSynchronized()
Test whether the declaration is synchronized.
|
protected boolean |
isTransient()
Test whether the declaration is transient.
|
protected boolean |
isVolatile()
Test whether the declaration is volatile.
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getChildAt, getChildCount
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
protected final ImmutableArray<Modifier> modArray
public JavaDeclaration()
public JavaDeclaration(Modifier[] mods)
public JavaDeclaration(ImmutableArray<Modifier> mods)
public JavaDeclaration(ExtList children)
children
- the children of this AST element as KeY classes. May
include: several Modifier (taken as modifiers of the declaration),
a Commentpublic ImmutableArray<Modifier> getModifiers()
getModifiers
in interface Declaration
public VisibilityModifier getVisibilityModifier()
private boolean containsModifier(java.lang.Class<?> type)
protected boolean isAbstract()
protected boolean isPrivate()
protected boolean isProtected()
protected boolean isPublic()
protected boolean isStatic()
protected boolean isTransient()
protected boolean isModel()
protected int getStateCount()
protected boolean isGhost()
protected boolean isVolatile()
protected boolean isStrictFp()
protected boolean isFinal()
protected boolean isNative()
protected boolean isSynchronized()