public interface OWLObjectRenderer
Modifier and Type | Method and Description |
---|---|
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.
|
void setShortFormProvider(ShortFormProvider shortFormProvider)
shortFormProvider
- The short form provider to be used.java.lang.String render(OWLObject object)
object
- The object to be rendered.