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.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate int
private final short[]
private final ObligationFactory
private static final int
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
add
(Obligation obligation) void
copyFrom
(ObligationSet other) boolean
int
getCount
(int id) int
hashCode()
private void
boolean
isEmpty()
void
remove
(Obligation obligation) toString()
-
Field Details
-
INVALID_HASH_CODE
private static final int INVALID_HASH_CODE- See Also:
-
countList
private final short[] countList -
factory
-
cachedHashCode
private int cachedHashCode
-
-
Constructor Details
-
ObligationSet
-
-
Method Details