org.semanticweb.owlapi.manchestersyntax.renderer

Interface RendererListener

public interface RendererListener

The listener interface for receiving renderer events. The class that is interested in processing a renderer event implements this interface, and the object created with that class is registered with a component using the component's addRendererListener method. When the renderer event occurs, that object's appropriate method is invoked.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Method Summary

Modifier and Type	Method and Description
void	frameRenderingFinished(String frameName, RendererEvent event) Frame rendering finished.
void	frameRenderingPrepared(String frameName, RendererEvent event) Frame rendering prepared.
void	frameRenderingStarted(String frameName, RendererEvent event) Frame rendering started.
void	sectionItemFinished(String sectionName, RendererEvent event) Section item finished.
void	sectionItemPrepared(String sectionName, RendererEvent event) Section item prepared.
void	sectionRenderingFinished(String sectionName, RendererEvent event) Section rendering finished.
void	sectionRenderingPrepared(String sectionName, RendererEvent event) Section rendering prepared.
void	sectionRenderingStarted(String sectionName, RendererEvent event) Section rendering started.

Method Detail

frameRenderingPrepared

void frameRenderingPrepared(String frameName,
                            RendererEvent event)

Frame rendering prepared.

Parameters:

frameName - the frame name

event - the event

frameRenderingStarted

void frameRenderingStarted(String frameName,
                           RendererEvent event)

Frame rendering started.

Parameters:

frameName - the frame name

event - the event

frameRenderingFinished

void frameRenderingFinished(String frameName,
                            RendererEvent event)

Frame rendering finished.

Parameters:

frameName - the frame name

event - the event

sectionRenderingPrepared

void sectionRenderingPrepared(String sectionName,
                              RendererEvent event)

Section rendering prepared.

Parameters:

sectionName - the section name

event - the event

sectionRenderingStarted

void sectionRenderingStarted(String sectionName,
                             RendererEvent event)

Section rendering started.

Parameters:

sectionName - the section name

event - the event

sectionItemPrepared

void sectionItemPrepared(String sectionName,
                         RendererEvent event)

Section item prepared.

Parameters:

sectionName - the section name

event - the event

sectionItemFinished

void sectionItemFinished(String sectionName,
                         RendererEvent event)

Section item finished.

Parameters:

sectionName - the section name

event - the event

sectionRenderingFinished

void sectionRenderingFinished(String sectionName,
                              RendererEvent event)

Section rendering finished.

Parameters:

sectionName - the section name

event - the event