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.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
Constructors Constructor Description ObligationSet(ObligationFactory factory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(Obligation obligation)
void
copyFrom(ObligationSet other)
ObligationSet
duplicate()
boolean
equals(java.lang.Object o)
int
getCount(int id)
int
hashCode()
boolean
isEmpty()
void
remove(Obligation obligation)
java.lang.String
toString()
-
-
-
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:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
copyFrom
public void copyFrom(ObligationSet other)
-
duplicate
public ObligationSet duplicate()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
-