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 java.lang.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(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
getAxiom
public RemoveAxiomData(OWLAxiom axiom)
RemoveAxiomData
object which specifies the removal of an axiom from "some ontology".axiom
- The OWLAxiom
being added. Not null
.java.lang.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 OWLOntologyChangeData
ontology
- 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.java.lang.NullPointerException
- if ontology
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