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_WORD
           
private static int BIT_INDEX_MASK
           
private static int BITS_PER_WORD
           
private static ObjectStreamField[] serialPersistentFields
           
private static long serialVersionUID
           
private  boolean sizeIsSticky
           
private static long WORD_MASK
           
private  long[] words
           
private  int wordsInUse
           
 
Constructor Summary
BitSet()
           
BitSet(int)
           
 
Method Summary
 void and(BitSet)
           
 void andNot(BitSet)
           
 int cardinality()
           
private  void checkInvariants()
           
private static void checkRange(int, int)
           
 void clear()
           
 void clear(int)
           
 void clear(int, int)
           
 Object clone()
           
private  void ensureCapacity(int)
           
 boolean equals(Object)
           
private  void expandTo(int)
           
 void flip(int)
           
 void flip(int, int)
           
 boolean get(int)
           
 BitSet get(int, int)
           
 int hashCode()
           
private  void initWords(int)
           
 boolean intersects(BitSet)
           
 boolean isEmpty()
           
 int length()
           
 int nextClearBit(int)
           
 int nextSetBit(int)
           
 void or(BitSet)
           
private  void readObject(ObjectInputStream)
           
private  void recalculateWordsInUse()
           
 void set(int)
           
 void set(int, boolean)
           
 void set(int, int)
           
 void set(int, int, boolean)
           
 int size()
           
 String toString()
           
private  void trimToSize()
           
private static int wordIndex(int)
           
private  void writeObject(ObjectOutputStream)
           
 void xor(BitSet)
           
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

BITS_PER_WORD

private static final int BITS_PER_WORD

wordsInUse

private transient int wordsInUse

serialVersionUID

private static final long serialVersionUID

WORD_MASK

private static final long WORD_MASK

sizeIsSticky

private transient boolean sizeIsSticky

serialPersistentFields

private static final ObjectStreamField[] serialPersistentFields

words

private long[] words

ADDRESS_BITS_PER_WORD

private static final int ADDRESS_BITS_PER_WORD

BIT_INDEX_MASK

private static final int BIT_INDEX_MASK
Constructor Detail

BitSet

public BitSet()

BitSet

public BitSet(int)
Method Detail

wordIndex

private static int wordIndex(int)

checkInvariants

private void checkInvariants()

recalculateWordsInUse

private void recalculateWordsInUse()

initWords

private void initWords(int)

ensureCapacity

private void ensureCapacity(int)

expandTo

private void expandTo(int)

checkRange

private static void checkRange(int,
                               int)

flip

public void flip(int)

flip

public void flip(int,
                 int)

set

public void set(int)

set

public void set(int,
                boolean)

set

public void set(int,
                int)

set

public void set(int,
                int,
                boolean)

clear

public void clear(int)

clear

public void clear(int,
                  int)

clear

public void clear()

get

public boolean get(int)

get

public BitSet get(int,
                  int)

nextSetBit

public int nextSetBit(int)

nextClearBit

public int nextClearBit(int)

length

public int length()

isEmpty

public boolean isEmpty()

intersects

public boolean intersects(BitSet)

cardinality

public int cardinality()

and

public void and(BitSet)

or

public void or(BitSet)

xor

public void xor(BitSet)

andNot

public void andNot(BitSet)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

size

public int size()

equals

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

clone

public Object clone()
Overrides:
clone in class Object

trimToSize

private void trimToSize()

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

readObject

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

toString

public String toString()
Overrides:
toString in class Object

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.