From 271949bf140359dd97cbee9ef927ee9280c9f31f Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sat, 17 May 2008 14:55:16 +0000 Subject: Vectortimestamps work Better representation of Lamporttimestamps BerkelyTimeProtocol M trunk/ROADMAP M trunk/sources/prefs/VSPrefs.java M trunk/sources/prefs/VSDefaultPrefs.java M trunk/sources/simulator/VSMain.java M trunk/sources/simulator/VSSimulation.java M trunk/sources/simulator/VSSimulationPanel.java M trunk/sources/utils/VSFrame.java M trunk/sources/utils/VSClassLoader.java M trunk/sources/utils/VSInfoArea.java M trunk/sources/protocols/BroadcastSturmProtocol.java M trunk/sources/protocols/ExternalTimeSyncProtocol.java M trunk/sources/protocols/RegisteredProtocols.java M trunk/sources/protocols/PingPongProtocol.java M trunk/sources/protocols/InternalTimeSyncProtocol.java M trunk/sources/protocols/VSProtocol.java M trunk/sources/protocols/DummyProtocol.java A trunk/sources/protocols/BerkelyTimeProtocol.java M trunk/sources/core/VSLamport.java M trunk/sources/core/VSProcess.java A trunk/sources/core/VSTime.java A trunk/sources/core/VSVectorTime.java M trunk/sources/core/VSTask.java M trunk/sources/core/VSMessage.java M trunk/sources/editors/VSEditor.java M trunk/sources/editors/VSProtocolEditor.java M trunk/sources/editors/VSSimulationEditor.java M trunk/sources/editors/VSEditorFrame.java M trunk/sources/editors/VSProcessEditor.java --- sources/protocols/RegisteredProtocols.java | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'sources/protocols/RegisteredProtocols.java') diff --git a/sources/protocols/RegisteredProtocols.java b/sources/protocols/RegisteredProtocols.java index 542d686..b08bb87 100644 --- a/sources/protocols/RegisteredProtocols.java +++ b/sources/protocols/RegisteredProtocols.java @@ -11,7 +11,7 @@ public final class RegisteredProtocols { private static HashMap protocolNames; private static VSPrefs prefs; - public static void initialize(VSPrefs prefs_) { + public static void init(VSPrefs prefs_) { prefs = prefs_; protocolNames = new HashMap(); protocolClassnames = new HashMap(); @@ -21,6 +21,7 @@ public final class RegisteredProtocols { registerProtocol("protocols.ExternalTimeSyncProtocol"); registerProtocol("protocols.InternalTimeSyncProtocol"); registerProtocol("protocols.BroadcastSturmProtocol"); + registerProtocol("protocols.BerkelyTimeProtocol"); } public static Vector getProtocolNames() { @@ -43,12 +44,15 @@ public final class RegisteredProtocols { return protocolNames.get(protocolClassname); } - public static VSProtocol getProtocolInstanceByName(String protocolName) { + public static VSProtocol getProtocolInstanceByName(String protocolName, VSProcess process) { final String protocolClassname = protocolClassnames.get(protocolName); final Object protocolObj = new VSClassLoader().newInstance(protocolClassname); - if (protocolObj instanceof VSProtocol) - return (VSProtocol) protocolObj; + if (protocolObj instanceof VSProtocol) { + VSProtocol protocol = (VSProtocol) protocolObj; + protocol.init(process); + return protocol; + } return null; } -- cgit v1.2.3