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