private abstract class DefaultIndexUpdater.IndexAdaptor
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.io.File |
dir |
protected java.util.Properties |
properties |
Modifier | Constructor and Description |
---|---|
protected |
IndexAdaptor(java.io.File dir) |
Modifier and Type | Method and Description |
---|---|
abstract void |
addIndexChunk(ResourceFetcher source,
java.lang.String filename) |
void |
commit() |
abstract java.util.Properties |
getProperties() |
abstract java.util.Date |
getTimestamp() |
abstract java.util.Date |
setIndexFile(ResourceFetcher source,
java.lang.String string) |
java.util.Properties |
setProperties(ResourceFetcher source) |
abstract void |
storeProperties() |
protected final java.io.File dir
protected java.util.Properties properties
public abstract java.util.Properties getProperties()
public abstract void storeProperties() throws java.io.IOException
java.io.IOException
public abstract void addIndexChunk(ResourceFetcher source, java.lang.String filename) throws java.io.IOException
java.io.IOException
public abstract java.util.Date setIndexFile(ResourceFetcher source, java.lang.String string) throws java.io.IOException
java.io.IOException
public java.util.Properties setProperties(ResourceFetcher source) throws java.io.IOException
java.io.IOException
public abstract java.util.Date getTimestamp()
public void commit() throws java.io.IOException
java.io.IOException