|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |