public class RecordsFile extends BaseRecordsFile
Constructor and Description |
---|
RecordsFile(java.lang.String dbPath,
int initialSize)
Creates a new database file.
|
RecordsFile(java.lang.String dbPath,
java.lang.String accessFlags)
Opens an existing database and initializes the in-memory index.
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Closes the database.
|
java.util.Enumeration |
enumerateKeys()
Returns an enumeration of all the keys in the database.
|
int |
getNumRecords()
Returns the current number of records in the database.
|
boolean |
recordExists(java.lang.String key)
Checks if there is a record belonging to the given key.
|
deleteRecord, insertRecord, readRecord, updateRecord
public RecordsFile(java.lang.String dbPath, int initialSize) throws java.io.IOException, RecordsFileException
java.io.IOException
RecordsFileException
public RecordsFile(java.lang.String dbPath, java.lang.String accessFlags) throws java.io.IOException, RecordsFileException
java.io.IOException
RecordsFileException
public java.util.Enumeration enumerateKeys()
enumerateKeys
in class BaseRecordsFile
public int getNumRecords()
getNumRecords
in class BaseRecordsFile
public boolean recordExists(java.lang.String key)
recordExists
in class BaseRecordsFile
public void close() throws java.io.IOException, RecordsFileException
close
in class BaseRecordsFile
java.io.IOException
RecordsFileException
JHepSim. A part of HSTOOLS. version-1.2