Package edu.umd.cs.findbugs.ba.npe2
Class DefinitelyNullSet
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.npe2.DefinitelyNullSet
-
public class DefinitelyNullSet extends java.lang.Object
Set of values that is definitely known to be null.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description DefinitelyNullSet(int numValueNumbers)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Method Detail
-
getNulllessValue
public NullnessValue getNulllessValue(ValueNumber valueNumber)
-
setNullnessValue
public void setNullnessValue(ValueNumber valueNumber, NullnessValue nullnessValue)
-
clear
public void clear()
-
setTop
public void setTop()
-
isTop
public boolean isTop()
-
setBottom
public void setBottom()
-
isBottom
public boolean isBottom()
-
isValid
public boolean isValid()
-
makeSameAs
public void makeSameAs(DefinitelyNullSet other)
-
mergeWith
public void mergeWith(DefinitelyNullSet other)
-
getAssignedNullLocationSet
public java.util.BitSet getAssignedNullLocationSet(ValueNumber vn)
-
addAssignedNullLocation
public void addAssignedNullLocation(int valueNumber, int locationNumber)
-
clearAssignNullLocations
public void clearAssignNullLocations(int valueNumber)
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-