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