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., database objects) are satisfied.edu.umd.cs.findbugs.detect -
-
Uses of StateSet in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as StateSet Modifier and Type Field Description private StateSet
ObligationAnalysis. cachedEntryFact
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)
private void
ObligationAnalysis. endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet result)
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)
-
Uses of StateSet in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type StateSet Modifier and Type Method Description private void
FindUnsatisfiedObligation.MethodChecker. reportWarning(Obligation obligation, State state, StateSet factAtExit)
-