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 © 2016 The University of Manchester. All Rights Reserved.