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 and Description
DefinitelyNullSet(int numValueNumbers)

Method Summary

Methods

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DefinitelyNullSet

public DefinitelyNullSet(int numValueNumbers)

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 class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object