| OLD | NEW |
| 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ | 5 #ifndef WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |
| 6 #define WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ | 6 #define WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |
| 7 | 7 |
| 8 #include <map> | 8 #include <map> |
| 9 | 9 |
| 10 #include "base/basictypes.h" | 10 #include "base/basictypes.h" |
| (...skipping 10 matching lines...) Expand all Loading... |
| 21 // RenderView. | 21 // RenderView. |
| 22 class WebMediaPlayerManagerAndroid { | 22 class WebMediaPlayerManagerAndroid { |
| 23 public: | 23 public: |
| 24 WebMediaPlayerManagerAndroid(); | 24 WebMediaPlayerManagerAndroid(); |
| 25 virtual ~WebMediaPlayerManagerAndroid(); | 25 virtual ~WebMediaPlayerManagerAndroid(); |
| 26 | 26 |
| 27 // Register and unregister a WebMediaPlayerAndroid object. | 27 // Register and unregister a WebMediaPlayerAndroid object. |
| 28 int RegisterMediaPlayer(WebMediaPlayerAndroid* player); | 28 int RegisterMediaPlayer(WebMediaPlayerAndroid* player); |
| 29 void UnregisterMediaPlayer(int player_id); | 29 void UnregisterMediaPlayer(int player_id); |
| 30 | 30 |
| 31 // Release all the media resources managed by this object. | 31 // Release all the media resources managed by this object unless |
| 32 void ReleaseMediaResources(); | 32 // a media play is in progress. |
| 33 void ReleaseMediaResourcesIfNotPlaying(); |
| 33 | 34 |
| 34 // Check whether a player can enter fullscreen. | 35 // Check whether a player can enter fullscreen. |
| 35 bool CanEnterFullscreen(WebKit::WebFrame* frame); | 36 bool CanEnterFullscreen(WebKit::WebFrame* frame); |
| 36 | 37 |
| 37 // Called when a player entered or exited fullscreen. | 38 // Called when a player entered or exited fullscreen. |
| 38 void DidEnterFullscreen(WebKit::WebFrame* frame); | 39 void DidEnterFullscreen(WebKit::WebFrame* frame); |
| 39 void DidExitFullscreen(); | 40 void DidExitFullscreen(); |
| 40 | 41 |
| 41 // Check whether the Webframe is in fullscreen. | 42 // Check whether the Webframe is in fullscreen. |
| 42 bool IsInFullscreen(WebKit::WebFrame* frame); | 43 bool IsInFullscreen(WebKit::WebFrame* frame); |
| (...skipping 10 matching lines...) Expand all Loading... |
| 53 | 54 |
| 54 // WebFrame of the fullscreen video. | 55 // WebFrame of the fullscreen video. |
| 55 WebKit::WebFrame* fullscreen_frame_; | 56 WebKit::WebFrame* fullscreen_frame_; |
| 56 | 57 |
| 57 DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerManagerAndroid); | 58 DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerManagerAndroid); |
| 58 }; | 59 }; |
| 59 | 60 |
| 60 } // namespace webkit_media | 61 } // namespace webkit_media |
| 61 | 62 |
| 62 #endif // WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ | 63 #endif // WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_MANAGER_ANDROID_H_ |
| OLD | NEW |