blob: d1814a4910709c5e4a6ff79a172269fb5e43a97f (
plain) (
blame)
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
|
package uk.ac.ox.cs.pagoda.util;
public class Timer {
double pastTime = 0;
boolean active = false;
long startTime;
public Timer() {
resume();
}
public void resume() {
if (active) return;
startTime = System.currentTimeMillis();;
active = true;
}
public double duration() {
double time = pastTime;
if (active)
time += (System.currentTimeMillis() - startTime) / 1000.;
return time;
}
public void pause() {
if (!active) return ;
pastTime = duration();
active = false;
}
public double reset() {
double ret = duration();
pastTime = 0;
active = false;
resume();
return ret;
}
double timeout = -1;
public boolean timeOut() {
if (timeout < 0) return false;
return duration() > timeout;
}
public void setTimeout(double timeout) {
this.timeout = timeout;
}
}
|