public final class ToStringRenderer extends Object
Modifier and Type | Method and 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 © 2020 The University of Manchester. All rights reserved.