@Override public void dispose() { if (man != null) { man.removeOntologyChangeListener(this::handleChanges); } }
@Override public void dispose() { if (man != null) { man.removeOntologyChangeListener(this::handleChanges); } }
@Override public void dispose() { _manager.removeOntologyChangeListener(this); _kb = null; // Don't destroy box, because they can be shared with other KB. _pendingChanges.clear(); _factory = null; _ontology = null; _monitor = null; _individualNodeSetPolicy = null; }
@Override public void dispose() { _manager.removeOntologyChangeListener(this); _kb = null; // Don't destroy box, because they can be shared with other KB. _pendingChanges.clear(); _factory = null; _ontology = null; _monitor = null; _individualNodeSetPolicy = null; }
public void removeOntologyChangeListener(OWLOntologyChangeListener listener) { manager.removeOntologyChangeListener(listener); changeListenerManager.recordListenerRemoved(listener); }
@Override public void dispose() { ontology.getOWLOntologyManager().removeOntologyChangeListener(this); disposeMetric(); }
@Override public void dispose() { ontology.getOWLOntologyManager().removeOntologyChangeListener(this); disposeMetric(); }
@Override public void dispose() { server.getOWLOntologyManager().removeOntologyChangeListener(ontologyListener); server.removeActiveOntologyListener(serverListener); server = null; }
@Override public void dispose() { // remove ontology change listener root_ontology.getOWLOntologyManager().removeOntologyChangeListener( root_ontologyChangeListener); // disposeUsedReasoners and others // System.out.print("Clearing dispose."); clearStatus(); }
public void dispose() { super.dispose(); getManager().removeOntologyChangeListener(listener); }
public void dispose() { getManager().removeOntologyChangeListener(ontChangeListener); super.dispose(); }
@Override public void dispose() { ontology.getOWLOntologyManager().removeOntologyChangeListener(this); disposeMetric(); }
@Nonnull public synchronized Runnable attachOntologyListener() { if(attached) { return () -> {}; } attached = true; OWLOntologyChangeListener listener = this::handleOntologyChanged; rootOntology.getOWLOntologyManager().addOntologyChangeListener(listener); return () -> rootOntology.getOWLOntologyManager().removeOntologyChangeListener(listener); }
public void dispose() { m_rootOntology.getOWLOntologyManager().removeOntologyChangeListener(m_ontologyChangeListener); clearState(); m_interruptFlag.dispose(); } protected void clearState() {
@Override public void dispose() { getOntologyManager().removeOntologyChangeListener(getDefinitionTracker()); if (_altReasoner != null) _altReasoner.dispose(); }
public void dispose() { getOntologyManager().removeOntologyChangeListener( getDefinitionTracker() ); if( altReasoner != null ) altReasoner.dispose(); }
@Override public void setOntology(OWLOntology ontology) { this.ontology.getOWLOntologyManager().removeOntologyChangeListener(this); this.ontology = ontology; this.ontology.getOWLOntologyManager().addOntologyChangeListener(this); setDirty(true); }
@Override public void setOntology(OWLOntology ontology) { this.ontology.getOWLOntologyManager().removeOntologyChangeListener(this); this.ontology = ontology; this.ontology.getOWLOntologyManager().addOntologyChangeListener(this); setDirty(true); }
@Override public void setOntology(OWLOntology ontology) { this.ontology.getOWLOntologyManager().removeOntologyChangeListener(this); this.ontology = ontology; this.ontology.getOWLOntologyManager().addOntologyChangeListener(this); setDirty(true); }
@Override public void setOntology(OWLOntology ontology) { this.ontology.getOWLOntologyManager().removeOntologyChangeListener(this); this.ontology = ontology; this.ontology.getOWLOntologyManager().addOntologyChangeListener(this); setDirty(true); }