de.uka.ilkd.key.java.abstraction

Class DefaultConstructor

java.lang.Object

de.uka.ilkd.key.java.abstraction.DefaultConstructor

All Implemented Interfaces:

ClassTypeContainer, Constructor, Member, Method, ProgramModelElement, ModelElement, NamedModelElement

Deprecated.

is actually never used

@Deprecated
public class DefaultConstructor
extends java.lang.Object
implements Constructor

Default constructor of class types.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	name Deprecated.
protected boolean	parentIsPublic Deprecated.

Constructor Summary

Constructors

Constructor and Description
DefaultConstructor(ExtList children) Deprecated.
DefaultConstructor(java.lang.String name, boolean parentIsPublic) Deprecated.

Method Summary

Modifier and Type	Method and Description
ClassType[]	getExceptions() Deprecated. Returns the (empty) exception list of this constructor.
java.lang.String	getFullName() Deprecated. Returns the name of this element.
java.lang.String	getName() Deprecated. Returns the name of this element.
Package	getPackage() Deprecated. TO BE IMPLEMENTED Returns the package this element is defined in.
Type	getReturnType() Deprecated. Returns the return type of this method.
Type[]	getSignature() Deprecated. TO BE IMPLEMENTED Returns the signature of this constructor.
ClassType[]	getTypes() Deprecated. TO BE IMPLEMENTED Returns the (empty) list of class types locally defined within this container.
boolean	isAbstract() Deprecated. Checks if this member is abstract.
boolean	isFinal() Deprecated. Checks if this member is final.
boolean	isNative() Deprecated. Checks if this member is native.
boolean	isPrivate() Deprecated. Checks if this member is private.
boolean	isProtected() Deprecated. Checks if this member is protected.
boolean	isPublic() Deprecated. Checks if this member is public.
boolean	isStatic() Deprecated. Checks if this member is static.
boolean	isStrictFp() Deprecated. Checks if this member is protected.
boolean	isSynchronized() Deprecated. Checks if this member is synchronized.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name

protected final java.lang.String name

Deprecated.

parentIsPublic

protected final boolean parentIsPublic

Deprecated.

Constructor Detail

DefaultConstructor

public DefaultConstructor(ExtList children)

Deprecated.

DefaultConstructor

@Deprecated
public DefaultConstructor(java.lang.String name,
                                      boolean parentIsPublic)

Deprecated.

Create a new default constructor for the given class type. The name of the constructor is set appropriately.

Parameters:

name - of the Constructor

parentIsPublic - is set true iff the parent is declared public.

Method Detail

isFinal

public boolean isFinal()

Deprecated.

Checks if this member is final.

Specified by:

isFinal in interface Member

Returns:

false.

isStatic

public boolean isStatic()

Deprecated.

Checks if this member is static.

Specified by:

isStatic in interface Member

Returns:

true.

isPrivate

public boolean isPrivate()

Deprecated.

Checks if this member is private.

Specified by:

isPrivate in interface Member

Returns:

false.

isProtected

public boolean isProtected()

Deprecated.

Checks if this member is protected.

Specified by:

isProtected in interface Member

Returns:

false.

isPublic

public boolean isPublic()

Deprecated.

Checks if this member is public.

Specified by:

isPublic in interface Member

Returns:

true, if the containing class type is public, false otherwise.

isStrictFp

public boolean isStrictFp()

Deprecated.

Checks if this member is protected.

Specified by:

isStrictFp in interface Member

Returns:

false.

isAbstract

public boolean isAbstract()

Deprecated.

Checks if this member is abstract.

Specified by:

isAbstract in interface Method

Returns:

false.

See Also:

Constructor

isNative

public boolean isNative()

Deprecated.

Checks if this member is native.

Specified by:

isNative in interface Method

Returns:

false.

See Also:

Constructor

isSynchronized

public boolean isSynchronized()

Deprecated.

Checks if this member is synchronized.

Specified by:

isSynchronized in interface Method

Returns:

false.

See Also:

Constructor

getSignature

public Type[] getSignature()

Deprecated.

TO BE IMPLEMENTED Returns the signature of this constructor.

Returns:

the signature of this constructor.

getReturnType

public Type getReturnType()

Deprecated.

Returns the return type of this method.

Returns:

the return type of this method.

getExceptions

public ClassType[] getExceptions()

Deprecated.

Returns the (empty) exception list of this constructor.

Returns:

the (empty) exception list of this constructor.

getPackage

public Package getPackage()

Deprecated.

TO BE IMPLEMENTED Returns the package this element is defined in.

Returns:

the package of this element.

getTypes

public ClassType[] getTypes()

Deprecated.

TO BE IMPLEMENTED Returns the (empty) list of class types locally defined within this container.

Returns:

a list of contained class types.

getName

public java.lang.String getName()

Deprecated.

Returns the name of this element.

Specified by:

getName in interface NamedModelElement

Returns:

the name of this element.

getFullName

public java.lang.String getFullName()

Deprecated.

Returns the name of this element.

Specified by:

getFullName in interface ProgramModelElement

Returns:

the name of this element.