Package edu.umd.cs.findbugs.ba.obl
Class ObligationSet
java.lang.Object
edu.umd.cs.findbugs.ba.obl.ObligationSet
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
-
Method Summary
Modifier and TypeMethodDescriptionvoid
add
(Obligation obligation) void
copyFrom
(ObligationSet other) boolean
int
getCount
(int id) int
hashCode()
boolean
isEmpty()
void
remove
(Obligation obligation) toString()
-
Constructor Details
-
ObligationSet
-
-
Method Details