blob: aab598a38e584c3f242e5f23bd9e204ef94fa336 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
/*
* Copyright (c) 2008 Paul C. Buetow, vs@dev.buetow.org
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2
* of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*
* All icons of the icons/ folder are under a Creative Commons
* Attribution-Noncommercial-Share Alike License a CC-by-nc-sa.
*
* The icon's homepage is http://code.google.com/p/ultimate-gnome/
*/
package core.time;
/**
* The class VSLamportTime. This class defined how the lamport
* timestamps are represented.
*
* @author Paul C. Buetow
*/
public class VSLamportTime implements VSTime {
/** The serial version uid */
private static final long serialVersionUID = 1L;
/** Specified the global time of the lamport timestamp. It's used for
* correct painting position in the simulator canvas 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.
*/
public VSLamportTime(long globalTime, long lamportTime) {
this.globalTime = globalTime;
this.lamportTime = lamportTime;
}
/* (non-Javadoc)
* @see core.time.VSTime#getGlobalTime()
*/
public long getGlobalTime() {
return globalTime;
}
/**
* Gets the lamport time.
*
* @return The process' local lamport time
*/
public long getLamportTime() {
return lamportTime;
}
/* (non-Javadoc)
* @see core.time.VSTime#toString()
*/
public String toString() {
return "(" + lamportTime + ")";
}
}
|
