source/java/Player.java

35 import com.sun.star.media.*;
37 public class Player implements javax.media.ControllerListener,
39                                com.sun.star.media.XPlayer,
46     private javax.media.Player maPlayer;
47     private javax.media.GainControl maGainControl;
54                    javax.media.Player aPlayer, String aURL )  in Player()
65     public synchronized void controllerUpdate( javax.media.ControllerEvent aEvt )  in controllerUpdate()
67         if( aEvt instanceof javax.media.EndOfMediaEvent ||  in controllerUpdate()
68             aEvt instanceof javax.media.StopAtTimeEvent )  in controllerUpdate()
77             else if( aEvt instanceof javax.media.EndOfMediaEvent )  in controllerUpdate()
125             maPlayer.setMediaTime( new javax.media.Time( fTime ) );  in setMediaTime()
144         maPlayer.setStopTime( new javax.media.Time( fTime ) );  in setStopTime()
243 …public synchronized com.sun.star.media.XPlayerWindow createPlayerWindow( java.lang.Object[] aArgs )  in createPlayerWindow()
247 …com.sun.star.media.XPlayerWindow xPlayerWindow = ( ( ( aArgs.length > 1 ) && ( AnyConverter.toInt(…  in createPlayerWindow()
252 …if( xPlayerWindow != null && xPlayerWindow.getZoomLevel() == com.sun.star.media.ZoomLevel.NOT_AVAI…  in createPlayerWindow()
265     public synchronized com.sun.star.media.XFrameGrabber createFrameGrabber()  in createFrameGrabber()
267         return( (com.sun.star.media.XFrameGrabber) new FrameGrabber( maFactory, maURL ) );  in createFrameGrabber()