edu.umd.cs.findbugs.ba.npe2
public class DefinitelyNullSet extends Object
Constructor Summary | |
---|---|
DefinitelyNullSet(int numValueNumbers) |
Method Summary | |
---|---|
void | addAssignedNullLocation(int valueNumber, int locationNumber) |
void | clear() |
void | clearAssignNullLocations(int valueNumber) |
BitSet | getAssignedNullLocationSet(ValueNumber vn) |
NullnessValue | getNulllessValue(ValueNumber valueNumber) |
boolean | isBottom() |
boolean | isTop() |
boolean | isValid() |
void | makeSameAs(DefinitelyNullSet other) |
void | mergeWith(DefinitelyNullSet other) |
void | setBottom() |
void | setNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue) |
void | setTop() |