Parent Directory | Revision Log | 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 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |