edu.umd.cs.findbugs.ba.npe
Class UnconditionalDerefSet

java.lang.Object
  extended by java.util.BitSet
      extended by edu.umd.cs.findbugs.ba.npe.UnconditionalDerefSet
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable

public class UnconditionalDerefSet
extends java.util.BitSet

Author:
David Hovemeyer
See Also:
Serialized Form

Constructor Summary
UnconditionalDerefSet(int numParams)
           
 
Method Summary
 boolean isBottom()
           
 boolean isTop()
           
 boolean isValid()
           
 void setBottom()
           
 void setTop()
           
 java.lang.String toString()
           
 
Methods inherited from class java.util.BitSet
and, andNot, cardinality, clear, clear, clear, clone, equals, flip, flip, get, get, hashCode, intersects, isEmpty, length, nextClearBit, nextSetBit, or, set, set, set, set, size, xor
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

UnconditionalDerefSet

public UnconditionalDerefSet(int numParams)
Method Detail

setTop

public void setTop()

setBottom

public void setBottom()

isValid

public boolean isValid()

isTop

public boolean isTop()

isBottom

public boolean isBottom()

toString

public java.lang.String toString()
Overrides:
toString in class java.util.BitSet