jaugment2.mediaplayer
Class MediaPlayerProxy

java.lang.Object
  |
  +--java.rmi.server.RemoteObject
        |
        +--java.rmi.server.RemoteServer
              |
              +--java.rmi.server.UnicastRemoteObject
                    |
                    +--jaugment2.mediaplayer.MediaPlayerProxy

public class MediaPlayerProxy

extends java.rmi.server.UnicastRemoteObject

implements net.jini.admin.Administrable, java.io.Serializable, java.rmi.Remote, MediaPlayerIF, MediaDBIF

The proxy of the media-player-service

See Also:

Serialized Form

Inner classes inherited from class jaugment2.mediaplayer.MediaPlayerIF

MediaPlayerIF.MediaPlayerServiceEvent

Field Summary

private MediaPlayerService

service

Fields inherited from class java.rmi.server.UnicastRemoteObject

csf, port, portFactoryParamTypes, portParamTypes, serialVersionUID, ssf

Fields inherited from class java.rmi.server.RemoteServer

log, logname, serialVersionUID

Fields inherited from class java.rmi.server.RemoteObject

ref, serialVersionUID

Constructor Summary

(package private)

MediaPlayerProxy(MediaPlayerService service)

Method Summary

net.jini.core.lease.Lease	addListener(net.jini.core.event.RemoteEventListener listener, java.rmi.MarshalledObject handback, int registerfor) Subscribe for events
void	addMedia(java.net.URL u) Add a URL to the media-db
void	addToPlaylist(java.net.URL data, int pos) Add the given URL to the playlist at the given position
void	freePlaylist() remove all ele,ments from the playlist
java.lang.Object	getAdmin() Returns an object that implements our administration-interfaces.
int	getCurrentPlaylistIndex()
java.net.URL[]	getPlaylist() return a copy of the playlist
void	pause()
void	play() Play the first Element from the playlist
void	play(int pos) Play the given Element from the playlist
java.net.URL[]	simpleMediaSearch(java.lang.String what) search the media-db with a search-string
void	stop()

Methods inherited from class java.rmi.server.UnicastRemoteObject

, clone, exportObject, exportObject, exportObject, exportObject, readObject, reexport, unexportObject

Methods inherited from class java.rmi.server.RemoteServer

getClientHost, getLog, setLog

Methods inherited from class java.rmi.server.RemoteObject

equals, getRef, hashCode, toString, toStub, writeObject

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

service

private MediaPlayerService service

Constructor Detail

MediaPlayerProxy

MediaPlayerProxy(MediaPlayerService service)
           throws java.rmi.RemoteException

Method Detail

getCurrentPlaylistIndex

public int getCurrentPlaylistIndex()
                            throws java.rmi.RemoteException,
                                   java.lang.IllegalArgumentException,
                                   java.lang.IllegalStateException

Specified by:

getCurrentPlaylistIndex in interface MediaPlayerIF

pause

public void pause()
           throws java.rmi.RemoteException,
                  java.lang.IllegalArgumentException,
                  java.lang.IllegalStateException

Specified by:

pause in interface MediaPlayerIF

stop

public void stop()
          throws java.rmi.RemoteException,
                 java.lang.IllegalArgumentException,
                 java.lang.IllegalStateException

Specified by:

stop in interface MediaPlayerIF

addToPlaylist

public void addToPlaylist(java.net.URL data,
                          int pos)
                   throws java.rmi.RemoteException,
                          java.lang.IllegalArgumentException,
                          java.lang.IllegalStateException

Add the given URL to the playlist at the given position

Specified by:

addToPlaylist in interface MediaPlayerIF

play

public void play()
          throws java.rmi.RemoteException,
                 java.lang.IllegalArgumentException,
                 java.lang.IllegalStateException

Play the first Element from the playlist

Specified by:

play in interface MediaPlayerIF

play

public void play(int pos)
          throws java.rmi.RemoteException,
                 java.lang.IllegalArgumentException,
                 java.lang.IllegalStateException

Play the given Element from the playlist

Specified by:

play in interface MediaPlayerIF

getAdmin

public java.lang.Object getAdmin()
                          throws java.rmi.RemoteException

Returns an object that implements our administration-interfaces.

Specified by:

getAdmin in interface net.jini.admin.Administrable

Throws:

java.rmi.RemoteException -

See Also:

JoinAdmin

getPlaylist

public java.net.URL[] getPlaylist()
                           throws java.rmi.RemoteException

return a copy of the playlist

Specified by:

getPlaylist in interface MediaPlayerIF

freePlaylist

public void freePlaylist()
                  throws java.rmi.RemoteException

remove all ele,ments from the playlist

Specified by:

freePlaylist in interface MediaPlayerIF

addListener

public net.jini.core.lease.Lease addListener(net.jini.core.event.RemoteEventListener listener,
                                             java.rmi.MarshalledObject handback,
                                             int registerfor)
                                      throws java.rmi.RemoteException,
                                             net.jini.core.lease.LeaseDeniedException,
                                             java.lang.IllegalStateException

Subscribe for events

addMedia

public void addMedia(java.net.URL u)
              throws java.rmi.RemoteException

Add a URL to the media-db

Specified by:

addMedia in interface MediaDBIF

simpleMediaSearch

public java.net.URL[] simpleMediaSearch(java.lang.String what)
                                 throws java.rmi.RemoteException

search the media-db with a search-string

Specified by:

simpleMediaSearch in interface MediaDBIF