public class Timer extends Object
Timer()
void
report(String label)
reportCumulative(String label)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Timer()
public void report(String label)
public void reportCumulative(String label)
Copyright (c) 2004-2013 Saxonica Limited. All rights reserved.