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.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 |