summaryrefslogtreecommitdiff
path: root/sources/core
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2008-05-18 21:44:09 +0000
committerPaul Buetow <paul@buetow.org>2008-05-18 21:44:09 +0000
commit34b16d2ffc7b40df933ba85ddb8e414121116ca5 (patch)
treeb7ba976bb34f9ec51acd10dca935b9a33d9e01f8 /sources/core
parentace76b508e2f6c1bc420112306ebee52f478de13 (diff)
new Task Manager works :-)
Diffstat (limited to 'sources/core')
-rw-r--r--sources/core/VSMessage.java8
-rw-r--r--sources/core/VSTask.java6
2 files changed, 7 insertions, 7 deletions
diff --git a/sources/core/VSMessage.java b/sources/core/VSMessage.java
index 7362284..7e822b3 100644
--- a/sources/core/VSMessage.java
+++ b/sources/core/VSMessage.java
@@ -6,15 +6,15 @@ import prefs.VSPrefs;
import protocols.*;
public class VSMessage extends VSEvent {
- private String eventClassname;
+ private String protocolClassname;
private VSProcess sendingProcess;
private long messageID;
private static long messageCounter;
private long lamportTime;
private VSVectorTime vectorTime;
- public VSMessage(String eventClassname) {
- this.eventClassname = eventClassname;
+ public VSMessage(String protocolClassname) {
+ this.protocolClassname = protocolClassname;
this.messageID = ++messageCounter;
}
@@ -29,7 +29,7 @@ public class VSMessage extends VSEvent {
}
public String getProtocolClassname() {
- return eventClassname;
+ return protocolClassname;
}
public long getMessageID() {
diff --git a/sources/core/VSTask.java b/sources/core/VSTask.java
index 503d57e..3869e7c 100644
--- a/sources/core/VSTask.java
+++ b/sources/core/VSTask.java
@@ -95,15 +95,15 @@ public class VSTask implements Comparable {
private void onMessageRecv() {
final VSMessage message = (VSMessage) event;
final String eventName = message.getName();
- final String eventClassname = message.getProtocolClassname();
+ final String protocolClassname = message.getProtocolClassname();
process.updateLamportTime(message.getLamportTime()+1);
process.updateVectorTime(message.getVectorTime());
Object protocolObj;
- if (process.objectExists(eventClassname))
- protocolObj = process.getObject(eventClassname);
+ if (process.objectExists(protocolClassname))
+ protocolObj = process.getObject(protocolClassname);
else
protocolObj = null;