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-2014 Saxonica Limited. All rights reserved.