@DefaultAnnotationForParameters(value=NonNull.class)

Package edu.umd.cs.findbugs.ba.type2

A whizzy set of classes for representing Java types.

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.
 

Package edu.umd.cs.findbugs.ba.type2 Description

A whizzy set of classes for representing Java types. These have some improvements over BCEL's Type class and subclasses: