public final class AddAxiomData extends AxiomChangeData
AddAxiom
change. | Constructor and Description |
|---|
AddAxiomData(OWLAxiom axiom)
Constructs an
AddAxiomData object which specifies the addition of
an axiom to "some ontology". |
| Modifier and Type | Method and Description |
|---|---|
<O,E extends Exception> |
accept(OWLOntologyChangeDataVisitor<O,E> visitor)
Accepts a visit from an
OWLOntologyChangeDataVisitor. |
AddAxiom |
createOntologyChange(OWLOntology ontology)
Creates an
AddAxiom change that will add the OWLAxiom
described by this data to the OWLOntology specified by the
ontology parameter. |
boolean |
equals(Object obj) |
int |
hashCode() |
String |
toString() |
getAxiompublic AddAxiomData(OWLAxiom axiom)
AddAxiomData object which specifies the addition of
an axiom to "some ontology".axiom - The OWLAxiom being added. Not null.NullPointerException - if axiom is null.public AddAxiom createOntologyChange(OWLOntology ontology)
AddAxiom change that will add the OWLAxiom
described by this data to the OWLOntology specified by the
ontology parameter.createOntologyChange in class OWLOntologyChangeDataontology - The OWLOntology that the change should apply to. Not
null.AddAxiom change for the specified OWLOntology
. Not null.NullPointerException - if OWLOntology 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.