Uses of Class
edu.umd.cs.findbugs.ba.obl.StateSet

Packages that use StateSet

Package	Description
edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.
edu.umd.cs.findbugs.detect

Uses of StateSet in edu.umd.cs.findbugs.ba.obl

Fields in edu.umd.cs.findbugs.ba.obl declared as StateSet

Modifier and Type	Field	Description
private StateSet	ObligationAnalysis.cachedEntryFact

Methods in edu.umd.cs.findbugs.ba.obl that return StateSet

Modifier and Type	Method	Description
StateSet	ObligationAnalysis.createFact()
StateSet	StateSet.duplicate()	Return an exact deep copy of this StateSet.

Methods in edu.umd.cs.findbugs.ba.obl with parameters of type StateSet

Modifier and Type	Method	Description
void	ObligationPolicyDatabaseAction.apply(StateSet stateSet, int basicBlockId)
void	ObligationAnalysis.copy(StateSet src, StateSet dest)
void	StateSet.copyFrom(StateSet other)	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	ObligationAnalysis.isTop(StateSet fact)
void	ObligationAnalysis.makeFactTop(StateSet fact)
void	ObligationAnalysis.meetInto(StateSet fact, Edge edge, StateSet result)
boolean	ObligationAnalysis.same(StateSet a, StateSet b)
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 StateSet

Modifier and Type	Method	Description
private void	FindUnsatisfiedObligation.MethodChecker.reportWarning(Obligation obligation, State state, StateSet factAtExit)