playerdemo1.java

java 完全探索的随书源码

// PlayerDemo1.java

import javax.media.*;

import java.awt.*;
import java.awt.event.*;

class PlayerDemo1 extends Frame implements ControllerListener
{
   Component vc;
   Player player;

   PlayerDemo1 (String title, String mediaURL)
   {
      super (title);

      addWindowListener (new WindowAdapter ()
                         {
                             public void windowClosing (WindowEvent e)
                             {
                                player.close ();

                                System.exit (0);
                             }
                         });

      try
      {
         player = Manager.createPlayer (new MediaLocator (mediaURL));
      }
      catch (java.io.IOException e)
      {
         terminate (e.toString ());
      }
      catch (NoPlayerException e)
      {
         terminate ("Could not find a player.");
      }

      if (player == null)
          terminate ("Trouble creating player.");

      player.addControllerListener (this);
      player.prefetch ();
   }

   public void controllerUpdate (ControllerEvent e)
   {
      if (e instanceof ControllerClosedEvent)
          System.exit (0);

      if (e instanceof EndOfMediaEvent)
      {
          player.setMediaTime (new Time (0));
          player.start ();
          return;
      }

      if (e instanceof PrefetchCompleteEvent)
      {
          player.start ();
          return;
      }

      if (e instanceof RealizeCompleteEvent)
      {
          vc = player.getVisualComponent ();
          if (vc != null)
              add (vc);

          pack ();
          setResizable (false);
          setVisible (true);
      }
   }

   void terminate (String s)
   {
      System.out.println (s);
      System.exit (-1);
   }

   public static void main (String [] args)
   {
      if (args.length != 1)
      {
          System.out.println ("usage: java PlayerDemo1 url");
          return;
      }

      new PlayerDemo1 ("Player Demo1", args [0]);
   }
}