From ef5e2356312e8354e1fe0addef6e24636f95ad78 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Tue, 20 May 2008 21:45:17 +0000 Subject: A new package events.internal has been introduced. It only contains events which are for internal usage. the events which are in the events.implementations menu are the events which are editable in the task manager. --- .../implementations/MessageReceiveEvent.java | 46 ---------------------- 1 file changed, 46 deletions(-) delete mode 100644 sources/events/implementations/MessageReceiveEvent.java (limited to 'sources/events/implementations/MessageReceiveEvent.java') diff --git a/sources/events/implementations/MessageReceiveEvent.java b/sources/events/implementations/MessageReceiveEvent.java deleted file mode 100644 index d5c1416..0000000 --- a/sources/events/implementations/MessageReceiveEvent.java +++ /dev/null @@ -1,46 +0,0 @@ -package events.implementations; - -import core.VSMessage; -import core.VSProcess; -import events.VSEvent; -import protocols.VSProtocol; - -public class MessageReceiveEvent extends VSEvent { - private VSMessage message; - - public MessageReceiveEvent(VSMessage message) { - this.message = message; - } - - protected void onInit() { - setClassname(getClass().toString()); - } - - public void onStart() { - String eventName = message.getName(); - String protocolClassname = message.getProtocolClassname(); - - process.updateLamportTime(message.getLamportTime()+1); - process.updateVectorTime(message.getVectorTime()); - - Object protocolObj = null; - - if (process.objectExists(protocolClassname)) - protocolObj = process.getObject(protocolClassname); - - StringBuffer buffer = new StringBuffer(); - buffer.append(prefs.getString("lang.message.recv")); - buffer.append("; "); - buffer.append(message);; - - if (protocolObj == null) { - logg(buffer.toString()); - - } else { - final VSProtocol protocol = (VSProtocol) protocolObj; - logg(buffer.toString()); - protocol.onMessageRecv(message); - } - - } -} -- cgit v1.2.3