webkit/media/webmediaplayer_util.h

   1 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 #ifndef WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_
   6 #define WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_
   7
   8 #include "base/time.h"
   9 #include "media/base/ranges.h"
  10 #include "third_party/WebKit/Source/WebKit/chromium/public/WebTimeRange.h"
  11
  12 namespace webkit_media {
  13
  14 // Platform independent method for converting and rounding floating point
  15 // seconds to an int64 timestamp.
  16 //
  17 // Refer to https://bugs.webkit.org/show_bug.cgi?id=52697 for details.
  18 base::TimeDelta ConvertSecondsToTimestamp(double seconds);
  19
  20 WebKit::WebTimeRanges ConvertToWebTimeRanges(
  21     const media::Ranges<base::TimeDelta>& ranges);
  22
  23 }  // namespace webkit_media
  24
  25 #endif  // WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_