Akos Kiss
6c3a6e7be3
All public headers should follow the pattern `jerryscript[-*].h`. The `jerry-api.h` to `jerryscript.h` renaming has already happened a while ago, now it's time for the port API header to follow. This patch * renames the public header file, * updates all includes to use the new file name (in `jerry-main`, in all the targets, and in the docs), and * keeps `jerry-port.h` as a deprecated forwarding header to leave some time for external users to follow up with this change. As a related change, the header of the default port implementation is also changed to `jerryscript-port-default.h`. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
88 lines
2.2 KiB
C
88 lines
2.2 KiB
C
/* Copyright JS Foundation and other contributors, http://js.foundation
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
#define _BSD_SOURCE
|
|
#include <stdarg.h>
|
|
#include <stdlib.h>
|
|
#include <sys/time.h>
|
|
|
|
#include "jerry-core/jerryscript-port.h"
|
|
|
|
#include "mbed-hal/us_ticker_api.h"
|
|
|
|
/**
|
|
* Provide console message implementation for the engine.
|
|
*/
|
|
void
|
|
jerry_port_console (const char *format, /**< format string */
|
|
...) /**< parameters */
|
|
{
|
|
va_list args;
|
|
va_start (args, format);
|
|
vfprintf (stdout, format, args);
|
|
va_end (args);
|
|
} /* jerry_port_console */
|
|
|
|
/**
|
|
* Provide log message implementation for the engine.
|
|
*/
|
|
void
|
|
jerry_port_log (jerry_log_level_t level, /**< log level */
|
|
const char *format, /**< format string */
|
|
...) /**< parameters */
|
|
{
|
|
(void) level; /* ignore log level */
|
|
|
|
va_list args;
|
|
va_start (args, format);
|
|
vfprintf (stderr, format, args);
|
|
va_end (args);
|
|
} /* jerry_port_log */
|
|
|
|
/**
|
|
* Implementation of jerry_port_fatal.
|
|
*/
|
|
void
|
|
jerry_port_fatal (jerry_fatal_code_t code) /**< fatal code enum item */
|
|
{
|
|
exit (code);
|
|
} /* jerry_port_fatal */
|
|
|
|
/**
|
|
* Implementation of jerry_port_get_time_zone.
|
|
*
|
|
* @return true - if success
|
|
*/
|
|
bool
|
|
jerry_port_get_time_zone (jerry_time_zone_t *tz_p) /**< timezone pointer */
|
|
{
|
|
tz_p->offset = 0;
|
|
tz_p->daylight_saving_time = 0;
|
|
return true;
|
|
} /* jerry_port_get_time_zone */
|
|
|
|
/**
|
|
* Implementation of jerry_port_get_current_time.
|
|
*
|
|
* @return current timer's counter value in milliseconds
|
|
*/
|
|
double
|
|
jerry_port_get_current_time (void)
|
|
{
|
|
/* Note: if the target has its own RTC, this value should be extended by the
|
|
* RTC's one. */
|
|
return (double) us_ticker_read () / 1000;
|
|
} /* jerry_port_get_current_time */
|