Index: third_party/WebKit/Source/platform/Timer.h |
diff --git a/third_party/WebKit/Source/platform/Timer.h b/third_party/WebKit/Source/platform/Timer.h |
index 8354eca242672535b65684e9c9b053b6decff659..c5423b6625c2d6893384515e7ba15380fd454912 100644 |
--- a/third_party/WebKit/Source/platform/Timer.h |
+++ b/third_party/WebKit/Source/platform/Timer.h |
@@ -67,7 +67,7 @@ public: |
double repeatInterval() const { return m_repeatInterval; } |
void augmentRepeatInterval(double delta) { |
- double now = monotonicallyIncreasingTime(); |
+ double now = timerMonotonicallyIncreasingTime(); |
setNextFireTime(now, m_nextFireTime - now + delta); |
m_repeatInterval += delta; |
} |
@@ -82,11 +82,13 @@ protected: |
private: |
virtual void fired() = 0; |
- virtual WebTaskRunner* timerTaskRunner(); |
+ virtual WebTaskRunner* timerTaskRunner() const; |
NO_LAZY_SWEEP_SANITIZE_ADDRESS |
virtual bool canFire() const { return true; } |
+ double timerMonotonicallyIncreasingTime() const; |
+ |
void setNextFireTime(double now, double delay); |
void runInternal(); |