public class ToStringRenderer
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static ToStringRenderer |
getInstance() |
OWLObjectRenderer |
getRenderer()
Deprecated.
|
java.lang.String |
getRendering(OWLObject object) |
void |
setRenderer(OWLObjectRenderer renderer) |
void |
setShortFormProvider(ShortFormProvider provider) |
public static ToStringRenderer getInstance()
@Deprecated public OWLObjectRenderer getRenderer()
public void setShortFormProvider(ShortFormProvider provider)
provider
- the new short form providerpublic void setRenderer(OWLObjectRenderer renderer)
renderer
- the new renderer to usepublic java.lang.String getRendering(OWLObject object)
object
- the object to render