Upstream fullscreen video implementation for android

webkit/media/android/webmediaplayer_android.h

 // 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_ANDROID_H_
 #define WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_ANDROID_H_
 
 #include <jni.h>
 
 #include "base/basictypes.h"
@@ skipping 119 matching lines @@
   virtual ~WebMediaPlayerAndroid();
 
   // Helper method to update the playing state.
   virtual void UpdatePlayingState(bool is_playing_);
 
   // Helper methods for posting task for setting states and update WebKit.
   virtual void UpdateNetworkState(WebKit::WebMediaPlayer::NetworkState state);
   virtual void UpdateReadyState(WebKit::WebMediaPlayer::ReadyState state);
 
   // Helper method to reestablish the surface texture peer for android
-  // mediaplayer.
+  // media player.
   virtual void EstablishSurfaceTexturePeer();
 
+  // Requesting whether the surface texture peer needs to be reestablished.
+  virtual void SetNeedsEstablishPeer(bool needs_establish_peer);
+
   // Method to be implemented by child classes.
   // Initialize the media player bridge object.
   virtual void InitializeMediaPlayer(GURL url) = 0;
 
   // Inform the media player to start playing.
   virtual void PlayInternal() = 0;
 
   // Inform the media player to pause.
   virtual void PauseInternal() = 0;
 
   // Inform the media player to seek to a particular position.
   virtual void SeekInternal(base::TimeDelta time) = 0;
 
   // Get the current time from the media player.
   virtual float GetCurrentTimeInternal() const = 0;
 
   // Release the Android Media player.
   virtual void ReleaseResourcesInternal() = 0;
 
   // Cleaning up all remaining resources as this object is about to get deleted.
   virtual void Destroy() = 0;
 
   WebKit::WebMediaPlayerClient* client() { return client_; }
 
-  int player_id() { return player_id_; }
+  int player_id() const { return player_id_; }
+
+  WebMediaPlayerManagerAndroid* manager() const { return manager_; }
 
  private:
   WebKit::WebMediaPlayerClient* const client_;
 
   // Save the list of buffered time ranges.
   WebKit::WebTimeRanges buffered_;
 
   // Size of the video.
   WebKit::WebSize natural_size_;
 
@@ skipping 46 matching lines @@
   // Object for calling back the compositor thread to repaint the video when a
   // frame available. It should be initialized on the compositor thread.
   scoped_ptr<StreamTextureProxy> stream_texture_proxy_;
 
   DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerAndroid);
 };
 
 }  // namespace webkit_media
 
 #endif  // WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_ANDROID_H_