| de.uka.ilkd.key.java.abstraction.ClassType
All known Subclasses: de.uka.ilkd.key.java.declaration.TypeDeclaration, de.uka.ilkd.key.java.abstraction.NullType,
Method Summary | |
ListOfField | getAllFields(Services services) Returns all visible fields that are defined in this class type
or any of its supertypes. | ListOfMethod | getAllMethods(Services services) Returns all visible methods that are defined in this class type
or any of its supertypes. | ListOfClassType | getAllSupertypes(Services services) Returns the array of all supertypes of this class type,
in topological order, including the class type isself as first element. | ListOfClassType | getAllTypes(Services services) Returns all class types that are inner types of this class type,
including visible inherited types. | ListOfConstructor | getConstructors(Services services) Returns the constructors locally defined within this class type. | ListOfField | getFields(Services services) Returns the fields locally defined within this class type. | ListOfMethod | getMethods(Services services) Returns the methods locally defined within this class type. | ListOfKeYJavaType | getSupertypes() Returns the array of locally declared supertypes of this class type. | boolean | isAbstract() Checks if this member is abstract. | boolean | isInterface() Checks if this class type denotes an interface. |
getAllFields | ListOfField getAllFields(Services services)(Code) | | 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.
the array of visible field members of this type and itssupertypes. |
getAllMethods | ListOfMethod getAllMethods(Services services)(Code) | | 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.
the array of visible methods of this type and its supertypes. |
getAllSupertypes | ListOfClassType getAllSupertypes(Services services)(Code) | | 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.
the array of all supertypes of this type in topological order. |
getAllTypes | ListOfClassType getAllTypes(Services services)(Code) | | Returns all class types that are inner types of this class type,
including visible inherited types.
an array of class types that are members of this typeor any of its supertypes. See Also: ClassType.getAllSupertypes |
getConstructors | ListOfConstructor getConstructors(Services services)(Code) | | Returns the constructors locally defined within this class type.
the array of constructors of this type. |
getFields | ListOfField getFields(Services services)(Code) | | Returns the fields locally defined within this class type.
the array of field members of this type. |
getMethods | ListOfMethod getMethods(Services services)(Code) | | Returns the methods locally defined within this class type.
the array of methods of this type. |
getSupertypes | ListOfKeYJavaType getSupertypes()(Code) | | Returns the array of locally declared supertypes of this class type.
the array of locally defined supertypes of this type. |
isAbstract | boolean isAbstract()(Code) | | Checks if this member is abstract. An interface will report
true .
true if this member is abstract,false otherwise. See Also: ClassType.isInterface() |
isInterface | boolean isInterface()(Code) | | Checks if this class type denotes an interface.
true if this object represents an interface,false if it is an ordinary class. |
|
|