Interface MDocStorage.Listener

Enclosing class:
MDocStorage

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

    • 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