/[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.12 by benja, Mon Jan 13 23:47:16 2003 UTC revision 1.13 by benja, Tue Jan 14 00:14:51 2003 UTC
# Line 137  public interface IndexedPool extends Sto Line 137  public interface IndexedPool extends Sto
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:

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13

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