uk.ac.man.cs.img.owl.io.factplus
Class RenderingVisitor

java.lang.Object
  |
  +--org.semanticweb.owl.model.helper.OWLObjectVisitorAdapter
        |
        +--uk.ac.man.cs.img.owl.io.factplus.RenderingVisitor
All Implemented Interfaces:
OWLObjectVisitor

public class RenderingVisitor
extends OWLObjectVisitorAdapter

RenderingVisitor.java Created: Fri Feb 21 10:57:24 2003

Version:
$Id: RenderingVisitor.java,v 1.2 2003/11/12 11:07:55 sean_bechhofer Exp $

Constructor Summary
RenderingVisitor(ShortFormProvider shortForms)
           
 
Method Summary
 void reset()
           
 String result()
           
 void visit(OWLAnd and)
           
 void visit(OWLClass clazz)
           
 void visit(OWLDataAllRestriction restriction)
           
 void visit(OWLDataCardinalityRestriction restriction)
           
 void visit(OWLDataProperty prop)
           
 void visit(OWLDataSomeRestriction restriction)
           
 void visit(OWLDataType ocdt)
           
 void visit(OWLDataValue cd)
           
 void visit(OWLDataValueRestriction restriction)
           
 void visit(OWLDifferentIndividualsAxiom ax)
           
 void visit(OWLDisjointClassesAxiom axiom)
           
 void visit(OWLEnumeration enumeration)
           
 void visit(OWLEquivalentClassesAxiom axiom)
           
 void visit(OWLEquivalentPropertiesAxiom axiom)
           
 void visit(OWLIndividual ind)
           
 void visit(OWLNot not)
           
 void visit(OWLObjectAllRestriction restriction)
           
 void visit(OWLObjectCardinalityRestriction restriction)
           
 void visit(OWLObjectProperty prop)
           
 void visit(OWLObjectSomeRestriction restriction)
           
 void visit(OWLObjectValueRestriction restriction)
           
 void visit(OWLOr or)
           
 void visit(OWLSameIndividualsAxiom ax)
           
 void visit(OWLSubClassAxiom axiom)
           
 void visit(OWLSubPropertyAxiom axiom)
           
 
Methods inherited from class org.semanticweb.owl.model.helper.OWLObjectVisitorAdapter
visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RenderingVisitor

public RenderingVisitor(ShortFormProvider shortForms)
Method Detail

result

public String result()

reset

public void reset()

visit

public void visit(OWLClass clazz)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLIndividual ind)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLObjectProperty prop)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataProperty prop)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataValue cd)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLAnd and)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLOr or)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLNot not)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLEnumeration enumeration)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLObjectSomeRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLObjectAllRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLObjectValueRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLObjectCardinalityRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataSomeRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataAllRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataValueRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataCardinalityRestriction restriction)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLEquivalentClassesAxiom axiom)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDisjointClassesAxiom axiom)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLSubClassAxiom axiom)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLEquivalentPropertiesAxiom axiom)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLSubPropertyAxiom axiom)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDifferentIndividualsAxiom ax)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLSameIndividualsAxiom ax)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException

visit

public void visit(OWLDataType ocdt)
           throws OWLException
Specified by:
visit in interface OWLObjectVisitor
Overrides:
visit in class OWLObjectVisitorAdapter
OWLException


WonderWeb