Class BitArray

  • All Implemented Interfaces:
    java.io.Externalizable, java.io.Serializable

    public class BitArray
    extends java.lang.Object
    implements java.io.Externalizable
    Author:
    Morten Jorgensen
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      BitArray()
      Constructor.
      BitArray​(int size)  
      BitArray​(int size, int[] bits)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      BitArray cloneArray()  
      int[] data()
      Returns the integer array in which the bit array is contained
      boolean getBit​(int bit)
      Returns true if the given bit is set
      int getBitNumber​(int pos)  
      int getMask()
      See setMask()
      int getNextBit​(int startBit)
      Returns the next set bit from a given position
      BitArray merge​(BitArray other)
      Merge two bit arrays.
      void readExternal​(java.io.ObjectInput in)
      Read the whole tree from a file (serialized)
      void resize​(int newSize)
      Resizes the bit array - try to avoid using this method!!!
      void setBit​(int bit)
      Sets a given bit
      void setMask​(int mask)
      Set the mask for this bit array.
      int size()
      Returns the size of this bit array (in bits).
      void writeExternal​(java.io.ObjectOutput out)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • BitArray

        public BitArray()
        Constructor. Defines the initial size of the bit array (in bits).
      • BitArray

        public BitArray​(int size)
      • BitArray

        public BitArray​(int size,
                        int[] bits)
    • Method Detail

      • setMask

        public void setMask​(int mask)
        Set the mask for this bit array. The upper 8 bits of this mask indicate the DOM in which the nodes in this array belong.
      • getMask

        public int getMask()
        See setMask()
      • size

        public final int size()
        Returns the size of this bit array (in bits).
      • getBit

        public final boolean getBit​(int bit)
        Returns true if the given bit is set
      • getNextBit

        public final int getNextBit​(int startBit)
        Returns the next set bit from a given position
      • getBitNumber

        public final int getBitNumber​(int pos)
      • data

        public final int[] data()
        Returns the integer array in which the bit array is contained
      • setBit

        public final void setBit​(int bit)
        Sets a given bit
      • merge

        public final BitArray merge​(BitArray other)
        Merge two bit arrays. This currently only works for nodes from a single DOM (because there is only one _mask per array).
      • resize

        public final void resize​(int newSize)
        Resizes the bit array - try to avoid using this method!!!
      • cloneArray

        public BitArray cloneArray()
      • writeExternal

        public void writeExternal​(java.io.ObjectOutput out)
                           throws java.io.IOException
        Specified by:
        writeExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
      • readExternal

        public void readExternal​(java.io.ObjectInput in)
                          throws java.io.IOException,
                                 java.lang.ClassNotFoundException
        Read the whole tree from a file (serialized)
        Specified by:
        readExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
        java.lang.ClassNotFoundException