public class ToStringRenderer extends Object
Modifier and Type | Method and Description |
---|---|
static ToStringRenderer |
getInstance() |
OWLObjectRenderer |
getRenderer()
Deprecated.
|
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 useCopyright © 2017 The University of Manchester. All Rights Reserved.