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

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)