|
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 | |||||||||