public void stopTimer(String name) { Timer t = getTimer(name); if (t == null) throw new UnsupportedOperationException("Timer " + name + " does not exist!"); t.stop(); }
public void checkTimer(String name) { Timer t = getTimer(name); if (t == null) throw new UnsupportedOperationException("Timer " + name + " does not exist!"); t.check(); }
public void resetTimer(String name) { Timer t = getTimer(name); if (t == null) throw new UnsupportedOperationException("Timer " + name + " does not exist!"); t.reset(); }
public void addAll( Timers other ) { for( Entry<String, Timer> entry : other.timers.entrySet() ) { String name = entry.getKey(); Timer otherTimer = entry.getValue(); Timer thisTimer = getTimer( name ); if( thisTimer == null ) timers.put( name, otherTimer ); else thisTimer.add( otherTimer ); } }
public void addAll( Timers other ) { for( Entry<String, Timer> entry : other.timers.entrySet() ) { String name = entry.getKey(); Timer otherTimer = entry.getValue(); Timer thisTimer = getTimer( name ); if( thisTimer == null ) timers.put( name, otherTimer ); else thisTimer.add( otherTimer ); } }
public void resetTimer(String name) { Timer t = getTimer(name); if (t == null) throw new UnsupportedOperationException("Timer " + name + " does not exist!"); t.reset(); }
public void checkTimer(String name) { Timer t = getTimer(name); if (t == null) throw new UnsupportedOperationException("Timer " + name + " does not exist!"); t.check(); }
public void stopTimer(String name) { Timer t = getTimer(name); if (t == null) throw new UnsupportedOperationException("Timer " + name + " does not exist!"); t.stop(); }
public double getTimerAverage(String name) { Timer timer = getTimer(name); return (timer == null) ? 0 : timer.getAverage(); }
public double getTimerAverage(String name) { Timer timer = getTimer(name); return (timer == null) ? 0 : timer.getAverage(); }
public long getTimerTotal(String name) { Timer timer = getTimer(name); return (timer == null) ? 0 : timer.getTotal(); }
public long getTimerTotal(String name) { Timer timer = getTimer(name); return (timer == null) ? 0 : timer.getTotal(); }
/** * */ public CompletionStrategy(ABox abox) { this.abox = abox; this.tbox = abox.getTBox(); this.timers = abox.getKB().timers; completionTimer = timers.getTimer("complete"); }
public void setTimeout(String name, long timeout) { Timer t = getTimer(name); if (t == null) t = createTimer(name); t.setTimeout(timeout); }
/** * */ public CompletionStrategy(ABox abox) { this.abox = abox; this.tbox = abox.getTBox(); this.timers = abox.getKB().timers; completionTimer = timers.getTimer("complete"); }
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 Timer startTimer(String name) { Timer t = getTimer(name); if(t == null) t = createTimer(name); t.start(); return t; }
private boolean realizeByIndividuals() { monitor.setProgressLength( kb.getIndividuals().size() ); monitor.taskStarted(); Iterator<Individual> i = kb.getABox().getIndIterator(); for( int count = 0; i.hasNext(); count++ ) { Individual x = i.next(); monitor.incrementProgress(); kb.timers.getTimer( "realize" ).check(); if( monitor.isCanceled() ) { return false; } if( log.isLoggable( Level.FINER ) ) { log.finer( count + ") Realizing " + format( x.getName() ) + " " ); } realize(x); } monitor.taskFinished(); return true; }
private boolean realizeByConcepts() { monitor.setProgressLength( classes.size() + 2 ); monitor.taskStarted(); if (markedNodes == null) { markedNodes = CollectionUtils.makeList(); } else { clearMarks(); } Collection<ATermAppl> individuals = kb.getIndividuals(); if( !individuals.isEmpty() ) { realizeByConcept( ATermUtils.TOP, individuals ); } kb.timers.getTimer( "realize" ).check(); if( monitor.isCanceled() ) { return false; } monitor.taskFinished(); return true; }