| Method Summary |
|
| public ListOfField | getAllFields(Services services)
Returns all visible fields that are defined in this class type
or any of its supertypes. |
| public ListOfMethod | getAllMethods(Services services)
Returns all visible methods that are defined in this class type
or any of its supertypes. |
| public 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. |
| public ListOfClassType | getAllTypes(Services services)
Returns all class types that are inner types of this class type,
including visible inherited types. |
| public ListOfConstructor | getConstructors(Services services)
Returns the constructors locally defined within this class type. |
| public Literal | getDefaultValue()
returns the default value of the given type
according to JLS Sect. |
| public ListOfField | getFields(Services services)
Returns the fields locally defined within this class type. |
| public String | getFullName()
Returns the name of this element. |
| public ListOfMethod | getMethods(Services services)
Returns the methods locally defined within this class type. |
| public String | getName()
Returns the name of this element. |
| public Package | getPackage()
|
| public ListOfKeYJavaType | getSupertypes()
Returns the array of locally declared supertypes of this class type. |
| public boolean | isAbstract()
Checks if this member is abstract. |
| public boolean | isFinal()
Checks if this member is final. |
| public boolean | isInterface()
Checks if this class type denotes an interface. |
| public boolean | isPrivate()
Checks if this member is private. |
| public boolean | isProtected()
Checks if this member is protected. |
| public boolean | isPublic()
Checks if this member is public. |
| public boolean | isStatic()
Checks if this member is static. |
| public boolean | isStrictFp()
Checks if this member is strictfp. |
