OLD | NEW |
(Empty) | |
| 1 // Copyright (c) 2011 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_PLUGINS_PPAPI_TIME_CONVERSION_H_ |
| 6 #define WEBKIT_PLUGINS_PPAPI_TIME_CONVERSION_H_ |
| 7 |
| 8 #include "base/time.h" |
| 9 #include "ppapi/c/pp_time.h" |
| 10 |
| 11 namespace webkit { |
| 12 namespace ppapi { |
| 13 |
| 14 PP_Time TimeToPPTime(base::Time t); |
| 15 base::Time PPTimeToTime(PP_Time t); |
| 16 |
| 17 PP_TimeTicks TimeTicksToPPTimeTicks(base::TimeTicks t); |
| 18 |
| 19 // Converts between WebKit event times and time ticks. WebKit event times are |
| 20 // currently expressed in terms of wall clock time. This function does the |
| 21 // proper mapping to time ticks, assuming the wall clock time doesn't change |
| 22 // (which isn't necessarily the case). |
| 23 PP_TimeTicks EventTimeToPPTimeTicks(double event_time); |
| 24 double PPTimeTicksToEventTime(PP_TimeTicks t); |
| 25 |
| 26 } // namespace ppapi |
| 27 } // namespace webkit |
| 28 |
| 29 #endif // WEBKIT_PLUGINS_PPAPI_TIME_CONVERSION_H_ |
OLD | NEW |