JML

java.util
Class BitSet

java.lang.Object
  extended byjava.util.BitSet
All Implemented Interfaces:
Cloneable, Serializable

public class BitSet
extends Object
implements Cloneable, Serializable


Field Summary
private static int ADDRESS_BITS_PER_UNIT
           
private static int BIT_INDEX_MASK
           
private  long[] bits
           
private static int BITS_PER_UNIT
           
private static long serialVersionUID
           
private static byte[] trailingZeroTable
           
private  int unitsInUse
           
private static long WORD_MASK
           
 
Constructor Summary
BitSet()
           
BitSet(int)
           
 
Method Summary
 void and(BitSet)
           
 void andNot(BitSet)
           
private static long bit(int)
           
private static int bitCount(long)
           
private static int bitLen(int)
           
private static long bitsLeftOf(int)
           
private static long bitsRightOf(int)
           
 int cardinality()
           
 void clear()
           
 void clear(int)
           
 void clear(int, int)
           
 Object clone()
           
private  void ensureCapacity(int)
           
 boolean equals(Object)
           
 void flip(int)
           
 void flip(int, int)
           
 boolean get(int)
           
 BitSet get(int, int)
           
private  long getBits(int)
           
 int hashCode()
           
 boolean intersects(BitSet)
           
 boolean isEmpty()
           
 int length()
           
 int nextClearBit(int)
           
 int nextSetBit(int)
           
 void or(BitSet)
           
private  void readObject(ObjectInputStream)
           
private  void recalculateUnitsInUse()
           
 void set(int)
           
 void set(int, boolean)
           
 void set(int, int)
           
 void set(int, int, boolean)
           
 int size()
           
 String toString()
           
private static int trailingZeroCnt(long)
           
private static int unitIndex(int)
           
 void xor(BitSet)
           
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

WORD_MASK

private static final long WORD_MASK

unitsInUse

private transient int unitsInUse

ADDRESS_BITS_PER_UNIT

private static final int ADDRESS_BITS_PER_UNIT

BIT_INDEX_MASK

private static final int BIT_INDEX_MASK

bits

private long[] bits

trailingZeroTable

private static final byte[] trailingZeroTable

serialVersionUID

private static final long serialVersionUID

BITS_PER_UNIT

private static final int BITS_PER_UNIT
Constructor Detail

BitSet

public BitSet()

BitSet

public BitSet(int)
Method Detail

cardinality

public int cardinality()

hashCode

public int hashCode()
Overrides:
hashCode in class Object

length

public int length()

size

public int size()

clear

public void clear()

recalculateUnitsInUse

private void recalculateUnitsInUse()

isEmpty

public boolean isEmpty()

bitLen

private static int bitLen(int)

nextClearBit

public int nextClearBit(int)

nextSetBit

public int nextSetBit(int)

unitIndex

private static int unitIndex(int)

bit

private static long bit(int)

bitsLeftOf

private static long bitsLeftOf(int)

bitsRightOf

private static long bitsRightOf(int)

getBits

private long getBits(int)

clear

public void clear(int)

ensureCapacity

private void ensureCapacity(int)

flip

public void flip(int)

set

public void set(int)

get

public boolean get(int)

clear

public void clear(int,
                  int)

flip

public void flip(int,
                 int)

set

public void set(int,
                int)

set

public void set(int,
                int,
                boolean)

set

public void set(int,
                boolean)

bitCount

private static int bitCount(long)

trailingZeroCnt

private static int trailingZeroCnt(long)

readObject

private void readObject(ObjectInputStream)
                 throws IOException,
                        ClassNotFoundException
Throws:
IOException
ClassNotFoundException

clone

public Object clone()
Overrides:
clone in class Object

equals

public boolean equals(Object)
Overrides:
equals in class Object

toString

public String toString()
Overrides:
toString in class Object

get

public BitSet get(int,
                  int)

and

public void and(BitSet)

andNot

public void andNot(BitSet)

or

public void or(BitSet)

xor

public void xor(BitSet)

intersects

public boolean intersects(BitSet)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.