Methods in edu.umd.cs.findbugs.ba.obl with parameters of type StateSet |
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)
|