@Override protected SaturationStateWriter<? extends Context> getBaseWriter( ContextCreationListener creationListener, ContextModificationListener modificationListener) { // writer cannot create new contexts return getSaturationState() .getContextModifyingWriter(modificationListener); }
@Override protected SaturationStateWriter<? extends Context> getBaseWriter( ContextCreationListener creationListener, ContextModificationListener modificationListener) { // writer cannot create new contexts return getSaturationState() .getContextModifyingWriter(modificationListener); }
@Override protected SaturationStateWriter<Context> getFinalWriter( SaturationStateWriter<? extends Context> writer) { // only write to exiting contexts return new ContextExistenceCheckingWriter<Context>(writer, getSaturationState()); }
@Override protected SaturationStateWriter<Context> getFinalWriter( SaturationStateWriter<? extends Context> writer) { // only write to exiting contexts return new ContextExistenceCheckingWriter<Context>(writer, getSaturationState()); }
@Override protected SaturationStateWriter<Context> getFinalWriter( SaturationStateWriter<? extends Context> writer) { // only write to exiting contexts return new ContextExistenceCheckingWriter<Context>(writer, getSaturationState()); }
@Override protected SaturationStateWriter<? extends Context> getBaseWriter( ContextCreationListener creationListener, ContextModificationListener modificationListener) { // writer cannot create new contexts return getSaturationState() .getContextModifyingWriter(modificationListener); }
getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer),
getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer),
getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer),