public interface RecordManagerProvider
Modifier and Type | Method and Description |
---|---|
RecordManager |
createRecordManager(String filename,
Properties options)
Create a record manager.
|
RecordManager createRecordManager(String filename, Properties options) throws IOException
filename
- Base filename of the record file.options
- Record manager options.IOException
- if an I/O related exception occurs while creating
or opening the record manager.UnsupportedOperationException
- if some options are not supported by the
implementation.IllegalArgumentException
- if some options are invalid.Copyright © 2017. All rights reserved.