de.uka.ilkd.key.java.declaration

Class ConstructorDeclaration

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.MethodDeclaration

de.uka.ilkd.key.java.declaration.ConstructorDeclaration

All Implemented Interfaces:

ClassTypeContainer, Constructor, Member, Method, ProgramModelElement, Declaration, MemberDeclaration, ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ParameterContainer, ProgramElement, TypeReferenceContainer, ScopeDefiningElement, SourceElement, StatementContainer, VariableScope, SVSubstitute

public class ConstructorDeclaration
extends MethodDeclaration
implements Constructor

The getTypeReference method returns null - constructors do not have explicite return types. A constructor declaration contains its own name even though it must match the class name: the name occurs as syntactical element and hence must be represented. taken from COMPOST and changed to achieve an immutable structure

Field Summary

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

body, exceptions, name, parameters, parentIsInterfaceDeclaration, returnType, voidComments

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

modArray

Constructor Summary

Constructors

Constructor and Description
ConstructorDeclaration(ExtList children, boolean parentIsInterfaceDeclaration) Constructor declaration.
ConstructorDeclaration(Modifier[] modifiers, ProgramElementName name, ParameterDeclaration[] parameters, Throws exceptions, StatementBlock body, boolean parentIsInterfaceDeclaration) Deprecated.

Method Summary

Modifier and Type	Method and Description
boolean	isAbstract() Constructors are never abstract.
boolean	isFinal() Constructors are never final.
boolean	isNative() Constructors are never native.
boolean	isStatic() Constructors are never static.
boolean	isStrictFp() Constructors are never strictfp.
boolean	isSynchronized() Constructors are never synchronized.
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.MethodDeclaration

getBody, getChildAt, getChildCount, getFirstElement, getFullName, getLastElement, getName, getParameterDeclarationAt, getParameterDeclarationCount, getParameters, getProgramElementName, getStateCount, getStatementAt, getStatementCount, getThrown, getTypeReference, getTypeReferenceAt, getTypeReferenceCount, getVoidComments, isModel, isPrivate, isProtected, isPublic, isVarArgMethod, prettyPrint

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

getModifiers, getVisibilityModifier, isGhost, 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, 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.abstraction.Member

isPrivate, isProtected, isPublic

Methods inherited from interface de.uka.ilkd.key.java.abstraction.ProgramModelElement

getFullName

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

getName

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

Constructor Detail

ConstructorDeclaration

public ConstructorDeclaration(ExtList children,
                              boolean parentIsInterfaceDeclaration)

Constructor declaration.

Parameters:

parentIsInterfaceDeclaration - a boolean set true iff parent is an InterfaceDeclaration

ConstructorDeclaration

@Deprecated
public ConstructorDeclaration(Modifier[] modifiers,
                                          ProgramElementName name,
                                          ParameterDeclaration[] parameters,
                                          Throws exceptions,
                                          StatementBlock body,
                                          boolean parentIsInterfaceDeclaration)

Deprecated.

Constructor declaration.

Parameters:

modifiers - a modifier array.

name - an identifier.

parameters - a parameter declaration mutable list.

exceptions - a throws.

body - a statement block.

parentIsInterfaceDeclaration - a boolean set true iff parent is an InterfaceDeclaration

Method Detail

isAbstract

public boolean isAbstract()

Constructors are never abstract.

Specified by:

isAbstract in interface Method

Overrides:

isAbstract in class MethodDeclaration

Returns:

true if this member is abstract, false otherwise.

See Also:

Constructor

isFinal

public boolean isFinal()

Constructors are never final.

Specified by:

isFinal in interface Member

Overrides:

isFinal in class MethodDeclaration

Returns:

true if this member is final, false otherwise.

isNative

public boolean isNative()

Constructors are never native.

Specified by:

isNative in interface Method

Overrides:

isNative in class MethodDeclaration

Returns:

true if this method is native, false otherwise.

See Also:

Constructor

isStatic

public boolean isStatic()

Constructors are never static.

Specified by:

isStatic in interface Member

Specified by:

isStatic in interface MemberDeclaration

Overrides:

isStatic in class MethodDeclaration

Returns:

true if this member is static, false otherwise.

isStrictFp

public boolean isStrictFp()

Constructors are never strictfp.

Specified by:

isStrictFp in interface Member

Specified by:

isStrictFp in interface MemberDeclaration

Overrides:

isStrictFp in class MethodDeclaration

Returns:

true if this member is strictfp, false otherwise.

isSynchronized

public boolean isSynchronized()

Constructors are never synchronized.

Specified by:

isSynchronized in interface Method

Overrides:

isSynchronized in class MethodDeclaration

Returns:

true if this method is synchronized, false otherwise.

See Also:

Constructor

visit

public void visit(Visitor v)

Description copied from interface: SourceElement

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

Specified by:

visit in interface SourceElement

Overrides:

visit in class MethodDeclaration

Parameters:

v - the Visitor