|
FindBugs™ 1.3.4 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ObligationFactory | |
---|---|
edu.umd.cs.findbugs.ba.obl |
Uses of ObligationFactory in edu.umd.cs.findbugs.ba.obl |
---|
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationFactory | |
---|---|
void |
StateSet.initEntryFact(ObligationFactory factory)
Initialize this object as the entry fact for a method: a single state with empty obligation set and path. |
Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type ObligationFactory | |
---|---|
ObligationAnalysis(DepthFirstSearch dfs,
TypeDataflow typeDataflow,
org.apache.bcel.generic.MethodGen methodGen,
ObligationFactory factory,
PolicyDatabase database,
RepositoryLookupFailureCallback lookupFailureCallback)
Constructor. |
|
ObligationSet(int maxObligationTypes,
ObligationFactory factory)
|
|
State(int maxObligationTypes,
ObligationFactory factory)
|
|
StateSet(ObligationFactory factory)
|
|
FindBugs™ 1.3.4 | |||||||||
PREV NEXT | FRAMES NO FRAMES |