/[gzz]/gzz/lava/gzz/storm/IndexedPool.java
ViewVC logotype

Diff of /gzz/lava/gzz/storm/IndexedPool.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.10 by benja, Mon Dec 30 14:19:13 2002 UTC revision 1.11 by benja, Mon Dec 30 16:02:02 2002 UTC
# Line 98  public interface IndexedPool extends Sto Line 98  public interface IndexedPool extends Sto
98           *  so code using this method must be robust           *  so code using this method must be robust
99           *  in the face of corrupted data.           *  in the face of corrupted data.
100           */           */
101          Collector get(byte[] key);          Collector get(byte[] key) throws IOException;
102      }      }
103    
104      interface IndexType {      interface IndexType {
# Line 111  public interface IndexedPool extends Sto Line 111  public interface IndexedPool extends Sto
111           *          isn't satisfied, an exception will be thrown.           *          isn't satisfied, an exception will be thrown.
112           *          (XXX specify which and where...)           *          (XXX specify which and where...)
113           */           */
114          Set getMappings(Block b);          Set getMappings(Block b) throws IOException;
115    
116          /** A factory method for the public interface          /** A factory method for the public interface
117           *  of this type of index.           *  of this type of index.
# Line 148  public interface IndexedPool extends Sto Line 148  public interface IndexedPool extends Sto
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:
150       *  <pre>       *  <pre>
151       *  ((PointerIndex)getIndex(Pointer.pointerIndexURI)).getPointer(uri)       *  ((PointerIndexType.Index)getIndex(PointerIndexType.indexTypeURI)).getPointer(uri)
152       *  </pre>       *  </pre>
153       */       */
154      Pointer getPointer(String uri);      Pointer getPointer(String uri) throws IOException;
155  }  }

Legend:
Removed from v.1.10  
changed lines
  Added in v.1.11

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26