Index: webkit/media/android/webmediaplayer_android.h |
diff --git a/webkit/media/android/webmediaplayer_android.h b/webkit/media/android/webmediaplayer_android.h |
index a0fb5bbaf78d3fd29ddf8f12c0f68367161cf033..79fa6b856611d5c2d45464e16f2fa6d15f094304 100644 |
--- a/webkit/media/android/webmediaplayer_android.h |
+++ b/webkit/media/android/webmediaplayer_android.h |
@@ -43,15 +43,20 @@ class WebMediaPlayerAndroid |
// Playback controls. |
virtual void play(); |
virtual void pause(); |
+ virtual void seekFloat(float seconds); |
virtual void seek(float seconds); |
virtual bool supportsFullscreen() const; |
virtual bool supportsSave() const; |
+ virtual void setEndTimeFloat(float seconds); |
virtual void setEndTime(float seconds); |
+ virtual void setRateFloat(float rate); |
virtual void setRate(float rate); |
+ virtual void setVolumeFloat(float volume); |
virtual void setVolume(float volume); |
virtual void setVisible(bool visible); |
virtual bool totalBytesKnown(); |
virtual const WebKit::WebTimeRanges& buffered(); |
+ virtual float maxTimeSeekableFloat() const; |
virtual float maxTimeSeekable() const; |
// Methods for painting. |
@@ -70,7 +75,9 @@ class WebMediaPlayerAndroid |
// Getters of playback state. |
virtual bool paused() const; |
virtual bool seeking() const; |
+ virtual float durationFloat() const; |
virtual float duration() const; |
+ virtual float currentTimeFloat() const; |
virtual float currentTime() const; |
// Get rate of loading the resource. |
@@ -87,6 +94,7 @@ class WebMediaPlayerAndroid |
virtual bool didPassCORSAccessCheck() const; |
virtual WebKit::WebMediaPlayer::MovieLoadType movieLoadType() const; |
+ virtual float mediaTimeForTimeValueFloat(float timeValue) const; |
virtual float mediaTimeForTimeValue(float timeValue) const; |
// Provide statistics. |