org.coode.owl.latex
Class LatexBracketChecker

java.lang.Object
  org.coode.owl.latex.LatexBracketChecker

All Implemented Interfaces:

OWLDescriptionVisitor

public class LatexBracketChecker
extends java.lang.Object
implements OWLDescriptionVisitor

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

Method Summary

static boolean	requiresBracket(OWLDescription description)
void	visit(OWLClass node)
void	visit(OWLDataAllRestriction node)
void	visit(OWLDataCardinalityRestriction node)
void	visit(OWLDataExactCardinalityRestriction desc)
void	visit(OWLDataMaxCardinalityRestriction desc)
void	visit(OWLDataMinCardinalityRestriction desc)
void	visit(OWLDataSomeRestriction node)
void	visit(OWLDataValueRestriction node)
void	visit(OWLObjectAllRestriction node)
void	visit(OWLObjectCardinalityRestriction node)
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(OWLObjectSelfRestriction owlSelfRestriction)
void	visit(OWLObjectSomeRestriction node)
void	visit(OWLObjectUnionOf node)
void	visit(OWLObjectValueRestriction node)

Methods inherited from class java.lang.Object

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

Method Detail

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(OWLDataCardinalityRestriction node)

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(OWLObjectCardinalityRestriction node)

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

visit

public void visit(OWLObjectOneOf 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(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(OWLObjectSelfRestriction owlSelfRestriction)

Specified by:

visit in interface OWLDescriptionVisitor

requiresBracket

public static boolean requiresBracket(OWLDescription description)