Péter Gál
40f7b1c27f
There are quite a few configuration macros in the project. As discussed in the #2520 issue there are a few awkward constructs. Main changes: * Renamed all CONFIG_DISABLE_<name>_BUILTIN macro to JERRY_BUILTIN_<name> format. * The special JERRY_BUILTINS macro specifies the basic config for all es5.1 builtins. * Renamed all CONFIG_DISABLE_ES2015_<name> to JERRY_ES2015_<name> format. * The special JERRY_ES2015 macro specifies the basic config for all es2015 builtins. * Renamed UNICODE_CASE_CONVERSION to JERRY_UNICODE_CASE_CONVERSION. * Renamed ENABLE_REGEXP_STRICT_MODE to JERRY_REGEXP_STRICT_MODE. * All options (in this change) can have a value of 0 or 1. * Renamed ENABLE_REGEXP_STRICT_MODE to JERRY_REGEXP_STRICT_MODE. JERRY_REGEXP_STRICT_MODE is set to 0 by default. * Reworked CONFIG_ECMA_NUMBER_TYPE macro to JERRY_NUMBER_TYPE_FLOAT64 name and now it uses the value 1 for 64 bit floating point numbers and 0 for 32 bit floating point number. By default the 64-bit floating point number mode is enabled. * All new JERRY_ defines can be used wit the `#if ENABLED (JERRY_...)` construct to test if the feature is enabled or not. * Added/replaced a few config.h includes to correctly propagate the macro values. * Added sanity checks for each macro to avoid incorrectly set values. * Updated profile documentation. * The CMake feature names are not updated at this point. JerryScript-DCO-1.0-Signed-off-by: Peter Gal pgal.u-szeged@partner.samsung.com
427 lines
12 KiB
C
427 lines
12 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-builtin-helpers.h"
|
|
#include "ecma-builtins.h"
|
|
#include "ecma-exceptions.h"
|
|
#include "ecma-gc.h"
|
|
#include "ecma-globals.h"
|
|
#include "ecma-helpers.h"
|
|
#include "ecma-lex-env.h"
|
|
#include "ecma-objects.h"
|
|
#include "jcontext.h"
|
|
|
|
/** \addtogroup ecma ECMA
|
|
* @{
|
|
*
|
|
* \addtogroup lexicalenvironment Lexical environment
|
|
* @{
|
|
*
|
|
* \addtogroup globallexicalenvironment Global lexical environment
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* Initialize Global environment
|
|
*/
|
|
void
|
|
ecma_init_global_lex_env (void)
|
|
{
|
|
ecma_object_t *glob_obj_p = ecma_builtin_get (ECMA_BUILTIN_ID_GLOBAL);
|
|
|
|
JERRY_CONTEXT (ecma_global_lex_env_p) = ecma_create_object_lex_env (NULL,
|
|
glob_obj_p,
|
|
ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
} /* ecma_init_global_lex_env */
|
|
|
|
/**
|
|
* Finalize Global environment
|
|
*/
|
|
void
|
|
ecma_finalize_global_lex_env (void)
|
|
{
|
|
ecma_deref_object (JERRY_CONTEXT (ecma_global_lex_env_p));
|
|
JERRY_CONTEXT (ecma_global_lex_env_p) = NULL;
|
|
} /* ecma_finalize_global_lex_env */
|
|
|
|
/**
|
|
* Get reference to Global lexical environment
|
|
* without increasing its reference count.
|
|
*
|
|
* @return pointer to the object's instance
|
|
*/
|
|
ecma_object_t *
|
|
ecma_get_global_environment (void)
|
|
{
|
|
return JERRY_CONTEXT (ecma_global_lex_env_p);
|
|
} /* ecma_get_global_environment */
|
|
|
|
#if ENABLED (JERRY_ES2015_MODULE_SYSTEM)
|
|
/**
|
|
* Add the lexenv of the newly imported module to the JERRY_CONTEXT.
|
|
*/
|
|
void
|
|
ecma_module_add_lex_env (ecma_object_t *lex_env_p) /**< module lexenv */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL);
|
|
JERRY_ASSERT (ecma_is_lexical_environment (lex_env_p));
|
|
|
|
ecma_module_lex_envs_t *new_module_lex_env_p;
|
|
new_module_lex_env_p = jmem_heap_alloc_block (sizeof (ecma_module_lex_envs_t));
|
|
new_module_lex_env_p->lex_env_p = lex_env_p;
|
|
|
|
new_module_lex_env_p->next_p = JERRY_CONTEXT (ecma_module_lex_envs_p);
|
|
JERRY_CONTEXT (ecma_module_lex_envs_p) = new_module_lex_env_p;
|
|
} /* ecma_module_add_lex_env */
|
|
|
|
/**
|
|
* Finalize the lexenvs of the imported modules and its ECMA components.
|
|
*/
|
|
void
|
|
ecma_module_finalize_lex_envs (void)
|
|
{
|
|
ecma_module_lex_envs_t *module_lex_envs = JERRY_CONTEXT (ecma_module_lex_envs_p);
|
|
|
|
while (module_lex_envs != NULL)
|
|
{
|
|
ecma_module_lex_envs_t *next_p = module_lex_envs->next_p;
|
|
|
|
ecma_deref_object (module_lex_envs->lex_env_p);
|
|
jmem_heap_free_block (module_lex_envs, sizeof (ecma_module_lex_envs_t));
|
|
|
|
module_lex_envs = next_p;
|
|
}
|
|
|
|
JERRY_CONTEXT (ecma_module_lex_envs_p) = NULL;
|
|
} /* ecma_module_finalize_lex_envs */
|
|
#endif /* ENABLED (JERRY_ES2015_MODULE_SYSTEM) */
|
|
|
|
/**
|
|
* @}
|
|
*/
|
|
|
|
/**
|
|
* HasBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return true / false
|
|
*/
|
|
bool
|
|
ecma_op_has_binding (ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_string_t *name_p) /**< argument N */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
|
|
ecma_lexical_environment_type_t lex_env_type = ecma_get_lex_env_type (lex_env_p);
|
|
|
|
if (lex_env_type == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE)
|
|
{
|
|
ecma_property_t *property_p = ecma_find_named_property (lex_env_p, name_p);
|
|
|
|
return (property_p != NULL);
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (lex_env_type == ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
|
|
ecma_object_t *binding_obj_p = ecma_get_lex_env_binding_object (lex_env_p);
|
|
|
|
return ecma_op_object_has_property (binding_obj_p, name_p);
|
|
}
|
|
} /* ecma_op_has_binding */
|
|
|
|
/**
|
|
* CreateMutableBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_create_mutable_binding (ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_string_t *name_p, /**< argument N */
|
|
bool is_deletable) /**< argument D */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
JERRY_ASSERT (name_p != NULL);
|
|
|
|
if (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE)
|
|
{
|
|
uint8_t prop_attributes = ECMA_PROPERTY_FLAG_WRITABLE;
|
|
|
|
if (is_deletable)
|
|
{
|
|
prop_attributes = (uint8_t) (prop_attributes | ECMA_PROPERTY_FLAG_CONFIGURABLE);
|
|
}
|
|
|
|
ecma_create_named_data_property (lex_env_p,
|
|
name_p,
|
|
prop_attributes,
|
|
NULL);
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
|
|
ecma_object_t *binding_obj_p = ecma_get_lex_env_binding_object (lex_env_p);
|
|
|
|
ecma_value_t completion;
|
|
if (!ecma_get_object_extensible (binding_obj_p))
|
|
{
|
|
return ECMA_VALUE_EMPTY;
|
|
}
|
|
|
|
completion = ecma_builtin_helper_def_prop (binding_obj_p,
|
|
name_p,
|
|
ECMA_VALUE_UNDEFINED,
|
|
is_deletable ? ECMA_PROPERTY_CONFIGURABLE_ENUMERABLE_WRITABLE
|
|
: ECMA_PROPERTY_ENUMERABLE_WRITABLE,
|
|
true); /* Failure handling */
|
|
|
|
if (ECMA_IS_VALUE_ERROR (completion))
|
|
{
|
|
return completion;
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ecma_is_value_boolean (completion));
|
|
}
|
|
}
|
|
|
|
return ECMA_VALUE_EMPTY;
|
|
} /* ecma_op_create_mutable_binding */
|
|
|
|
/**
|
|
* SetMutableBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_set_mutable_binding (ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_string_t *name_p, /**< argument N */
|
|
ecma_value_t value, /**< argument V */
|
|
bool is_strict) /**< argument S */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
JERRY_ASSERT (name_p != NULL);
|
|
|
|
if (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE)
|
|
{
|
|
ecma_property_t *property_p = ecma_find_named_property (lex_env_p, name_p);
|
|
|
|
JERRY_ASSERT (property_p != NULL
|
|
&& ECMA_PROPERTY_GET_TYPE (*property_p) == ECMA_PROPERTY_TYPE_NAMEDDATA);
|
|
|
|
if (ecma_is_property_writable (*property_p))
|
|
{
|
|
ecma_named_data_property_assign_value (lex_env_p, ECMA_PROPERTY_VALUE_PTR (property_p), value);
|
|
}
|
|
else if (is_strict)
|
|
{
|
|
return ecma_raise_type_error (ECMA_ERR_MSG ("Binding cannot be set."));
|
|
}
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
|
|
ecma_object_t *binding_obj_p = ecma_get_lex_env_binding_object (lex_env_p);
|
|
|
|
ecma_value_t completion = ecma_op_object_put (binding_obj_p,
|
|
name_p,
|
|
value,
|
|
is_strict);
|
|
|
|
if (ECMA_IS_VALUE_ERROR (completion))
|
|
{
|
|
return completion;
|
|
}
|
|
|
|
JERRY_ASSERT (ecma_is_value_boolean (completion));
|
|
}
|
|
|
|
return ECMA_VALUE_EMPTY;
|
|
} /* ecma_op_set_mutable_binding */
|
|
|
|
/**
|
|
* GetBindingValue operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_get_binding_value (ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_string_t *name_p, /**< argument N */
|
|
bool is_strict) /**< argument S */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
JERRY_ASSERT (name_p != NULL);
|
|
|
|
if (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE)
|
|
{
|
|
ecma_property_value_t *prop_value_p = ecma_get_named_data_property (lex_env_p, name_p);
|
|
|
|
return ecma_copy_value (prop_value_p->value);
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
|
|
ecma_object_t *binding_obj_p = ecma_get_lex_env_binding_object (lex_env_p);
|
|
|
|
ecma_value_t result = ecma_op_object_find (binding_obj_p, name_p);
|
|
|
|
if (!ecma_is_value_found (result))
|
|
{
|
|
if (is_strict)
|
|
{
|
|
result = ecma_raise_reference_error (ECMA_ERR_MSG ("Binding does not exist or is uninitialised."));
|
|
}
|
|
else
|
|
{
|
|
result = ECMA_VALUE_UNDEFINED;
|
|
}
|
|
}
|
|
|
|
return result;
|
|
}
|
|
} /* ecma_op_get_binding_value */
|
|
|
|
/**
|
|
* DeleteBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return ecma value
|
|
* Return value is simple and so need not be freed.
|
|
* However, ecma_free_value may be called for it, but it is a no-op.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_delete_binding (ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_string_t *name_p) /**< argument N */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
JERRY_ASSERT (name_p != NULL);
|
|
|
|
|
|
if (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE)
|
|
{
|
|
ecma_property_t *prop_p = ecma_find_named_property (lex_env_p, name_p);
|
|
ecma_value_t ret_val;
|
|
|
|
if (prop_p == NULL)
|
|
{
|
|
ret_val = ECMA_VALUE_TRUE;
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ECMA_PROPERTY_GET_TYPE (*prop_p) == ECMA_PROPERTY_TYPE_NAMEDDATA);
|
|
|
|
if (!ecma_is_property_configurable (*prop_p))
|
|
{
|
|
ret_val = ECMA_VALUE_FALSE;
|
|
}
|
|
else
|
|
{
|
|
ecma_delete_property (lex_env_p, ECMA_PROPERTY_VALUE_PTR (prop_p));
|
|
|
|
ret_val = ECMA_VALUE_TRUE;
|
|
}
|
|
}
|
|
|
|
return ret_val;
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
|
|
ecma_object_t *binding_obj_p = ecma_get_lex_env_binding_object (lex_env_p);
|
|
|
|
return ecma_op_object_delete (binding_obj_p, name_p, false);
|
|
}
|
|
} /* ecma_op_delete_binding */
|
|
|
|
/**
|
|
* ImplicitThisValue operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return ecma value
|
|
* Returned value must be freed with ecma_free_value.
|
|
*/
|
|
ecma_value_t
|
|
ecma_op_implicit_this_value (ecma_object_t *lex_env_p) /**< lexical environment */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
|
|
if (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE)
|
|
{
|
|
return ECMA_VALUE_UNDEFINED;
|
|
}
|
|
else
|
|
{
|
|
JERRY_ASSERT (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_THIS_OBJECT_BOUND);
|
|
|
|
ecma_object_t *binding_obj_p = ecma_get_lex_env_binding_object (lex_env_p);
|
|
ecma_ref_object (binding_obj_p);
|
|
|
|
return ecma_make_object_value (binding_obj_p);
|
|
}
|
|
} /* ecma_op_implicit_this_value */
|
|
|
|
/**
|
|
* CreateImmutableBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*/
|
|
void
|
|
ecma_op_create_immutable_binding (ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_string_t *name_p, /**< argument N */
|
|
ecma_value_t value) /**< argument V */
|
|
{
|
|
JERRY_ASSERT (lex_env_p != NULL
|
|
&& ecma_is_lexical_environment (lex_env_p));
|
|
JERRY_ASSERT (ecma_get_lex_env_type (lex_env_p) == ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE);
|
|
|
|
/*
|
|
* Warning:
|
|
* Whether immutable bindings are deletable seems not to be defined by ECMA v5.
|
|
*/
|
|
ecma_property_value_t *prop_value_p = ecma_create_named_data_property (lex_env_p,
|
|
name_p,
|
|
ECMA_PROPERTY_FIXED,
|
|
NULL);
|
|
|
|
prop_value_p->value = ecma_copy_value_if_not_object (value);
|
|
} /* ecma_op_create_immutable_binding */
|
|
|
|
/**
|
|
* @}
|
|
* @}
|
|
*/
|