public final class RemoveAxiomData extends AxiomChangeData
RemoveAxiom
change. | Constructor and Description |
|---|
RemoveAxiomData(OWLAxiom axiom)
Constructs an
RemoveAxiomData object which specifies the removal
of an axiom from "some ontology". |
| Modifier and Type | Method and Description |
|---|---|
<O,E extends Exception> |
accept(OWLOntologyChangeDataVisitor<O,E> visitor)
Accepts a visit from an
OWLOntologyChangeDataVisitor. |
RemoveAxiom |
createOntologyChange(OWLOntology ontology)
Creates the
RemoveAxiom change that
describes an removal of an OWLAxiom
from an OWLOntology specified by the ontology parameter. |
boolean |
equals(Object obj) |
int |
hashCode() |
String |
toString() |
getAxiom, getSignaturepublic RemoveAxiomData(OWLAxiom axiom)
RemoveAxiomData object which specifies the removal
of an axiom from "some ontology".axiom - The OWLAxiom being added. Not null.NullPointerException - if axiom is null.public RemoveAxiom createOntologyChange(OWLOntology ontology)
RemoveAxiom change that
describes an removal of an OWLAxiom
from an OWLOntology specified by the ontology parameter.createOntologyChange in class OWLOntologyChangeDataontology - The OWLOntology that the change should apply to. Not
null.RemoveAxiom change for
the OWLOntology specified by ontology and the
OWLAxiom associated with
this RemoveAxiomData object.NullPointerException - if ontology is null.public <O,E extends Exception> O accept(OWLOntologyChangeDataVisitor<O,E> visitor) throws E extends Exception
OWLOntologyChangeDataOWLOntologyChangeDataVisitor.accept in class OWLOntologyChangeDataO - The return type for visitor's visit methods.E - The exception type for exceptions thrown by the visitor's visit
methods.visitor - The visitorE - The exception thrown by the visitor's visit methods.E extends ExceptionCopyright © 2014 The University of Manchester. All Rights Reserved.