/* Copyright (C) 2012 Carl Hetherington This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ #include #include #include "player.h" class Player; class FilmState; class Screen; class PlayerManager { public: void setup (boost::shared_ptr, boost::shared_ptr); void setup (boost::shared_ptr, boost::shared_ptr, boost::shared_ptr); void pause_or_unpause (); void stop (); float position () const; void set_position (float); enum State { QUIESCENT, PLAYING, PAUSED }; State state () const; void child_exited (pid_t); static PlayerManager* instance (); private: PlayerManager (); mutable boost::mutex _players_mutex; std::list > _players; static PlayerManager* _instance; };