Index: webkit/plugins/ppapi/time_conversion.h |
=================================================================== |
--- webkit/plugins/ppapi/time_conversion.h (revision 0) |
+++ webkit/plugins/ppapi/time_conversion.h (revision 0) |
@@ -0,0 +1,29 @@ |
+// Copyright (c) 2011 The Chromium Authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+#ifndef WEBKIT_PLUGINS_PPAPI_TIME_CONVERSION_H_ |
+#define WEBKIT_PLUGINS_PPAPI_TIME_CONVERSION_H_ |
+ |
+#include "base/time.h" |
+#include "ppapi/c/pp_time.h" |
+ |
+namespace webkit { |
+namespace ppapi { |
+ |
+PP_Time TimeToPPTime(base::Time t); |
+base::Time PPTimeToTime(PP_Time t); |
+ |
+PP_TimeTicks TimeTicksToPPTimeTicks(base::TimeTicks t); |
+ |
+// Converts between WebKit event times and time ticks. WebKit event times are |
+// currently expressed in terms of wall clock time. This function does the |
+// proper mapping to time ticks, assuming the wall clock time doesn't change |
+// (which isn't necessarily the case). |
+PP_TimeTicks EventTimeToPPTimeTicks(double event_time); |
+double PPTimeTicksToEventTime(PP_TimeTicks t); |
+ |
+} // namespace ppapi |
+} // namespace webkit |
+ |
+#endif // WEBKIT_PLUGINS_PPAPI_TIME_CONVERSION_H_ |
Property changes on: webkit/plugins/ppapi/time_conversion.h |
___________________________________________________________________ |
Added: svn:eol-style |
+ LF |