From 271949bf140359dd97cbee9ef927ee9280c9f31f Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
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/simulator/VSMain.java | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'sources/simulator/VSMain.java')

diff --git a/sources/simulator/VSMain.java b/sources/simulator/VSMain.java
index 9280eeb..db64092 100644
--- a/sources/simulator/VSMain.java
+++ b/sources/simulator/VSMain.java
@@ -10,14 +10,14 @@ import protocols.*;
 
 public class VSMain {
     public VSMain(VSPrefs prefs) {
-        initialize(prefs, null);
+        init(prefs, null);
     }
 
     public VSMain(VSPrefs prefs, Component relativeTo) {
-        initialize(prefs, relativeTo);
+        init(prefs, relativeTo);
     }
 
-    private void initialize(VSPrefs prefs, Component relativeTo) {
+    private void init(VSPrefs prefs, Component relativeTo) {
         new VSSimulationEditor(prefs, relativeTo);
     }
 
@@ -27,8 +27,8 @@ public class VSMain {
                 UIManager.getCrossPlatformLookAndFeelClassName());
         } catch (Exception e) { }
 
-        VSPrefs prefs = VSDefaultPrefs.initialize();
-        RegisteredProtocols.initialize(prefs);
+        VSPrefs prefs = VSDefaultPrefs.init();
+        RegisteredProtocols.init(prefs);
         new VSMain(prefs);
     }
 }
-- 
cgit v1.2.3