edu.umd.cs.findbugs.ba.obl
Class ObligationFactory
java.lang.Object
edu.umd.cs.findbugs.ba.obl.ObligationFactory
public class ObligationFactory
- extends java.lang.Object
Factory for Obligation and ObligationSet objects to be
used in an instance of ObligationAnalysis.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ObligationFactory
public ObligationFactory()
getMaxObligationTypes
public int getMaxObligationTypes()
obligationIterator
public java.util.Iterator<Obligation> obligationIterator()
getObligationByType
public Obligation getObligationByType(org.apache.bcel.generic.ObjectType type)
throws java.lang.ClassNotFoundException
- Look up an Obligation by type.
This returns the first Obligation that is a supertype
of the type given (meaning that the given type could
be an instance of the returned Obligation).
- Parameters:
type
- a type
- Returns:
- an Obligation that is a supertype of the given type,
or null if there is no such Obligation
- Throws:
java.lang.ClassNotFoundException
addObligation
public Obligation addObligation(java.lang.String className)
getObligationById
public Obligation getObligationById(int id)
createObligationSet
public ObligationSet createObligationSet()