public interface ClassType extends Type, Member, ClassTypeContainer
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.
|
getDefaultValue
isFinal, isPrivate, isProtected, isPublic, isStatic, isStrictFp
getFullName
getName
boolean isInterface()
true
if this object represents an interface,
false
if it is an ordinary class.boolean isAbstract()
true
.true
if this member is abstract,
false
otherwise.isInterface()
ImmutableList<KeYJavaType> getSupertypes()
ImmutableList<ClassType> getAllSupertypes(Services services)
ImmutableList<Field> getFields(Services services)
ImmutableList<Field> getAllFields(Services services)
ImmutableList<Method> getMethods(Services services)
ImmutableList<Method> getAllMethods(Services services)
ImmutableList<Constructor> getConstructors(Services services)
ImmutableList<ClassType> getAllTypes(Services services)
getAllSupertypes(de.uka.ilkd.key.java.Services)