Uses of Class
edu.umd.cs.findbugs.ba.obl.State
Packages that use State
Package
Description
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of State in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl with type parameters of type StateMethods in edu.umd.cs.findbugs.ba.obl that return StateModifier and TypeMethodDescriptionState.duplicate()
StateSet.getStateWithObligationSet
(ObligationSet obligationSet) Get the State which has the given ObligationSet.Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type StateModifier and TypeMethodDescriptionStateSet.createEmptyMap()
Return a newly allocated Map of ObligationSet to State that may be passed to applyToAllStatesAndUpdateMap().StateSet.getPrefixStates
(Path path) Get all States that have Paths which are prefixes of the given Path.StateSet.stateIterator()
Return an Iterator over the States in the StateSet.Methods in edu.umd.cs.findbugs.ba.obl with parameters of type StateModifier and TypeMethodDescriptionprivate void
StateSet.checkCircularity
(State state, Obligation obligation, int basicBlockId) Bail out of the analysis is an obligation is acquired or released in a loop.Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type StateModifier and TypeMethodDescriptionvoid
StateSet.replaceMap
(Map<ObligationSet, State> stateMap) Replace the map of ObligationSets to States with the given one. -
Uses of State in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as StateModifier and TypeFieldDescription(package private) State
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.state
Methods in edu.umd.cs.findbugs.detect that return StateModifier and TypeMethodDescriptionprivate State
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.getTransferState
(org.apache.bcel.generic.InstructionHandle handle) Methods in edu.umd.cs.findbugs.detect with parameters of type StateModifier and TypeMethodDescriptionprivate void
FindUnsatisfiedObligation.MethodChecker.annotateWarningWithSourceLineInformation
(State state, Obligation obligation, BugInstance bugInstance) private boolean
Determine whether the state has "balanced" obligation counts for the consumed and produced Obligation types.private void
FindUnsatisfiedObligation.MethodChecker.checkStateForLeakedObligations
(State state, Map<Obligation, State> leakedObligationMap) private int
FindUnsatisfiedObligation.MethodChecker.getAdjustedLeakCount
(State state, int obligationId) Get the adjusted leak count for the given State and obligation type.private void
FindUnsatisfiedObligation.MethodChecker.reportPath
(BugInstance bugInstance, Obligation obligation, State state) private void
FindUnsatisfiedObligation.MethodChecker.reportWarning
(Obligation obligation, State state, StateSet factAtExit) Method parameters in edu.umd.cs.findbugs.detect with type arguments of type StateModifier and TypeMethodDescriptionprivate void
FindUnsatisfiedObligation.MethodChecker.checkStateForLeakedObligations
(State state, Map<Obligation, State> leakedObligationMap) Constructors in edu.umd.cs.findbugs.detect with parameters of type StateModifierConstructorDescriptionPostProcessingPathVisitor
(Obligation possiblyLeakedObligation, State state)