Provide fine grained media playback time thru interpolation

media/base/android/media_player_manager.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 MEDIA_BASE_ANDROID_MEDIA_PLAYER_MANAGER_H_
 #define MEDIA_BASE_ANDROID_MEDIA_PLAYER_MANAGER_H_
 
 #include "base/basictypes.h"
 #include "base/time/time.h"
 #include "media/base/android/demuxer_stream_player_params.h"
@@ skipping 10 matching lines @@
  public:
   virtual ~MediaPlayerManager() {}
 
   // Returns a pointer to the MediaResourceGetter object.
   virtual MediaResourceGetter* GetMediaResourceGetter() = 0;
 
   // Returns a pointer to the MediaUrlInterceptor object or null.
   virtual MediaUrlInterceptor* GetMediaUrlInterceptor() = 0;
 
   // Called when time update messages need to be sent. Args: player ID,
-  // current time.
-  virtual void OnTimeUpdate(int player_id, base::TimeDelta current_time) = 0;
+  // current timestamp, current time ticks.
+  virtual void OnTimeUpdate(int player_id,
+                            base::TimeDelta current_timestamp,
+                            base::TimeTicks current_time_ticks) = 0;
 
   // Called when media metadata changed. Args: player ID, duration of the
   // media, width, height, whether the metadata is successfully extracted.
   virtual void OnMediaMetadataChanged(
       int player_id,
       base::TimeDelta duration,
       int width,
       int height,
       bool success) = 0;
 
@@ skipping 30 matching lines @@
 #if defined(VIDEO_HOLE)
   // Returns true if a media player should use video-overlay for the embedded
   // encrypted video.
   virtual bool ShouldUseVideoOverlayForEmbeddedEncryptedVideo() = 0;
 #endif  // defined(VIDEO_HOLE)
 };
 
 }  // namespace media
 
 #endif  // MEDIA_BASE_ANDROID_MEDIA_PLAYER_MANAGER_H_