edu.stanford.smi.protegex.owl.model.classdisplay.dl
Class DLSyntaxBrowserTextGenerator

java.lang.Object
  edu.stanford.smi.protegex.owl.model.classdisplay.dl.DLSyntaxBrowserTextGenerator

All Implemented Interfaces:

OWLModelVisitor

public class DLSyntaxBrowserTextGenerator
extends Object
implements OWLModelVisitor

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 25, 2006

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Constructor Summary

DLSyntaxBrowserTextGenerator()

Method Summary

String	getBrowserText()
protected StringBuffer	getCurrentBuffer()
void	reset()
void	visitOWLAllDifferent(OWLAllDifferent owlAllDifferent)
void	visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)
void	visitOWLCardinality(OWLCardinality owlCardinality)
void	visitOWLComplementClass(OWLComplementClass owlComplementClass)
void	visitOWLDataRange(OWLDataRange owlDataRange)
void	visitOWLDatatypeProperty(OWLDatatypeProperty owlDatatypeProperty)
void	visitOWLEnumeratedClass(OWLEnumeratedClass owlEnumeratedClass)
void	visitOWLHasValue(OWLHasValue owlHasValue)
void	visitOWLIndividual(OWLIndividual owlIndividual)
void	visitOWLIntersectionClass(OWLIntersectionClass owlIntersectionClass)
void	visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)
void	visitOWLMinCardinality(OWLMinCardinality owlMinCardinality)
void	visitOWLNamedClass(OWLNamedClass owlNamedClass)
void	visitOWLObjectProperty(OWLObjectProperty owlObjectProperty)
void	visitOWLOntology(OWLOntology owlOntology)
void	visitOWLSomeValuesFrom(OWLSomeValuesFrom someValuesFrom)
void	visitOWLUnionClass(OWLUnionClass owlUnionClass)
void	visitRDFDatatype(RDFSDatatype rdfsDatatype)
void	visitRDFIndividual(RDFIndividual rdfIndividual)
void	visitRDFList(RDFList rdfList)
void	visitRDFProperty(RDFProperty rdfProperty)
void	visitRDFSLiteral(RDFSLiteral rdfsLiteral)
void	visitRDFSNamedClass(RDFSNamedClass rdfsNamedClass)
void	visitRDFUntypedResource(RDFUntypedResource rdfUntypedResource)
void	visitSWRLAtomListIndividual(SWRLAtomList swrlAtomList)
void	visitSWRLIndividual(SWRLIndividual swrlIndividual)
protected void	write(char c)
protected void	write(String s)
protected void	writeCardinality(OWLCardinalityBase cardinalityBase)
protected void	writeClosePar()
protected void	writeNAryLocical(OWLNAryLogicalClass logicalClass)
protected void	writeOpenPar()
protected void	writeQuantifier(OWLQuantifierRestriction quantifierRestriction)
protected void	writeSpace()

Methods inherited from class java.lang.Object

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

Constructor Detail

DLSyntaxBrowserTextGenerator

public DLSyntaxBrowserTextGenerator()

Method Detail

getBrowserText

public String getBrowserText()

reset

public void reset()

getCurrentBuffer

protected StringBuffer getCurrentBuffer()

write

protected void write(String s)

write

protected void write(char c)

writeSpace

protected void writeSpace()

writeOpenPar

protected void writeOpenPar()

writeClosePar

protected void writeClosePar()

visitOWLAllDifferent

public void visitOWLAllDifferent(OWLAllDifferent owlAllDifferent)

Specified by:

visitOWLAllDifferent in interface OWLModelVisitor

writeCardinality

protected void writeCardinality(OWLCardinalityBase cardinalityBase)

writeQuantifier

protected void writeQuantifier(OWLQuantifierRestriction quantifierRestriction)

writeNAryLocical

protected void writeNAryLocical(OWLNAryLogicalClass logicalClass)

visitOWLAllValuesFrom

public void visitOWLAllValuesFrom(OWLAllValuesFrom owlAllValuesFrom)

Specified by:

visitOWLAllValuesFrom in interface OWLModelVisitor

visitOWLCardinality

public void visitOWLCardinality(OWLCardinality owlCardinality)

Specified by:

visitOWLCardinality in interface OWLModelVisitor

visitOWLComplementClass

public void visitOWLComplementClass(OWLComplementClass owlComplementClass)

Specified by:

visitOWLComplementClass in interface OWLModelVisitor

visitOWLDataRange

public void visitOWLDataRange(OWLDataRange owlDataRange)

Specified by:

visitOWLDataRange in interface OWLModelVisitor

visitOWLDatatypeProperty

public void visitOWLDatatypeProperty(OWLDatatypeProperty owlDatatypeProperty)

Specified by:

visitOWLDatatypeProperty in interface OWLModelVisitor

visitOWLEnumeratedClass

public void visitOWLEnumeratedClass(OWLEnumeratedClass owlEnumeratedClass)

Specified by:

visitOWLEnumeratedClass in interface OWLModelVisitor

visitOWLHasValue

public void visitOWLHasValue(OWLHasValue owlHasValue)

Specified by:

visitOWLHasValue in interface OWLModelVisitor

visitOWLIndividual

public void visitOWLIndividual(OWLIndividual owlIndividual)

Specified by:

visitOWLIndividual in interface OWLModelVisitor

visitOWLIntersectionClass

public void visitOWLIntersectionClass(OWLIntersectionClass owlIntersectionClass)

Specified by:

visitOWLIntersectionClass in interface OWLModelVisitor

visitOWLMaxCardinality

public void visitOWLMaxCardinality(OWLMaxCardinality owlMaxCardinality)

Specified by:

visitOWLMaxCardinality in interface OWLModelVisitor

visitOWLMinCardinality

public void visitOWLMinCardinality(OWLMinCardinality owlMinCardinality)

Specified by:

visitOWLMinCardinality in interface OWLModelVisitor

visitOWLNamedClass

public void visitOWLNamedClass(OWLNamedClass owlNamedClass)

Specified by:

visitOWLNamedClass in interface OWLModelVisitor

visitOWLObjectProperty

public void visitOWLObjectProperty(OWLObjectProperty owlObjectProperty)

Specified by:

visitOWLObjectProperty in interface OWLModelVisitor

visitOWLOntology

public void visitOWLOntology(OWLOntology owlOntology)

Specified by:

visitOWLOntology in interface OWLModelVisitor

visitOWLSomeValuesFrom

public void visitOWLSomeValuesFrom(OWLSomeValuesFrom someValuesFrom)

Specified by:

visitOWLSomeValuesFrom in interface OWLModelVisitor

visitOWLUnionClass

public void visitOWLUnionClass(OWLUnionClass owlUnionClass)

Specified by:

visitOWLUnionClass in interface OWLModelVisitor

visitRDFDatatype

public void visitRDFDatatype(RDFSDatatype rdfsDatatype)

Specified by:

visitRDFDatatype in interface OWLModelVisitor

visitRDFIndividual

public void visitRDFIndividual(RDFIndividual rdfIndividual)

Specified by:

visitRDFIndividual in interface OWLModelVisitor

visitRDFList

public void visitRDFList(RDFList rdfList)

Specified by:

visitRDFList in interface OWLModelVisitor

visitRDFProperty

public void visitRDFProperty(RDFProperty rdfProperty)

Specified by:

visitRDFProperty in interface OWLModelVisitor

visitRDFSLiteral

public void visitRDFSLiteral(RDFSLiteral rdfsLiteral)

Specified by:

visitRDFSLiteral in interface OWLModelVisitor

visitRDFSNamedClass

public void visitRDFSNamedClass(RDFSNamedClass rdfsNamedClass)

Specified by:

visitRDFSNamedClass in interface OWLModelVisitor

visitRDFUntypedResource

public void visitRDFUntypedResource(RDFUntypedResource rdfUntypedResource)

Specified by:

visitRDFUntypedResource in interface OWLModelVisitor

visitSWRLIndividual

public void visitSWRLIndividual(SWRLIndividual swrlIndividual)

Specified by:

visitSWRLIndividual in interface OWLModelVisitor

visitSWRLAtomListIndividual

public void visitSWRLAtomListIndividual(SWRLAtomList swrlAtomList)

Specified by:

visitSWRLAtomListIndividual in interface OWLModelVisitor