edu.umd.cs.findbugs.ba.obl

Class ObligationSet

public class ObligationSet extends Object

A multiset of obligations that must be cleaned up by error-handling code.

See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.

Author: David Hovemeyer

Constructor Summary
ObligationSet(int maxObligationTypes, ObligationFactory factory)
Method Summary
voidadd(Obligation obligation)
ObligationSetduplicate()
intgetCount(int id)
intgetMaxObligationTypes()
voidremove(Obligation obligation)

Constructor Detail

ObligationSet

public ObligationSet(int maxObligationTypes, ObligationFactory factory)

Method Detail

add

public void add(Obligation obligation)

duplicate

public ObligationSet duplicate()

getCount

public int getCount(int id)

getMaxObligationTypes

public int getMaxObligationTypes()

remove

public void remove(Obligation obligation)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.