mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
9860d66a56
Related to #4186. Some notable changes: - The term 'Error' now strictly refers to native Error objects defined in the ECMA standard, which are ordinary objects. All other uses of 'error' or 'error reference' where the term refers to a thrown value is now called 'exception'. - Simplified the naming scheme of many String API functions. These functions will now also take an 'encoding' argument to specify the desired encoding in which to operate. - Removed the substring-copy-to-buffer functions. These functions behaved awkwardly, as they use character index to specify the start/end positions, and were mostly used incorrectly with byte offsets instead. The functionality can still be replicated with other functions if necessary. - String-to-buffer functions will no longer fail if the buffer is not sufficiently large, the string will instead be cropped. - Fixed the usage of the '_sz' prefix in many API functions. The term 'sz' means zero-terminated string in hungarian notation, this was used incorrectly in many cases. - Renamed most of the public API functions to have shorter, more on-point names, rather than the often too long descriptive names. Functions are now also grouped by the type of value they operate on, where this makes sense. JerryScript-DCO-1.0-Signed-off-by: Dániel Bátyai dbatyai@inf.u-szeged.hu
331 lines
14 KiB
C
331 lines
14 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.
|
|
*/
|
|
|
|
#include "jerryscript-port-default.h"
|
|
#include "jerryscript-port.h"
|
|
#include "jerryscript.h"
|
|
|
|
#include "test-common.h"
|
|
|
|
/* foo string */
|
|
#define STRING_FOO ("foo")
|
|
|
|
/* bar string */
|
|
#define STRING_BAR ("bar")
|
|
|
|
/* Symbol(bar) desciptive string */
|
|
#define SYMBOL_DESCIPTIVE_STRING_BAR "Symbol(bar)"
|
|
|
|
/* bar string desciption */
|
|
#define SYMBOL_DESCIPTION_BAR "bar"
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
if (!jerry_feature_enabled (JERRY_FEATURE_SYMBOL))
|
|
{
|
|
jerry_port_log (JERRY_LOG_LEVEL_ERROR, "Symbol support is disabled!\n");
|
|
return 0;
|
|
}
|
|
|
|
jerry_init (JERRY_INIT_EMPTY);
|
|
|
|
jerry_value_t object = jerry_object ();
|
|
|
|
/* Test for that each symbol is unique independently from their descriptor strings */
|
|
jerry_value_t symbol_desc_1 = jerry_string_sz (STRING_FOO);
|
|
jerry_value_t symbol_desc_2 = jerry_string_sz (STRING_FOO);
|
|
|
|
jerry_value_t symbol_1 = jerry_symbol_with_description (symbol_desc_1);
|
|
TEST_ASSERT (!jerry_value_is_exception (symbol_1));
|
|
TEST_ASSERT (jerry_value_is_symbol (symbol_1));
|
|
|
|
jerry_value_t symbol_2 = jerry_symbol_with_description (symbol_desc_2);
|
|
TEST_ASSERT (!jerry_value_is_exception (symbol_2));
|
|
TEST_ASSERT (jerry_value_is_symbol (symbol_2));
|
|
|
|
/* The descriptor strings are no longer needed */
|
|
jerry_value_free (symbol_desc_1);
|
|
jerry_value_free (symbol_desc_2);
|
|
|
|
jerry_value_t value_1 = jerry_number (1);
|
|
jerry_value_t value_2 = jerry_number (2);
|
|
|
|
jerry_value_t result_val = jerry_object_set (object, symbol_1, value_1);
|
|
TEST_ASSERT (jerry_value_is_boolean (result_val));
|
|
TEST_ASSERT (jerry_value_is_true (jerry_object_has (object, symbol_1)));
|
|
TEST_ASSERT (jerry_value_is_true (jerry_object_has_own (object, symbol_1)));
|
|
|
|
result_val = jerry_object_set (object, symbol_2, value_2);
|
|
TEST_ASSERT (jerry_value_is_boolean (result_val));
|
|
TEST_ASSERT (jerry_value_is_true (jerry_object_has (object, symbol_2)));
|
|
TEST_ASSERT (jerry_value_is_true (jerry_object_has_own (object, symbol_2)));
|
|
|
|
jerry_value_t get_value_1 = jerry_object_get (object, symbol_1);
|
|
TEST_ASSERT (jerry_value_as_number (get_value_1) == jerry_value_as_number (value_1));
|
|
jerry_value_free (get_value_1);
|
|
|
|
jerry_value_t get_value_2 = jerry_object_get (object, symbol_2);
|
|
TEST_ASSERT (jerry_value_as_number (get_value_2) == jerry_value_as_number (value_2));
|
|
jerry_value_free (get_value_2);
|
|
|
|
/* Test delete / has_{own}_property */
|
|
TEST_ASSERT (jerry_value_is_true (jerry_object_delete (object, symbol_1)));
|
|
TEST_ASSERT (!jerry_value_is_true (jerry_object_has (object, symbol_1)));
|
|
TEST_ASSERT (!jerry_value_is_true (jerry_object_has_own (object, symbol_1)));
|
|
|
|
jerry_value_free (value_1);
|
|
jerry_value_free (symbol_1);
|
|
|
|
/* Test {get, define}_own_property_descriptor */
|
|
jerry_property_descriptor_t prop_desc;
|
|
TEST_ASSERT (jerry_object_get_own_prop (object, symbol_2, &prop_desc));
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_VALUE_DEFINED);
|
|
TEST_ASSERT (value_2 == prop_desc.value);
|
|
TEST_ASSERT (jerry_value_as_number (value_2) == jerry_value_as_number (prop_desc.value));
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_WRITABLE);
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_ENUMERABLE);
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_CONFIGURABLE);
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_GET_DEFINED));
|
|
TEST_ASSERT (jerry_value_is_undefined (prop_desc.getter));
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_SET_DEFINED));
|
|
TEST_ASSERT (jerry_value_is_undefined (prop_desc.setter));
|
|
jerry_property_descriptor_free (&prop_desc);
|
|
|
|
/* Modify the descriptor fields */
|
|
prop_desc = jerry_property_descriptor ();
|
|
jerry_value_t value_3 = jerry_string_sz (STRING_BAR);
|
|
|
|
prop_desc.flags |= JERRY_PROP_IS_VALUE_DEFINED | JERRY_PROP_IS_WRITABLE_DEFINED | JERRY_PROP_IS_ENUMERABLE_DEFINED
|
|
| JERRY_PROP_IS_CONFIGURABLE_DEFINED;
|
|
prop_desc.value = jerry_value_copy (value_3);
|
|
TEST_ASSERT (jerry_value_is_true (jerry_object_define_own_prop (object, symbol_2, &prop_desc)));
|
|
jerry_property_descriptor_free (&prop_desc);
|
|
|
|
/* Check the modified fields */
|
|
TEST_ASSERT (jerry_object_get_own_prop (object, symbol_2, &prop_desc));
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_VALUE_DEFINED);
|
|
TEST_ASSERT (value_3 == prop_desc.value);
|
|
TEST_ASSERT (jerry_value_is_string (prop_desc.value));
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_WRITABLE_DEFINED);
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_WRITABLE));
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_ENUMERABLE_DEFINED);
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_ENUMERABLE));
|
|
TEST_ASSERT (prop_desc.flags & JERRY_PROP_IS_CONFIGURABLE_DEFINED);
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_CONFIGURABLE));
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_GET_DEFINED));
|
|
TEST_ASSERT (jerry_value_is_undefined (prop_desc.getter));
|
|
TEST_ASSERT (!(prop_desc.flags & JERRY_PROP_IS_SET_DEFINED));
|
|
TEST_ASSERT (jerry_value_is_undefined (prop_desc.setter));
|
|
jerry_property_descriptor_free (&prop_desc);
|
|
|
|
jerry_value_free (value_3);
|
|
jerry_value_free (value_2);
|
|
jerry_value_free (symbol_2);
|
|
jerry_value_free (object);
|
|
|
|
/* Test creating symbol with a symbol description */
|
|
jerry_value_t empty_symbol_desc = jerry_string_sz ("");
|
|
|
|
jerry_value_t empty_symbol = jerry_symbol_with_description (empty_symbol_desc);
|
|
TEST_ASSERT (!jerry_value_is_exception (empty_symbol));
|
|
TEST_ASSERT (jerry_value_is_symbol (empty_symbol));
|
|
|
|
jerry_value_free (empty_symbol_desc);
|
|
|
|
jerry_value_t symbol_symbol = jerry_symbol_with_description (empty_symbol);
|
|
TEST_ASSERT (!jerry_value_is_symbol (symbol_symbol));
|
|
TEST_ASSERT (jerry_value_is_exception (symbol_symbol));
|
|
|
|
jerry_value_t error_obj = jerry_exception_value (symbol_symbol, true);
|
|
|
|
TEST_ASSERT (jerry_error_type (error_obj) == JERRY_ERROR_TYPE);
|
|
|
|
jerry_value_free (error_obj);
|
|
jerry_value_free (empty_symbol);
|
|
|
|
/* Test symbol to string operation with symbol argument */
|
|
jerry_value_t bar_symbol_desc = jerry_string_sz (STRING_BAR);
|
|
|
|
jerry_value_t bar_symbol = jerry_symbol_with_description (bar_symbol_desc);
|
|
TEST_ASSERT (!jerry_value_is_exception (bar_symbol));
|
|
TEST_ASSERT (jerry_value_is_symbol (bar_symbol));
|
|
|
|
jerry_value_free (bar_symbol_desc);
|
|
|
|
jerry_value_t bar_symbol_string = jerry_symbol_descriptive_string (bar_symbol);
|
|
TEST_ASSERT (jerry_value_is_string (bar_symbol_string));
|
|
|
|
jerry_size_t bar_symbol_string_size = jerry_string_size (bar_symbol_string, JERRY_ENCODING_CESU8);
|
|
TEST_ASSERT (bar_symbol_string_size == (sizeof (SYMBOL_DESCIPTIVE_STRING_BAR) - 1));
|
|
JERRY_VLA (jerry_char_t, str_buff, bar_symbol_string_size);
|
|
|
|
jerry_string_to_buffer (bar_symbol_string, JERRY_ENCODING_CESU8, str_buff, bar_symbol_string_size);
|
|
TEST_ASSERT (memcmp (str_buff, SYMBOL_DESCIPTIVE_STRING_BAR, sizeof (SYMBOL_DESCIPTIVE_STRING_BAR) - 1) == 0);
|
|
|
|
jerry_value_free (bar_symbol_string);
|
|
|
|
/* Test symbol get description operation with string description */
|
|
bar_symbol_string = jerry_symbol_description (bar_symbol);
|
|
TEST_ASSERT (jerry_value_is_string (bar_symbol_string));
|
|
|
|
bar_symbol_string_size = jerry_string_size (bar_symbol_string, JERRY_ENCODING_CESU8);
|
|
TEST_ASSERT (bar_symbol_string_size == (sizeof (SYMBOL_DESCIPTION_BAR) - 1));
|
|
|
|
jerry_string_to_buffer (bar_symbol_string, JERRY_ENCODING_CESU8, str_buff, bar_symbol_string_size);
|
|
TEST_ASSERT (memcmp (str_buff, STRING_BAR, sizeof (SYMBOL_DESCIPTION_BAR) - 1) == 0);
|
|
|
|
jerry_value_free (bar_symbol_string);
|
|
jerry_value_free (bar_symbol);
|
|
|
|
/* Test symbol get description operation with undefined description */
|
|
jerry_value_t undefined_value = jerry_undefined ();
|
|
jerry_value_t undefined_symbol = jerry_symbol_with_description (undefined_value);
|
|
jerry_value_free (undefined_value);
|
|
TEST_ASSERT (!jerry_value_is_exception (bar_symbol));
|
|
TEST_ASSERT (jerry_value_is_symbol (bar_symbol));
|
|
|
|
undefined_value = jerry_symbol_description (undefined_symbol);
|
|
TEST_ASSERT (jerry_value_is_undefined (undefined_value));
|
|
jerry_value_free (undefined_value);
|
|
jerry_value_free (undefined_symbol);
|
|
|
|
/* Test symbol to string operation with non-symbol argument */
|
|
jerry_value_t null_value = jerry_null ();
|
|
jerry_value_t to_string_value = jerry_symbol_descriptive_string (null_value);
|
|
TEST_ASSERT (jerry_value_is_exception (to_string_value));
|
|
|
|
error_obj = jerry_exception_value (to_string_value, true);
|
|
|
|
TEST_ASSERT (jerry_error_type (error_obj) == JERRY_ERROR_TYPE);
|
|
|
|
jerry_value_free (error_obj);
|
|
jerry_value_free (null_value);
|
|
|
|
const jerry_char_t obj_src[] = ""
|
|
"({"
|
|
" [Symbol.asyncIterator]: 1,"
|
|
" [Symbol.hasInstance]: 2,"
|
|
" [Symbol.isConcatSpreadable]: 3,"
|
|
" [Symbol.iterator]: 4,"
|
|
" [Symbol.match]: 5,"
|
|
" [Symbol.replace]: 6,"
|
|
" [Symbol.search]: 7,"
|
|
" [Symbol.species]: 8,"
|
|
" [Symbol.split]: 9,"
|
|
" [Symbol.toPrimitive]: 10,"
|
|
" [Symbol.toStringTag]: 11,"
|
|
" [Symbol.unscopables]: 12,"
|
|
" [Symbol.matchAll]: 13,"
|
|
"})";
|
|
|
|
const char *symbols[] = {
|
|
"asyncIterator", "hasInstance", "isConcatSpreadable", "iterator", "match", "replace", "search",
|
|
"species", "split", "toPrimitive", "toStringTag", "unscopables", "matchAll",
|
|
};
|
|
|
|
jerry_value_t obj = jerry_eval (obj_src, sizeof (obj_src) - 1, JERRY_PARSE_NO_OPTS);
|
|
TEST_ASSERT (jerry_value_is_object (obj));
|
|
|
|
jerry_value_t global_obj = jerry_current_realm ();
|
|
jerry_value_t symbol_str = jerry_string_sz ("Symbol");
|
|
jerry_value_t builtin_symbol = jerry_object_get (global_obj, symbol_str);
|
|
TEST_ASSERT (jerry_value_is_object (builtin_symbol));
|
|
|
|
double expected = 1.0;
|
|
uint32_t prop_index = 0;
|
|
|
|
for (jerry_well_known_symbol_t id = JERRY_SYMBOL_ASYNC_ITERATOR; id <= JERRY_SYMBOL_MATCH_ALL;
|
|
id++, expected++, prop_index++)
|
|
{
|
|
jerry_value_t well_known_symbol = jerry_symbol (id);
|
|
|
|
jerry_value_t prop_str = jerry_string_sz (symbols[prop_index]);
|
|
jerry_value_t current_global_symbol = jerry_object_get (builtin_symbol, prop_str);
|
|
jerry_value_free (prop_str);
|
|
|
|
jerry_value_t relation = jerry_binary_op (JERRY_BIN_OP_STRICT_EQUAL, well_known_symbol, current_global_symbol);
|
|
|
|
TEST_ASSERT (jerry_value_is_boolean (relation) && jerry_value_is_true (relation));
|
|
|
|
jerry_value_free (relation);
|
|
|
|
jerry_value_t prop_result_wn = jerry_object_get (obj, well_known_symbol);
|
|
jerry_value_t prop_result_global = jerry_object_get (obj, current_global_symbol);
|
|
|
|
TEST_ASSERT (jerry_value_is_number (prop_result_wn));
|
|
double number_wn = jerry_value_as_number (prop_result_wn);
|
|
TEST_ASSERT (number_wn == expected);
|
|
|
|
TEST_ASSERT (jerry_value_is_number (prop_result_global));
|
|
double number_global = jerry_value_as_number (prop_result_global);
|
|
TEST_ASSERT (number_global == expected);
|
|
|
|
jerry_value_free (prop_result_global);
|
|
jerry_value_free (prop_result_wn);
|
|
jerry_value_free (current_global_symbol);
|
|
jerry_value_free (well_known_symbol);
|
|
}
|
|
|
|
jerry_value_free (builtin_symbol);
|
|
|
|
/* Deletion of the 'Symbol' builtin makes the well-known symbols unaccessible from JS context
|
|
but the symbols still can be obtained via 'jerry_symbol' */
|
|
const jerry_char_t deleter_src[] = "delete Symbol";
|
|
|
|
jerry_value_t deleter = jerry_eval (deleter_src, sizeof (deleter_src) - 1, JERRY_PARSE_NO_OPTS);
|
|
TEST_ASSERT (jerry_value_is_boolean (deleter) && jerry_value_is_true (deleter));
|
|
jerry_value_free (deleter);
|
|
|
|
builtin_symbol = jerry_object_get (global_obj, symbol_str);
|
|
TEST_ASSERT (jerry_value_is_undefined (builtin_symbol));
|
|
jerry_value_free (builtin_symbol);
|
|
|
|
expected = 1.0;
|
|
prop_index = 0;
|
|
|
|
for (jerry_well_known_symbol_t id = JERRY_SYMBOL_ASYNC_ITERATOR; id <= JERRY_SYMBOL_MATCH_ALL;
|
|
id++, expected++, prop_index++)
|
|
{
|
|
jerry_value_t well_known_symbol = jerry_symbol (id);
|
|
jerry_value_t prop_result_wn = jerry_object_get (obj, well_known_symbol);
|
|
|
|
TEST_ASSERT (jerry_value_is_number (prop_result_wn));
|
|
double number_wn = jerry_value_as_number (prop_result_wn);
|
|
TEST_ASSERT (number_wn == expected);
|
|
|
|
jerry_value_free (prop_result_wn);
|
|
jerry_value_free (well_known_symbol);
|
|
}
|
|
|
|
jerry_well_known_symbol_t invalid_symbol = (jerry_well_known_symbol_t) (JERRY_SYMBOL_MATCH_ALL + 1);
|
|
jerry_value_t invalid_well_known_symbol = jerry_symbol (invalid_symbol);
|
|
TEST_ASSERT (jerry_value_is_undefined (invalid_well_known_symbol));
|
|
jerry_value_free (invalid_well_known_symbol);
|
|
|
|
invalid_symbol = (jerry_well_known_symbol_t) (JERRY_SYMBOL_ASYNC_ITERATOR - 1);
|
|
invalid_well_known_symbol = jerry_symbol (invalid_symbol);
|
|
TEST_ASSERT (jerry_value_is_undefined (invalid_well_known_symbol));
|
|
jerry_value_free (invalid_well_known_symbol);
|
|
|
|
jerry_value_free (symbol_str);
|
|
jerry_value_free (global_obj);
|
|
jerry_value_free (obj);
|
|
|
|
jerry_cleanup ();
|
|
|
|
return 0;
|
|
} /* main */
|