From 68f3465eb570fceae82351d34e56d5bf332a085b Mon Sep 17 00:00:00 2001 From: Akos Kiss Date: Thu, 21 Apr 2016 14:51:31 +0200 Subject: [PATCH] Change current time from uint64_t to double in Date Port API JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu --- jerry-core/ecma/builtin-objects/ecma-builtin-date.c | 2 +- jerry-core/jerry-port.h | 3 +-- targets/default/jerry-port-default-date.c | 4 ++-- 3 files changed, 4 insertions(+), 5 deletions(-) diff --git a/jerry-core/ecma/builtin-objects/ecma-builtin-date.c b/jerry-core/ecma/builtin-objects/ecma-builtin-date.c index d21dccc2b..e543468a1 100644 --- a/jerry-core/ecma/builtin-objects/ecma-builtin-date.c +++ b/jerry-core/ecma/builtin-objects/ecma-builtin-date.c @@ -447,7 +447,7 @@ ecma_builtin_date_now (ecma_value_t this_arg __attr_unused___) /**< this argumen { ecma_number_t *now_num_p = ecma_alloc_number (); - *now_num_p = (ecma_number_t) jerry_port_get_current_time (); + *now_num_p = DOUBLE_TO_ECMA_NUMBER_T (jerry_port_get_current_time ()); return ecma_make_number_value (now_num_p); } /* ecma_builtin_date_now */ diff --git a/jerry-core/jerry-port.h b/jerry-core/jerry-port.h index 311ce0af6..8c925902c 100644 --- a/jerry-core/jerry-port.h +++ b/jerry-core/jerry-port.h @@ -18,7 +18,6 @@ #define JERRY_PORT_H #include -#include #include #ifdef __cplusplus @@ -99,7 +98,7 @@ bool jerry_port_get_time_zone (jerry_time_zone_t *tz_p); * * @return milliseconds since Unix epoch */ -uint64_t jerry_port_get_current_time (void); +double jerry_port_get_current_time (void); /** * @} diff --git a/targets/default/jerry-port-default-date.c b/targets/default/jerry-port-default-date.c index 490fe801c..59c6490e7 100644 --- a/targets/default/jerry-port-default-date.c +++ b/targets/default/jerry-port-default-date.c @@ -43,11 +43,11 @@ bool jerry_port_get_time_zone (jerry_time_zone_t *tz_p) /** * Default implementation of jerry_port_get_current_time. */ -uint64_t jerry_port_get_current_time () +double jerry_port_get_current_time () { struct timeval tv; gettimeofday (&tv, NULL); - return ((uint64_t) tv.tv_sec) * 1000 + ((uint64_t) tv.tv_usec) / 1000; + return ((double) tv.tv_sec) * 1000.0 + ((double) tv.tv_usec) / 1000.0; } /* jerry_port_get_current_time */