jdbm

Interface RecordManagerProvider

All Known Implementing Classes:

Provider

public interface RecordManagerProvider

Provider of RecordManager implementation. Classes implementing this interface act as a factory to provide implementations of RecordManager.

Version:

$Id: RecordManagerProvider.java,v 1.2 2005/06/25 23:12:31 doomdark Exp $

Author:

Alex Boisvert

Method Summary

Methods

Modifier and Type	Method and Description
RecordManager	createRecordManager(java.lang.String filename, java.util.Properties options) Create a record manager.

Method Detail

createRecordManager

RecordManager createRecordManager(java.lang.String filename,
                                java.util.Properties options)
                                  throws java.io.IOException

Create a record manager.

Parameters:

filename - Base filename of the record file.

options - Record manager options.

Throws:

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.