FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.npe2
Class DefinitelyNullSet

java.lang.Object
  extended by 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
DefinitelyNullSet(int numValueNumbers)
           
 
Method Summary
 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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.