edu.umd.cs.findbugs.ba.obl

Class ObligationFactory

public class ObligationFactory extends Object

Factory for Obligation and ObligationSet objects to be used in an instance of ObligationAnalysis.

Method Summary
Obligation	addObligation(String className)
ObligationSet	createObligationSet()
int	getMaxObligationTypes()
Obligation	getObligationById(int id)
Obligation	getObligationByType(ObjectType type) Look up an Obligation by type.
Iterator<Obligation>	obligationIterator()

Method Detail

addObligation

public Obligation addObligation(String className)

createObligationSet

public ObligationSet createObligationSet()

getMaxObligationTypes

public int getMaxObligationTypes()

getObligationById

public Obligation getObligationById(int id)

getObligationByType

public Obligation getObligationByType(ObjectType type)

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

obligationIterator

public Iterator<Obligation> obligationIterator()