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.1 2002/05/31 06:33:20 boisvert Exp $
Author:
Alex Boisvert

Method Summary
 RecordManager createRecordManager(java.lang.String filename, java.util.Properties options)
          Create a record manager.
 

Method Detail

createRecordManager

public 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


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