FindBugs™ 1.3.9

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(ObligationFactory factory)
           
 
Method Summary
 void add(Obligation obligation)
           
 void copyFrom(ObligationSet other)
           
 ObligationSet duplicate()
           
 boolean equals(java.lang.Object o)
           
 int getCount(int id)
           
 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(ObligationFactory factory)
Method Detail

add

public void add(Obligation obligation)

remove

public void remove(Obligation obligation)

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

copyFrom

public void copyFrom(ObligationSet other)

duplicate

public ObligationSet duplicate()

hashCode

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

FindBugs™ 1.3.9

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