62 |
void setDB(DB db); |
void setDB(DB db); |
63 |
|
|
64 |
Index getIndex(); |
Index getIndex(); |
65 |
Class getIndexType(); |
String getIndexTypeURI(); |
66 |
} |
} |
67 |
|
|
68 |
/** Get the Index object for a given IndexType. |
/** Get the Index object for a given IndexType. |
69 |
* Equivalent to <code>(Index)getIndices().get(type)</code>. |
* Equivalent to <code>(Index)getIndices().get(type)</code>. |
70 |
*/ |
*/ |
71 |
Index getIndex(Class type); |
Index getIndex(String typeURI); |
72 |
|
|
73 |
/** Return a mapping from <code>IndexType</code>s |
/** Return a mapping from index type URIs |
74 |
* to <code>Index</code> objects. This map |
* to <code>Index</code> objects. This map |
75 |
* cannot be modified. |
* cannot be modified. |
76 |
*/ |
*/ |
79 |
/** A convenience method to get a <code>Pointer</code> instance |
/** A convenience method to get a <code>Pointer</code> instance |
80 |
* for this pool. This is defined always to return this: |
* for this pool. This is defined always to return this: |
81 |
* <pre> |
* <pre> |
82 |
* ((PointerIndex)getIndex(Pointer.PointerIndex.class)).getPointer(uri) |
* ((PointerIndex)getIndex(Pointer.pointerIndexURI)).getPointer(uri) |
83 |
* </pre> |
* </pre> |
84 |
*/ |
*/ |
85 |
Pointer getPointer(String uri); |
Pointer getPointer(String uri); |