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.
-
-
Field Summary
Fields Modifier and Type Field Description private int
cachedHashCode
private short[]
countList
private ObligationFactory
factory
private static int
INVALID_HASH_CODE
-
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()
private void
invalidate()
boolean
isEmpty()
void
remove(Obligation obligation)
java.lang.String
toString()
-
-
-
Field Detail
-
INVALID_HASH_CODE
private static final int INVALID_HASH_CODE
- See Also:
- Constant Field Values
-
countList
private final short[] countList
-
factory
private final ObligationFactory factory
-
cachedHashCode
private int cachedHashCode
-
-
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
-
invalidate
private void invalidate()
-
-