org.corpus_tools.annis.gui.media

Interface MediaPlayer

All Superinterfaces:

Serializable

All Known Implementing Classes:

MediaElementPlayer

public interface MediaPlayer
extends Serializable

Classes that implement this interface are representing media players in the GUI. Only functions relevant for ANNIS are implemented, this is not a general media player interface.

Author:

Thomas Krause <krauseto@hu-berlin.de>

Method Summary

Modifier and Type	Method and Description
void	pause() Pause playback of the media file.
void	play(double start) Play media file from a specific starting point.
void	play(double start, double end) Play media file from a specific starting point to and endpoint.

Method Detail

pause

void pause()

Pause playback of the media file.

play

void play(double start)

Play media file from a specific starting point.

Parameters:

start - Where to start the playback in seconds.

play

void play(double start,
          double end)

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

Parameters:

start - Where to start the playback in seconds.

end - Where to end the playback in seconds.