40 |
private PointerId pointer; |
private PointerId pointer; |
41 |
private long timestamp; |
private long timestamp; |
42 |
private BlockId target; |
private BlockId target; |
43 |
|
private String name; |
44 |
|
|
45 |
public PointerId getPointer() { return pointer; } |
public PointerId getPointer() { return pointer; } |
46 |
public long getTimestamp() { return timestamp; } |
public long getTimestamp() { return timestamp; } |
47 |
public BlockId getTarget() { return target; } |
public BlockId getTarget() { return target; } |
48 |
|
public String getName() { return name; } |
49 |
|
|
50 |
public PointerBlock(Block block) |
public PointerBlock(Block block) |
51 |
throws IOException, GeneralSecurityException { |
throws IOException, GeneralSecurityException { |
72 |
timestamp = Long.parseLong(r.readLine()); |
timestamp = Long.parseLong(r.readLine()); |
73 |
target = new BlockId(r.readLine()); |
target = new BlockId(r.readLine()); |
74 |
|
|
75 |
|
name = r.readLine(); // may be null -> no name given |
76 |
|
|
77 |
if(r.readLine() != null) |
if(r.readLine() != null) |
78 |
throw new IOException("Pointer block too long"); |
throw new IOException("Pointer block too long"); |
79 |
|
|