Uses of Class
edu.umd.cs.findbugs.ba.obl.StateSet
Packages that use StateSet
Package
Description
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of StateSet in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as StateSetMethods in edu.umd.cs.findbugs.ba.obl that return StateSetModifier and TypeMethodDescriptionObligationAnalysis.createFact()
StateSet.duplicate()
Return an exact deep copy of this StateSet.Methods in edu.umd.cs.findbugs.ba.obl with parameters of type StateSetModifier and TypeMethodDescriptionvoid
void
void
Make this StateSet an exact copy of the given StateSet.void
ObligationAnalysis.edgeTransfer
(Edge edge, StateSet fact) private void
ObligationAnalysis.endTransfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet result) void
ObligationAnalysis.initEntryFact
(StateSet fact) boolean
ObligationAnalysis.isFactValid
(StateSet fact) boolean
void
ObligationAnalysis.makeFactTop
(StateSet fact) void
boolean
void
ObligationAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet start, StateSet result) void
ObligationAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StateSet fact) -
Uses of StateSet in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type StateSetModifier and TypeMethodDescriptionprivate void
FindUnsatisfiedObligation.MethodChecker.reportWarning
(Obligation obligation, State state, StateSet factAtExit)