src/lib/player_manager.h

   1 /*
   2     Copyright (C) 2012 Carl Hetherington <cth@carlh.net>
   3
   4     This program is free software; you can redistribute it and/or modify
   5     it under the terms of the GNU General Public License as published by
   6     the Free Software Foundation; either version 2 of the License, or
   7     (at your option) any later version.
   8
   9     This program is distributed in the hope that it will be useful,
  10     but WITHOUT ANY WARRANTY; without even the implied warranty of
  11     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12     GNU General Public License for more details.
  13
  14     You should have received a copy of the GNU General Public License
  15     along with this program; if not, write to the Free Software
  16     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  17
  18 */
  19
  20 #include <list>
  21 #include <boost/shared_ptr.hpp>
  22 #include "player.h"
  23
  24 class Player;
  25 class FilmState;
  26 class Screen;
  27
  28 class PlayerManager
  29 {
  30 public:
  31
  32         void setup (boost::shared_ptr<const FilmState>, boost::shared_ptr<const Screen>);
  33         void setup (boost::shared_ptr<const FilmState>, boost::shared_ptr<const FilmState>, boost::shared_ptr<const Screen>);
  34         void pause_or_unpause ();
  35         void stop ();
  36
  37         float position () const;
  38         void set_position (float);
  39
  40         enum State {
  41                 QUIESCENT,
  42                 PLAYING,
  43                 PAUSED
  44         };
  45
  46         State state () const;
  47
  48         void child_exited (pid_t);
  49
  50         static PlayerManager* instance ();
  51
  52 private:
  53         PlayerManager ();
  54
  55         mutable boost::mutex _players_mutex;
  56         std::list<boost::shared_ptr<Player> > _players;
  57
  58         static PlayerManager* _instance;
  59 };