Improve HTMLMediaElement::currentTime()

third_party/WebKit/Source/core/html/HTMLMediaElement.h

Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
index 8050c4050f996bd8d70c4ea07ff7f4da8690ce60..77f70dcea4326c90c69fd189188ad8519302b5e2 100644
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
@@ -465,8 +465,12 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement,
   bool endedPlayback(LoopCondition = LoopCondition::Included) const;
 
   void setShouldDelayLoadEvent(bool);
-  void invalidateCachedTime();
-  void refreshCachedTime() const;
+
+  double earliestPossiblePosition() const;
+  double currentPlaybackPosition() const;
+  double officialPlaybackPosition() const;
+  void setOfficialPlaybackPosition(double) const;

[chcunningham, 2016/10/25 22:46:18]

The const-ness of currentTime spreads to these methods. I don't like it. Open to
suggestions.

+  void requireOfficialPlaybackPositionUpdate() const;
 
   void ensureMediaControls();
   void configureMediaControls();
@@ -608,7 +612,8 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement,
 
   // Cached time value. Only valid when ready state is kHaveMetadata or
   // higher, otherwise the current time is assumed to be zero.
-  mutable double m_cachedTime;
+  mutable double m_officialPlaybackPosition;
+  mutable bool m_officialPlaybackPositionNeedsUpdate;
 
   double m_fragmentEndTime;