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

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

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

revision 1.5 by benja, Thu May 22 00:14:08 2003 UTC revision 1.6 by benja, Thu May 22 22:41:05 2003 UTC
# Line 87  public class SetPointer { Line 87  public class SetPointer {
87              target = new BlockId(argv[3]);              target = new BlockId(argv[3]);
88          }          }
89    
90            String name = System.getProperty("setpointer.name");
91            if(argv.length > 4)
92                name = argv[4];
93    
94          PointerIndex idx = (PointerIndex)pool.getIndex(PointerIndex.uri);          PointerIndex idx = (PointerIndex)pool.getIndex(PointerIndex.uri);
95          idx.set(pointer, target, keys);          idx.set(pointer, target, keys, name);
96    
97          System.out.println("Set pointer");          System.out.println("Set pointer");
98          System.out.println(pointer);          System.out.println(pointer);

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