| |
|
| de.uka.ilkd.key.java.declaration.JavaDeclaration de.uka.ilkd.key.java.declaration.MethodDeclaration de.uka.ilkd.key.java.declaration.ConstructorDeclaration
ConstructorDeclaration | public class ConstructorDeclaration extends MethodDeclaration implements Constructor(Code) | | 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
|
Method Summary | |
public boolean | isAbstract() Constructors are never abstract. | public boolean | isFinal() Constructors are never final. | public boolean | isNative() Constructors are never native. | public boolean | isStatic() Constructors are never static. | public boolean | isStrictFp() Constructors are never strictfp. | public boolean | isSynchronized() Constructors are never synchronized. | public void | visit(Visitor v) |
ConstructorDeclaration | public ConstructorDeclaration(ExtList children, boolean parentIsInterfaceDeclaration)(Code) | | Constructor declaration.
Parameters: parentIsInterfaceDeclaration - a boolean set true iffparent is an InterfaceDeclaration |
ConstructorDeclaration | public ConstructorDeclaration(Modifier[] modifiers, ProgramElementName name, ParameterDeclaration[] parameters, Throws exceptions, StatementBlock body, boolean parentIsInterfaceDeclaration)(Code) | | Constructor declaration.
Parameters: modifiers - a modifier array. Parameters: name - an identifier. Parameters: parameters - a parameter declaration mutable list. Parameters: exceptions - a throws. Parameters: body - a statement block. Parameters: parentIsInterfaceDeclaration - a boolean set true iffparent is an InterfaceDeclaration |
isAbstract | public boolean isAbstract()(Code) | | Constructors are never abstract.
|
isFinal | public boolean isFinal()(Code) | | Constructors are never final.
|
isNative | public boolean isNative()(Code) | | Constructors are never native.
|
isStatic | public boolean isStatic()(Code) | | Constructors are never static.
|
isStrictFp | public boolean isStrictFp()(Code) | | Constructors are never strictfp.
|
isSynchronized | public boolean isSynchronized()(Code) | | Constructors are never synchronized.
|
visit | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters: v - the Visitor |
Fields inherited from de.uka.ilkd.key.java.declaration.JavaDeclaration | final protected ArrayOfModifier modArray(Code)(Java Doc)
|
|
|
|