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
 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.


Cees de Groot (C) 2000. All rights reserved http://jdbm.sourceforge.net