mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Extracting ecma_op_object* routines to ecma_op_general_object_*. Redefining ecma_op_object* interface to be usable for all object types (not only for general objects).
This commit is contained in:
Ruben Ayrapetyan
parent
bc34fa3be6
commit
a886053e54
787
src/libecmaoperations/ecma-objects-general.c
Normal file
787
src/libecmaoperations/ecma-objects-general.c
Normal file
@ -0,0 +1,787 @@
|
||||
/* Copyright 2014 Samsung Electronics Co., Ltd.
|
||||
*
|
||||
* 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-exceptions.h"
|
||||
#include "ecma-gc.h"
|
||||
#include "ecma-globals.h"
|
||||
#include "ecma-helpers.h"
|
||||
#include "ecma-objects.h"
|
||||
#include "ecma-objects-general.h"
|
||||
|
||||
/** \addtogroup ecma ---TODO---
|
||||
* @{
|
||||
*
|
||||
* \addtogroup ecmageneralobjectsinternalops General ECMA objects' operations
|
||||
* @{
|
||||
*/
|
||||
|
||||
/**
|
||||
* Reject sequence
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
static ecma_completion_value_t
|
||||
ecma_reject (bool is_throw) /**< Throw flag */
|
||||
{
|
||||
if (is_throw)
|
||||
{
|
||||
return ecma_make_throw_value (ecma_new_standard_error (ECMA_ERROR_TYPE));
|
||||
}
|
||||
else
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_FALSE);
|
||||
}
|
||||
} /* ecma_reject */
|
||||
|
||||
/**
|
||||
* [[Get]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.3
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
ecma_completion_value_t
|
||||
ecma_op_general_object_get (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p) /**< property name */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
// 1.
|
||||
const ecma_property_t* prop_p = ecma_op_object_get_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (prop_p == NULL)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_UNDEFINED);
|
||||
}
|
||||
|
||||
// 3.
|
||||
if (prop_p->type == ECMA_PROPERTY_NAMEDDATA)
|
||||
{
|
||||
return ecma_make_completion_value (ECMA_COMPLETION_TYPE_NORMAL,
|
||||
ecma_copy_value (prop_p->u.named_data_property.value, true),
|
||||
ECMA_TARGET_ID_RESERVED);
|
||||
}
|
||||
else
|
||||
{
|
||||
// 4.
|
||||
ecma_object_t *getter = ECMA_GET_POINTER(prop_p->u.named_accessor_property.get_p);
|
||||
|
||||
// 5.
|
||||
if (getter == NULL)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_UNDEFINED);
|
||||
}
|
||||
else
|
||||
{
|
||||
/*
|
||||
* Return result of O.[[Call]];
|
||||
*/
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_general_object_get */
|
||||
|
||||
/**
|
||||
* [[GetOwnProperty]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* @return pointer to a property - if it exists,
|
||||
* NULL (i.e. ecma-undefined) - otherwise.
|
||||
*/
|
||||
ecma_property_t*
|
||||
ecma_op_general_object_get_own_property (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p) /**< property name */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
return ecma_find_named_property (obj_p, property_name_p);
|
||||
} /* ecma_op_general_object_get_own_property */
|
||||
|
||||
/**
|
||||
* [[GetProperty]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* @return pointer to a property - if it exists,
|
||||
* NULL (i.e. ecma-undefined) - otherwise.
|
||||
*/
|
||||
ecma_property_t*
|
||||
ecma_op_general_object_get_property (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p) /**< property name */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
// 1.
|
||||
ecma_property_t *prop_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (prop_p != NULL)
|
||||
{
|
||||
return prop_p;
|
||||
}
|
||||
|
||||
// 3.
|
||||
ecma_object_t *prototype_p = ECMA_GET_POINTER(obj_p->u.object.prototype_object_p);
|
||||
|
||||
// 4., 5.
|
||||
if (prototype_p != NULL)
|
||||
{
|
||||
return ecma_op_object_get_property (prototype_p, property_name_p);
|
||||
}
|
||||
else
|
||||
{
|
||||
return NULL;
|
||||
}
|
||||
} /* ecma_op_general_object_get_property */
|
||||
|
||||
/**
|
||||
* [[Put]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.5
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
ecma_completion_value_t
|
||||
ecma_op_general_object_put (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p, /**< property name */
|
||||
ecma_value_t value, /**< ecma-value */
|
||||
bool is_throw) /**< flag that controls failure handling */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
// 1.
|
||||
if (!ecma_op_object_can_put (obj_p, property_name_p))
|
||||
{
|
||||
if (is_throw)
|
||||
{
|
||||
// a.
|
||||
return ecma_make_throw_value (ecma_new_standard_error (ECMA_ERROR_TYPE));
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_FALSE);
|
||||
}
|
||||
}
|
||||
|
||||
// 2.
|
||||
ecma_property_t *own_desc_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 3.
|
||||
if (own_desc_p != NULL
|
||||
&& own_desc_p->type == ECMA_PROPERTY_NAMEDDATA)
|
||||
{
|
||||
// a.
|
||||
ecma_property_descriptor_t value_desc = ecma_make_empty_property_descriptor ();
|
||||
{
|
||||
value_desc.is_value_defined = true;
|
||||
value_desc.value = value;
|
||||
}
|
||||
|
||||
// b., c.
|
||||
return ecma_op_object_define_own_property (obj_p,
|
||||
property_name_p,
|
||||
value_desc,
|
||||
is_throw);
|
||||
}
|
||||
|
||||
// 4.
|
||||
ecma_property_t *desc_p = ecma_op_object_get_property (obj_p, property_name_p);
|
||||
|
||||
// 5.
|
||||
if (desc_p != NULL
|
||||
&& desc_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
// a.
|
||||
ecma_object_t *setter_p = ECMA_GET_POINTER(desc_p->u.named_accessor_property.set_p);
|
||||
|
||||
JERRY_ASSERT(setter_p != NULL);
|
||||
|
||||
// b.
|
||||
/*
|
||||
* setter_p->[[Call]](obj_p, value);
|
||||
*/
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
else
|
||||
{
|
||||
// 6.
|
||||
|
||||
// a.
|
||||
ecma_property_descriptor_t new_desc = ecma_make_empty_property_descriptor ();
|
||||
{
|
||||
new_desc.is_value_defined = true;
|
||||
new_desc.value = value;
|
||||
|
||||
new_desc.is_writable_defined = true;
|
||||
new_desc.writable = ECMA_PROPERTY_WRITABLE;
|
||||
|
||||
new_desc.is_enumerable_defined = true;
|
||||
new_desc.enumerable = ECMA_PROPERTY_ENUMERABLE;
|
||||
|
||||
new_desc.is_configurable_defined = true;
|
||||
new_desc.configurable = ECMA_PROPERTY_CONFIGURABLE;
|
||||
}
|
||||
|
||||
// b.
|
||||
return ecma_op_object_define_own_property (obj_p,
|
||||
property_name_p,
|
||||
new_desc,
|
||||
is_throw);
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_general_object_put */
|
||||
|
||||
/**
|
||||
* [[CanPut]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.4
|
||||
*
|
||||
* @return true - if [[Put]] with the given property name can be performed;
|
||||
* false - otherwise.
|
||||
*/
|
||||
bool
|
||||
ecma_op_general_object_can_put (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p) /**< property name */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
// 1.
|
||||
ecma_property_t *prop_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (prop_p != NULL)
|
||||
{
|
||||
// a.
|
||||
if (prop_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
ecma_object_t *setter_p = ECMA_GET_POINTER(prop_p->u.named_accessor_property.set_p);
|
||||
|
||||
// i.
|
||||
if (setter_p == NULL)
|
||||
{
|
||||
return false;
|
||||
}
|
||||
|
||||
// ii.
|
||||
return true;
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
|
||||
JERRY_ASSERT(prop_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
|
||||
return (prop_p->u.named_data_property.writable == ECMA_PROPERTY_WRITABLE);
|
||||
}
|
||||
}
|
||||
|
||||
// 3.
|
||||
ecma_object_t *proto_p = ECMA_GET_POINTER(obj_p->u.object.prototype_object_p);
|
||||
|
||||
// 4.
|
||||
if (proto_p == NULL)
|
||||
{
|
||||
return obj_p->u.object.extensible;
|
||||
}
|
||||
|
||||
// 5.
|
||||
ecma_property_t *inherited_p = ecma_op_object_get_property (proto_p, property_name_p);
|
||||
|
||||
// 6.
|
||||
if (inherited_p == NULL)
|
||||
{
|
||||
return obj_p->u.object.extensible;
|
||||
}
|
||||
|
||||
// 7.
|
||||
if (inherited_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
ecma_object_t *setter_p = ECMA_GET_POINTER(inherited_p->u.named_accessor_property.set_p);
|
||||
|
||||
// a.
|
||||
if (setter_p == NULL)
|
||||
{
|
||||
return false;
|
||||
}
|
||||
|
||||
// b.
|
||||
return true;
|
||||
}
|
||||
else
|
||||
{
|
||||
// 8.
|
||||
JERRY_ASSERT(inherited_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
|
||||
// a.
|
||||
if (!obj_p->u.object.extensible)
|
||||
{
|
||||
return false;
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
return (inherited_p->u.named_data_property.writable == ECMA_PROPERTY_WRITABLE);
|
||||
}
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_general_object_can_put */
|
||||
|
||||
/**
|
||||
* [[HasProperty]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.6
|
||||
*
|
||||
* @return true - if the object already has a property with the given property name;
|
||||
* false - otherwise.
|
||||
*/
|
||||
bool
|
||||
ecma_op_general_object_has_property (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p) /**< property name */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
ecma_property_t *desc_p = ecma_op_object_get_property (obj_p, property_name_p);
|
||||
|
||||
return (desc_p != NULL);
|
||||
} /* ecma_op_general_object_has_property */
|
||||
|
||||
/**
|
||||
* [[Delete]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.7
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
ecma_completion_value_t
|
||||
ecma_op_general_object_delete (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p, /**< property name */
|
||||
bool is_throw) /**< flag that controls failure handling */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
// 1.
|
||||
ecma_property_t *desc_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (desc_p == NULL)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
|
||||
// 3.
|
||||
bool is_configurable;
|
||||
if (desc_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
is_configurable = desc_p->u.named_accessor_property.configurable;
|
||||
}
|
||||
else
|
||||
{
|
||||
JERRY_ASSERT(desc_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
|
||||
is_configurable = desc_p->u.named_data_property.configurable;
|
||||
}
|
||||
|
||||
if (is_configurable)
|
||||
{
|
||||
// a.
|
||||
ecma_delete_property (obj_p, desc_p);
|
||||
|
||||
// b.
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
else if (is_throw)
|
||||
{
|
||||
// 4.
|
||||
return ecma_make_throw_value (ecma_new_standard_error (ECMA_ERROR_TYPE));
|
||||
}
|
||||
else
|
||||
{
|
||||
// 5.
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_FALSE);
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_general_object_delete */
|
||||
|
||||
/**
|
||||
* [[DefaultValue]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.8
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
ecma_completion_value_t
|
||||
ecma_op_general_object_default_value (ecma_object_t *obj_p, /**< the object */
|
||||
ecma_preferred_type_hint_t hint) /**< hint on preferred result type */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
|
||||
JERRY_UNIMPLEMENTED_REF_UNUSED_VARS(obj_p, hint);
|
||||
} /* ecma_op_general_object_default_value */
|
||||
|
||||
/**
|
||||
* [[DefineOwnProperty]] ecma object's operation
|
||||
*
|
||||
* See also:
|
||||
* ECMA-262 v5, 8.6.2; ECMA-262 v5, Table 8
|
||||
* ECMA-262 v5, 8.12.9
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
ecma_completion_value_t
|
||||
ecma_op_general_object_define_own_property (ecma_object_t *obj_p, /**< the object */
|
||||
const ecma_char_t *property_name_p, /**< property name */
|
||||
ecma_property_descriptor_t property_desc, /**< property descriptor */
|
||||
bool is_throw) /**< flag that controls failure handling */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
const bool is_property_desc_generic_descriptor = (!property_desc.is_value_defined
|
||||
&& !property_desc.is_writable_defined
|
||||
&& !property_desc.is_get_defined
|
||||
&& !property_desc.is_set_defined);
|
||||
const bool is_property_desc_data_descriptor = (property_desc.is_value_defined
|
||||
|| property_desc.is_writable_defined);
|
||||
const bool is_property_desc_accessor_descriptor = (property_desc.is_get_defined
|
||||
|| property_desc.is_set_defined);
|
||||
|
||||
// 1.
|
||||
ecma_property_t *current_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
bool extensible = obj_p->u.object.extensible;
|
||||
|
||||
if (current_p == NULL)
|
||||
{
|
||||
// 3.
|
||||
if (!extensible)
|
||||
{
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
else
|
||||
{
|
||||
// 4.
|
||||
|
||||
// a.
|
||||
if (is_property_desc_generic_descriptor
|
||||
|| is_property_desc_data_descriptor)
|
||||
{
|
||||
ecma_property_t *new_prop_p = ecma_create_named_data_property (obj_p,
|
||||
property_name_p,
|
||||
property_desc.writable,
|
||||
property_desc.enumerable,
|
||||
property_desc.configurable);
|
||||
|
||||
new_prop_p->u.named_data_property.value = ecma_copy_value (property_desc.value, false);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_value (obj_p, property_desc.value);
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
JERRY_ASSERT(is_property_desc_accessor_descriptor);
|
||||
|
||||
ecma_create_named_accessor_property (obj_p,
|
||||
property_name_p,
|
||||
property_desc.get_p,
|
||||
property_desc.set_p,
|
||||
property_desc.enumerable,
|
||||
property_desc.configurable);
|
||||
|
||||
}
|
||||
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
}
|
||||
|
||||
// 5.
|
||||
if (is_property_desc_generic_descriptor
|
||||
&& !property_desc.is_enumerable_defined
|
||||
&& !property_desc.is_configurable_defined)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
|
||||
// 6.
|
||||
const bool is_current_data_descriptor = (current_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
const bool is_current_accessor_descriptor = (current_p->type == ECMA_PROPERTY_NAMEDACCESSOR);
|
||||
|
||||
const ecma_property_enumerable_value_t current_enumerable = (is_current_data_descriptor ?
|
||||
current_p->u.named_data_property.enumerable
|
||||
: current_p->u.named_accessor_property.enumerable);
|
||||
const ecma_property_configurable_value_t current_configurable = (is_current_data_descriptor ?
|
||||
current_p->u.named_data_property.configurable
|
||||
: current_p->u.named_accessor_property.configurable);
|
||||
|
||||
JERRY_ASSERT(is_current_data_descriptor || is_current_accessor_descriptor);
|
||||
|
||||
bool is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = true;
|
||||
if (property_desc.is_value_defined)
|
||||
{
|
||||
if (!is_current_data_descriptor
|
||||
|| !ecma_op_same_value (property_desc.value,
|
||||
current_p->u.named_data_property.value))
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_writable_defined)
|
||||
{
|
||||
if (!is_current_data_descriptor
|
||||
|| property_desc.writable != current_p->u.named_data_property.writable)
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_get_defined)
|
||||
{
|
||||
if (!is_current_accessor_descriptor
|
||||
|| property_desc.get_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.get_p))
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_set_defined)
|
||||
{
|
||||
if (!is_current_accessor_descriptor
|
||||
|| property_desc.set_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.set_p))
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_enumerable_defined)
|
||||
{
|
||||
if (property_desc.enumerable != current_enumerable)
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_configurable_defined)
|
||||
{
|
||||
if (property_desc.configurable != current_configurable)
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (is_every_field_in_desc_also_occurs_in_current_desc_with_same_value)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
|
||||
// 7.
|
||||
if (current_p->u.named_accessor_property.configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
if (property_desc.configurable == ECMA_PROPERTY_CONFIGURABLE
|
||||
|| (property_desc.is_enumerable_defined
|
||||
&& property_desc.enumerable != current_enumerable))
|
||||
{
|
||||
// a., b.
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
}
|
||||
|
||||
// 8.
|
||||
if (is_property_desc_generic_descriptor)
|
||||
{
|
||||
// no action required
|
||||
}
|
||||
else if (is_property_desc_data_descriptor != is_current_data_descriptor)
|
||||
{
|
||||
// 9.
|
||||
if (current_configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
// a.
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
|
||||
ecma_delete_property (obj_p, current_p);
|
||||
|
||||
if (is_current_data_descriptor)
|
||||
{
|
||||
// b.
|
||||
|
||||
current_p = ecma_create_named_accessor_property (obj_p,
|
||||
property_name_p,
|
||||
NULL,
|
||||
NULL,
|
||||
current_enumerable,
|
||||
current_configurable);
|
||||
}
|
||||
else
|
||||
{
|
||||
// c.
|
||||
|
||||
current_p = ecma_create_named_data_property (obj_p,
|
||||
property_name_p,
|
||||
ECMA_PROPERTY_NOT_WRITABLE,
|
||||
current_enumerable,
|
||||
current_configurable);
|
||||
}
|
||||
}
|
||||
else if (is_property_desc_data_descriptor && is_current_data_descriptor)
|
||||
{
|
||||
// 10.
|
||||
if (current_configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
// a.
|
||||
if (current_p->u.named_data_property.writable == ECMA_PROPERTY_NOT_WRITABLE)
|
||||
{
|
||||
// i.
|
||||
if (property_desc.writable == ECMA_PROPERTY_WRITABLE)
|
||||
{
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
|
||||
// ii.
|
||||
if (property_desc.is_value_defined
|
||||
&& !ecma_op_same_value (property_desc.value,
|
||||
current_p->u.named_data_property.value))
|
||||
{
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
JERRY_ASSERT(is_property_desc_accessor_descriptor && is_current_accessor_descriptor);
|
||||
|
||||
// 11.
|
||||
|
||||
if (current_configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
// a.
|
||||
|
||||
if ((property_desc.is_get_defined
|
||||
&& property_desc.get_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.get_p))
|
||||
|| (property_desc.is_set_defined
|
||||
&& property_desc.set_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.set_p)))
|
||||
{
|
||||
// i., ii.
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// 12.
|
||||
if (property_desc.is_value_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_data_descriptor);
|
||||
|
||||
ecma_free_value (current_p->u.named_data_property.value, false);
|
||||
current_p->u.named_data_property.value = ecma_copy_value (property_desc.value, false);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_value (obj_p, property_desc.value);
|
||||
}
|
||||
|
||||
if (property_desc.is_writable_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_data_descriptor);
|
||||
|
||||
current_p->u.named_data_property.writable = property_desc.writable;
|
||||
}
|
||||
|
||||
if (property_desc.is_get_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_accessor_descriptor);
|
||||
|
||||
ECMA_SET_POINTER(current_p->u.named_accessor_property.get_p, property_desc.get_p);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_object (obj_p, property_desc.get_p);
|
||||
}
|
||||
|
||||
if (property_desc.is_set_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_accessor_descriptor);
|
||||
|
||||
ECMA_SET_POINTER(current_p->u.named_accessor_property.set_p, property_desc.set_p);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_object (obj_p, property_desc.set_p);
|
||||
}
|
||||
|
||||
if (property_desc.is_enumerable_defined)
|
||||
{
|
||||
if (is_current_data_descriptor)
|
||||
{
|
||||
current_p->u.named_data_property.enumerable = property_desc.enumerable;
|
||||
}
|
||||
else
|
||||
{
|
||||
current_p->u.named_accessor_property.enumerable = property_desc.enumerable;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_configurable_defined)
|
||||
{
|
||||
if (is_current_data_descriptor)
|
||||
{
|
||||
current_p->u.named_data_property.configurable = property_desc.configurable;
|
||||
}
|
||||
else
|
||||
{
|
||||
current_p->u.named_accessor_property.configurable = property_desc.configurable;
|
||||
}
|
||||
}
|
||||
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
} /* ecma_op_general_object_define_own_property */
|
||||
|
||||
/**
|
||||
* @}
|
||||
* @}
|
||||
*/
|
||||
52
src/libecmaoperations/ecma-objects-general.h
Normal file
52
src/libecmaoperations/ecma-objects-general.h
Normal file
@ -0,0 +1,52 @@
|
||||
/* Copyright 2014 Samsung Electronics Co., Ltd.
|
||||
*
|
||||
* 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.
|
||||
*/
|
||||
|
||||
#ifndef ECMA_OBJECTS_GENERAL_H
|
||||
#define ECMA_OBJECTS_GENERAL_H
|
||||
|
||||
#include "ecma-conversion.h"
|
||||
#include "ecma-globals.h"
|
||||
|
||||
/** \addtogroup ecma ---TODO---
|
||||
* @{
|
||||
*
|
||||
* \addtogroup ecmaobjectsinternalops ECMA objects' operations
|
||||
* @{
|
||||
*/
|
||||
|
||||
extern ecma_completion_value_t ecma_op_general_object_get (ecma_object_t *obj_p, const ecma_char_t *property_name_p);
|
||||
extern ecma_property_t *ecma_op_general_object_get_own_property (ecma_object_t *obj_p, const ecma_char_t *property_name_p);
|
||||
extern ecma_property_t *ecma_op_general_object_get_property (ecma_object_t *obj_p, const ecma_char_t *property_name_p);
|
||||
extern ecma_completion_value_t ecma_op_general_object_put (ecma_object_t *obj_p,
|
||||
const ecma_char_t *property_name_p,
|
||||
ecma_value_t value,
|
||||
bool is_throw);
|
||||
extern bool ecma_op_general_object_can_put (ecma_object_t *obj_p, const ecma_char_t *property_name_p);
|
||||
extern bool ecma_op_general_object_has_property (ecma_object_t *obj_p, const ecma_char_t *property_name_p);
|
||||
extern ecma_completion_value_t ecma_op_general_object_delete (ecma_object_t *obj_p,
|
||||
const ecma_char_t *property_name_p,
|
||||
bool is_throw);
|
||||
extern ecma_completion_value_t ecma_op_general_object_default_value (ecma_object_t *obj_p, ecma_preferred_type_hint_t hint);
|
||||
extern ecma_completion_value_t ecma_op_general_object_define_own_property (ecma_object_t *obj_p,
|
||||
const ecma_char_t *property_name_p,
|
||||
ecma_property_descriptor_t property_desc,
|
||||
bool is_throw);
|
||||
|
||||
/**
|
||||
* @}
|
||||
* @}
|
||||
*/
|
||||
|
||||
#endif /* !ECMA_OBJECTS_GENERAL_H */
|
||||
@ -13,10 +13,8 @@
|
||||
* limitations under the License.
|
||||
*/
|
||||
|
||||
#include "ecma-exceptions.h"
|
||||
#include "ecma-gc.h"
|
||||
#include "ecma-globals.h"
|
||||
#include "ecma-helpers.h"
|
||||
#include "ecma-objects-general.h"
|
||||
#include "ecma-objects.h"
|
||||
|
||||
/** \addtogroup ecma ---TODO---
|
||||
@ -26,25 +24,6 @@
|
||||
* @{
|
||||
*/
|
||||
|
||||
/**
|
||||
* Reject sequence
|
||||
*
|
||||
* @return completion value
|
||||
* Returned value must be freed with ecma_free_completion_value
|
||||
*/
|
||||
static ecma_completion_value_t
|
||||
ecma_reject (bool is_throw) /**< Throw flag */
|
||||
{
|
||||
if (is_throw)
|
||||
{
|
||||
return ecma_make_throw_value (ecma_new_standard_error (ECMA_ERROR_TYPE));
|
||||
}
|
||||
else
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_FALSE);
|
||||
}
|
||||
} /* ecma_reject */
|
||||
|
||||
/**
|
||||
* [[Get]] ecma object's operation
|
||||
*
|
||||
@ -61,43 +40,22 @@ ecma_op_object_get (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
/*
|
||||
* ECMA-262 v5, 8.12.3
|
||||
*
|
||||
* Common implementation of operation for objects other than Host, Function or Arguments objects.
|
||||
*/
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
// 1.
|
||||
const ecma_property_t* prop_p = ecma_op_object_get_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (prop_p == NULL)
|
||||
switch ( type )
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_UNDEFINED);
|
||||
}
|
||||
|
||||
// 3.
|
||||
if (prop_p->type == ECMA_PROPERTY_NAMEDDATA)
|
||||
{
|
||||
return ecma_make_completion_value (ECMA_COMPLETION_TYPE_NORMAL,
|
||||
ecma_copy_value (prop_p->u.named_data_property.value, true),
|
||||
ECMA_TARGET_ID_RESERVED);
|
||||
}
|
||||
else
|
||||
{
|
||||
// 4.
|
||||
ecma_object_t *getter = ECMA_GET_POINTER(prop_p->u.named_accessor_property.get_p);
|
||||
|
||||
// 5.
|
||||
if (getter == NULL)
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_UNDEFINED);
|
||||
return ecma_op_general_object_get (obj_p, property_name_p);
|
||||
}
|
||||
else
|
||||
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
/*
|
||||
* Return result of O.[[Call]];
|
||||
*/
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
@ -121,13 +79,27 @@ ecma_op_object_get_own_property (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
/*
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* Common implementation of operation for objects other than Host, Function or Arguments objects.
|
||||
*/
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
return ecma_find_named_property (obj_p, property_name_p);
|
||||
switch ( type )
|
||||
{
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
{
|
||||
return ecma_op_general_object_get_own_property (obj_p, property_name_p);
|
||||
}
|
||||
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_object_get_own_property */
|
||||
|
||||
/**
|
||||
@ -146,33 +118,27 @@ ecma_op_object_get_property (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
/*
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* Common implementation of operation for objects other than Host, Function or Arguments objects.
|
||||
*/
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
// 1.
|
||||
ecma_property_t *prop_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (prop_p != NULL)
|
||||
switch ( type )
|
||||
{
|
||||
return prop_p;
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
return ecma_op_general_object_get_property (obj_p, property_name_p);
|
||||
}
|
||||
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
// 3.
|
||||
ecma_object_t *prototype_p = ECMA_GET_POINTER(obj_p->u.object.prototype_object_p);
|
||||
|
||||
// 4., 5.
|
||||
if (prototype_p != NULL)
|
||||
{
|
||||
return ecma_op_object_get_property (prototype_p, property_name_p);
|
||||
}
|
||||
else
|
||||
{
|
||||
return NULL;
|
||||
}
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_object_get_property */
|
||||
|
||||
/**
|
||||
@ -193,85 +159,24 @@ ecma_op_object_put (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
// 1.
|
||||
if (!ecma_op_object_can_put (obj_p, property_name_p))
|
||||
{
|
||||
if (is_throw)
|
||||
{
|
||||
// a.
|
||||
return ecma_make_throw_value (ecma_new_standard_error (ECMA_ERROR_TYPE));
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_FALSE);
|
||||
}
|
||||
}
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
// 2.
|
||||
ecma_property_t *own_desc_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 3.
|
||||
if (own_desc_p != NULL
|
||||
&& own_desc_p->type == ECMA_PROPERTY_NAMEDDATA)
|
||||
switch ( type )
|
||||
{
|
||||
// a.
|
||||
ecma_property_descriptor_t value_desc = ecma_make_empty_property_descriptor ();
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
value_desc.is_value_defined = true;
|
||||
value_desc.value = value;
|
||||
return ecma_op_general_object_put (obj_p, property_name_p, value, is_throw);
|
||||
}
|
||||
|
||||
// b., c.
|
||||
return ecma_op_object_define_own_property (obj_p,
|
||||
property_name_p,
|
||||
value_desc,
|
||||
is_throw);
|
||||
}
|
||||
|
||||
// 4.
|
||||
ecma_property_t *desc_p = ecma_op_object_get_property (obj_p, property_name_p);
|
||||
|
||||
// 5.
|
||||
if (desc_p != NULL
|
||||
&& desc_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
// a.
|
||||
ecma_object_t *setter_p = ECMA_GET_POINTER(desc_p->u.named_accessor_property.set_p);
|
||||
|
||||
JERRY_ASSERT(setter_p != NULL);
|
||||
|
||||
// b.
|
||||
/*
|
||||
* setter_p->[[Call]](obj_p, value);
|
||||
*/
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
else
|
||||
{
|
||||
// 6.
|
||||
|
||||
// a.
|
||||
ecma_property_descriptor_t new_desc = ecma_make_empty_property_descriptor ();
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
new_desc.is_value_defined = true;
|
||||
new_desc.value = value;
|
||||
|
||||
new_desc.is_writable_defined = true;
|
||||
new_desc.writable = ECMA_PROPERTY_WRITABLE;
|
||||
|
||||
new_desc.is_enumerable_defined = true;
|
||||
new_desc.enumerable = ECMA_PROPERTY_ENUMERABLE;
|
||||
|
||||
new_desc.is_configurable_defined = true;
|
||||
new_desc.configurable = ECMA_PROPERTY_CONFIGURABLE;
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
|
||||
// b.
|
||||
return ecma_op_object_define_own_property (obj_p,
|
||||
property_name_p,
|
||||
new_desc,
|
||||
is_throw);
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
@ -293,88 +198,23 @@ ecma_op_object_can_put (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
/*
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* Common implementation of operation for objects other than Host, Function or Arguments objects.
|
||||
*/
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
// 1.
|
||||
ecma_property_t *prop_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
if (prop_p != NULL)
|
||||
switch ( type )
|
||||
{
|
||||
// a.
|
||||
if (prop_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
ecma_object_t *setter_p = ECMA_GET_POINTER(prop_p->u.named_accessor_property.set_p);
|
||||
|
||||
// i.
|
||||
if (setter_p == NULL)
|
||||
{
|
||||
return false;
|
||||
}
|
||||
|
||||
// ii.
|
||||
return true;
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
|
||||
JERRY_ASSERT(prop_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
|
||||
return (prop_p->u.named_data_property.writable == ECMA_PROPERTY_WRITABLE);
|
||||
}
|
||||
}
|
||||
|
||||
// 3.
|
||||
ecma_object_t *proto_p = ECMA_GET_POINTER(obj_p->u.object.prototype_object_p);
|
||||
|
||||
// 4.
|
||||
if (proto_p == NULL)
|
||||
{
|
||||
return obj_p->u.object.extensible;
|
||||
}
|
||||
|
||||
// 5.
|
||||
ecma_property_t *inherited_p = ecma_op_object_get_property (proto_p, property_name_p);
|
||||
|
||||
// 6.
|
||||
if (inherited_p == NULL)
|
||||
{
|
||||
return obj_p->u.object.extensible;
|
||||
}
|
||||
|
||||
// 7.
|
||||
if (inherited_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
ecma_object_t *setter_p = ECMA_GET_POINTER(inherited_p->u.named_accessor_property.set_p);
|
||||
|
||||
// a.
|
||||
if (setter_p == NULL)
|
||||
{
|
||||
return false;
|
||||
return ecma_op_general_object_can_put (obj_p, property_name_p);
|
||||
}
|
||||
|
||||
// b.
|
||||
return true;
|
||||
}
|
||||
else
|
||||
{
|
||||
// 8.
|
||||
JERRY_ASSERT(inherited_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
|
||||
// a.
|
||||
if (!obj_p->u.object.extensible)
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
return false;
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
return (inherited_p->u.named_data_property.writable == ECMA_PROPERTY_WRITABLE);
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
@ -397,15 +237,27 @@ ecma_op_object_has_property (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
/*
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* Common implementation of operation for objects other than Host, Function or Arguments objects.
|
||||
*/
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
ecma_property_t *desc_p = ecma_op_object_get_property (obj_p, property_name_p);
|
||||
switch ( type )
|
||||
{
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
return ecma_op_general_object_has_property (obj_p, property_name_p);
|
||||
}
|
||||
|
||||
return (desc_p != NULL);
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_object_has_property */
|
||||
|
||||
/**
|
||||
@ -425,51 +277,24 @@ ecma_op_object_delete (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
/*
|
||||
* ECMA-262 v5, 8.12.2
|
||||
*
|
||||
* Common implementation of operation for objects other than Host, Function or Arguments objects.
|
||||
*/
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
// 1.
|
||||
ecma_property_t *desc_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
switch ( type )
|
||||
{
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
return ecma_op_general_object_delete (obj_p, property_name_p, is_throw);
|
||||
}
|
||||
|
||||
// 2.
|
||||
if (desc_p == NULL)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
|
||||
// 3.
|
||||
bool is_configurable;
|
||||
if (desc_p->type == ECMA_PROPERTY_NAMEDACCESSOR)
|
||||
{
|
||||
is_configurable = desc_p->u.named_accessor_property.configurable;
|
||||
}
|
||||
else
|
||||
{
|
||||
JERRY_ASSERT(desc_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
|
||||
is_configurable = desc_p->u.named_data_property.configurable;
|
||||
}
|
||||
|
||||
if (is_configurable)
|
||||
{
|
||||
// a.
|
||||
ecma_delete_property (obj_p, desc_p);
|
||||
|
||||
// b.
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
else if (is_throw)
|
||||
{
|
||||
// 4.
|
||||
return ecma_make_throw_value (ecma_new_standard_error (ECMA_ERROR_TYPE));
|
||||
}
|
||||
else
|
||||
{
|
||||
// 5.
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_FALSE);
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
@ -490,7 +315,27 @@ ecma_op_object_default_value (ecma_object_t *obj_p, /**< the object */
|
||||
{
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
|
||||
JERRY_UNIMPLEMENTED_REF_UNUSED_VARS(obj_p, hint);
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
switch ( type )
|
||||
{
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
return ecma_op_general_object_default_value (obj_p, hint);
|
||||
}
|
||||
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_object_default_value */
|
||||
|
||||
/**
|
||||
@ -511,300 +356,27 @@ ecma_op_object_define_own_property (ecma_object_t *obj_p, /**< the object */
|
||||
JERRY_ASSERT(obj_p != NULL && !obj_p->is_lexical_environment);
|
||||
JERRY_ASSERT(property_name_p != NULL);
|
||||
|
||||
const bool is_property_desc_generic_descriptor = (!property_desc.is_value_defined
|
||||
&& !property_desc.is_writable_defined
|
||||
&& !property_desc.is_get_defined
|
||||
&& !property_desc.is_set_defined);
|
||||
const bool is_property_desc_data_descriptor = (property_desc.is_value_defined
|
||||
|| property_desc.is_writable_defined);
|
||||
const bool is_property_desc_accessor_descriptor = (property_desc.is_get_defined
|
||||
|| property_desc.is_set_defined);
|
||||
const ecma_object_type_t type = obj_p->u.object.type;
|
||||
|
||||
// 1.
|
||||
ecma_property_t *current_p = ecma_op_object_get_own_property (obj_p, property_name_p);
|
||||
|
||||
// 2.
|
||||
bool extensible = obj_p->u.object.extensible;
|
||||
|
||||
if (current_p == NULL)
|
||||
switch ( type )
|
||||
{
|
||||
// 3.
|
||||
if (!extensible)
|
||||
case ECMA_OBJECT_TYPE_GENERAL:
|
||||
case ECMA_OBJECT_TYPE_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_BOUND_FUNCTION:
|
||||
case ECMA_OBJECT_TYPE_STRING:
|
||||
{
|
||||
return ecma_reject (is_throw);
|
||||
return ecma_op_general_object_define_own_property (obj_p, property_name_p, property_desc, is_throw);
|
||||
}
|
||||
else
|
||||
|
||||
case ECMA_OBJECT_TYPE_ARGUMENTS:
|
||||
case ECMA_OBJECT_TYPE_ARRAY:
|
||||
case ECMA_OBJECT_TYPE_HOST:
|
||||
{
|
||||
// 4.
|
||||
|
||||
// a.
|
||||
if (is_property_desc_generic_descriptor
|
||||
|| is_property_desc_data_descriptor)
|
||||
{
|
||||
ecma_property_t *new_prop_p = ecma_create_named_data_property (obj_p,
|
||||
property_name_p,
|
||||
property_desc.writable,
|
||||
property_desc.enumerable,
|
||||
property_desc.configurable);
|
||||
|
||||
new_prop_p->u.named_data_property.value = ecma_copy_value (property_desc.value, false);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_value (obj_p, property_desc.value);
|
||||
}
|
||||
else
|
||||
{
|
||||
// b.
|
||||
JERRY_ASSERT(is_property_desc_accessor_descriptor);
|
||||
|
||||
ecma_create_named_accessor_property (obj_p,
|
||||
property_name_p,
|
||||
property_desc.get_p,
|
||||
property_desc.set_p,
|
||||
property_desc.enumerable,
|
||||
property_desc.configurable);
|
||||
|
||||
}
|
||||
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
JERRY_UNIMPLEMENTED();
|
||||
}
|
||||
}
|
||||
|
||||
// 5.
|
||||
if (is_property_desc_generic_descriptor
|
||||
&& !property_desc.is_enumerable_defined
|
||||
&& !property_desc.is_configurable_defined)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
|
||||
// 6.
|
||||
const bool is_current_data_descriptor = (current_p->type == ECMA_PROPERTY_NAMEDDATA);
|
||||
const bool is_current_accessor_descriptor = (current_p->type == ECMA_PROPERTY_NAMEDACCESSOR);
|
||||
|
||||
const ecma_property_enumerable_value_t current_enumerable = (is_current_data_descriptor ?
|
||||
current_p->u.named_data_property.enumerable
|
||||
: current_p->u.named_accessor_property.enumerable);
|
||||
const ecma_property_configurable_value_t current_configurable = (is_current_data_descriptor ?
|
||||
current_p->u.named_data_property.configurable
|
||||
: current_p->u.named_accessor_property.configurable);
|
||||
|
||||
JERRY_ASSERT(is_current_data_descriptor || is_current_accessor_descriptor);
|
||||
|
||||
bool is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = true;
|
||||
if (property_desc.is_value_defined)
|
||||
{
|
||||
if (!is_current_data_descriptor
|
||||
|| !ecma_op_same_value (property_desc.value,
|
||||
current_p->u.named_data_property.value))
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_writable_defined)
|
||||
{
|
||||
if (!is_current_data_descriptor
|
||||
|| property_desc.writable != current_p->u.named_data_property.writable)
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_get_defined)
|
||||
{
|
||||
if (!is_current_accessor_descriptor
|
||||
|| property_desc.get_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.get_p))
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_set_defined)
|
||||
{
|
||||
if (!is_current_accessor_descriptor
|
||||
|| property_desc.set_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.set_p))
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_enumerable_defined)
|
||||
{
|
||||
if (property_desc.enumerable != current_enumerable)
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_configurable_defined)
|
||||
{
|
||||
if (property_desc.configurable != current_configurable)
|
||||
{
|
||||
is_every_field_in_desc_also_occurs_in_current_desc_with_same_value = false;
|
||||
}
|
||||
}
|
||||
|
||||
if (is_every_field_in_desc_also_occurs_in_current_desc_with_same_value)
|
||||
{
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
}
|
||||
|
||||
// 7.
|
||||
if (current_p->u.named_accessor_property.configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
if (property_desc.configurable == ECMA_PROPERTY_CONFIGURABLE
|
||||
|| (property_desc.is_enumerable_defined
|
||||
&& property_desc.enumerable != current_enumerable))
|
||||
{
|
||||
// a., b.
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
}
|
||||
|
||||
// 8.
|
||||
if (is_property_desc_generic_descriptor)
|
||||
{
|
||||
// no action required
|
||||
}
|
||||
else if (is_property_desc_data_descriptor != is_current_data_descriptor)
|
||||
{
|
||||
// 9.
|
||||
if (current_configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
// a.
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
|
||||
ecma_delete_property (obj_p, current_p);
|
||||
|
||||
if (is_current_data_descriptor)
|
||||
{
|
||||
// b.
|
||||
|
||||
current_p = ecma_create_named_accessor_property (obj_p,
|
||||
property_name_p,
|
||||
NULL,
|
||||
NULL,
|
||||
current_enumerable,
|
||||
current_configurable);
|
||||
}
|
||||
else
|
||||
{
|
||||
// c.
|
||||
|
||||
current_p = ecma_create_named_data_property (obj_p,
|
||||
property_name_p,
|
||||
ECMA_PROPERTY_NOT_WRITABLE,
|
||||
current_enumerable,
|
||||
current_configurable);
|
||||
}
|
||||
}
|
||||
else if (is_property_desc_data_descriptor && is_current_data_descriptor)
|
||||
{
|
||||
// 10.
|
||||
if (current_configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
// a.
|
||||
if (current_p->u.named_data_property.writable == ECMA_PROPERTY_NOT_WRITABLE)
|
||||
{
|
||||
// i.
|
||||
if (property_desc.writable == ECMA_PROPERTY_WRITABLE)
|
||||
{
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
|
||||
// ii.
|
||||
if (property_desc.is_value_defined
|
||||
&& !ecma_op_same_value (property_desc.value,
|
||||
current_p->u.named_data_property.value))
|
||||
{
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
JERRY_ASSERT(is_property_desc_accessor_descriptor && is_current_accessor_descriptor);
|
||||
|
||||
// 11.
|
||||
|
||||
if (current_configurable == ECMA_PROPERTY_NOT_CONFIGURABLE)
|
||||
{
|
||||
// a.
|
||||
|
||||
if ((property_desc.is_get_defined
|
||||
&& property_desc.get_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.get_p))
|
||||
|| (property_desc.is_set_defined
|
||||
&& property_desc.set_p != ECMA_GET_POINTER(current_p->u.named_accessor_property.set_p)))
|
||||
{
|
||||
// i., ii.
|
||||
return ecma_reject (is_throw);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// 12.
|
||||
if (property_desc.is_value_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_data_descriptor);
|
||||
|
||||
ecma_free_value (current_p->u.named_data_property.value, false);
|
||||
current_p->u.named_data_property.value = ecma_copy_value (property_desc.value, false);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_value (obj_p, property_desc.value);
|
||||
}
|
||||
|
||||
if (property_desc.is_writable_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_data_descriptor);
|
||||
|
||||
current_p->u.named_data_property.writable = property_desc.writable;
|
||||
}
|
||||
|
||||
if (property_desc.is_get_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_accessor_descriptor);
|
||||
|
||||
ECMA_SET_POINTER(current_p->u.named_accessor_property.get_p, property_desc.get_p);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_object (obj_p, property_desc.get_p);
|
||||
}
|
||||
|
||||
if (property_desc.is_set_defined)
|
||||
{
|
||||
JERRY_ASSERT(is_current_accessor_descriptor);
|
||||
|
||||
ECMA_SET_POINTER(current_p->u.named_accessor_property.set_p, property_desc.set_p);
|
||||
|
||||
ecma_gc_update_may_ref_younger_object_flag_by_object (obj_p, property_desc.set_p);
|
||||
}
|
||||
|
||||
if (property_desc.is_enumerable_defined)
|
||||
{
|
||||
if (is_current_data_descriptor)
|
||||
{
|
||||
current_p->u.named_data_property.enumerable = property_desc.enumerable;
|
||||
}
|
||||
else
|
||||
{
|
||||
current_p->u.named_accessor_property.enumerable = property_desc.enumerable;
|
||||
}
|
||||
}
|
||||
|
||||
if (property_desc.is_configurable_defined)
|
||||
{
|
||||
if (is_current_data_descriptor)
|
||||
{
|
||||
current_p->u.named_data_property.configurable = property_desc.configurable;
|
||||
}
|
||||
else
|
||||
{
|
||||
current_p->u.named_accessor_property.configurable = property_desc.configurable;
|
||||
}
|
||||
}
|
||||
|
||||
return ecma_make_simple_completion_value (ECMA_SIMPLE_VALUE_TRUE);
|
||||
JERRY_UNREACHABLE();
|
||||
} /* ecma_op_object_define_own_property */
|
||||
|
||||
/**
|
||||
|
||||
@ -13,8 +13,8 @@
|
||||
* limitations under the License.
|
||||
*/
|
||||
|
||||
#ifndef ECMA_OBJECTS_PROPERTIES_H
|
||||
#define ECMA_OBJECTS_PROPERTIES_H
|
||||
#ifndef ECMA_OBJECTS_H
|
||||
#define ECMA_OBJECTS_H
|
||||
|
||||
#include "ecma-conversion.h"
|
||||
#include "ecma-globals.h"
|
||||
@ -49,4 +49,4 @@ extern ecma_completion_value_t ecma_op_object_define_own_property (ecma_object_t
|
||||
* @}
|
||||
*/
|
||||
|
||||
#endif /* !ECMA_OBJECTS_PROPERTIES_H */
|
||||
#endif /* !ECMA_OBJECTS_H */
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user