Package edu.umd.cs.findbugs.ba.obl
Class ObligationSet
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.obl.ObligationSet
-
public class ObligationSet extends java.lang.ObjectA 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
Constructors Constructor Description ObligationSet(ObligationFactory factory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidadd(Obligation obligation)voidcopyFrom(ObligationSet other)ObligationSetduplicate()booleanequals(java.lang.Object o)intgetCount(int id)inthashCode()booleanisEmpty()voidremove(Obligation obligation)java.lang.StringtoString()
-
-
-
Constructor Detail
-
ObligationSet
public ObligationSet(ObligationFactory factory)
-
-
Method Detail
-
isEmpty
public boolean isEmpty()
-
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:
equalsin classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
copyFrom
public void copyFrom(ObligationSet other)
-
duplicate
public ObligationSet duplicate()
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
-