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

1 files changed, 8 insertions, 4 deletions

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<String,String> protocolNames;
     private static VSPrefs prefs;
 
-    public static void initialize(VSPrefs prefs_) {
+    public static void init(VSPrefs prefs_) {
         prefs = prefs_;
         protocolNames = new HashMap<String, String>();
         protocolClassnames = new HashMap<String, String>();
@@ -21,6 +21,7 @@ public final class RegisteredProtocols {
         registerProtocol("protocols.ExternalTimeSyncProtocol");
         registerProtocol("protocols.InternalTimeSyncProtocol");
         registerProtocol("protocols.BroadcastSturmProtocol");
+        registerProtocol("protocols.BerkelyTimeProtocol");
     }
 
     public static Vector<String> 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;
     }