|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| ClassResolver | An object which resolves classes. |
| InheritanceGraphEdgeTypes | Constants defining types of inheritance graph edges. |
| ReferenceType | |
| SpecialTypeSignatures | Fake type signatures for "special" non-JVM types. |
| Type | Interface for objects representing Java types. |
| TypeMerger | Interface for an object that merges types for dataflow analysis. |
| TypeVisitor | Visitor for subclasses of Type. |
| Class Summary | |
|---|---|
| ArrayType | |
| BasicType | |
| BCELRepositoryClassResolver | ClassResolver that uses the BCEL global Repository class. |
| BetterTypeAnalysis | |
| BetterTypeFrame | A Frame containing Type objects representing the type of each item in a Java stack frame. |
| BetterTypeFrameModelingVisitor | Dataflow analysis to determine types for slots in Java stack frames, using a TypeRepository to create the type objects (rather than BCEL's Type classes). |
| BottomType | Special bottom type used in dataflow. |
| ClassType | Type of objects that are instances of a class. |
| DoubleExtraType | |
| InheritanceGraph | |
| InheritanceGraphEdge | An edge in the graph of direct inheritance (supertype/subtype) relationships. |
| LongExtraType | |
| NullType | The type of a null value. |
| ObjectType | Lightweight data structure representing an object type: a node in the class hierarchy (i.e., a class or interface). |
| ReturnAddressType | Special return address type. |
| StandardTypeMerger | The standard implementation of TypeMerger for modeling the usual Java type rules. |
| SubtypeQueryResult | Class to cache the result of an isSubtype() query so future lookups are fast. |
| TopType | Special top type used in dataflow. |
| TypeRepository | Factory/repository class to ensure that all abstract Java types are represented by a unique Type object. |
| Exception Summary | |
|---|---|
| InvalidSignatureException | |
| UnknownSupertypesException | |
| UnknownTypeException | Exception to indicate that information requested about a type is not known. |
A whizzy set of classes for representing Java types. These have some improvements over BCEL's Type class and subclasses:
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||