|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface MediaPlayer
The control interface used to control/query the gstreamer pipeline that
VideoPlayer uses to play media files.
| Method Summary | |
|---|---|
void |
addMediaListener(MediaListener listener)
Adds a listener for media events |
void |
enqueue(java.util.Collection<java.net.URI> playlist)
Adds a list of media files to the playlist. |
void |
enqueue(java.net.URI uri)
Adds a uri to the playlist |
Pipeline |
getPipeline()
Gets the Pipeline that the MediaPlayer uses to play media. |
double |
getVolume()
|
boolean |
isPlaying()
Tests if this media player is currently playing a media file. |
void |
pause()
Pauses playing the currently playing media file. |
void |
play()
Starts playing the media (as set by setURI(java.net.URI). |
void |
remove(java.net.URI uri)
Removes a file from the playlist. |
void |
removeMediaListener(MediaListener listener)
Removes a listener for media events. |
void |
setAudioSink(Element sink)
Sets the Element to use for audio output. |
void |
setPlaylist(java.util.Collection<java.net.URI> playlist)
Replaces the current playlist with a new playlist. |
void |
setURI(java.net.URI uri)
Sets the media file to play. |
void |
setVideoSink(Element sink)
Sets the Element to use for video output. |
void |
setVolume(double volume)
|
void |
stop()
Stops playing the currently playing media file. |
| Method Detail |
|---|
Pipeline getPipeline()
Pipeline that the MediaPlayer uses to play media.
void setAudioSink(Element sink)
sink - The Element to use for audio output.void setVideoSink(Element sink)
sink - The Element to use for video output.void setURI(java.net.URI uri)
uri - The URI that describes the location of the media file.void play()
setURI(java.net.URI).
void pause()
void stop()
boolean isPlaying()
void enqueue(java.net.URI uri)
uri - The uri to add to the playlist.void enqueue(java.util.Collection<java.net.URI> playlist)
playlist - The list of media files to add.void setPlaylist(java.util.Collection<java.net.URI> playlist)
playlist - The new playlist.void remove(java.net.URI uri)
uri - The uri to remove.void setVolume(double volume)
double getVolume()
void addMediaListener(MediaListener listener)
listener - The MediaListener to receive the events.void removeMediaListener(MediaListener listener)
listener - The previously added MediaListener.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||