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

org.coode.owl.latex
Class LatexObjectVisitor

java.lang.Object
  extended by org.coode.owl.latex.LatexObjectVisitor
All Implemented Interfaces:
OWLAnnotationVisitor, OWLAxiomVisitor, OWLDataVisitor, OWLDescriptionVisitor, OWLEntityVisitor, 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(OWLAntiSymmetricObjectPropertyAxiom axiom)
           
 void visit(OWLAxiomAnnotationAxiom axiom)
           
 void visit(OWLClass node)
           
 void visit(OWLClassAssertionAxiom axiom)
           
 void visit(OWLConstantAnnotation annotation)
           
 void visit(OWLDataAllRestriction node)
           
 void visit(OWLDataComplementOf node)
           
 void visit(OWLDataExactCardinalityRestriction desc)
           
 void visit(OWLDataMaxCardinalityRestriction desc)
           
 void visit(OWLDataMinCardinalityRestriction desc)
           
 void visit(OWLDataOneOf node)
           
 void visit(OWLDataProperty entity)
           
 void visit(OWLDataPropertyAssertionAxiom axiom)
           
 void visit(OWLDataPropertyDomainAxiom axiom)
           
 void visit(OWLDataPropertyRangeAxiom axiom)
           
 void visit(OWLDataRangeFacetRestriction node)
           
 void visit(OWLDataRangeRestriction node)
           
 void visit(OWLDataSomeRestriction node)
           
 void visit(OWLDataSubPropertyAxiom axiom)
           
 void visit(OWLDataType node)
           
 void visit(OWLDataValueRestriction 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(OWLEntityAnnotationAxiom axiom)
           
 void visit(OWLEquivalentClassesAxiom axiom)
           
 void visit(OWLEquivalentDataPropertiesAxiom axiom)
           
 void visit(OWLEquivalentObjectPropertiesAxiom axiom)
           
 void visit(OWLFunctionalDataPropertyAxiom axiom)
           
 void visit(OWLFunctionalObjectPropertyAxiom axiom)
           
 void visit(OWLImportsDeclaration axiom)
           
 void visit(OWLIndividual entity)
           
 void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
           
 void visit(OWLInverseObjectPropertiesAxiom axiom)
           
 void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
           
 void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
           
 void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
           
 void visit(OWLObjectAllRestriction node)
           
 void visit(OWLObjectAnnotation annotation)
           
 void visit(OWLObjectComplementOf node)
           
 void visit(OWLObjectExactCardinalityRestriction desc)
           
 void visit(OWLObjectIntersectionOf node)
           
 void visit(OWLObjectMaxCardinalityRestriction desc)
           
 void visit(OWLObjectMinCardinalityRestriction desc)
           
 void visit(OWLObjectOneOf node)
           
 void visit(OWLObjectProperty entity)
           
 void visit(OWLObjectPropertyAssertionAxiom axiom)
           
 void visit(OWLObjectPropertyChainSubPropertyAxiom axiom)
           
 void visit(OWLObjectPropertyDomainAxiom axiom)
           
 void visit(OWLObjectPropertyInverse property)
           
 void visit(OWLObjectPropertyRangeAxiom axiom)
           
 void visit(OWLObjectSelfRestriction desc)
           
 void visit(OWLObjectSomeRestriction node)
           
 void visit(OWLObjectSubPropertyAxiom axiom)
           
 void visit(OWLObjectUnionOf node)
           
 void visit(OWLObjectValueRestriction node)
           
 void visit(OWLOntology ontology)
           
 void visit(OWLOntologyAnnotationAxiom axiom)
           
 void visit(OWLReflexiveObjectPropertyAxiom axiom)
           
 void visit(OWLSameIndividualsAxiom axiom)
           
 void visit(OWLSubClassAxiom axiom)
           
 void visit(OWLSymmetricObjectPropertyAxiom axiom)
           
 void visit(OWLTransitiveObjectPropertyAxiom axiom)
           
 void visit(OWLTypedConstant node)
           
 void visit(OWLUntypedConstant node)
           
 void visit(SWRLAtomConstantObject node)
           
 void visit(SWRLAtomDVariable node)
           
 void visit(SWRLAtomIndividualObject node)
           
 void visit(SWRLAtomIVariable node)
           
 void visit(SWRLBuiltInAtom node)
           
 void visit(SWRLClassAtom node)
           
 void visit(SWRLDataRangeAtom node)
           
 void visit(SWRLDataValuedPropertyAtom node)
           
 void visit(SWRLDifferentFromAtom node)
           
 void visit(SWRLObjectPropertyAtom node)
           
 void visit(SWRLRule rule)
           
 void visit(SWRLSameAsAtom node)
           
 
Methods inherited from class java.lang.Object
equals, 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 OWLDescriptionVisitor

visit

public void visit(OWLDataAllRestriction node)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataExactCardinalityRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataMaxCardinalityRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataMinCardinalityRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataSomeRestriction node)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataValueRestriction node)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectAllRestriction node)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectExactCardinalityRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectMaxCardinalityRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectMinCardinalityRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectSomeRestriction node)
Specified by:
visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectValueRestriction node)
Specified by:
visit in interface OWLDescriptionVisitor

visit

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

visit

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

visit

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

visit

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

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(OWLIndividual entity)
Specified by:
visit in interface OWLEntityVisitor

visit

public void visit(OWLObjectSelfRestriction desc)
Specified by:
visit in interface OWLDescriptionVisitor

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(OWLSubClassAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

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

visit

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

visit

public void visit(OWLAxiomAnnotationAxiom 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(OWLDataSubPropertyAxiom 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(OWLEntityAnnotationAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

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)
Specified by:
visit in interface OWLAxiomVisitor

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(OWLObjectPropertyChainSubPropertyAxiom 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(OWLObjectSubPropertyAxiom axiom)
Specified by:
visit in interface OWLAxiomVisitor

visit

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

visit

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

visit

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

visit

public void visit(OWLSymmetricObjectPropertyAxiom 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(OWLOntology ontology)
Specified by:
visit in interface OWLObjectVisitor

visit

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

visit

public void visit(OWLConstantAnnotation annotation)
Specified by:
visit in interface OWLAnnotationVisitor

visit

public void visit(OWLObjectAnnotation annotation)
Specified by:
visit in interface OWLAnnotationVisitor

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

visit

public void visit(SWRLAtomIVariable 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(SWRLDataValuedPropertyAtom node)
Specified by:
visit in interface SWRLObjectVisitor

visit

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

visit

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

visit

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