Upstream implementation for embedded video for WebMediaPlayerAndroid

webkit/media/android/webmediaplayer_manager_android.h

+// Copyright (c) 2012 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#ifndef WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_
+#define WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_
+
+#include <jni.h>
+#include <map>
+
+#include "base/basictypes.h"
+
+namespace webkit_media {
+
+class WebMediaPlayerAndroid;
+
+// Class for managing all the WebMediaPlayerAndroid objects in a renderer
+// process.
+class WebMediaPlayerManagerAndroid {
+ public:
+  WebMediaPlayerManagerAndroid(int32 routing_id);
+  virtual ~WebMediaPlayerManagerAndroid();
+
+  // Register and unregister a WebMediaPlayerAndroid object.
+  virtual int RegisterMediaPlayer(WebMediaPlayerAndroid* player);
+  virtual void UnRegisterMediaPlayer(int player_id);
+
+  // Release all the media resources on the renderer process.
+  virtual void ReleaseMediaResources();
+
+  // Pass the video surface to a particular WebMediaPlayerAndroid object given
+  // by the player_id.
+  // TODO(qinmin): Upstream the code for passing Java surface object to the
+  // renderer thread
+  virtual void SetVideoSurface(jobject j_surface, int player_id);
+
+ private:
+  // Information needed to manage WebMediaPlayerAndroid.
+  // TODO(qinmin): more informations will be added here for resource management.
+  struct MediaPlayerInfo {
+    webkit_media::WebMediaPlayerAndroid* player;
+  };
+
+  // Info for all available WebMediaPlayerAndroid on a page; kept so that
+  // we can enumerate them to send updates about tab focus and visibily.
+  std::map<int32, MediaPlayerInfo> media_players_;
+
+  // ID used to create the next media player for passing the Surface.
+  int32 next_media_player_id_;
+
+  int32 routing_id_;
+
+  DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerManagerAndroid);
+};
+
+}  // namespace webkit_media
+
+#endif  // WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_