public final class RemoveAxiomData extends AxiomChangeData
Represents the specific non-ontology data required by an RemoveAxiom change.
Instances of this class are immutable.
| 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() |
getAxiompublic 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
OWLOntologyChangeDataOWLOntologyChangeDataVisitoraccept 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 © 2013 The University of Manchester. All Rights Reserved.