From 77a150f8d20f56aff7a4b4d394ea4b4857b6918c Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 17 May 2008 14:58:43 +0000
Subject: Time package new.

---
 sources/core/VSLamport.java          | 23 ----------------
 sources/core/VSTime.java             |  6 -----
 sources/core/VSVectorTime.java       | 52 ------------------------------------
 sources/core/time/VSLamportTime.java | 23 ++++++++++++++++
 sources/core/time/VSTime.java        |  6 +++++
 sources/core/time/VSVectorTime.java  | 52 ++++++++++++++++++++++++++++++++++++
 6 files changed, 81 insertions(+), 81 deletions(-)
 delete mode 100644 sources/core/VSLamport.java
 delete mode 100644 sources/core/VSTime.java
 delete mode 100644 sources/core/VSVectorTime.java
 create mode 100644 sources/core/time/VSLamportTime.java
 create mode 100644 sources/core/time/VSTime.java
 create mode 100644 sources/core/time/VSVectorTime.java

diff --git a/sources/core/VSLamport.java b/sources/core/VSLamport.java
deleted file mode 100644
index 2d2c49e..0000000
--- a/sources/core/VSLamport.java
+++ /dev/null
@@ -1,23 +0,0 @@
-package core;
-
-public class VSLamportTime implements VSTime {
-    private long globalTime;
-    private long lamportTime;
-
-    public VSLamportTime(long globalTime, long lamportTime) {
-        this.globalTime = globalTime;
-        this.lamportTime = lamportTime;
-    }
-
-    public long getGlobalTime() {
-        return globalTime;
-    }
-
-    public long getLamportTime() {
-        return lamportTime;
-    }
-
-    public String toString() {
-        return "(" + lamportTime + ")";
-    }
-}
diff --git a/sources/core/VSTime.java b/sources/core/VSTime.java
deleted file mode 100644
index f35c0dd..0000000
--- a/sources/core/VSTime.java
+++ /dev/null
@@ -1,6 +0,0 @@
-package core;
-
-public interface VSTime {
-    public long getGlobalTime();
-    public String toString();
-}
diff --git a/sources/core/VSVectorTime.java b/sources/core/VSVectorTime.java
deleted file mode 100644
index 70a62a2..0000000
--- a/sources/core/VSVectorTime.java
+++ /dev/null
@@ -1,52 +0,0 @@
-package core;
-
-import java.util.ArrayList;
-
-public class VSVectorTime extends ArrayList<Long> implements VSTime {
-    /* Only needed for painting in the painting panel */
-    private long globalTime;
-
-    public VSVectorTime(long globalTime) {
-        this.globalTime = globalTime;
-    }
-
-    public long[] toLongArray() {
-        final int size = super.size();
-        final long[] arr = new long[size];
-
-        for (int i = 0; i < size; ++i)
-            arr[i] = super.get(i).longValue();
-
-        return arr;
-    }
-
-    public void setGlobalTime(long globalTime) {
-        this.globalTime = globalTime;
-    }
-
-    public long getGlobalTime() {
-        return globalTime;
-    }
-
-    public VSVectorTime getCopy() {
-        final VSVectorTime vectorTime = new VSVectorTime(globalTime);
-        final int size = super.size();
-
-        for (int i = 0; i < size; ++i)
-            vectorTime.add(super.get(i));
-
-        return vectorTime;
-    }
-
-    public String toString() {
-        final int size = super.size();
-        final StringBuffer buffer = new StringBuffer();
-        buffer.append("(");
-
-        for (int i = 0; i < size-1; ++i)
-            buffer.append(super.get(i)+",");
-        buffer.append(super.get(size-1)+")");
-
-        return buffer.toString();
-    }
-}
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java
new file mode 100644
index 0000000..2d2c49e
--- /dev/null
+++ b/sources/core/time/VSLamportTime.java
@@ -0,0 +1,23 @@
+package core;
+
+public class VSLamportTime implements VSTime {
+    private long globalTime;
+    private long lamportTime;
+
+    public VSLamportTime(long globalTime, long lamportTime) {
+        this.globalTime = globalTime;
+        this.lamportTime = lamportTime;
+    }
+
+    public long getGlobalTime() {
+        return globalTime;
+    }
+
+    public long getLamportTime() {
+        return lamportTime;
+    }
+
+    public String toString() {
+        return "(" + lamportTime + ")";
+    }
+}
diff --git a/sources/core/time/VSTime.java b/sources/core/time/VSTime.java
new file mode 100644
index 0000000..f35c0dd
--- /dev/null
+++ b/sources/core/time/VSTime.java
@@ -0,0 +1,6 @@
+package core;
+
+public interface VSTime {
+    public long getGlobalTime();
+    public String toString();
+}
diff --git a/sources/core/time/VSVectorTime.java b/sources/core/time/VSVectorTime.java
new file mode 100644
index 0000000..70a62a2
--- /dev/null
+++ b/sources/core/time/VSVectorTime.java
@@ -0,0 +1,52 @@
+package core;
+
+import java.util.ArrayList;
+
+public class VSVectorTime extends ArrayList<Long> implements VSTime {
+    /* Only needed for painting in the painting panel */
+    private long globalTime;
+
+    public VSVectorTime(long globalTime) {
+        this.globalTime = globalTime;
+    }
+
+    public long[] toLongArray() {
+        final int size = super.size();
+        final long[] arr = new long[size];
+
+        for (int i = 0; i < size; ++i)
+            arr[i] = super.get(i).longValue();
+
+        return arr;
+    }
+
+    public void setGlobalTime(long globalTime) {
+        this.globalTime = globalTime;
+    }
+
+    public long getGlobalTime() {
+        return globalTime;
+    }
+
+    public VSVectorTime getCopy() {
+        final VSVectorTime vectorTime = new VSVectorTime(globalTime);
+        final int size = super.size();
+
+        for (int i = 0; i < size; ++i)
+            vectorTime.add(super.get(i));
+
+        return vectorTime;
+    }
+
+    public String toString() {
+        final int size = super.size();
+        final StringBuffer buffer = new StringBuffer();
+        buffer.append("(");
+
+        for (int i = 0; i < size-1; ++i)
+            buffer.append(super.get(i)+",");
+        buffer.append(super.get(size-1)+")");
+
+        return buffer.toString();
+    }
+}
-- 
cgit v1.2.3