| 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_
|
|
|