/[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.7 by benja, Mon Dec 30 13:16:20 2002 UTC revision 1.8 by benja, Mon Dec 30 13:26:42 2002 UTC
# Line 42  import java.util.*; Line 42  import java.util.*;
42  public interface IndexedPool extends StormPool {  public interface IndexedPool extends StormPool {
43    
44      final class Mapping {      final class Mapping {
45            public final Block block;
46          public final byte[] key, value;          public final byte[] key, value;
47          public Mapping(byte[] k, byte[] v) { key=k; value=v; }          public Mapping(Block b, byte[] k, byte[] v) {
48                block=b; key=k; value=v;
49            }
50      }      }
51    
52      interface DB {      interface DB {
# Line 57  public interface IndexedPool extends Sto Line 60  public interface IndexedPool extends Sto
60          /**          /**
61           *  @return The set of <code>IndexedPool.Mapping</code>s           *  @return The set of <code>IndexedPool.Mapping</code>s
62           *          this index wants to extract from this block.           *          this index wants to extract from this block.
63             *          The <code>block</code> field of each
64             *          returned <code>Mapping</code> must contain
65             *          the block passed to this method; if this
66             *          isn't satisfied, an exception will be thrown.
67             *          (XXX specify which and where...)
68           */           */
69          Set process(Block b);          Set process(Block b);
70    
# Line 70  public interface IndexedPool extends Sto Line 78  public interface IndexedPool extends Sto
78           *  provide very different interfaces; therefore, we simply           *  provide very different interfaces; therefore, we simply
79           *  return an <code>Object</code> that has to be cast           *  return an <code>Object</code> that has to be cast
80           *  to the desired interface first.           *  to the desired interface first.
81             *  @param pool The <code>IndexedPool</code> this index
82             *              will belong to.
83             *  @param db   A <code>IndexedPool.DB</code> object
84             *              storing this index type's <code>Mapping</code>s--
85             *              i.e., the back-end of the index.
86           */           */
87          Object createIndex(DB db);          Object createIndex(IndexedPool pool, DB db);
88    
89          String getIndexTypeURI();          String getIndexTypeURI();
90      }      }

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

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