Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.coode.owlapi.latex
Class LatexObjectVisitor

java.lang.Object
  extended by org.coode.owlapi.latex.LatexObjectVisitor
All Implemented Interfaces:
OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualVisitor, OWLObjectVisitor, OWLPropertyExpressionVisitor, SWRLObjectVisitor
public class LatexObjectVisitor
extends java.lang.Object
implements OWLObjectVisitor

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: 15-Jun-2006

Field Summary
static java.lang.String ALL
           
static java.lang.String AND
           
static java.lang.String BOTTOM
           
static java.lang.String CIRC
           
static java.lang.String EQUAL
           
static java.lang.String EQUIV
           
static java.lang.String MAX
           
static java.lang.String MIN
           
static java.lang.String NOT
           
static java.lang.String NOT_EQUIV
           
static java.lang.String OR
           
static java.lang.String SELF
           
static java.lang.String SOME
           
static java.lang.String SUBCLASS
           
static java.lang.String TOP
           
 
Constructor Summary
LatexObjectVisitor(LatexWriter writer, OWLDataFactory df)
           
 
Method Summary
 boolean isPrettyPrint()
           
 void setPrettyPrint(boolean prettyPrint)
           
 void setShortFormProvider(ShortFormProvider shortFormProvder)
           
 void setSubject(OWLObject subject)
           
 void visit(IRI iri)
           
 void visit(OWLAnnotation annotation)
           
 void visit(OWLAnnotationAssertionAxiom axiom)
           
 void visit(OWLAnnotationProperty property)
           
 void visit(OWLAnnotationPropertyDomainAxiom axiom)
           
 void visit(OWLAnnotationPropertyRangeAxiom axiom)
           
 void visit(OWLAnnotationValue value)
           
 void visit(OWLAnonymousIndividual individual)
           
 void visit(OWLAsymmetricObjectPropertyAxiom axiom)
           
 void visit(OWLClass node)
           
 void visit(OWLClassAssertionAxiom axiom)
           
 void visit(OWLDataAllValuesFrom node)
           
 void visit(OWLDataComplementOf node)
           
 void visit(OWLDataExactCardinality desc)
           
 void visit(OWLDataHasValue node)
           
 void visit(OWLDataIntersectionOf node)
           
 void visit(OWLDataMaxCardinality desc)
           
 void visit(OWLDataMinCardinality desc)
           
 void visit(OWLDataOneOf node)
           
 void visit(OWLDataProperty entity)
           
 void visit(OWLDataPropertyAssertionAxiom axiom)
           
 void visit(OWLDataPropertyDomainAxiom axiom)
           
 void visit(OWLDataPropertyRangeAxiom axiom)
           
 void visit(OWLDataSomeValuesFrom node)
           
 void visit(OWLDatatype node)
           
 void visit(OWLDatatypeDefinitionAxiom axiom)
           
 void visit(OWLDatatypeRestriction node)
           
 void visit(OWLDataUnionOf node)
           
 void visit(OWLDeclarationAxiom axiom)
           
 void visit(OWLDifferentIndividualsAxiom axiom)
           
 void visit(OWLDisjointClassesAxiom axiom)
           
 void visit(OWLDisjointDataPropertiesAxiom axiom)
           
 void visit(OWLDisjointObjectPropertiesAxiom axiom)
           
 void visit(OWLDisjointUnionAxiom axiom)
           
 void visit(OWLEquivalentClassesAxiom axiom)
           
 void visit(OWLEquivalentDataPropertiesAxiom axiom)
           
 void visit(OWLEquivalentObjectPropertiesAxiom axiom)
           
 void visit(OWLFacetRestriction node)
           
 void visit(OWLFunctionalDataPropertyAxiom axiom)
           
 void visit(OWLFunctionalObjectPropertyAxiom axiom)
           
 void visit(OWLHasKeyAxiom axiom)
           
 void visit(OWLImportsDeclaration axiom)
           
 void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
           
 void visit(OWLInverseObjectPropertiesAxiom axiom)
           
 void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
           
 void visit(OWLLiteral node)
           
 void visit(OWLNamedIndividual entity)
           
 void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
           
 void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
           
 void visit(OWLObjectAllValuesFrom node)
           
 void visit(OWLObjectComplementOf node)
           
 void visit(OWLObjectExactCardinality desc)
           
 void visit(OWLObjectHasSelf desc)
           
 void visit(OWLObjectHasValue node)
           
 void visit(OWLObjectIntersectionOf node)
           
 void visit(OWLObjectInverseOf property)
           
 void visit(OWLObjectMaxCardinality desc)
           
 void visit(OWLObjectMinCardinality desc)
           
 void visit(OWLObjectOneOf node)
           
 void visit(OWLObjectProperty entity)
           
 void visit(OWLObjectPropertyAssertionAxiom axiom)
           
 void visit(OWLObjectPropertyDomainAxiom axiom)
           
 void visit(OWLObjectPropertyRangeAxiom axiom)
           
 void visit(OWLObjectSomeValuesFrom node)
           
 void visit(OWLObjectUnionOf node)
           
 void visit(OWLOntology ontology)
           
 void visit(OWLReflexiveObjectPropertyAxiom axiom)
           
 void visit(OWLSameIndividualAxiom axiom)
           
 void visit(OWLSubAnnotationPropertyOfAxiom axiom)
           
 void visit(OWLSubClassOfAxiom axiom)
           
 void visit(OWLSubDataPropertyOfAxiom axiom)
           
 void visit(OWLSubObjectPropertyOfAxiom axiom)
           
 void visit(OWLSubPropertyChainOfAxiom axiom)
           
 void visit(OWLSymmetricObjectPropertyAxiom axiom)
           
 void visit(OWLTransitiveObjectPropertyAxiom axiom)
           
 void visit(SWRLBuiltInAtom node)
           
 void visit(SWRLClassAtom node)
           
 void visit(SWRLDataPropertyAtom node)
           
 void visit(SWRLDataRangeAtom node)
           
 void visit(SWRLDifferentIndividualsAtom node)
           
 void visit(SWRLIndividualArgument node)
           
 void visit(SWRLLiteralArgument node)
           
 void visit(SWRLObjectPropertyAtom node)
           
 void visit(SWRLRule rule)
           
 void visit(SWRLSameIndividualAtom node)
           
 void visit(SWRLVariable node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

AND

public static final java.lang.String AND
See Also:
Constant Field Values

OR

public static final java.lang.String OR
See Also:
Constant Field Values

NOT

public static final java.lang.String NOT
See Also:
Constant Field Values

ALL

public static final java.lang.String ALL
See Also:
Constant Field Values

SOME

public static final java.lang.String SOME
See Also:
Constant Field Values

MIN

public static final java.lang.String MIN
See Also:
Constant Field Values

MAX

public static final java.lang.String MAX
See Also:
Constant Field Values

EQUAL

public static final java.lang.String EQUAL
See Also:
Constant Field Values

SUBCLASS

public static final java.lang.String SUBCLASS
See Also:
Constant Field Values

EQUIV

public static final java.lang.String EQUIV
See Also:
Constant Field Values

NOT_EQUIV

public static final java.lang.String NOT_EQUIV
See Also:
Constant Field Values

TOP

public static final java.lang.String TOP
See Also:
Constant Field Values

BOTTOM

public static final java.lang.String BOTTOM
See Also:
Constant Field Values

SELF

public static final java.lang.String SELF
See Also:
Constant Field Values

CIRC

public static final java.lang.String CIRC
See Also:
Constant Field Values
Constructor Detail

LatexObjectVisitor

public LatexObjectVisitor(LatexWriter writer,
                          OWLDataFactory df)
Method Detail

setSubject

public void setSubject(OWLObject subject)

setShortFormProvider

public void setShortFormProvider(ShortFormProvider shortFormProvder)

isPrettyPrint

public boolean isPrettyPrint()

setPrettyPrint

public void setPrettyPrint(boolean prettyPrint)

visit

public void visit(OWLObjectIntersectionOf node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataAllValuesFrom node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataExactCardinality desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMaxCardinality desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMinCardinality desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataSomeValuesFrom node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataHasValue node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectAllValuesFrom node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectExactCardinality desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMaxCardinality desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMinCardinality desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectSomeValuesFrom node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectHasValue node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectComplementOf node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectUnionOf node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLClass node)
Specified by:
visit in interface OWLClassExpressionVisitor
Specified by:
visit in interface OWLEntityVisitor

visit

public void visit(OWLObjectOneOf node)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataProperty entity)
Specified by:
visit in interface OWLEntityVisitor
Specified by:
visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLObjectProperty entity)
Specified by:
visit in interface OWLEntityVisitor
Specified by:
visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLNamedIndividual entity)
Specified by:
visit in interface OWLEntityVisitor
Specified by:
visit in interface OWLIndividualVisitor

visit

public void visit(OWLObjectHasSelf desc)
Specified by:
visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDisjointClassesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLEquivalentClassesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLSubClassOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLClassAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLAsymmetricObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyDomainAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataPropertyRangeAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLSubDataPropertyOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDeclarationAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDifferentIndividualsAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDisjointUnionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLAnnotationAssertionAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitor

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLImportsDeclaration axiom)

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLSameIndividualAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDatatypeDefinitionAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(SWRLRule rule)
Specified by:
visit in interface OWLAxiomVisitor
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLVariable node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(OWLOntology ontology)
Specified by:
visit in interface OWLObjectVisitor

visit

public void visit(OWLObjectInverseOf property)
Specified by:
visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLDataComplementOf node)
Specified by:
visit in interface OWLDataRangeVisitor

visit

public void visit(OWLDataOneOf node)
Specified by:
visit in interface OWLDataRangeVisitor

visit

public void visit(OWLFacetRestriction node)
Specified by:
visit in interface OWLDataVisitor

visit

public void visit(OWLDatatypeRestriction node)
Specified by:
visit in interface OWLDataRangeVisitor

visit

public void visit(OWLDatatype node)
Specified by:
visit in interface OWLDataRangeVisitor
Specified by:
visit in interface OWLEntityVisitor

visit

public void visit(OWLLiteral node)
Specified by:
visit in interface OWLAnnotationValueVisitor
Specified by:
visit in interface OWLDataVisitor

visit

public void visit(SWRLLiteralArgument node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLIndividualArgument node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLBuiltInAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLClassAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLDataRangeAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLDataPropertyAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLDifferentIndividualsAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLObjectPropertyAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(SWRLSameIndividualAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

public void visit(OWLAnnotationProperty property)
Specified by:
visit in interface OWLEntityVisitor

visit

public void visit(OWLAnnotation annotation)
Specified by:
visit in interface OWLAnnotationObjectVisitor

visit

public void visit(OWLAnnotationPropertyDomainAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitor

visit

public void visit(OWLAnnotationPropertyRangeAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitor

visit

public void visit(OWLSubAnnotationPropertyOfAxiom axiom)
Specified by:
visit in interface OWLAnnotationAxiomVisitor

visit

public void visit(OWLAnnotationValue value)

visit

public void visit(OWLHasKeyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

public void visit(OWLDataIntersectionOf node)
Specified by:
visit in interface OWLDataRangeVisitor

visit

public void visit(OWLDataUnionOf node)
Specified by:
visit in interface OWLDataRangeVisitor

visit

public void visit(OWLAnonymousIndividual individual)
Specified by:
visit in interface OWLAnnotationValueVisitor
Specified by:
visit in interface OWLIndividualVisitor

visit

public void visit(IRI iri)
Specified by:
visit in interface OWLAnnotationValueVisitor
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD