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 #include "webkit/media/android/webmediaplayer_manager_android.h" | 5 #include "webkit/media/android/webmediaplayer_manager_android.h" |
6 | 6 |
7 #include "third_party/WebKit/Source/WebKit/chromium/public/WebFrame.h" | |
scherkus (not reviewing)
2012/10/04 21:13:41
nit: do you actually need this?
it appears you're
qinmin
2012/10/04 23:49:32
Done.
| |
7 #include "webkit/media/android/webmediaplayer_android.h" | 8 #include "webkit/media/android/webmediaplayer_android.h" |
8 | 9 |
9 namespace webkit_media { | 10 namespace webkit_media { |
10 | 11 |
11 WebMediaPlayerManagerAndroid::WebMediaPlayerManagerAndroid() | 12 WebMediaPlayerManagerAndroid::WebMediaPlayerManagerAndroid() |
12 : next_media_player_id_(0) { | 13 : next_media_player_id_(0), |
14 fullscreen_frame_(NULL) { | |
13 } | 15 } |
14 | 16 |
15 WebMediaPlayerManagerAndroid::~WebMediaPlayerManagerAndroid() { | 17 WebMediaPlayerManagerAndroid::~WebMediaPlayerManagerAndroid() { |
16 ReleaseMediaResources(); | |
17 } | 18 } |
18 | 19 |
19 int WebMediaPlayerManagerAndroid::RegisterMediaPlayer( | 20 int WebMediaPlayerManagerAndroid::RegisterMediaPlayer( |
20 WebMediaPlayerAndroid* player) { | 21 WebMediaPlayerAndroid* player) { |
21 media_players_[next_media_player_id_] = player; | 22 media_players_[next_media_player_id_] = player; |
22 return next_media_player_id_++; | 23 return next_media_player_id_++; |
23 } | 24 } |
24 | 25 |
25 void WebMediaPlayerManagerAndroid::UnregisterMediaPlayer(int player_id) { | 26 void WebMediaPlayerManagerAndroid::UnregisterMediaPlayer(int player_id) { |
26 media_players_.erase(player_id); | 27 media_players_.erase(player_id); |
27 } | 28 } |
28 | 29 |
29 void WebMediaPlayerManagerAndroid::ReleaseMediaResources() { | 30 void WebMediaPlayerManagerAndroid::ReleaseMediaResources() { |
30 std::map<int32, WebMediaPlayerAndroid*>::iterator player_it; | 31 std::map<int32, WebMediaPlayerAndroid*>::iterator player_it; |
31 for (player_it = media_players_.begin(); | 32 for (player_it = media_players_.begin(); |
32 player_it != media_players_.end(); ++player_it) { | 33 player_it != media_players_.end(); ++player_it) { |
33 (player_it->second)->ReleaseMediaResources(); | 34 (player_it->second)->ReleaseMediaResources(); |
34 } | 35 } |
35 } | 36 } |
36 | 37 |
37 WebMediaPlayerAndroid* WebMediaPlayerManagerAndroid::GetMediaPlayer( | 38 WebMediaPlayerAndroid* WebMediaPlayerManagerAndroid::GetMediaPlayer( |
38 int player_id) { | 39 int player_id) { |
39 std::map<int32, WebMediaPlayerAndroid*>::iterator iter = | 40 std::map<int32, WebMediaPlayerAndroid*>::iterator iter = |
40 media_players_.find(player_id); | 41 media_players_.find(player_id); |
41 if (iter != media_players_.end()) | 42 if (iter != media_players_.end()) |
42 return iter->second; | 43 return iter->second; |
43 return NULL; | 44 return NULL; |
44 } | 45 } |
45 | 46 |
47 bool WebMediaPlayerManagerAndroid::CanEnterFullscreen(WebKit::WebFrame* frame) { | |
48 return !fullscreen_frame_ || IsInFullscreen(frame); | |
49 } | |
50 | |
51 void WebMediaPlayerManagerAndroid::DidEnterFullscreen(WebKit::WebFrame* frame) { | |
52 fullscreen_frame_ = frame; | |
53 } | |
54 | |
55 void WebMediaPlayerManagerAndroid::DidExitFullscreen() { | |
56 fullscreen_frame_ = NULL; | |
57 } | |
58 | |
59 bool WebMediaPlayerManagerAndroid::IsInFullscreen(WebKit::WebFrame* frame) { | |
60 return fullscreen_frame_ == frame; | |
61 } | |
62 | |
46 } // namespace webkit_media | 63 } // namespace webkit_media |
OLD | NEW |