org.coode.owlapi.latex
Class LatexOWLObjectRenderer

java.lang.Object
  org.coode.owlapi.latex.LatexOWLObjectRenderer

All Implemented Interfaces:

OWLObjectRenderer

public class LatexOWLObjectRenderer
extends java.lang.Object
implements OWLObjectRenderer

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2007

Constructor Summary

LatexOWLObjectRenderer(OWLDataFactory dataFactory)

Method Summary

java.lang.String	render(OWLObject object) Renders the specified object.
void	setShortFormProvider(ShortFormProvider shortFormProvider) Sets the short form provider, which determines the short form that should be used for entities.

Methods inherited from class java.lang.Object

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

Constructor Detail

LatexOWLObjectRenderer

public LatexOWLObjectRenderer(OWLDataFactory dataFactory)

Method Detail

render

public java.lang.String render(OWLObject object)

Description copied from interface: OWLObjectRenderer

Renders the specified object.

Specified by:

render in interface OWLObjectRenderer

Parameters:

object - The object to be rendered.

Returns:

A string that represents the rendering of the object.

setShortFormProvider

public void setShortFormProvider(ShortFormProvider shortFormProvider)

Description copied from interface: OWLObjectRenderer

Sets the short form provider, which determines the short form that should be used for entities.

Specified by:

setShortFormProvider in interface OWLObjectRenderer

Parameters:

shortFormProvider - The short form provider to be used.