org.corpus_tools.annis.gui.media

Interface MediaController

All Known Implementing Classes:

MediaControllerImpl

public interface MediaController

System wide access to multimedia player functions. The real playback is done by implementations of MediaPlayer which are registered to this controller.

Author:

Thomas Krause <krauseto@hu-berlin.de>

Method Summary

Modifier and Type	Method and Description
void	addMediaPlayer(MediaPlayer player, String resultID, VisualizationToggle toggle) Register a MediaPlayer instance.
void	clearMediaPlayers() Unregister all associated MediaPlayer instances.
void	closeOtherPlayers(MediaPlayer doNotCloseThisOne)
void	play(String resultID, double startTime) Play media file from a specific starting point.
void	play(String resultID, double startTime, double endTime) Play media file from a specific starting point to and endpoint.

Method Detail

addMediaPlayer

void addMediaPlayer(MediaPlayer player,
                    String resultID,
                    VisualizationToggle toggle)

Register a MediaPlayer instance.

Parameters:

player - The instance.

resultID - To which result this player belongs.

clearMediaPlayers

void clearMediaPlayers()

Unregister all associated MediaPlayer instances.

closeOtherPlayers

void closeOtherPlayers(MediaPlayer doNotCloseThisOne)

play

void play(String resultID,
          double startTime)

Play media file from a specific starting point.

Parameters:

resultID - The ID of the result where the media player will be started

startTime - Where to start the playback in seconds.

play

void play(String resultID,
          double startTime,
          double endTime)

Play media file from a specific starting point to and endpoint.

Parameters:

resultID - The ID of the result where the media player will be started

startTime - Where to start the playback in seconds.

endTime - Where to end the playback in seconds.