de.uka.ilkd.key.java.declaration

Class JavaDeclaration

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.declaration.JavaDeclaration

All Implemented Interfaces:

Declaration, ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

Direct Known Subclasses:

ClassInitializer, MethodDeclaration, TypeDeclaration, VariableDeclaration

public abstract class JavaDeclaration
extends JavaNonTerminalProgramElement
implements Declaration

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

Field Summary

Fields

Modifier and Type	Field and Description
protected ImmutableArray<Modifier>	modArray Modifiers.

Constructor Summary

Constructors

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)

Method Summary

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.

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

Field Detail

modArray

protected final ImmutableArray<Modifier> modArray

Modifiers. caches the wrapper for the modifiers. The wrapper is needed to get access to the array without hurting immutabilitiy

Constructor Detail

JavaDeclaration

public JavaDeclaration()

Java declaration.

JavaDeclaration

public JavaDeclaration(Modifier[] mods)

JavaDeclaration

public JavaDeclaration(ImmutableArray<Modifier> mods)

JavaDeclaration

public JavaDeclaration(ExtList children)

Constructor for the transformation of COMPOST ASTs to KeY.

Parameters:

children - the children of this AST element as KeY classes. May include: several Modifier (taken as modifiers of the declaration), a Comment

Method Detail

getModifiers

public ImmutableArray<Modifier> getModifiers()

Get modifiers.

Specified by:

getModifiers in interface Declaration

Returns:

the modifier array wrapper.

getVisibilityModifier

public VisibilityModifier getVisibilityModifier()

Returns a Public, Protected, or Private Modifier, if there is one, null otherwise. A return value of null can usually be interpreted as package visibility.

containsModifier

private boolean containsModifier(java.lang.Class<?> type)

isAbstract

protected boolean isAbstract()

Test whether the declaration is abstract.

isPrivate

protected boolean isPrivate()

Test whether the declaration is private.

isProtected

protected boolean isProtected()

Test whether the declaration is protected.

isPublic

protected boolean isPublic()

Test whether the declaration is public.

isStatic

protected boolean isStatic()

Test whether the declaration is static.

isTransient

protected boolean isTransient()

Test whether the declaration is transient.

isModel

protected boolean isModel()

Test whether the declaration is model (the jml modifier is meant).

getStateCount

protected int getStateCount()

Get the state count of the declaration

isGhost

protected boolean isGhost()

Test whether the declaration is ghost (the jml modifier is meant).

isVolatile

protected boolean isVolatile()

Test whether the declaration is volatile.

isStrictFp

protected boolean isStrictFp()

Test whether the declaration is strictfp.

isFinal

protected boolean isFinal()

Test whether the declaration is final.

isNative

protected boolean isNative()

Test whether the declaration is native.

isSynchronized

protected boolean isSynchronized()

Test whether the declaration is synchronized.