public final class AddAxiomData extends AxiomChangeData
Represents the specific non-ontology data required by an AddAxiom change.
Instances of this class are immutable.
| 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
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.