public class NullType extends java.lang.Object implements ClassType
Modifier and Type | Field and Description |
---|---|
static NullType |
JAVA_NULL |
static java.lang.String |
NULL
The name of this type.
|
Modifier | Constructor and Description |
---|---|
private |
NullType() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.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. 4.5.5
|
ImmutableList<Field> |
getFields(Services services)
Returns the fields locally defined within this class type.
|
java.lang.String |
getFullName()
Returns the name of this element.
|
ImmutableList<Method> |
getMethods(Services services)
Returns the methods locally defined within this class type.
|
java.lang.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.
|
public static final NullType JAVA_NULL
public static final java.lang.String NULL
public java.lang.String getName()
getName
in interface NamedModelElement
"null"
.public java.lang.String getFullName()
getFullName
in interface ProgramModelElement
"null"
.public boolean isFinal()
public boolean isStatic()
public boolean isPrivate()
public boolean isProtected()
isProtected
in interface Member
false
.public boolean isPublic()
public boolean isStrictFp()
isStrictFp
in interface Member
false
.public boolean isInterface()
isInterface
in interface ClassType
false
.public boolean isAbstract()
isAbstract
in interface ClassType
false
.ClassType.isInterface()
public ImmutableList<KeYJavaType> getSupertypes()
getSupertypes
in interface ClassType
public ImmutableList<ClassType> getAllSupertypes(Services services)
getAllSupertypes
in interface ClassType
public ImmutableList<Field> getFields(Services services)
public ImmutableList<Field> getAllFields(Services services)
getAllFields
in interface ClassType
public ImmutableList<Method> getMethods(Services services)
getMethods
in interface ClassType
public ImmutableList<Method> getAllMethods(Services services)
getAllMethods
in interface ClassType
public ImmutableList<Constructor> getConstructors(Services services)
getConstructors
in interface ClassType
public ImmutableList<ClassType> getAllTypes(Services services)
getAllTypes
in interface ClassType
getAllSupertypes(de.uka.ilkd.key.java.Services)
public Package getPackage()
public Literal getDefaultValue()
getDefaultValue
in interface Type
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object