diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-25 09:03:33 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-25 09:03:33 +0000 |
| commit | 009350323123fc4b47041cb2194e8df19f69423b (patch) | |
| tree | a9562cf215181a03137d5281d49d26e0fe5a3b45 /sources/core/time/VSLamportTime.java | |
| parent | bb1dbccae485263ea5182546006339870c57b367 (diff) | |
Run astyle.
Diffstat (limited to 'sources/core/time/VSLamportTime.java')
| -rw-r--r-- | sources/core/time/VSLamportTime.java | 12 |
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() { |
