modnlp.idx

Class IndexManagerProperties

java.lang.Object

java.util.Dictionary<K,V>

java.util.Hashtable<java.lang.Object,java.lang.Object>

java.util.Properties

modnlp.idx.IndexManagerProperties

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>

public class IndexManagerProperties
extends java.util.Properties

Properties for IndexManager

See Also:

, Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	EXIST_CONF_FNAME
static java.lang.String	PROP_FNAME

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Constructors

Constructor and Description
IndexManagerProperties()
IndexManagerProperties(java.lang.String propfname)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	finalize()
int	getNumberOfCorpora() Return the number of corpora currently maintained by the IndexManager
void	save()

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

PROP_FNAME

public static final java.lang.String PROP_FNAME

EXIST_CONF_FNAME

public static final java.lang.String EXIST_CONF_FNAME

See Also:

Constant Field Values

Constructor Detail

IndexManagerProperties

public IndexManagerProperties()

IndexManagerProperties

public IndexManagerProperties(java.lang.String propfname)
                       throws java.io.IOException

Throws:

java.io.IOException

Method Detail

getNumberOfCorpora

public int getNumberOfCorpora()

Return the number of corpora currently maintained by the IndexManager

Returns:

an int value

save

public void save()

finalize

protected void finalize()
                 throws java.lang.Throwable

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable