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.

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

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

Modifier and Type	Method and 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 and 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)
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)