public interface RecordManagerProvider
Modifier and Type | Method and Description |
---|---|
RecordManager |
createRecordManager(java.lang.String filename,
java.util.Properties options)
Create a record manager.
|
RecordManager createRecordManager(java.lang.String filename, java.util.Properties options) throws java.io.IOException
filename
- Base filename of the record file.options
- Record manager options.java.io.IOException
- if an I/O related exception occurs while creating
or opening the record manager.java.lang.UnsupportedOperationException
- if some options are not supported by the
implementation.java.lang.IllegalArgumentException
- if some options are invalid.Cees de Groot (C) 2000-2001. All rights reserved http://jdbm.sourceforge.net