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

Packages that use StateSet

Package	Description
edu.umd.cs.findbugs.ba.obl

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

Subclasses with type arguments of type StateSet in edu.umd.cs.findbugs.ba.obl

Modifier and Type	Class	Description
class	ObligationAnalysis	Dataflow analysis to track obligations (i/o streams and other resources which must be closed).
class	ObligationDataflow	Dataflow class for ObligationAnalysis.

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