| changeset 58877 | aec7bf35d6f5 |
| parent 58299 | 6df94ce3ab2f |
| 58876:1a8d65e71a66 | 58877:aec7bf35d6f5 |
|---|---|
77 |
77 |
78 @Override |
78 @Override |
79 public Stamp getAccessStamp() { |
79 public Stamp getAccessStamp() { |
80 return StampFactory.forKind(writeKind); |
80 return StampFactory.forKind(writeKind); |
81 } |
81 } |
82 |
|
83 @Override |
|
84 public LocationIdentity getKilledLocationIdentity() { |
|
85 return getLocationIdentity(); |
|
86 } |
|
82 } |
87 } |