public final class RecordManagerFactory
extends java.lang.Object
RecordManager
instances.| Constructor and Description |
|---|
RecordManagerFactory() |
| Modifier and Type | Method and Description |
|---|---|
static RecordManager |
createRecordManager(java.lang.String name)
Create a record manager.
|
static RecordManager |
createRecordManager(java.lang.String name,
java.util.Properties options)
Create a record manager.
|
public static RecordManager createRecordManager(java.lang.String name) throws java.io.IOException
name - Name of the record file.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.public static RecordManager createRecordManager(java.lang.String name, java.util.Properties options) throws java.io.IOException
name - Name 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