org.obolibrary.macro

Class AbstractMacroExpansionVisitor

java.lang.Object

org.obolibrary.macro.AbstractMacroExpansionVisitor

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLAxiom>, OWLAxiomVisitorEx<OWLAxiom>, OWLClassExpressionVisitorEx<OWLClassExpression>, OWLDataVisitorEx<OWLDataRange>

public abstract class AbstractMacroExpansionVisitor
extends Object
implements OWLClassExpressionVisitorEx<OWLClassExpression>, OWLDataVisitorEx<OWLDataRange>, OWLAxiomVisitorEx<OWLAxiom>

Empty abstract visitor for macro expansion. This class allows to minimize the code in the actual visitors, as they only need to overwrite the relevant methods.

Field Summary

Fields

Modifier and Type	Field and Description
static Set<OWLAnnotation>	EMPTY_ANNOTATIONS

Method Summary

Modifier and Type	Method and Description
Set<OWLAnnotation>	getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom)
OWLAnnotation	getExpansionMarkerAnnotation()
OWLAnnotationProperty	getOIO_ISEXPANSION()
OWLAxiom	visit(OWLAnnotationAssertionAxiom axiom)
OWLAxiom	visit(OWLAnnotationPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLAnnotationPropertyRangeAxiom axiom)
OWLAxiom	visit(OWLAsymmetricObjectPropertyAxiom axiom)
OWLClassExpression	visit(OWLClass ce)
OWLAxiom	visit(OWLClassAssertionAxiom axiom)
OWLClassExpression	visit(OWLDataAllValuesFrom ce)
OWLDataRange	visit(OWLDataComplementOf node)
OWLClassExpression	visit(OWLDataExactCardinality ce)
OWLClassExpression	visit(OWLDataHasValue ce)
OWLDataRange	visit(OWLDataIntersectionOf node)
OWLClassExpression	visit(OWLDataMaxCardinality ce)
OWLClassExpression	visit(OWLDataMinCardinality ce)
OWLDataRange	visit(OWLDataOneOf node)
OWLAxiom	visit(OWLDataPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLDataPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLDataPropertyRangeAxiom axiom)
OWLClassExpression	visit(OWLDataSomeValuesFrom ce)
OWLDataRange	visit(OWLDatatype node)
OWLAxiom	visit(OWLDatatypeDefinitionAxiom axiom)
OWLDataRange	visit(OWLDatatypeRestriction node)
OWLDataRange	visit(OWLDataUnionOf node)
OWLAxiom	visit(OWLDeclarationAxiom axiom)
OWLAxiom	visit(OWLDifferentIndividualsAxiom axiom)
OWLAxiom	visit(OWLDisjointClassesAxiom axiom)
OWLAxiom	visit(OWLDisjointDataPropertiesAxiom axiom)
OWLAxiom	visit(OWLDisjointObjectPropertiesAxiom axiom)
OWLAxiom	visit(OWLDisjointUnionAxiom axiom)
OWLAxiom	visit(OWLEquivalentClassesAxiom axiom)
OWLAxiom	visit(OWLEquivalentDataPropertiesAxiom axiom)
OWLAxiom	visit(OWLEquivalentObjectPropertiesAxiom axiom)
OWLDataRange	visit(OWLFacetRestriction node)
OWLAxiom	visit(OWLFunctionalDataPropertyAxiom axiom)
OWLAxiom	visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLHasKeyAxiom axiom)
OWLAxiom	visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLInverseObjectPropertiesAxiom axiom)
OWLAxiom	visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLDataRange	visit(OWLLiteral node)
OWLAxiom	visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLClassExpression	visit(OWLObjectAllValuesFrom ce)
OWLClassExpression	visit(OWLObjectComplementOf ce)
OWLClassExpression	visit(OWLObjectExactCardinality ce)
OWLClassExpression	visit(OWLObjectHasSelf ce)
OWLClassExpression	visit(OWLObjectHasValue ce)
OWLClassExpression	visit(OWLObjectIntersectionOf ce)
OWLClassExpression	visit(OWLObjectMaxCardinality ce)
OWLClassExpression	visit(OWLObjectMinCardinality ce)
OWLClassExpression	visit(OWLObjectOneOf ce)
OWLAxiom	visit(OWLObjectPropertyAssertionAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyDomainAxiom axiom)
OWLAxiom	visit(OWLObjectPropertyRangeAxiom axiom)
OWLClassExpression	visit(OWLObjectSomeValuesFrom ce)
OWLClassExpression	visit(OWLObjectUnionOf ce)
OWLAxiom	visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLSameIndividualAxiom axiom)
OWLAxiom	visit(OWLSubAnnotationPropertyOfAxiom axiom)
OWLAxiom	visit(OWLSubClassOfAxiom axiom)
OWLAxiom	visit(OWLSubDataPropertyOfAxiom axiom)
OWLAxiom	visit(OWLSubObjectPropertyOfAxiom axiom)
OWLAxiom	visit(OWLSubPropertyChainOfAxiom axiom)
OWLAxiom	visit(OWLSymmetricObjectPropertyAxiom axiom)
OWLAxiom	visit(OWLTransitiveObjectPropertyAxiom axiom)
OWLAxiom	visit(SWRLRule rule)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EMPTY_ANNOTATIONS

public static final Set<OWLAnnotation> EMPTY_ANNOTATIONS

Method Detail

getOIO_ISEXPANSION

public OWLAnnotationProperty getOIO_ISEXPANSION()

getExpansionMarkerAnnotation

public OWLAnnotation getExpansionMarkerAnnotation()

visit

public OWLClassExpression visit(OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectHasValue ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataHasValue ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLDataMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLDataRange visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataIntersectionOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataUnionOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLAxiom visit(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

getAnnotationsWithOptionalExpansionMarker

public Set<OWLAnnotation> getAnnotationsWithOptionalExpansionMarker(OWLAxiom axiom)

visit

public OWLAxiom visit(OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLClassExpression visit(OWLClass ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectHasSelf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLClassExpression visit(OWLObjectOneOf ce)

Specified by:

visit in interface OWLClassExpressionVisitorEx<OWLClassExpression>

visit

public OWLDataRange visit(OWLDatatype node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLAxiom visit(OWLHasKeyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLDataRange visit(OWLDatatypeRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLAxiom visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDeclarationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSameIndividualAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(SWRLRule rule)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAnnotationPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLAnnotationPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLSubAnnotationPropertyOfAxiom axiom)

Specified by:

visit in interface OWLAnnotationAxiomVisitorEx<OWLAxiom>

visit

public OWLAxiom visit(OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitorEx<OWLAxiom>

visit

public OWLDataRange visit(OWLLiteral node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>

visit

public OWLDataRange visit(OWLFacetRestriction node)

Specified by:

visit in interface OWLDataVisitorEx<OWLDataRange>