diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-17 20:36:00 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-17 20:36:00 +0000 |
| commit | dbb780b7295c0df60269ee6f3c85c3056d6262b8 (patch) | |
| tree | d8f084283d6b5b86482e7edb3d7fc786de737ceb /sources/core/VSMessage.java | |
| parent | a622ebff377f37d14535f91e484335e2ad215acb (diff) | |
VSEvent interface has now has the init method.
Diffstat (limited to 'sources/core/VSMessage.java')
| -rw-r--r-- | sources/core/VSMessage.java | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sources/core/VSMessage.java b/sources/core/VSMessage.java index 1ccad7f..1bd4ca6 100644 --- a/sources/core/VSMessage.java +++ b/sources/core/VSMessage.java @@ -18,6 +18,12 @@ public class VSMessage extends VSPrefs implements VSEvent { this.messageID = ++messageCounter; } + public void init(VSProcess process) { + this.sendingProcess = process; + lamportTime = sendingProcess.getLamportTime(); + vectorTime = sendingProcess.getVectorTime().getCopy(); + } + public String getProtocolName() { return VSRegisteredProtocols.getProtocolName(getProtocolClassname()); } @@ -30,12 +36,6 @@ public class VSMessage extends VSPrefs implements VSEvent { return messageID; } - public void setSendingProcess(VSProcess sendingProcess) { - this.sendingProcess = sendingProcess; - lamportTime = sendingProcess.getLamportTime(); - vectorTime = sendingProcess.getVectorTime().getCopy(); - } - public VSProcess getSendingProcess() { return sendingProcess; } |
