de.uka.ilkd.key.java.abstraction

Interface ClassType

All Superinterfaces:

ClassTypeContainer, Member, ModelElement, NamedModelElement, ProgramModelElement, Type

All Known Implementing Classes:

ArrayDeclaration, ClassDeclaration, EnumClassDeclaration, InterfaceDeclaration, NullType, SuperArrayDeclaration, TypeDeclaration

public interface ClassType
extends Type, Member, ClassTypeContainer

A program model element representing class types.

Author:

AL, RN

Method Summary

Modifier and Type	Method and Description
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.
ImmutableList<Field>	getFields(Services services) Returns the fields locally defined within this class type.
ImmutableList<Method>	getMethods(Services services) Returns the methods locally defined within this class type.
ImmutableList<KeYJavaType>	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.

Methods inherited from interface de.uka.ilkd.key.java.abstraction.Type

getDefaultValue

Methods inherited from interface de.uka.ilkd.key.java.abstraction.Member

isFinal, isPrivate, isProtected, isPublic, isStatic, isStrictFp

Methods inherited from interface de.uka.ilkd.key.java.abstraction.ProgramModelElement

getFullName

Methods inherited from interface de.uka.ilkd.key.java.NamedModelElement

getName

Method Detail

isInterface

boolean isInterface()

Checks if this class type denotes an interface.

Returns:

true if this object represents an interface, false if it is an ordinary class.

isAbstract

boolean isAbstract()

Checks if this member is abstract. An interface will report true.

Returns:

true if this member is abstract, false otherwise.

See Also:

isInterface()

getSupertypes

ImmutableList<KeYJavaType> getSupertypes()

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

Returns:

the array of locally defined supertypes of this type.

getAllSupertypes

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.

Returns:

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

getFields

ImmutableList<Field> getFields(Services services)

Returns the fields locally defined within this class type.

Returns:

the array of field members of this type.

getAllFields

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.

Returns:

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

getMethods

ImmutableList<Method> getMethods(Services services)

Returns the methods locally defined within this class type.

Returns:

the array of methods of this type.

getAllMethods

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.

Returns:

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

getConstructors

ImmutableList<Constructor> getConstructors(Services services)

Returns the constructors locally defined within this class type.

Returns:

the array of constructors of this type.

getAllTypes

ImmutableList<ClassType> getAllTypes(Services services)

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

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)