mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
This patch fixes #2950. Co-authored-by: Gabor Loki loki@inf.u-szeged.hu JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik frobert@inf.u-szeged.hu
844 lines
26 KiB
C
844 lines
26 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 "ecma-alloc.h"
|
|
#include "ecma-builtins.h"
|
|
#include "ecma-exceptions.h"
|
|
#include "ecma-function-object.h"
|
|
#include "ecma-gc.h"
|
|
#include "ecma-helpers.h"
|
|
#include "ecma-iterator-object.h"
|
|
#include "ecma-container-object.h"
|
|
#include "ecma-property-hashmap.h"
|
|
#include "ecma-objects.h"
|
|
|
|
#if ENABLED (JERRY_ES2015_BUILTIN_MAP) || ENABLED (JERRY_ES2015_BUILTIN_SET)
|
|
|
|
/** \addtogroup ecma ECMA
|
|
* @{
|
|
*
|
|
* \addtogroup \addtogroup ecmamaphelpers ECMA builtin map/set helper functions
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* Creates an empty object for the map/set object's internal slot.
|
|
*
|
|
* Note: The created object is not registered to the GC.
|
|
*
|
|
* @return ecma value of the created object
|
|
*/
|
|
static ecma_value_t
|
|
ecma_op_container_create_internal_object (void)
|
|
{
|
|
ecma_object_t *internal_object_p = ecma_alloc_object ();
|
|
internal_object_p->type_flags_refs = (ECMA_OBJECT_TYPE_GENERAL | ECMA_OBJECT_FLAG_EXTENSIBLE | ECMA_OBJECT_REF_ONE);
|
|
internal_object_p->property_list_or_bound_object_cp = JMEM_CP_NULL;
|
|
internal_object_p->prototype_or_outer_reference_cp = JMEM_CP_NULL;
|
|
|
|
return ecma_make_object_value (internal_object_p);
|
|
} /* ecma_op_container_create_internal_object */
|
|
|
|
/**
|
|
* Handle calling [[Construct]] of built-in map/set like objects
|
|
*
|
|
* @return ecma value
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_create (const ecma_value_t *arguments_list_p, /**< arguments list */
|
|
ecma_length_t arguments_list_len, /**< number of arguments */
|
|
lit_magic_string_id_t lit_id, /**< internal class id */
|
|
ecma_builtin_id_t proto_id) /**< prototype builtin id */
|
|
{
|
|
JERRY_ASSERT (arguments_list_len == 0 || arguments_list_p != NULL);
|
|
|
|
ecma_object_t *object_p = ecma_create_object (ecma_builtin_get (proto_id),
|
|
sizeof (ecma_map_object_t),
|
|
ECMA_OBJECT_TYPE_CLASS);
|
|
|
|
ecma_map_object_t *map_obj_p = (ecma_map_object_t *) object_p;
|
|
map_obj_p->header.u.class_prop.class_id = (uint16_t) lit_id;
|
|
map_obj_p->header.u.class_prop.u.value = ecma_op_container_create_internal_object ();
|
|
map_obj_p->size = 0;
|
|
|
|
ecma_value_t set_value = ecma_make_object_value (object_p);
|
|
|
|
#if ENABLED (JERRY_ES2015_BUILTIN_SYMBOL)
|
|
if (arguments_list_len == 0)
|
|
{
|
|
return set_value;
|
|
}
|
|
|
|
ecma_value_t iterable = arguments_list_p[0];
|
|
|
|
if (ecma_is_value_undefined (iterable) || ecma_is_value_null (iterable))
|
|
{
|
|
return set_value;
|
|
}
|
|
|
|
ecma_value_t iter = ecma_op_get_iterator (iterable, ECMA_VALUE_EMPTY);
|
|
|
|
if (ECMA_IS_VALUE_ERROR (iter))
|
|
{
|
|
ecma_deref_object (object_p);
|
|
return iter;
|
|
}
|
|
|
|
while (true)
|
|
{
|
|
ecma_value_t next = ecma_op_iterator_step (iter);
|
|
|
|
if (ECMA_IS_VALUE_ERROR (next))
|
|
{
|
|
ecma_free_value (iter);
|
|
ecma_deref_object (object_p);
|
|
return next;
|
|
}
|
|
|
|
if (ecma_is_value_false (next))
|
|
{
|
|
break;
|
|
}
|
|
|
|
ecma_value_t next_value = ecma_op_iterator_value (next);
|
|
|
|
if (ECMA_IS_VALUE_ERROR (next_value))
|
|
{
|
|
ecma_free_value (next);
|
|
ecma_free_value (iter);
|
|
ecma_deref_object (object_p);
|
|
return next_value;
|
|
}
|
|
|
|
ecma_value_t result;
|
|
if (lit_id == LIT_MAGIC_STRING_SET_UL)
|
|
{
|
|
result = ecma_op_container_set (set_value, next_value, next_value, lit_id);
|
|
}
|
|
else
|
|
{
|
|
if (!ecma_is_value_object (next_value))
|
|
{
|
|
// TODO close the iterator when generator function will be supported
|
|
ecma_free_value (next_value);
|
|
ecma_free_value (next);
|
|
ecma_free_value (iter);
|
|
ecma_deref_object (object_p);
|
|
return ecma_raise_type_error (ECMA_ERR_MSG ("Iterator value is not an object."));
|
|
}
|
|
|
|
ecma_object_t *next_object_p = ecma_get_object_from_value (next_value);
|
|
|
|
ecma_value_t key = ecma_op_object_get (next_object_p, ecma_new_ecma_string_from_uint32 (0));
|
|
|
|
if (ECMA_IS_VALUE_ERROR (key))
|
|
{
|
|
// TODO close the iterator when generator function will be supported
|
|
ecma_free_value (next_value);
|
|
ecma_free_value (next);
|
|
ecma_free_value (iter);
|
|
ecma_deref_object (object_p);
|
|
return key;
|
|
}
|
|
|
|
ecma_value_t value = ecma_op_object_get (next_object_p, ecma_new_ecma_string_from_uint32 (1));
|
|
|
|
if (ECMA_IS_VALUE_ERROR (value))
|
|
{
|
|
// TODO close the iterator when generator function will be supported
|
|
ecma_free_value (next_value);
|
|
ecma_free_value (key);
|
|
ecma_free_value (next);
|
|
ecma_free_value (iter);
|
|
ecma_deref_object (object_p);
|
|
return value;
|
|
}
|
|
|
|
result = ecma_op_container_set (set_value, key, value, lit_id);
|
|
|
|
ecma_free_value (key);
|
|
ecma_free_value (value);
|
|
}
|
|
|
|
ecma_free_value (next_value);
|
|
ecma_free_value (next);
|
|
|
|
if (ECMA_IS_VALUE_ERROR (result))
|
|
{
|
|
// TODO close the iterator when generator function will be supported
|
|
ecma_free_value (iter);
|
|
ecma_deref_object (object_p);
|
|
return result;
|
|
}
|
|
|
|
ecma_free_value (result);
|
|
}
|
|
|
|
ecma_free_value (iter);
|
|
|
|
#endif /* ENABLED (JERRY_ES2015_BUILTIN_SYMBOL) */
|
|
|
|
return set_value;
|
|
} /* ecma_op_container_create */
|
|
|
|
/**
|
|
* Get map/set object pointer
|
|
*
|
|
* Note:
|
|
* If the function returns with NULL, the error object has
|
|
* already set, and the caller must return with ECMA_VALUE_ERROR
|
|
*
|
|
* @return pointer to the map/set if this_arg is a valid map/set object
|
|
* NULL otherwise
|
|
*/
|
|
static ecma_map_object_t *
|
|
ecma_op_container_get_object (ecma_value_t this_arg, /**< this argument */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
if (ecma_is_value_object (this_arg))
|
|
{
|
|
ecma_map_object_t *map_object_p = (ecma_map_object_t *) ecma_get_object_from_value (this_arg);
|
|
|
|
if (ecma_get_object_type (&map_object_p->header.object) == ECMA_OBJECT_TYPE_CLASS
|
|
&& map_object_p->header.u.class_prop.class_id == lit_id)
|
|
{
|
|
return map_object_p;
|
|
}
|
|
}
|
|
|
|
#ifdef JERRY_ENABLE_ERROR_MESSAGES
|
|
char *msg_p = "Expected a Map object.";
|
|
|
|
#if ENABLED (JERRY_ES2015_BUILTIN_SET)
|
|
if (lit_id == LIT_MAGIC_STRING_SET_UL)
|
|
{
|
|
msg_p = "Expected a Set object.";
|
|
}
|
|
#endif /* ENABLED (JERRY_ES2015_BUILTIN_SET) */
|
|
|
|
ecma_raise_type_error (ECMA_ERR_MSG (msg_p));
|
|
#else /* !JERRY_ENABLE_ERROR_MESSAGES */
|
|
ecma_raise_type_error (NULL);
|
|
#endif /* JERRY_ENABLE_ERROR_MESSAGES */
|
|
|
|
return NULL;
|
|
} /* ecma_op_container_get_object */
|
|
|
|
/**
|
|
* Creates a property key for the internal object from the given argument
|
|
*
|
|
* Note:
|
|
* This operation does not increase the reference counter of strings and symbols
|
|
*
|
|
* @return property key
|
|
*/
|
|
static ecma_string_t *
|
|
ecma_op_container_to_key (ecma_value_t key_arg) /**< key argument */
|
|
{
|
|
if (ecma_is_value_prop_name (key_arg))
|
|
{
|
|
ecma_string_t *prop_name_p = ecma_get_prop_name_from_value (key_arg);
|
|
ecma_ref_ecma_string (prop_name_p);
|
|
return prop_name_p;
|
|
}
|
|
|
|
if (ecma_is_value_object (key_arg))
|
|
{
|
|
ecma_object_t *obj_p = ecma_get_object_from_value (key_arg);
|
|
ecma_string_t *key_string_p = ecma_get_magic_string (LIT_INTERNAL_MAGIC_STRING_MAP_KEY);
|
|
ecma_property_t *property_p = ecma_find_named_property (obj_p, key_string_p);
|
|
ecma_string_t *object_key_string;
|
|
|
|
if (property_p == NULL)
|
|
{
|
|
object_key_string = ecma_new_map_key_string (key_arg);
|
|
ecma_property_value_t *value_p = ecma_create_named_data_property (obj_p,
|
|
key_string_p,
|
|
ECMA_PROPERTY_CONFIGURABLE_ENUMERABLE_WRITABLE,
|
|
NULL);
|
|
value_p->value = ecma_make_string_value (object_key_string);
|
|
}
|
|
else
|
|
{
|
|
object_key_string = ecma_get_string_from_value (ECMA_PROPERTY_VALUE_PTR (property_p)->value);
|
|
|
|
}
|
|
|
|
ecma_ref_ecma_string (object_key_string);
|
|
return object_key_string;
|
|
}
|
|
|
|
if (ecma_is_value_integer_number (key_arg))
|
|
{
|
|
ecma_integer_value_t integer = ecma_get_integer_from_value (key_arg);
|
|
|
|
if (JERRY_LIKELY (integer > 0 && integer <= ECMA_DIRECT_STRING_MAX_IMM))
|
|
{
|
|
return (ecma_string_t *) ECMA_CREATE_DIRECT_STRING (ECMA_DIRECT_STRING_ECMA_INTEGER, (uintptr_t) integer);
|
|
}
|
|
}
|
|
|
|
return ecma_new_map_key_string (key_arg);
|
|
} /* ecma_op_container_to_key */
|
|
|
|
/**
|
|
* Returns with the size of the map/set object.
|
|
*
|
|
* @return size of the map/set object as ecma-value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_size (ecma_value_t this_arg, /**< this argument */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
return ecma_make_uint32_value (map_object_p->size);
|
|
} /* ecma_op_container_size */
|
|
|
|
/**
|
|
* The generic map prototype object's 'get' routine
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_get (ecma_value_t this_arg, /**< this argument */
|
|
ecma_value_t key_arg) /**< key argument */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, LIT_MAGIC_STRING_MAP_UL);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
if (map_object_p->size == 0)
|
|
{
|
|
return ECMA_VALUE_UNDEFINED;
|
|
}
|
|
|
|
ecma_object_t *internal_obj_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
|
|
ecma_string_t *prop_name_p = ecma_op_container_to_key (key_arg);
|
|
|
|
ecma_property_t *property_p = ecma_find_named_property (internal_obj_p, prop_name_p);
|
|
|
|
ecma_deref_ecma_string (prop_name_p);
|
|
|
|
if (property_p == NULL || ecma_is_value_empty (ECMA_PROPERTY_VALUE_PTR (property_p)->value))
|
|
{
|
|
return ECMA_VALUE_UNDEFINED;
|
|
}
|
|
|
|
return ecma_copy_value (ECMA_PROPERTY_VALUE_PTR (property_p)->value);
|
|
} /* ecma_op_container_get */
|
|
|
|
/**
|
|
* The generic map/set prototype object's 'has' routine
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_has (ecma_value_t this_arg, /**< this argument */
|
|
ecma_value_t key_arg, /**< key argument */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
if (map_object_p->size == 0)
|
|
{
|
|
return ECMA_VALUE_FALSE;
|
|
}
|
|
|
|
ecma_object_t *internal_obj_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
|
|
ecma_string_t *prop_name_p = ecma_op_container_to_key (key_arg);
|
|
|
|
ecma_property_t *property_p = ecma_find_named_property (internal_obj_p, prop_name_p);
|
|
|
|
ecma_deref_ecma_string (prop_name_p);
|
|
|
|
return ecma_make_boolean_value (property_p != NULL
|
|
&& !ecma_is_value_empty (ECMA_PROPERTY_VALUE_PTR (property_p)->value));
|
|
} /* ecma_op_container_has */
|
|
|
|
/**
|
|
* The generic map prototype object's 'set' and set prototype object's 'add' routine
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_set (ecma_value_t this_arg, /**< this argument */
|
|
ecma_value_t key_arg, /**< key argument */
|
|
ecma_value_t value_arg, /**< value argument */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
ecma_object_t *internal_obj_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
|
|
ecma_string_t *prop_name_p = ecma_op_container_to_key (key_arg);
|
|
|
|
ecma_property_t *property_p = ecma_find_named_property (internal_obj_p, prop_name_p);
|
|
|
|
if (property_p == NULL)
|
|
{
|
|
ecma_property_value_t *value_p = ecma_create_named_data_property (internal_obj_p,
|
|
prop_name_p,
|
|
ECMA_PROPERTY_CONFIGURABLE_ENUMERABLE_WRITABLE,
|
|
NULL);
|
|
value_p->value = ecma_copy_value_if_not_object (value_arg);
|
|
map_object_p->size++;
|
|
}
|
|
else
|
|
{
|
|
if (ecma_is_value_empty (ECMA_PROPERTY_VALUE_PTR (property_p)->value))
|
|
{
|
|
map_object_p->size++;
|
|
}
|
|
ecma_named_data_property_assign_value (internal_obj_p, ECMA_PROPERTY_VALUE_PTR (property_p), value_arg);
|
|
}
|
|
|
|
ecma_deref_ecma_string (prop_name_p);
|
|
ecma_ref_object ((ecma_object_t *) &map_object_p->header);
|
|
return this_arg;
|
|
} /* ecma_op_container_set */
|
|
|
|
/**
|
|
* Low-level function to clear all items from a map/set
|
|
*/
|
|
void
|
|
ecma_op_container_clear_map (ecma_map_object_t *map_object_p) /**< map object */
|
|
{
|
|
ecma_object_t *object_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
|
|
JERRY_ASSERT (object_p->type_flags_refs >= ECMA_OBJECT_REF_ONE);
|
|
|
|
ecma_property_header_t *prop_iter_p = ecma_get_property_list (object_p);
|
|
|
|
if (prop_iter_p != NULL && prop_iter_p->types[0] == ECMA_PROPERTY_TYPE_HASHMAP)
|
|
{
|
|
ecma_property_hashmap_free (object_p);
|
|
prop_iter_p = ecma_get_property_list (object_p);
|
|
}
|
|
|
|
while (prop_iter_p != NULL)
|
|
{
|
|
JERRY_ASSERT (ECMA_PROPERTY_IS_PROPERTY_PAIR (prop_iter_p));
|
|
|
|
/* Both cannot be deleted. */
|
|
JERRY_ASSERT (prop_iter_p->types[0] != ECMA_PROPERTY_TYPE_DELETED
|
|
|| prop_iter_p->types[1] != ECMA_PROPERTY_TYPE_DELETED);
|
|
|
|
ecma_property_pair_t *prop_pair_p = (ecma_property_pair_t *) prop_iter_p;
|
|
|
|
for (int i = 0; i < ECMA_PROPERTY_PAIR_ITEM_COUNT; i++)
|
|
{
|
|
ecma_property_t *property_p = (ecma_property_t *) (prop_iter_p->types + i);
|
|
jmem_cpointer_t name_cp = prop_pair_p->names_cp[i];
|
|
|
|
if (prop_iter_p->types[i] != ECMA_PROPERTY_TYPE_DELETED)
|
|
{
|
|
ecma_free_property (object_p, name_cp, property_p);
|
|
}
|
|
}
|
|
|
|
prop_iter_p = ECMA_GET_POINTER (ecma_property_header_t,
|
|
prop_iter_p->next_property_cp);
|
|
|
|
ecma_dealloc_property_pair (prop_pair_p);
|
|
}
|
|
|
|
ecma_dealloc_object (object_p);
|
|
} /* ecma_op_container_clear_map */
|
|
|
|
/**
|
|
* The generic map/set prototype object's 'forEach' routine
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_foreach (ecma_value_t this_arg, /**< this argument */
|
|
ecma_value_t predicate, /**< callback function */
|
|
ecma_value_t predicate_this_arg, /**< this argument for
|
|
* invoke predicate */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
if (!ecma_op_is_callable (predicate))
|
|
{
|
|
return ecma_raise_type_error (ECMA_ERR_MSG ("Callback function is not callable."));
|
|
}
|
|
|
|
JERRY_ASSERT (ecma_is_value_object (predicate));
|
|
ecma_object_t *func_object_p = ecma_get_object_from_value (predicate);
|
|
|
|
ecma_object_t *internal_obj_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
|
|
ecma_collection_header_t *props_p = ecma_op_object_get_property_names (internal_obj_p, ECMA_LIST_NO_OPTS);
|
|
|
|
ecma_value_t *ecma_value_p = ecma_collection_iterator_init (props_p);
|
|
|
|
ecma_value_t ret_value = ECMA_VALUE_UNDEFINED;
|
|
|
|
while (ecma_value_p != NULL)
|
|
{
|
|
ecma_string_t *prop_name_p = ecma_get_prop_name_from_value (*ecma_value_p);
|
|
ecma_property_t *property_p = ecma_find_named_property (internal_obj_p, prop_name_p);
|
|
JERRY_ASSERT (property_p != NULL);
|
|
|
|
if (ecma_is_value_empty (ECMA_PROPERTY_VALUE_PTR (property_p)->value))
|
|
{
|
|
ecma_value_p = ecma_collection_iterator_next (ecma_value_p);
|
|
continue;
|
|
}
|
|
|
|
ecma_value_t value = ecma_copy_value (ECMA_PROPERTY_VALUE_PTR (property_p)->value);
|
|
ecma_value_t key_arg;
|
|
|
|
if (lit_id == LIT_MAGIC_STRING_SET_UL)
|
|
{
|
|
key_arg = value;
|
|
}
|
|
else if (ecma_prop_name_is_map_key (prop_name_p))
|
|
{
|
|
key_arg = prop_name_p->u.value;
|
|
}
|
|
else
|
|
{
|
|
if (ECMA_IS_DIRECT_STRING (prop_name_p)
|
|
&& ECMA_GET_DIRECT_STRING_TYPE (prop_name_p) == ECMA_DIRECT_STRING_ECMA_INTEGER)
|
|
{
|
|
key_arg = ecma_make_uint32_value ((uint32_t) ECMA_GET_DIRECT_STRING_VALUE (prop_name_p));
|
|
}
|
|
else
|
|
{
|
|
key_arg = *ecma_value_p;
|
|
}
|
|
}
|
|
|
|
ecma_value_t call_args[] = { value, key_arg };
|
|
|
|
ecma_value_t call_value = ecma_op_function_call (func_object_p, predicate_this_arg, call_args, 2);
|
|
|
|
ecma_free_value (value);
|
|
|
|
if (ECMA_IS_VALUE_ERROR (call_value))
|
|
{
|
|
ret_value = call_value;
|
|
break;
|
|
}
|
|
|
|
ecma_free_value (call_value);
|
|
|
|
ecma_value_p = ecma_collection_iterator_next (ecma_value_p);
|
|
}
|
|
|
|
ecma_free_values_collection (props_p, 0);
|
|
|
|
return ret_value;
|
|
} /* ecma_op_container_foreach */
|
|
|
|
/**
|
|
* The Map/Set prototype object's 'clear' routine
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_clear (ecma_value_t this_arg, /**< this argument */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
ecma_op_container_clear_map (map_object_p);
|
|
|
|
map_object_p->header.u.class_prop.u.value = ecma_op_container_create_internal_object ();
|
|
map_object_p->size = 0;
|
|
|
|
return ECMA_VALUE_UNDEFINED;
|
|
} /* ecma_op_container_clear */
|
|
|
|
/**
|
|
* The generic map/set prototype object's 'delete' routine
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_delete (ecma_value_t this_arg, /**< this argument */
|
|
ecma_value_t key_arg, /**< key argument */
|
|
lit_magic_string_id_t lit_id) /**< internal class id */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
ecma_object_t *internal_obj_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
|
|
ecma_string_t *prop_name_p = ecma_op_container_to_key (key_arg);
|
|
|
|
ecma_property_t *property_p = ecma_find_named_property (internal_obj_p, prop_name_p);
|
|
|
|
ecma_deref_ecma_string (prop_name_p);
|
|
|
|
if (property_p == NULL)
|
|
{
|
|
return ECMA_VALUE_FALSE;
|
|
}
|
|
|
|
ecma_named_data_property_assign_value (internal_obj_p, ECMA_PROPERTY_VALUE_PTR (property_p), ECMA_VALUE_EMPTY);
|
|
map_object_p->size--;
|
|
|
|
return ECMA_VALUE_TRUE;
|
|
} /* ecma_op_container_delete */
|
|
|
|
#if ENABLED (JERRY_ES2015_BUILTIN_ITERATOR)
|
|
|
|
/**
|
|
* The Create{Set, Map}Iterator Abstract operation
|
|
*
|
|
* See also:
|
|
* ECMA-262 v6, 23.1.5.1
|
|
* ECMA-262 v6, 23.2.5.1
|
|
*
|
|
* Note:
|
|
* Returned value must be freed with ecma_free_value.
|
|
*
|
|
* @return set/map iterator object, if success
|
|
* error - otherwise
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_create_iterator (ecma_value_t this_arg, /**< this argument */
|
|
uint8_t type, /**< any combination of
|
|
* ecma_iterator_type_t bits */
|
|
lit_magic_string_id_t lit_id, /**< internal class id */
|
|
ecma_builtin_id_t proto_id, /**< prototype builtin id */
|
|
ecma_pseudo_array_type_t iterator_type) /**< type of the iterator */
|
|
{
|
|
ecma_map_object_t *map_object_p = ecma_op_container_get_object (this_arg, lit_id);
|
|
|
|
if (map_object_p == NULL)
|
|
{
|
|
return ECMA_VALUE_ERROR;
|
|
}
|
|
|
|
return ecma_op_create_iterator_object (this_arg,
|
|
ecma_builtin_get (proto_id),
|
|
(uint8_t) iterator_type,
|
|
type);
|
|
} /* ecma_op_container_create_iterator */
|
|
|
|
/**
|
|
* The %{Set, Map}IteratorPrototype% object's 'next' routine
|
|
*
|
|
* See also:
|
|
* ECMA-262 v6, 23.1.5.2.1
|
|
* ECMA-262 v6, 23.2.5.2.1
|
|
*
|
|
* Note:
|
|
* Returned value must be freed with ecma_free_value.
|
|
*
|
|
* @return iterator result object, if success
|
|
* error - otherwise
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_container_iterator_next (ecma_value_t this_val, /**< this argument */
|
|
ecma_pseudo_array_type_t iterator_type) /**< type of the iterator */
|
|
{
|
|
if (!ecma_is_value_object (this_val))
|
|
{
|
|
return ecma_raise_type_error (ECMA_ERR_MSG ("Argument 'this' is not an object."));
|
|
}
|
|
|
|
ecma_object_t *obj_p = ecma_get_object_from_value (this_val);
|
|
ecma_extended_object_t *ext_obj_p = (ecma_extended_object_t *) obj_p;
|
|
|
|
if (ecma_get_object_type (obj_p) != ECMA_OBJECT_TYPE_PSEUDO_ARRAY
|
|
|| ext_obj_p->u.pseudo_array.type != iterator_type)
|
|
{
|
|
return ecma_raise_type_error (ECMA_ERR_MSG ("Argument 'this' is not an iterator."));
|
|
}
|
|
|
|
ecma_value_t iterated_value = ext_obj_p->u.pseudo_array.u2.iterated_value;
|
|
|
|
if (ecma_is_value_empty (iterated_value))
|
|
{
|
|
return ecma_create_iter_result_object (ECMA_VALUE_UNDEFINED, ECMA_VALUE_TRUE);
|
|
}
|
|
|
|
ecma_map_object_t *map_object_p = (ecma_map_object_t *) (ecma_get_object_from_value (iterated_value));
|
|
|
|
ecma_object_t *internal_obj_p = ecma_get_object_from_value (map_object_p->header.u.class_prop.u.value);
|
|
ecma_collection_header_t *props_p = ecma_op_object_get_property_names (internal_obj_p, ECMA_LIST_NO_OPTS);
|
|
|
|
uint32_t length = props_p->item_count;
|
|
uint32_t index = ext_obj_p->u.pseudo_array.u1.iterator_index;
|
|
|
|
if (JERRY_UNLIKELY (index == ECMA_ITERATOR_INDEX_LIMIT))
|
|
{
|
|
/* After the ECMA_ITERATOR_INDEX_LIMIT limit is reached the [[%Iterator%NextIndex]]
|
|
property is stored as an internal property */
|
|
ecma_string_t *prop_name_p = ecma_get_magic_string (LIT_INTERNAL_MAGIC_STRING_ITERATOR_NEXT_INDEX);
|
|
|
|
ecma_property_t *property_p = ecma_find_named_property (obj_p, prop_name_p);
|
|
ecma_property_value_t *value_p;
|
|
|
|
if (property_p == NULL)
|
|
{
|
|
value_p = ecma_create_named_data_property (obj_p, prop_name_p, ECMA_PROPERTY_FLAG_WRITABLE, &property_p);
|
|
value_p->value = ecma_make_uint32_value (index);
|
|
}
|
|
else
|
|
{
|
|
value_p = ECMA_PROPERTY_VALUE_PTR (property_p);
|
|
index = (uint32_t) (ecma_get_number_from_value (value_p->value) + 1);
|
|
value_p->value = ecma_make_uint32_value (index);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
ext_obj_p->u.pseudo_array.u1.iterator_index++;
|
|
}
|
|
|
|
if (index >= length)
|
|
{
|
|
ext_obj_p->u.pseudo_array.u2.iterated_value = ECMA_VALUE_EMPTY;
|
|
ecma_free_values_collection (props_p, 0);
|
|
return ecma_create_iter_result_object (ECMA_VALUE_UNDEFINED, ECMA_VALUE_TRUE);
|
|
}
|
|
|
|
uint8_t iterator_kind = ext_obj_p->u.pseudo_array.extra_info;
|
|
|
|
ecma_value_t *ecma_value_p = ecma_collection_iterator_init (props_p);
|
|
|
|
ecma_value_t ret_value = ECMA_VALUE_UNDEFINED;
|
|
|
|
while (ecma_value_p != NULL)
|
|
{
|
|
if (index > 0)
|
|
{
|
|
index--;
|
|
ecma_value_p = ecma_collection_iterator_next (ecma_value_p);
|
|
continue;
|
|
}
|
|
|
|
ecma_string_t *prop_name_p = ecma_get_prop_name_from_value (*ecma_value_p);
|
|
ecma_property_t *property_p = ecma_find_named_property (internal_obj_p, prop_name_p);
|
|
JERRY_ASSERT (property_p != NULL);
|
|
|
|
if (ecma_is_value_empty (ECMA_PROPERTY_VALUE_PTR (property_p)->value))
|
|
{
|
|
ecma_value_p = ecma_collection_iterator_next (ecma_value_p);
|
|
|
|
if (ecma_value_p == NULL)
|
|
{
|
|
ret_value = ecma_create_iter_result_object (ECMA_VALUE_UNDEFINED, ECMA_VALUE_TRUE);
|
|
}
|
|
continue;
|
|
}
|
|
|
|
ecma_value_t value = ecma_copy_value (ECMA_PROPERTY_VALUE_PTR (property_p)->value);
|
|
ecma_value_t key_arg;
|
|
|
|
if (iterator_type == ECMA_PSEUDO_SET_ITERATOR)
|
|
{
|
|
key_arg = value;
|
|
}
|
|
else if (ecma_prop_name_is_map_key (prop_name_p))
|
|
{
|
|
key_arg = prop_name_p->u.value;
|
|
}
|
|
else
|
|
{
|
|
if (ECMA_IS_DIRECT_STRING (prop_name_p)
|
|
&& ECMA_GET_DIRECT_STRING_TYPE (prop_name_p) == ECMA_DIRECT_STRING_ECMA_INTEGER)
|
|
{
|
|
key_arg = ecma_make_uint32_value ((uint32_t) ECMA_GET_DIRECT_STRING_VALUE (prop_name_p));
|
|
}
|
|
else
|
|
{
|
|
key_arg = *ecma_value_p;
|
|
}
|
|
}
|
|
|
|
if (iterator_kind == ECMA_ITERATOR_KEYS)
|
|
{
|
|
ret_value = ecma_create_iter_result_object (key_arg, ECMA_VALUE_FALSE);
|
|
}
|
|
else if (iterator_kind == ECMA_ITERATOR_VALUES)
|
|
{
|
|
ret_value = ecma_create_iter_result_object (value, ECMA_VALUE_FALSE);
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (iterator_kind == ECMA_ITERATOR_KEYS_VALUES);
|
|
|
|
ecma_value_t entry_array_value;
|
|
entry_array_value = ecma_create_array_from_iter_element (value, key_arg);
|
|
|
|
ret_value = ecma_create_iter_result_object (entry_array_value, ECMA_VALUE_FALSE);
|
|
ecma_free_value (entry_array_value);
|
|
}
|
|
|
|
ecma_free_value (value);
|
|
break;
|
|
}
|
|
|
|
ecma_free_values_collection (props_p, 0);
|
|
|
|
return ret_value;
|
|
} /* ecma_op_container_iterator_next */
|
|
|
|
#endif /* ENABLED (JERRY_ES2015_BUILTIN_ITERATOR) */
|
|
/**
|
|
* @}
|
|
* @}
|
|
*/
|
|
|
|
#endif /* ENABLED (JERRY_ES2015_BUILTIN_MAP) || ENABLED (JERRY_ES2015_BUILTIN_SET) */
|