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
ObligationaddObligation(String className)
ObligationSetcreateObligationSet()
intgetMaxObligationTypes()
ObligationgetObligationById(int id)
ObligationgetObligationByType(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()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.