From d4c1ddcc90c1e2e8660598fc36b3772d2bff6816 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Thu, 15 May 2008 23:08:33 +0000 Subject: 1 Moved the stuff to trunk! --- sources/core/VSMessage.java | 56 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 sources/core/VSMessage.java (limited to 'sources/core/VSMessage.java') diff --git a/sources/core/VSMessage.java b/sources/core/VSMessage.java new file mode 100644 index 0000000..b3c1d31 --- /dev/null +++ b/sources/core/VSMessage.java @@ -0,0 +1,56 @@ +package core; + +import prefs.VSPrefs; +import protocols.*; +import events.VSEvent; + +public class VSMessage extends VSPrefs implements VSEvent { + private String protocolClassname; + private VSProcess sendingProcess; + private long messageID; + private static long messageCounter; + private long lamportTime; + + public VSMessage(String protocolClassname) { + this.protocolClassname = protocolClassname; + this.messageID = ++messageCounter; + } + + public String getProtocolName() { + return RegisteredProtocols.getProtocolName(getProtocolClassname()); + } + + public String getProtocolClassname() { + return protocolClassname; + } + + public long getMessageID() { + return messageID; + } + + public void setSendingProcess(VSProcess sendingProcess) { + this.sendingProcess = sendingProcess; + lamportTime = sendingProcess.getLamportTime(); + } + + public VSProcess getSendingProcess() { + return sendingProcess; + } + + public long getLamportTime() { + return lamportTime; + } + + public String toString() { + return "ID: " + messageID; + } + + public String toStringFull() { + return toString() + "; " + super.toString(); + } + + public boolean equals(VSMessage message) { + return messageID == message.getMessageID(); + } +} + -- cgit v1.2.3