public class ManchesterSyntaxExplanationRenderer extends Object implements com.clarkparsia.owlapi.explanation.io.ExplanationRenderer
| Constructor and Description |
|---|
ManchesterSyntaxExplanationRenderer() |
| Modifier and Type | Method and Description |
|---|---|
void |
endRendering() |
boolean |
isSmartIndent()
Returns the _current smart indent value.
|
boolean |
isWrapLines()
Returns the _current line wrapping value.
|
void |
render(org.semanticweb.owlapi.model.OWLAxiom axiom,
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations) |
void |
render(Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
Render an explanation without the axiom header.
|
void |
setSmartIndent(boolean smartIndent)
Sets the smart indent option which will align the elements of intersections and unions in columns when line wrapping is turned on.
|
void |
setWrapLines(boolean wrapLines)
Sets the line wrapping option which will print the elements of intersections and unions into multiple lines.
|
void |
startRendering(Writer w) |
public void endRendering()
endRendering in interface com.clarkparsia.owlapi.explanation.io.ExplanationRendererpublic boolean isSmartIndent()
public boolean isWrapLines()
public void render(Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations) throws org.semanticweb.owlapi.model.OWLException, IOException, UnsupportedOperationException
explanations - Set of explanations we are renderingorg.semanticweb.owlapi.model.OWLExceptionIOExceptionUnsupportedOperationExceptionpublic void render(org.semanticweb.owlapi.model.OWLAxiom axiom,
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explanations)
throws org.semanticweb.owlapi.model.OWLException,
IOException
render in interface com.clarkparsia.owlapi.explanation.io.ExplanationRendererorg.semanticweb.owlapi.model.OWLExceptionIOExceptionpublic void setSmartIndent(boolean smartIndent)
_smartIndent - the smart indent valuesetWrapLines(boolean)public void setWrapLines(boolean wrapLines)
_wrapLines - the line wrapping valuepublic void startRendering(Writer w)
startRendering in interface com.clarkparsia.owlapi.explanation.io.ExplanationRendererCopyright © 2018. All rights reserved.