public final class ToStringRenderer extends Object
Modifier and Type | Method | Description |
---|---|---|
static ToStringRenderer |
getInstance() |
|
String |
getRendering(OWLObject object) |
|
void |
setRenderer(OWLObjectRenderer renderer) |
|
void |
setShortFormProvider(ShortFormProvider provider) |
public static ToStringRenderer getInstance()
public void setShortFormProvider(@Nonnull ShortFormProvider provider)
provider
- the new short form providerpublic void setRenderer(@Nonnull OWLObjectRenderer renderer)
renderer
- the new renderer to useCopyright © 2018 The University of Manchester. All rights reserved.