1 files changed, 0 insertions, 50 deletions
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java
deleted file mode 100644
index be1226b..0000000
--- a/sources/core/time/VSLamportTime.java
+++ /dev/null
@@ -1,50 +0,0 @@
-package core.time;
-
-/**
- * The class VSLamportTime, defines how the lamport timestamps are represented.
- *
- * @author Paul C. Buetow
- */
-public class VSLamportTime implements VSTime {
-    /** Specified the global time of the lamport timestamp. It's used for
-     * correct painting position in the simulator canvas paint area.
-     */
-    private long globalTime;
-
-    /** Specified the process' local lamport time. */
-    private long lamportTime;
-
-    /**
-     * A simple constructor.
-     *
-     * @param globalTime The global time.
-     * @param lamportTime The local lamport time.
-     */
-    public VSLamportTime(long globalTime, long lamportTime) {
-        this.globalTime = globalTime;
-        this.lamportTime = lamportTime;
-    }
-
-    /* (non-Javadoc)
-     * @see core.time.VSTime#getGlobalTime()
-     */
-    public long getGlobalTime() {
-        return globalTime;
-    }
-
-    /**
-     * Gets the lamport time.
-     *
-     * @return The process' local lamport time
-     */
-    public long getLamportTime() {
-        return lamportTime;
-    }
-
-    /* (non-Javadoc)
-     * @see core.time.VSTime#toString()
-     */
-    public String toString() {
-        return "(" + lamportTime + ")";
-    }
-}