| OLD | NEW |
| (Empty) |
| 1 // Copyright 2013 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_RENDERER_MEDIA_WEBMEDIAPLAYER_UTIL_H_ | |
| 6 #define WEBKIT_RENDERER_MEDIA_WEBMEDIAPLAYER_UTIL_H_ | |
| 7 | |
| 8 #include "base/time/time.h" | |
| 9 #include "media/base/pipeline_status.h" | |
| 10 #include "media/base/ranges.h" | |
| 11 #include "third_party/WebKit/public/web/WebMediaPlayer.h" | |
| 12 #include "third_party/WebKit/public/web/WebTimeRange.h" | |
| 13 | |
| 14 namespace webkit_media { | |
| 15 | |
| 16 // Platform independent method for converting and rounding floating point | |
| 17 // seconds to an int64 timestamp. | |
| 18 // | |
| 19 // Refer to https://bugs.webkit.org/show_bug.cgi?id=52697 for details. | |
| 20 base::TimeDelta ConvertSecondsToTimestamp(double seconds); | |
| 21 | |
| 22 WebKit::WebTimeRanges ConvertToWebTimeRanges( | |
| 23 const media::Ranges<base::TimeDelta>& ranges); | |
| 24 | |
| 25 WebKit::WebMediaPlayer::NetworkState PipelineErrorToNetworkState( | |
| 26 media::PipelineStatus error); | |
| 27 | |
| 28 } // namespace webkit_media | |
| 29 | |
| 30 #endif // WEBKIT_RENDERER_MEDIA_WEBMEDIAPLAYER_UTIL_H_ | |
| OLD | NEW |