--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CSP2/CSP2_env/env-d9b9114564458d9d-741b3de822f2aaca6c6caa4325c4afce/opt/bbmap-39.01-1/current/shared/Timer.java	Tue Mar 18 16:23:26 2025 -0400
@@ -0,0 +1,71 @@
+package shared;
+
+import java.io.PrintStream;
+import java.util.Locale;
+
+public class Timer {
+	
+	public Timer(){this(System.err, true);}
+	
+	public Timer(String s){
+		this(System.err, true);
+		if(outstream!=null){outstream.println(s);}
+	}
+	
+	public Timer(PrintStream outstream_, boolean addTab_){
+		outstream=outstream_;
+		addTab=addTab_;
+		start();
+	}
+	
+	public long start(String s){
+		if(outstream!=null){outstream.println(s);}
+		return start();
+	}
+	
+	public long stopAndPrint(){
+		long x=stop();
+		if(outstream!=null){outstream.println(this);}
+		return x;
+	}
+	
+	public long stop(String s){
+		long x=stop();
+		if(addTab && s!=null && !s.endsWith("\t")){s=s+"\t";}
+		if(outstream!=null){outstream.println(s+this);}
+		return x;
+	}
+	
+	public long start(){
+		time1=time2=System.nanoTime();
+		elapsed=0;
+		return time1;
+	}
+	
+	public long stop(){
+		time2=System.nanoTime();
+		elapsed=time2-time1;
+		return time2;
+	}
+	
+	@Override
+	public String toString(){
+		return timeInSeconds(3)+" seconds.";
+	}
+	
+	public String timeInSeconds(int decimals) {
+		return String.format(Locale.ROOT, "%."+decimals+"f", timeInSeconds());
+	}
+	
+	public double timeInSeconds() {
+		return elapsed/1000000000d;
+	}
+
+	public long time1;
+	public long time2;
+	/** in nanos */
+	public long elapsed;
+	
+	public PrintStream outstream=System.err;
+	public boolean addTab=true;
+}