Index: webkit/media/android/webmediaplayer_manager_android.h |
diff --git a/webkit/media/android/webmediaplayer_manager_android.h b/webkit/media/android/webmediaplayer_manager_android.h |
new file mode 100644 |
index 0000000000000000000000000000000000000000..229829f9b389dbf9230766eed97a2a1699c38052 |
--- /dev/null |
+++ b/webkit/media/android/webmediaplayer_manager_android.h |
@@ -0,0 +1,52 @@ |
+// 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(); |
+ ~WebMediaPlayerManagerAndroid(); |
+ |
+ // Register and unregister a WebMediaPlayerAndroid object. |
+ int RegisterMediaPlayer(WebMediaPlayerAndroid* player); |
+ void UnregisterMediaPlayer(int player_id); |
+ |
+ // Release all the media resources on the renderer process. |
+ void ReleaseMediaResources(); |
+ |
+ // Get the pointer to WebMediaPlayerAndroid given the player_id. |
scherkus (not reviewing)
2012/05/25 22:01:46
nit: |player_id|
also what's the return value if
qinmin
2012/05/26 00:37:42
Done.
|
+ WebMediaPlayerAndroid* GetWebMediaPlayer(int player_id); |
scherkus (not reviewing)
2012/05/25 22:01:46
nit: you have Register/UnregisterMediaPlayer ... b
qinmin
2012/05/26 00:37:42
Done.
|
+ |
+ 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_; |
+ |
+ int32 next_media_player_id_; |
+ |
+ DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerManagerAndroid); |
+}; |
+ |
+} // namespace webkit_media |
+ |
+#endif // WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |