org.coode.owlapi.latex

Class LatexOWLObjectRenderer

java.lang.Object

org.coode.owlapi.latex.LatexOWLObjectRenderer

All Implemented Interfaces:

OWLObjectRenderer

public class LatexOWLObjectRenderer
extends Object
implements OWLObjectRenderer

Author:

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

Constructor Summary

Constructors

Constructor and Description
LatexOWLObjectRenderer(OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
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)

Parameters:

dataFactory - dataFactory

Method Detail

render

public 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.