public final class RemoveAxiomData extends AxiomChangeData
RemoveAxiom
change. 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() |
getAxiom, getSignature
public 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 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.NullPointerException
- if ontology
is null
.public <O,E extends Exception> O accept(OWLOntologyChangeDataVisitor<O,E> visitor) throws E extends 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 Exception
Copyright © 2017 The University of Manchester. All Rights Reserved.