FindBugs™ 1.3.9

@ParametersAreNonnullByDefault @DefaultAnnotationForParameters(value=NonNull.class)

Package edu.umd.cs.findbugs.ba.type

Interface Summary
ExtendedTypes Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.
TypeMerger Interface for object which merges types for TypeAnalysis.
 

Class Summary
BottomType Special "bottom" type.
DoubleExtraType Special type used to represent the "extra" part of a double value.
ExceptionObjectType Special ReferenceType representing the type of a caught exception.
ExceptionSet Class for keeping track of exceptions that can be thrown by an instruction.
ExceptionSetFactory  
FieldStoreType Field property storing the types of values stored in a field.
FieldStoreTypeDatabase  
LongExtraType Special type used to represent the "extra" part of a long value.
NullType Special type representing the null value.
StandardTypeMerger A TypeMerger which applies standard Java semantics when merging Types.
ThrownException An exception thrown from an instruction.
TopType Special "top" type.
TypeAnalysis A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.
TypeDataflow  
TypeDataflow.LocationAndFactPair  
TypeFrame A specialization of Frame for determining the types of values in the Java stack frame (locals and operand stack).
TypeFrameModelingVisitor Visitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames.
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.