diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-18 19:29:30 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-18 19:29:30 +0000 |
| commit | 2d45de18df35f6d3ba4ca0b86ec1188e49637413 (patch) | |
| tree | 6c84c8cd14a89a6dabeada811c6477d1e5459767 /sources/core/VSMessage.java | |
| parent | c46ed2242876bfb267ed0b6823c8a3e99ac62dd6 (diff) | |
The TaskManager works partly.
Diffstat (limited to 'sources/core/VSMessage.java')
| -rw-r--r-- | sources/core/VSMessage.java | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/sources/core/VSMessage.java b/sources/core/VSMessage.java index 3989539..7362284 100644 --- a/sources/core/VSMessage.java +++ b/sources/core/VSMessage.java @@ -5,16 +5,16 @@ import events.*; import prefs.VSPrefs; import protocols.*; -public class VSMessage extends VSPrefs implements VSEvent { - private String protocolClassname; +public class VSMessage extends VSEvent { + private String eventClassname; private VSProcess sendingProcess; private long messageID; private static long messageCounter; private long lamportTime; private VSVectorTime vectorTime; - public VSMessage(String protocolClassname) { - this.protocolClassname = protocolClassname; + public VSMessage(String eventClassname) { + this.eventClassname = eventClassname; this.messageID = ++messageCounter; } @@ -24,12 +24,12 @@ public class VSMessage extends VSPrefs implements VSEvent { vectorTime = sendingProcess.getVectorTime().getCopy(); } - public String getProtocolName() { - return VSRegisteredProtocols.getProtocolName(getProtocolClassname()); + public String getName() { + return VSRegisteredEvents.getName(getProtocolClassname()); } public String getProtocolClassname() { - return protocolClassname; + return eventClassname; } public long getMessageID() { @@ -60,8 +60,8 @@ public class VSMessage extends VSPrefs implements VSEvent { return messageID == message.getMessageID(); } - public void logg(String message) { - //System.out.println(message); - } + public void logg(String message) { } + public void onInit() { } + public void onStart() { } } |
