public class RendererEvent
extends java.lang.Object
Constructor and Description |
---|
RendererEvent(ManchesterOWLSyntaxFrameRenderer frameRenderer,
OWLObject frameSubject) |
Modifier and Type | Method and Description |
---|---|
ManchesterOWLSyntaxFrameRenderer |
getFrameRenderer() |
OWLObject |
getFrameSubject() |
void |
writeComment(java.lang.String comment) |
void |
writeCommentOnNewLine(java.lang.String comment) |
public RendererEvent(ManchesterOWLSyntaxFrameRenderer frameRenderer, OWLObject frameSubject)
frameRenderer
- the frame rendererframeSubject
- the subjectpublic ManchesterOWLSyntaxFrameRenderer getFrameRenderer()
public void writeComment(java.lang.String comment)
public void writeCommentOnNewLine(java.lang.String comment)
public OWLObject getFrameSubject()