Class IndexSetStore.SnapshotIndexSet

  • All Implemented Interfaces:
    IndexSet
    Enclosing class:
    IndexSetStore

    private class IndexSetStore.SnapshotIndexSet
    extends java.lang.Object
    implements IndexSet
    The implementation of IndexSet which represents a mutable snapshot of the indices stored in this set.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private boolean disposed
      Set to true when this object is disposed.
      private java.util.ArrayList integer_lists
      The list of IndexIntegerList objects that have been returned via the 'getIndex(n)' method.
      private IndexSetStore.IndexBlock[] snapshot_index_blocks
      The list of IndexBlock object that represent the view of the index set when the view was created.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void dispose()
      Cleans up and disposes the resources associated with this set of index.
      void finalize()  
      IndexSetStore.IndexIntegerList[] getAllLists()
      Returns all the lists that have been created by calls to 'getIndex'
      IntegerListInterface getIndex​(int n)
      Returns a mutable object that implements IntegerListInterface for the given index number in this set of indices.
      • Methods inherited from class java.lang.Object

        clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • snapshot_index_blocks

        private IndexSetStore.IndexBlock[] snapshot_index_blocks
        The list of IndexBlock object that represent the view of the index set when the view was created.
      • integer_lists

        private java.util.ArrayList integer_lists
        The list of IndexIntegerList objects that have been returned via the 'getIndex(n)' method.
      • disposed

        private boolean disposed
        Set to true when this object is disposed.
    • Method Detail

      • getIndex

        public IntegerListInterface getIndex​(int n)
        Description copied from interface: IndexSet
        Returns a mutable object that implements IntegerListInterface for the given index number in this set of indices.
        Specified by:
        getIndex in interface IndexSet
      • dispose

        public void dispose()
        Description copied from interface: IndexSet
        Cleans up and disposes the resources associated with this set of index.
        Specified by:
        dispose in interface IndexSet
      • finalize

        public void finalize()
        Overrides:
        finalize in class java.lang.Object