64 |
*/ |
*/ |
65 |
void addPointerBlock(BlockId target, Set obsoleteBlocks) |
void addPointerBlock(BlockId target, Set obsoleteBlocks) |
66 |
throws IOException; |
throws IOException; |
|
|
|
|
|
|
|
/** The URI identifying the pointer application of Storm indexing. |
|
|
*/ |
|
|
String pointerIndexURI = "urn:urn-5:Y15xnzrC4wWfm-YWnziE8aH3d3pR"; |
|
|
|
|
|
/** XXX |
|
|
* You generally don't want to use this interface, even though you can; |
|
|
* it is much more convenient to call <code>IndexedPool.getPointer()</code>. |
|
|
*/ |
|
|
interface PointerIndex { |
|
|
/** |
|
|
* Mustn't return null even if there is no pointer block |
|
|
* corresponding to this pointer yet (otherwise, |
|
|
* we could not create new pointers in the first place). |
|
|
*/ |
|
|
Pointer getPointer(String uri); |
|
|
} |
|
67 |
} |
} |