/* 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.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) { 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 */