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

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

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

revision 1.5 by benja, Mon Dec 30 13:26:42 2002 UTC revision 1.6 by benja, Mon Dec 30 16:02:02 2002 UTC
# Line 64  public interface Pointer { Line 64  public interface Pointer {
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  }  }

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

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