diff options
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() { |