public void stopTimer(final String name) { getTimer(name).orElseThrow(() -> _doesNotExist.apply(name))// .stop(); }
public void resetTimer(final String name) { getTimer(name).orElseThrow(() -> _doesNotExist.apply(name))// .reset(); }
public void checkTimer(final String name) { getTimer(name).orElseThrow(() -> _doesNotExist.apply(name))// .check(); }
public void checkTimer(final String name) { getTimer(name).orElseThrow(() -> _doesNotExist.apply(name))// .check(); }
public long getTimerTotal(final String name) { return getTimer(name).map(t -> t.getTotal()).orElse(0L); }
public long getTimerTotal(final String name) { return getTimer(name).map(t -> t.getTotal()).orElse(0L); }
public double getTimerAverage(final String name) { return getTimer(name).map(t -> t.getAverage()).orElse(0.); }
public void resetTimer(final String name) { getTimer(name).orElseThrow(() -> _doesNotExist.apply(name))// .reset(); }
public void stopTimer(final String name) { getTimer(name).orElseThrow(() -> _doesNotExist.apply(name))// .stop(); }
public double getTimerAverage(final String name) { return getTimer(name).map(t -> t.getAverage()).orElse(0.); }
public void addAll(final Timers other) { for (final Entry<String, Timer> entry : other._timers.entrySet()) { final String name = entry.getKey(); final Timer otherTimer = entry.getValue(); final Optional<Timer> thisTimer = getTimer(name); if (thisTimer.isPresent()) thisTimer.get().add(otherTimer); else _timers.put(name, otherTimer); } }
public void consistency() throws TimeoutException { System.out.println("Consistency Timeout: " + Timeouts.CONSISTENCY + "ms"); System.out.print("Checking consistency..."); model.prepare(); System.out.println("finished in " + timers.getTimer("isConsistent").get().getLast()); System.out.println(); }
public void consistency() throws TimeoutException { System.out.println("Consistency Timeout: " + Timeouts.CONSISTENCY + "ms"); System.out.print("Checking consistency..."); model.prepare(); System.out.println("finished in " + timers.getTimer("isConsistent").get().getLast()); System.out.println(); }
public Optional<Timer> startTimer(final String name) { if (OpenlletOptions.USE_THREADED_KERNEL) return Optional.empty(); final Timer t = getTimer(name).orElseGet(() -> createTimer(name)); t.start(); return Optional.of(t); }
public Optional<Timer> startTimer(final String name) { if (OpenlletOptions.USE_THREADED_KERNEL) return Optional.empty(); final Timer t = getTimer(name).orElseGet(() -> createTimer(name)); t.start(); return Optional.of(t); }
public void setTimeout(final String name, final long timeout) { getTimer(name).orElseGet(() -> createTimer(name))// .setTimeout(timeout); }
public void setTimeout(final String name, final long timeout) { getTimer(name).orElseGet(() -> createTimer(name))// .setTimeout(timeout); }
protected void finishTask(final String task) { final Optional<Timer> timer = _timers.getTimer(task); timer.ifPresent(t -> { t.stop(); verbose("Finished " + task + " in " + t.format()); }); } }
public CompletionStrategy(final ABox abox) { _abox = abox; _tbox = abox.getTBox(); _timers = abox.getKB().getTimers(); _completionTimer = _timers.getTimer("complete"); }
public CompletionStrategy(final ABox abox) { _abox = abox; _tbox = abox.getTBox(); _timers = abox.getKB().getTimers(); _completionTimer = _timers.getTimer("complete"); }