summaryrefslogtreecommitdiff
path: root/sources/core/VSLamport.java
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2008-05-17 14:58:43 +0000
committerPaul Buetow <paul@buetow.org>2008-05-17 14:58:43 +0000
commit77a150f8d20f56aff7a4b4d394ea4b4857b6918c (patch)
treeed5c99fedc8aba6d0745cd6a45767b8d97e4cec9 /sources/core/VSLamport.java
parentd46b1369ce9361bb0ee43e7e29669940aecbdee4 (diff)
Time package new.
Diffstat (limited to 'sources/core/VSLamport.java')
-rw-r--r--sources/core/VSLamport.java23
1 files changed, 0 insertions, 23 deletions
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 + ")";
- }
-}