org.corpus_tools.annis.gui.media

Class MediaControllerImpl

java.lang.Object

org.corpus_tools.annis.gui.media.MediaControllerImpl

All Implemented Interfaces:

Serializable, MediaController

@Component
public class MediaControllerImpl
extends Object
implements MediaController, Serializable

Default MediaController implementation

Author:

Thomas Krause <krauseto@hu-berlin.de>

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MediaControllerImpl.CallbackImpl

Constructor Summary

Constructors

Constructor and Description
MediaControllerImpl()

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MediaControllerImpl

public MediaControllerImpl()

Method Detail

addMediaPlayer

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

Description copied from interface: MediaController

Register a MediaPlayer instance.

Specified by:

addMediaPlayer in interface MediaController

Parameters:

player - The instance.

resultID - To which result this player belongs.

clearMediaPlayers

public void clearMediaPlayers()

Description copied from interface: MediaController

Unregister all associated MediaPlayer instances.

Specified by:

clearMediaPlayers in interface MediaController

closeOtherPlayers

public void closeOtherPlayers(MediaPlayer doNotCloseThisOne)

Specified by:

closeOtherPlayers in interface MediaController

play

public void play(String resultID,
                 double startTime)

Description copied from interface: MediaController

Play media file from a specific starting point.

Specified by:

play in interface MediaController

Parameters:

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

startTime - Where to start the playback in seconds.

play

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

Description copied from interface: MediaController

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

Specified by:

play in interface MediaController

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.