137 |
/** Get the Index object for a given IndexType. |
/** Get the Index object for a given IndexType. |
138 |
* Equivalent to <code>getIndices().get(type)</code>. |
* Equivalent to <code>getIndices().get(type)</code>. |
139 |
*/ |
*/ |
140 |
Object getIndex(String typeURI) throws IOException; |
Object getIndex(String typeURI); |
141 |
|
|
142 |
/** Return a mapping from index type URIs |
/** Return a mapping from index type URIs |
143 |
* to <code>Index</code> objects. This map |
* to <code>Index</code> objects. This map |
144 |
* cannot be modified. |
* cannot be modified. |
145 |
*/ |
*/ |
146 |
Map getIndices() throws IOException; |
Map getIndices(); |
147 |
|
|
148 |
/** A convenience method to get a <code>Pointer</code> instance |
/** A convenience method to get a <code>Pointer</code> instance |
149 |
* for this pool. This is defined always to return this: |
* for this pool. This is defined always to return this: |