|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectjdbm.recman.Provider
public final class Provider
Provider of the default RecordManager implementation.
| Constructor Summary | |
|---|---|
Provider()
|
|
| Method Summary | |
|---|---|
RecordManager |
createRecordManager(java.lang.String name,
java.util.Properties options)
Create a default implementation record manager. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Provider()
| Method Detail |
|---|
public RecordManager createRecordManager(java.lang.String name,
java.util.Properties options)
throws java.io.IOException
createRecordManager in interface RecordManagerProvidername - 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.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||