summaryrefslogtreecommitdiff
path: root/sources/core/VSMessage.java
diff options
context:
space:
mode:
Diffstat (limited to 'sources/core/VSMessage.java')
-rw-r--r--sources/core/VSMessage.java6
1 files changed, 6 insertions, 0 deletions
diff --git a/sources/core/VSMessage.java b/sources/core/VSMessage.java
index b3c1d31..466fc4d 100644
--- a/sources/core/VSMessage.java
+++ b/sources/core/VSMessage.java
@@ -10,6 +10,7 @@ public class VSMessage extends VSPrefs implements VSEvent {
private long messageID;
private static long messageCounter;
private long lamportTime;
+ private VSVectorTime vectorTime;
public VSMessage(String protocolClassname) {
this.protocolClassname = protocolClassname;
@@ -31,6 +32,7 @@ public class VSMessage extends VSPrefs implements VSEvent {
public void setSendingProcess(VSProcess sendingProcess) {
this.sendingProcess = sendingProcess;
lamportTime = sendingProcess.getLamportTime();
+ vectorTime = sendingProcess.getVectorTime().getCopy();
}
public VSProcess getSendingProcess() {
@@ -41,6 +43,10 @@ public class VSMessage extends VSPrefs implements VSEvent {
return lamportTime;
}
+ public VSVectorTime getVectorTime() {
+ return vectorTime;
+ }
+
public String toString() {
return "ID: " + messageID;
}