Uses of Class
edu.umd.cs.findbugs.ba.obl.StateSet
Packages that use StateSet
-
Uses of StateSet in edu.umd.cs.findbugs.ba.obl
Methods 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) 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)