edu.umd.cs.findbugs.ba.obl
Class ObligationSet
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
ObligationSet
public ObligationSet(ObligationFactory factory)
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™ is licenced under the LGPL. Copyright © 2006 University of Maryland.