40 |
/** Get the pool of this <code>Pointer</code> instance. |
/** Get the pool of this <code>Pointer</code> instance. |
41 |
* This is the pool data is read from and written to. |
* This is the pool data is read from and written to. |
42 |
*/ |
*/ |
43 |
StormPool getPool(); |
IndexedPool getPool(); |
|
|
|
|
/** Let the user choose one of the current blocks, if there |
|
|
* is more than one. (XXX different UIs for choosing blocks?) |
|
|
*/ |
|
|
PointerBlock chooseBlock() throws IOException; |
|
44 |
|
|
45 |
/** Get the set of all currently active <code>PointerBlocks</code>. |
/** Get the set of all currently active <code>PointerBlocks</code>. |
46 |
*/ |
*/ |
56 |
* method for this task, but this method is more flexible. |
* method for this task, but this method is more flexible. |
57 |
* Probably, <code>PointerBlock.update()</code> implementations will |
* Probably, <code>PointerBlock.update()</code> implementations will |
58 |
* usually use this method internally. |
* usually use this method internally. |
59 |
|
* @param obsoleteBlocks A set of PointerBlocks to obsolete. |
60 |
|
* @return The new pointer block. |
61 |
*/ |
*/ |
62 |
void addPointerBlock(BlockId target, Set obsoleteBlocks) |
PointerBlock addPointerBlock(BlockId target, Set obsoleteBlocks) |
63 |
throws IOException; |
throws IOException; |
64 |
} |
} |