summaryrefslogtreecommitdiff
path: root/sources/core/time/VSLamportTime.java
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2008-05-25 09:03:33 +0000
committerPaul Buetow <paul@buetow.org>2008-05-25 09:03:33 +0000
commit009350323123fc4b47041cb2194e8df19f69423b (patch)
treea9562cf215181a03137d5281d49d26e0fe5a3b45 /sources/core/time/VSLamportTime.java
parentbb1dbccae485263ea5182546006339870c57b367 (diff)
Run astyle.
Diffstat (limited to 'sources/core/time/VSLamportTime.java')
-rw-r--r--sources/core/time/VSLamportTime.java12
1 files changed, 6 insertions, 6 deletions
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java
index 4ee5ebd..c3b138b 100644
--- a/sources/core/time/VSLamportTime.java
+++ b/sources/core/time/VSLamportTime.java
@@ -9,16 +9,16 @@ package core.time;
* This class defined how the lamport timestamps are represented.
*/
public class VSLamportTime implements VSTime {
-
+
/** Specified the global time of the lamport timestamp. It's used for correct painting in the simulator 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.
*/
@@ -29,7 +29,7 @@ public class VSLamportTime implements VSTime {
/**
* Getter method.
- *
+ *
* @return The global time.
*/
public long getGlobalTime() {
@@ -38,7 +38,7 @@ public class VSLamportTime implements VSTime {
/**
* Getter method.
- *
+ *
* @return The process' local lamport time.
*/
public long getLamportTime() {
@@ -47,7 +47,7 @@ public class VSLamportTime implements VSTime {
/**
* String representation.
- *
+ *
* @return The string representation of the lamport time.
*/
public String toString() {