/[storm]/storm/org/nongnu/storm/pointers/PointerIndex.java
ViewVC logotype

Diff of /storm/org/nongnu/storm/pointers/PointerIndex.java

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

revision 1.4 by benja, Fri May 9 18:35:03 2003 UTC revision 1.5 by benja, Thu May 22 00:14:08 2003 UTC
# Line 152  public class PointerIndex { Line 152  public class PointerIndex {
152              // Mapping "" -> pointer id              // Mapping "" -> pointer id
153              // for finding all pointers              // for finding all pointers
154              mappings.add(new IndexedPool.Mapping(block.getId(), "",              mappings.add(new IndexedPool.Mapping(block.getId(), "",
155                                                   p.getPointer().toString()));                                                   p.getPointer().toString()));
156    
157              return mappings;              return mappings;
158          }          }

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

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