Index: webkit/renderer/media/android/webmediaplayer_manager_android.h |
diff --git a/webkit/renderer/media/android/webmediaplayer_manager_android.h b/webkit/renderer/media/android/webmediaplayer_manager_android.h |
deleted file mode 100644 |
index 5a6cd40b24660a796818d8eb6d0c6396ec9a0550..0000000000000000000000000000000000000000 |
--- a/webkit/renderer/media/android/webmediaplayer_manager_android.h |
+++ /dev/null |
@@ -1,72 +0,0 @@ |
-// Copyright 2013 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_RENDERER_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |
-#define WEBKIT_RENDERER_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |
- |
-#include <map> |
- |
-#include "base/basictypes.h" |
- |
-namespace WebKit { |
-class WebFrame; |
-} |
- |
-namespace gfx { |
-class RectF; |
-} |
- |
-namespace webkit_media { |
- |
-class WebMediaPlayerAndroid; |
- |
-// Class for managing all the WebMediaPlayerAndroid objects in the same |
-// RenderView. |
-class WebMediaPlayerManagerAndroid { |
- public: |
- WebMediaPlayerManagerAndroid(); |
- virtual ~WebMediaPlayerManagerAndroid(); |
- |
- // Register and unregister a WebMediaPlayerAndroid object. |
- int RegisterMediaPlayer(WebMediaPlayerAndroid* player); |
- void UnregisterMediaPlayer(int player_id); |
- |
- // Release all the media resources managed by this object unless |
- // an audio play is in progress, or the app wants to retain video playback. |
- void ReleaseMediaResources(bool retain_video_playback); |
- |
- // Check whether a player can enter fullscreen. |
- bool CanEnterFullscreen(WebKit::WebFrame* frame); |
- |
- // Called when a player entered or exited fullscreen. |
- void DidEnterFullscreen(WebKit::WebFrame* frame); |
- void DidExitFullscreen(); |
- |
- // Check whether the Webframe is in fullscreen. |
- bool IsInFullscreen(WebKit::WebFrame* frame); |
- |
- // Get the pointer to WebMediaPlayerAndroid given the |player_id|. |
- WebMediaPlayerAndroid* GetMediaPlayer(int player_id); |
- |
-#if defined(GOOGLE_TV) |
- // Get the list of media players with video geometry changes. |
- void RetrieveGeometryChanges(std::map<int, gfx::RectF>* changes); |
-#endif |
- |
- private: |
- // 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<int, WebMediaPlayerAndroid*> media_players_; |
- |
- int next_media_player_id_; |
- |
- // WebFrame of the fullscreen video. |
- WebKit::WebFrame* fullscreen_frame_; |
- |
- DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerManagerAndroid); |
-}; |
- |
-} // namespace webkit_media |
- |
-#endif // WEBKIT_RENDERER_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |