public static interface MDocStorage.Listener
Modifier and Type | Method and Description |
---|---|
void |
docProduced(MDocStorage ds,
MDocument doc,
int k)
Document retrieved from source.
|
void |
storageSizeChanged(MDocStorage ds,
int oldsz,
int newsz)
Storage size changed.
|
void |
storageSizeFinalized(MDocStorage ds)
Final storage size determined.
|
void docProduced(MDocStorage ds, MDocument doc, int k)
ds
- the storage objectdoc
- the documentk
- the record indexvoid storageSizeChanged(MDocStorage ds, int oldsz, int newsz)
ds
- the storage objectoldsz
- old sizenewsz
- new sizevoid storageSizeFinalized(MDocStorage ds)
ds
- the storage object