From d46b1369ce9361bb0ee43e7e29669940aecbdee4 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 17 May 2008 14:58:01 +0000
Subject: VSLamport -> VSLamportTime

---
 sources/core/VSProcess.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'sources/core/VSProcess.java')

diff --git a/sources/core/VSProcess.java b/sources/core/VSProcess.java
index c9002ca..d53c516 100644
--- a/sources/core/VSProcess.java
+++ b/sources/core/VSProcess.java
@@ -30,7 +30,7 @@ public final class VSProcess extends VSPrefs {
     private static int processCounter;
     private boolean isCrashed;
     private long lamportTime;
-    private ArrayList<VSLamport> lamportTimeHistory;
+    private ArrayList<VSLamportTime> lamportTimeHistory;
     private VSVectorTime vectorTime;
     private ArrayList<VSVectorTime> vectorTimeHistory;
 
@@ -109,7 +109,7 @@ public final class VSProcess extends VSPrefs {
 
     private void initTimeFormats() {
         lamportTime = 0;
-        lamportTimeHistory = new ArrayList<VSLamport>();
+        lamportTimeHistory = new ArrayList<VSLamportTime>();
 
         vectorTime = new VSVectorTime(0);
         vectorTimeHistory = new ArrayList<VSVectorTime>();
@@ -397,12 +397,12 @@ public final class VSProcess extends VSPrefs {
 
     public synchronized void setLamportTime(long lamportTime) {
         this.lamportTime = lamportTime;
-        lamportTimeHistory.add(new VSLamport(globalTime, lamportTime));
+        lamportTimeHistory.add(new VSLamportTime(globalTime, lamportTime));
     }
 
     public synchronized VSTime[] getLamportTimeArray() {
         final int size = lamportTimeHistory.size();
-        final VSTime[] arr = new VSLamport[size];
+        final VSTime[] arr = new VSLamportTime[size];
 
         for (int i = 0; i < size; ++i)
             arr[i] = (VSTime) lamportTimeHistory.get(i);
-- 
cgit v1.2.3