FindBugs™ 1.3.9

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

Packages that use edu.umd.cs.findbugs.ba.type
edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses. 
edu.umd.cs.findbugs.ba.deref   
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. 
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework
edu.umd.cs.findbugs.detect   
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba
ExceptionSetFactory
           
FieldStoreTypeDatabase
           
TypeDataflow
           
TypeFrame
          A specialization of Frame for determining the types of values in the Java stack frame (locals and operand stack).
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.deref
TypeDataflow
           
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.npe
TypeDataflow
           
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.obl
TypeDataflow
           
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.type
ExceptionSet
          Class for keeping track of exceptions that can be thrown by an instruction.
ExceptionSet.ThrownExceptionIterator
          Object to iterate over the exception types in the set.
ExceptionSetFactory
           
ExtendedTypes
          Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.
FieldStoreType
          Field property storing the types of values stored in a field.
FieldStoreTypeDatabase
           
NullType
          Special type representing the null value.
ThrownException
          An exception thrown from an instruction.
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.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.
TypeMerger
          Interface for object which merges types for TypeAnalysis.
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.classfile.engine.bcel
ExceptionSetFactory
           
TypeDataflow
           
 

Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.detect
ExtendedTypes
          Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.
 


FindBugs™ 1.3.9

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