|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjhplot.io.BaseRecordsFile
jhplot.io.RecordsFile
public class RecordsFile
Constructor Summary | |
---|---|
RecordsFile(String dbPath,
int initialSize)
Creates a new database file. |
|
RecordsFile(String dbPath,
String accessFlags)
Opens an existing database and initializes the in-memory index. |
Method Summary | |
---|---|
void |
close()
Closes the database. |
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(String key)
Checks if there is a record belonging to the given key. |
Methods inherited from class jhplot.io.BaseRecordsFile |
---|
deleteRecord, insertRecord, readRecord, updateRecord |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RecordsFile(String dbPath, int initialSize) throws IOException, RecordsFileException
IOException
RecordsFileException
public RecordsFile(String dbPath, String accessFlags) throws IOException, RecordsFileException
IOException
RecordsFileException
Method Detail |
---|
public Enumeration enumerateKeys()
enumerateKeys
in class BaseRecordsFile
public int getNumRecords()
getNumRecords
in class BaseRecordsFile
public boolean recordExists(String key)
recordExists
in class BaseRecordsFile
public void close() throws IOException, RecordsFileException
close
in class BaseRecordsFile
IOException
RecordsFileException
|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |