public class Execution extends java.lang.Object
Execution()
static void
runWithTimeSpent(java.lang.Runnable thunk)
timed(java.lang.Runnable thunk)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Execution()
public static void timed(java.lang.Runnable thunk)
public static void runWithTimeSpent(java.lang.Runnable thunk)