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 java.lang.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(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
getAxiom
public AddAxiomData(OWLAxiom axiom)
AddAxiomData
object which specifies the addition of an axiom to "some ontology".axiom
- The OWLAxiom
being added. Not null
.java.lang.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 OWLOntologyChangeData
ontology
- The OWLOntology
that the change should apply to. Not null
.AddAxiom
change for the specified OWLOntology
. Not null
.java.lang.NullPointerException
- if OWLOntology
is null
.public <O,E extends java.lang.Exception> O accept(OWLOntologyChangeDataVisitor<O,E> visitor) throws E extends java.lang.Exception
OWLOntologyChangeData
OWLOntologyChangeDataVisitor
accept
in class OWLOntologyChangeData
O
- 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 java.lang.Exception
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object