de.uka.ilkd.key.java.declaration

Class ClassInitializer

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

de.uka.ilkd.key.java.declaration.ClassInitializer

All Implemented Interfaces:

Declaration, MemberDeclaration, ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, StatementContainer, SVSubstitute

public class ClassInitializer
extends JavaDeclaration
implements MemberDeclaration, StatementContainer

Field Summary

Fields

Modifier and Type	Field and Description
protected StatementBlock	body

Fields inherited from class de.uka.ilkd.key.java.declaration.JavaDeclaration

modArray

Constructor Summary

Constructors

Constructor and Description
ClassInitializer()
ClassInitializer(ExtList children) Class initializer.
ClassInitializer(Static modifier, StatementBlock body)

Method Summary

Modifier and Type	Method and Description
StatementBlock	getBody()
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array
int	getChildCount() Returns the number of children of this node.
SourceElement	getLastElement() Finds the source element that occurs last in the source.
Statement	getStatementAt(int index)
int	getStatementCount() Get the number of statements in this container.
boolean	isBinary() A binary class initializer does not occur.
boolean	isPrivate() Initializers are never private (at least not explicitly).
boolean	isProtected() Initializers are never protected.
boolean	isPublic() Initializers are never public.
boolean	isStatic() Test whether the declaration is static.
boolean	isStrictFp() Initializers are never strictfp.
void	prettyPrint(PrettyPrinter p) Pretty printing the source element.
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.declaration.JavaDeclaration

getModifiers, getStateCount, getVisibilityModifier, isAbstract, isFinal, isGhost, isModel, isNative, isSynchronized, isTransient, isVolatile

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, prettyPrintMain, reuseSignature

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

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, 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.Declaration

getModifiers

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, getPositionInfo, getRelativePosition, getStartPosition

Field Detail

body

protected final StatementBlock body

Constructor Detail

ClassInitializer

public ClassInitializer()

ClassInitializer

public ClassInitializer(Static modifier,
                        StatementBlock body)

ClassInitializer

public ClassInitializer(ExtList children)

Class initializer.

Parameters:

children - list with all children. May include: a StatementBlock (taken as body of the ClassInitialiyer), several Modifier (taken as modifiers of the declaration), a Comment

Method Detail

getBody

public StatementBlock getBody()

getStatementCount

public int getStatementCount()

Description copied from interface: StatementContainer

Get the number of statements in this container.

Specified by:

getStatementCount in interface StatementContainer

Returns:

the number of statements.

getStatementAt

public Statement getStatementAt(int index)

Specified by:

getStatementAt in interface StatementContainer

getChildCount

public int getChildCount()

Description copied from interface: NonTerminalProgramElement

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array

Specified by:

getChildAt in interface NonTerminalProgramElement

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds

isBinary

public boolean isBinary()

A binary class initializer does not occur.

isPublic

public boolean isPublic()

Initializers are never public.

Specified by:

isPublic in interface MemberDeclaration

Overrides:

isPublic in class JavaDeclaration

isProtected

public boolean isProtected()

Initializers are never protected.

Specified by:

isProtected in interface MemberDeclaration

Overrides:

isProtected in class JavaDeclaration

isPrivate

public boolean isPrivate()

Initializers are never private (at least not explicitly).

Specified by:

isPrivate in interface MemberDeclaration

Overrides:

isPrivate in class JavaDeclaration

isStrictFp

public boolean isStrictFp()

Initializers are never strictfp.

Specified by:

isStrictFp in interface MemberDeclaration

Overrides:

isStrictFp in class JavaDeclaration

isStatic

public boolean isStatic()

Test whether the declaration is static.

Specified by:

isStatic in interface MemberDeclaration

Overrides:

isStatic in class JavaDeclaration

getLastElement

public SourceElement getLastElement()

Description copied from class: JavaSourceElement

Finds the source element that occurs last in the source. The default implementation returns this element, which is correct for all terminal program elements, and many non terminals such as statements and prefixed operators.

Specified by:

getLastElement in interface SourceElement

Overrides:

getLastElement in class JavaSourceElement

Returns:

the last source element in the syntactical representation of this element, may be equals to this element.

See Also:

JavaSourceElement.toSource(), JavaSourceElement.getEndPosition()

visit

public void visit(Visitor v)

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Specified by:

visit in interface SourceElement

Parameters:

v - the Visitor

prettyPrint

public void prettyPrint(PrettyPrinter p)
                 throws java.io.IOException

Description copied from class: JavaSourceElement

Pretty printing the source element.

Specified by:

prettyPrint in interface SourceElement

Overrides:

prettyPrint in class JavaProgramElement

Parameters:

p - a pretty printer.

Throws:

java.io.IOException - occasionally thrown.