|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StateSet | |
---|---|
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 | |
---|---|
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 | |
---|---|
void |
ObligationAnalysis.copy(StateSet src,
StateSet dest)
|
void |
StateSet.copyFrom(StateSet other)
Make this StateSet an exact copy of the given StateSet. |
void |
ObligationAnalysis.initEntryFact(StateSet fact)
|
void |
ObligationAnalysis.initResultFact(StateSet fact)
|
boolean |
ObligationAnalysis.isFactValid(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.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
StateSet fact)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |