Interface MDocStorage.Listener

  • Enclosing class:
    MDocStorage

    public static interface MDocStorage.Listener
    Document production listener.
    • Method Detail

      • docProduced

        void docProduced​(MDocStorage ds,
                         MDocument doc,
                         int k)
        Document retrieved from source.
        Parameters:
        ds - the storage object
        doc - the document
        k - the record index
      • storageSizeChanged

        void storageSizeChanged​(MDocStorage ds,
                                int oldsz,
                                int newsz)
        Storage size changed.
        Parameters:
        ds - the storage object
        oldsz - old size
        newsz - new size
      • storageSizeFinalized

        void storageSizeFinalized​(MDocStorage ds)
        Final storage size determined.
        Parameters:
        ds - the storage object
        Since:
        Marvin 5.1.2, 09/18/2008