de.uka.ilkd.key.java.abstraction

Class NullType

java.lang.Object

de.uka.ilkd.key.java.abstraction.NullType

All Implemented Interfaces:

ClassType, ClassTypeContainer, Member, ProgramModelElement, Type, ModelElement, NamedModelElement

public class NullType
extends Object
implements ClassType

A program model element representing the null type.

Author:

AL, RN

Field Summary

Fields

Modifier and Type	Field and Description
static NullType	JAVA_NULL
static String	NULL The name of this type.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	NullType()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
ImmutableList<Field>	getAllFields(Services services) Returns all visible fields that are defined in this class type or any of its supertypes.
ImmutableList<Method>	getAllMethods(Services services) Returns all visible methods that are defined in this class type or any of its supertypes.
ImmutableList<ClassType>	getAllSupertypes(Services services) Returns the array of all supertypes of this class type, in topological order, including the class type isself as first element.
ImmutableList<ClassType>	getAllTypes(Services services) Returns all class types that are inner types of this class type, including visible inherited types.
ImmutableList<Constructor>	getConstructors(Services services) Returns the constructors locally defined within this class type.
Literal	getDefaultValue() returns the default value of the given type according to JLS Sect.
ImmutableList<Field>	getFields(Services services) Returns the fields locally defined within this class type.
String	getFullName() Returns the name of this element.
ImmutableList<Method>	getMethods(Services services) Returns the methods locally defined within this class type.
String	getName() Returns the name of this element.
Package	getPackage()
ImmutableList<KeYJavaType>	getSupertypes() Returns the array of locally declared supertypes of this class type.
int	hashCode()
boolean	isAbstract() Checks if this member is abstract.
boolean	isFinal() Checks if this member is final.
boolean	isInterface() Checks if this class type denotes an interface.
boolean	isPrivate() Checks if this member is private.
boolean	isProtected() Checks if this member is protected.
boolean	isPublic() Checks if this member is public.
boolean	isStatic() Checks if this member is static.
boolean	isStrictFp() Checks if this member is strictfp.

Methods inherited from class java.lang.Object

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

Field Detail

JAVA_NULL

public static final NullType JAVA_NULL

NULL

public static final String NULL

The name of this type.

See Also:

Constant Field Values

Constructor Detail

NullType

private NullType()

Method Detail

getName

public String getName()

Returns the name of this element.

Specified by:

getName in interface NamedModelElement

Returns:

"null".

getFullName

public String getFullName()

Returns the name of this element.

Specified by:

getFullName in interface ProgramModelElement

Returns:

"null".

isFinal

public boolean isFinal()

Checks if this member is final.

Specified by:

isFinal in interface Member

Returns:

true.

isStatic

public boolean isStatic()

Checks if this member is static.

Specified by:

isStatic in interface Member

Returns:

true.

isPrivate

public boolean isPrivate()

Checks if this member is private.

Specified by:

isPrivate in interface Member

Returns:

false.

isProtected

public boolean isProtected()

Checks if this member is protected.

Specified by:

isProtected in interface Member

Returns:

false.

isPublic

public boolean isPublic()

Checks if this member is public.

Specified by:

isPublic in interface Member

Returns:

true.

isStrictFp

public boolean isStrictFp()

Checks if this member is strictfp.

Specified by:

isStrictFp in interface Member

Returns:

false.

isInterface

public boolean isInterface()

Checks if this class type denotes an interface.

Specified by:

isInterface in interface ClassType

Returns:

false.

isAbstract

public boolean isAbstract()

Checks if this member is abstract.

Specified by:

isAbstract in interface ClassType

Returns:

false.

See Also:

ClassType.isInterface()

getSupertypes

public ImmutableList<KeYJavaType> getSupertypes()

Returns the array of locally declared supertypes of this class type.

Specified by:

getSupertypes in interface ClassType

Returns:

the array of locally defined supertypes of this type.

getAllSupertypes

public ImmutableList<ClassType> getAllSupertypes(Services services)

Returns the array of all supertypes of this class type, in topological order, including the class type isself as first element. The order allows to resolve member overloading or overloading.

Specified by:

getAllSupertypes in interface ClassType

Returns:

the array of all supertypes of this type in topological order.

getFields

public ImmutableList<Field> getFields(Services services)

Returns the fields locally defined within this class type.

Specified by:

getFields in interface ClassType

Returns:

the array of field members of this type.

getAllFields

public ImmutableList<Field> getAllFields(Services services)

Returns all visible fields that are defined in this class type or any of its supertypes. The fields are in topological order with respect to the inheritance hierarchy.

Specified by:

getAllFields in interface ClassType

Returns:

the array of visible field members of this type and its supertypes.

getMethods

public ImmutableList<Method> getMethods(Services services)

Returns the methods locally defined within this class type.

Specified by:

getMethods in interface ClassType

Returns:

the array of methods of this type.

getAllMethods

public ImmutableList<Method> getAllMethods(Services services)

Returns all visible methods that are defined in this class type or any of its supertypes. The methods are in topological order with respect to the inheritance hierarchy.

Specified by:

getAllMethods in interface ClassType

Returns:

the array of visible methods of this type and its supertypes.

getConstructors

public ImmutableList<Constructor> getConstructors(Services services)

Returns the constructors locally defined within this class type.

Specified by:

getConstructors in interface ClassType

Returns:

the array of constructors of this type.

getAllTypes

public ImmutableList<ClassType> getAllTypes(Services services)

Returns all class types that are inner types of this class type, including visible inherited types.

Specified by:

getAllTypes in interface ClassType

Returns:

an array of class types that are members of this type or any of its supertypes.

See Also:

getAllSupertypes(de.uka.ilkd.key.java.Services)

getPackage

public Package getPackage()

getDefaultValue

public Literal getDefaultValue()

returns the default value of the given type according to JLS Sect. 4.5.5

Specified by:

getDefaultValue in interface Type

Returns:

the default value of the given type according to JLS Sect. 4.5.5

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object