public Timer startTimer(String name) { Timer t = getTimer(name); if(t == null) t = createTimer(name); t.start(); return t; }
public void setTimeout(String name, long timeout) { Timer t = getTimer(name); if (t == null) t = createTimer(name); t.setTimeout(timeout); }
/** * @requires: end >= start * * @effects: removes from this all of the numbers which are not between <code>start</code> and * <code>end</code>. */ public void restrictToInterval( Object start, boolean incStart, Object end, boolean incEnd ) { restrictToInterval( new Interval( start, incStart, end, incEnd ) ); }
public Timers() { mainTimer = createTimer("main"); mainTimer.start(); }
public String format() { return DurationFormat.LONG.format( getTotal() + getElapsed() ); } }
public String missingDatatypeExplanation() { return "Plain literal " + ATermUtils.toString((ATermAppl) args[0]) + " does not belong to datatype " + args[1] + ". Literal value may be missing the rdf:datatype attribute."; }
public double getTimerAverage(String name) { Timer timer = getTimer(name); return (timer == null) ? 0 : timer.getAverage(); }
/** * @deprecated Use {@link #literal(String, ATermAppl)} instead */ public static ATermAppl typedLiteral(String value, String dt) { return ATermUtils.makeTypedLiteral( value, dt ); }
/** * Create a timer that has the specified parent timer. * * @param name * @param parent */ public Timer(String name, Timer parent) { this.name = name; this.parent = parent; timeout = NO_TIMEOUT; reset(); }
public Timer startTimer(String name) { Timer t = getTimer(name); if(t == null) t = createTimer(name); t.start(); return t; }
public void setTimeout(String name, long timeout) { Timer t = getTimer(name); if (t == null) t = createTimer(name); t.setTimeout(timeout); }
public Timers() { mainTimer = createTimer("main"); mainTimer.start(); }
public String format() { return DurationFormat.LONG.format( getTotal() + getElapsed() ); } }
public double getTimerAverage(String name) { Timer timer = getTimer(name); return (timer == null) ? 0 : timer.getAverage(); }
/** * @deprecated Use {@link #literal(String, ATermAppl)} instead */ public static ATermAppl typedLiteral(String value, String dt) { return ATermUtils.makeTypedLiteral( value, dt ); }