public class DefinitelyNullSet
extends java.lang.Object
Constructor and Description |
---|
DefinitelyNullSet(int numValueNumbers) |
Modifier and Type | Method and Description |
---|---|
void |
addAssignedNullLocation(int valueNumber,
int locationNumber) |
void |
clear() |
void |
clearAssignNullLocations(int valueNumber) |
boolean |
equals(java.lang.Object obj) |
java.util.BitSet |
getAssignedNullLocationSet(ValueNumber vn) |
NullnessValue |
getNulllessValue(ValueNumber valueNumber) |
int |
hashCode() |
boolean |
isBottom() |
boolean |
isTop() |
boolean |
isValid() |
void |
makeSameAs(DefinitelyNullSet other) |
void |
mergeWith(DefinitelyNullSet other) |
void |
setBottom() |
void |
setNullnessValue(ValueNumber valueNumber,
NullnessValue nullnessValue) |
void |
setTop() |
java.lang.String |
toString() |
public NullnessValue getNulllessValue(ValueNumber valueNumber)
public void setNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue)
public void clear()
public void setTop()
public boolean isTop()
public void setBottom()
public boolean isBottom()
public boolean isValid()
public void makeSameAs(DefinitelyNullSet other)
public void mergeWith(DefinitelyNullSet other)
public java.util.BitSet getAssignedNullLocationSet(ValueNumber vn)
public void addAssignedNullLocation(int valueNumber, int locationNumber)
public void clearAssignNullLocations(int valueNumber)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.