initial version

1 files changed, 52 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/util/Timer.java b/src/uk/ac/ox/cs/pagoda/util/Timer.java
new file mode 100644
index 0000000..d1814a4
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/util/Timer.java
@@ -0,0 +1,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; 
+        }
+        
+}