Uses of Class
edu.umd.cs.findbugs.ba.obl.ObligationFactory

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.