FindBugs™ 1.3.4

edu.umd.cs.findbugs.ba.obl
Class ObligationSet

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.obl.ObligationSet

public class ObligationSet
extends java.lang.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
 void add(Obligation obligation)
           
 ObligationSet duplicate()
           
 boolean equals(java.lang.Object o)
           
 int getCount(int id)
           
 int getMaxObligationTypes()
           
 int hashCode()
           
 void remove(Obligation obligation)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ObligationSet

public ObligationSet(int maxObligationTypes,
                     ObligationFactory factory)
Method Detail

getMaxObligationTypes

public int getMaxObligationTypes()

add

public void add(Obligation obligation)

remove

public void remove(Obligation obligation)
            throws NonexistentObligationException
Throws:
NonexistentObligationException

getCount

public int getCount(int id)

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

duplicate

public ObligationSet duplicate()

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

FindBugs™ 1.3.4

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.