@Override public boolean isActivated() { checkThread(); return isActivated_; }
@Override public final InputProcessor<I> getEngine( ContextCreationListener creationListener, ContextModificationListener modificationListener) { SaturationStatistics localStatistics = new SaturationStatistics(); localStatistics.startMeasurements(); creationListener = SaturationUtils.addStatsToContextCreationListener( creationListener, localStatistics.getContextStatistics()); modificationListener = SaturationUtils .addStatsToContextModificationListener(modificationListener, localStatistics.getContextStatistics()); SaturationStateWriter<? extends C> writer = getBaseWriter( creationListener, modificationListener); WorkerLocalTodo localTodo = new WorkerLocalTodoImpl(); writer = new WorkerLocalizedSaturationStateWriter<C>(writer, localTodo); writer = getFinalWriter(writer); RuleVisitor<?> ruleVisitor = getRuleVisitor(localStatistics.getRuleStatistics()); ModifiableReference<Context> activeContext = new ReferenceImpl<Context>(); return getEngine( activeContext, getInferenceProcessor(activeContext, ruleVisitor, writer, localStatistics), writer, localTodo, localStatistics); }
@Override public final InputProcessor<I> getEngine( ContextCreationListener creationListener, ContextModificationListener modificationListener) { SaturationStatistics localStatistics = new SaturationStatistics(); localStatistics.startMeasurements(); creationListener = SaturationUtils.addStatsToContextCreationListener( creationListener, localStatistics.getContextStatistics()); modificationListener = SaturationUtils .addStatsToContextModificationListener(modificationListener, localStatistics.getContextStatistics()); SaturationStateWriter<? extends C> writer = getBaseWriter( creationListener, modificationListener); WorkerLocalTodo localTodo = new WorkerLocalTodoImpl(); writer = new WorkerLocalizedSaturationStateWriter<C>(writer, localTodo); writer = getFinalWriter(writer); RuleVisitor<?> ruleVisitor = getRuleVisitor(localStatistics.getRuleStatistics()); ModifiableReference<Context> activeContext = new ReferenceImpl<Context>(); return getEngine( activeContext, getInferenceProcessor(activeContext, ruleVisitor, writer, localStatistics), writer, localTodo, localStatistics); }
@Override public IndexedContextRoot getActiveRoot() { checkThread(); if (isActivated_) return activeRoot_; // else return null; }
@Override public final InputProcessor<I> getEngine( ContextCreationListener creationListener, ContextModificationListener modificationListener) { SaturationStatistics localStatistics = new SaturationStatistics(); localStatistics.startMeasurements(); creationListener = SaturationUtils.addStatsToContextCreationListener( creationListener, localStatistics.getContextStatistics()); modificationListener = SaturationUtils .addStatsToContextModificationListener(modificationListener, localStatistics.getContextStatistics()); SaturationStateWriter<? extends C> writer = getBaseWriter( creationListener, modificationListener); WorkerLocalTodo localTodo = new WorkerLocalTodoImpl(); writer = new WorkerLocalizedSaturationStateWriter<C>(writer, localTodo); writer = getFinalWriter(writer); RuleVisitor<?> ruleVisitor = getRuleVisitor(localStatistics.getRuleStatistics()); ModifiableReference<Context> activeContext = new ReferenceImpl<Context>(); return getEngine( activeContext, getInferenceProcessor(activeContext, ruleVisitor, writer, localStatistics), writer, localTodo, localStatistics); }
@Override public boolean isActivated() { checkThread(); return isActivated_; }
@Override public IndexedContextRoot getActiveRoot() { checkThread(); if (isActivated_) return activeRoot_; // else return null; }
@Override public boolean isActivated() { checkThread(); return isActivated_; }
@Override public IndexedContextRoot getActiveRoot() { checkThread(); if (isActivated_) return activeRoot_; // else return null; }
@Override public ClassInference poll() { checkThread(); return localInferences_.pollLast(); }
@Override public ClassInference poll() { checkThread(); return localInferences_.pollLast(); }
@Override public boolean deactivate() { checkThread(); if (!isActivated_) return false; // else LOGGER_.trace("local todo deactivated"); return true; }
@Override public boolean deactivate() { checkThread(); if (!isActivated_) return false; // else LOGGER_.trace("local todo deactivated"); return true; }
@Override public void setActiveRoot(IndexedContextRoot currentActiveRoot) { checkThread(); LOGGER_.trace("{}: new active root", currentActiveRoot); this.activeRoot_ = currentActiveRoot; }
@Override public ClassInference poll() { checkThread(); return localInferences_.pollLast(); }
@Override public void setActiveRoot(IndexedContextRoot currentActiveRoot) { checkThread(); LOGGER_.trace("{}: new active root", currentActiveRoot); this.activeRoot_ = currentActiveRoot; }
@Override public boolean deactivate() { checkThread(); if (!isActivated_) return false; // else LOGGER_.trace("local todo deactivated"); return true; }
@Override public void setActiveRoot(IndexedContextRoot currentActiveRoot) { checkThread(); LOGGER_.trace("{}: new active root", currentActiveRoot); this.activeRoot_ = currentActiveRoot; }
@Override public void add(ClassInference inference) { checkThread(); LOGGER_.trace("{}: local inference", inference); localInferences_.add(inference); }
@Override public void add(ClassInference inference) { checkThread(); LOGGER_.trace("{}: local inference", inference); localInferences_.add(inference); }