Ruben Ayrapetyan
383 lines
12 KiB
C
383 lines
12 KiB
C
/* 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-globals.h"
|
|
#include "ecma-helpers.h"
|
|
#include "ecma-lex-env.h"
|
|
#include "globals.h"
|
|
|
|
/** \addtogroup ecma ---TODO---
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* \addtogroup lexicalenvironment Lexical environment
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* HasBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return completion value
|
|
* Return value is simple and so need not be freed.
|
|
* However, ecma_free_completion_value may be called for it, but it is a no-op.
|
|
*/
|
|
ecma_completion_value_t
|
|
ecma_op_has_binding(ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_char_t *name_p) /**< argument N */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
|
|
ecma_simple_value_t has_binding = ECMA_SIMPLE_VALUE_UNDEFINED;
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
ecma_property_t *property_p = ecma_find_named_property( lex_env_p, name_p);
|
|
|
|
has_binding = ( property_p != NULL ) ? ECMA_SIMPLE_VALUE_TRUE
|
|
: ECMA_SIMPLE_VALUE_FALSE;
|
|
|
|
break;
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNIMPLEMENTED();
|
|
}
|
|
}
|
|
|
|
return ecma_make_completion_value(ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_make_simple_value( has_binding),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
} /* ecma_op_has_binding */
|
|
|
|
/**
|
|
* CreateMutableBinding operation.
|
|
*
|
|
* see also: ecma-262 v5, 10.2.1
|
|
*
|
|
* @return completion value
|
|
* Return value is simple and so need not be freed.
|
|
* However, ecma_free_completion_value may be called for it, but it is a no-op.
|
|
*/
|
|
ecma_completion_value_t
|
|
ecma_op_create_mutable_binding(ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_char_t *name_p, /**< argument N */
|
|
bool is_deletable) /**< argument D */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
JERRY_ASSERT( name_p != NULL );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
JERRY_ASSERT( ecma_is_completion_value_normal_false( ecma_op_has_binding( lex_env_p, name_p)) );
|
|
|
|
ecma_create_named_property( lex_env_p,
|
|
name_p,
|
|
ECMA_PROPERTY_WRITABLE,
|
|
ECMA_PROPERTY_NOT_ENUMERABLE,
|
|
is_deletable ? ECMA_PROPERTY_CONFIGURABLE
|
|
: ECMA_PROPERTY_NOT_CONFIGURABLE);
|
|
|
|
|
|
break;
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNIMPLEMENTED();
|
|
}
|
|
}
|
|
|
|
return ecma_make_completion_value( ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_make_simple_value( ECMA_SIMPLE_VALUE_EMPTY),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
} /* ecma_op_create_mutable_binding */
|
|
|
|
/**
|
|
* SetMutableBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return completion value
|
|
* Returned value must be freed with ecma_free_completion_value.
|
|
*/
|
|
ecma_completion_value_t
|
|
ecma_op_set_mutable_binding(ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_char_t *name_p, /**< argument N */
|
|
ecma_value_t value, /**< argument V */
|
|
bool is_strict) /**< argument S */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
JERRY_ASSERT( name_p != NULL );
|
|
|
|
JERRY_ASSERT( ecma_is_completion_value_normal_true( ecma_op_has_binding( lex_env_p, name_p)) );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
ecma_property_t *property_p = ecma_get_named_data_property( lex_env_p, name_p);
|
|
|
|
if ( property_p->u.NamedDataProperty.Writable == ECMA_PROPERTY_WRITABLE )
|
|
{
|
|
ecma_free_value( property_p->u.NamedDataProperty.Value);
|
|
property_p->u.NamedDataProperty.Value = ecma_copy_value( value);
|
|
} else if ( is_strict )
|
|
{
|
|
return ecma_make_throw_value( ecma_new_standard_error( ECMA_ERROR_TYPE));
|
|
}
|
|
|
|
break;
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNIMPLEMENTED();
|
|
}
|
|
}
|
|
|
|
return ecma_make_completion_value( ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_make_simple_value( ECMA_SIMPLE_VALUE_EMPTY),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
} /* ecma_op_set_mutable_binding */
|
|
|
|
/**
|
|
* GetBindingValue operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return completion value
|
|
* Returned value must be freed with ecma_free_completion_value.
|
|
*/
|
|
ecma_completion_value_t
|
|
ecma_op_get_binding_value(ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_char_t *name_p, /**< argument N */
|
|
bool is_strict) /**< argument S */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
JERRY_ASSERT( name_p != NULL );
|
|
|
|
JERRY_ASSERT( ecma_is_completion_value_normal_true( ecma_op_has_binding( lex_env_p, name_p)) );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
ecma_property_t *property_p = ecma_get_named_data_property( lex_env_p, name_p);
|
|
|
|
ecma_value_t prop_value = property_p->u.NamedDataProperty.Value;
|
|
|
|
/* is the binding mutable? */
|
|
if ( property_p->u.NamedDataProperty.Writable == ECMA_PROPERTY_WRITABLE )
|
|
{
|
|
return ecma_make_completion_value( ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_copy_value( prop_value),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
} else if ( prop_value.ValueType == ECMA_TYPE_SIMPLE
|
|
&& prop_value.Value == ECMA_SIMPLE_VALUE_EMPTY )
|
|
{
|
|
/* unitialized immutable binding */
|
|
if ( is_strict )
|
|
{
|
|
return ecma_make_throw_value( ecma_new_standard_error( ECMA_ERROR_REFERENCE));
|
|
} else
|
|
{
|
|
return ecma_make_completion_value( ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_make_simple_value( ECMA_SIMPLE_VALUE_UNDEFINED),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
}
|
|
}
|
|
|
|
break;
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNIMPLEMENTED();
|
|
}
|
|
}
|
|
|
|
JERRY_UNREACHABLE();
|
|
} /* ecma_op_get_binding_value */
|
|
|
|
/**
|
|
* DeleteBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return completion value
|
|
* Return value is simple and so need not be freed.
|
|
* However, ecma_free_completion_value may be called for it, but it is a no-op.
|
|
*/
|
|
ecma_completion_value_t
|
|
ecma_op_delete_binding(ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_char_t *name_p) /**< argument N */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
JERRY_ASSERT( name_p != NULL );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
ecma_property_t *prop_p = ecma_find_named_property( lex_env_p, name_p);
|
|
ecma_simple_value_t ret_val;
|
|
|
|
if ( prop_p == NULL )
|
|
{
|
|
ret_val = ECMA_SIMPLE_VALUE_TRUE;
|
|
} else
|
|
{
|
|
JERRY_ASSERT( prop_p->Type == ECMA_PROPERTY_NAMEDDATA );
|
|
|
|
if ( prop_p->u.NamedDataProperty.Configurable == ECMA_PROPERTY_NOT_CONFIGURABLE )
|
|
{
|
|
ret_val = ECMA_SIMPLE_VALUE_FALSE;
|
|
} else
|
|
{
|
|
ecma_delete_property( lex_env_p, prop_p);
|
|
|
|
ret_val = ECMA_SIMPLE_VALUE_TRUE;
|
|
}
|
|
}
|
|
|
|
return ecma_make_completion_value( ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_make_simple_value( ret_val),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNIMPLEMENTED();
|
|
}
|
|
}
|
|
|
|
JERRY_UNREACHABLE();
|
|
} /* ecma_op_delete_binding */
|
|
|
|
/**
|
|
* ImplicitThisValue operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*
|
|
* @return completion value
|
|
* Returned value must be freed with ecma_free_completion_value.
|
|
*/
|
|
ecma_completion_value_t
|
|
ecma_op_implicit_this_value( ecma_object_t *lex_env_p) /**< lexical environment */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
return ecma_make_completion_value( ECMA_COMPLETION_TYPE_NORMAL,
|
|
ecma_make_simple_value( ECMA_SIMPLE_VALUE_UNDEFINED),
|
|
ECMA_TARGET_ID_RESERVED);
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNIMPLEMENTED();
|
|
}
|
|
}
|
|
|
|
JERRY_UNREACHABLE();
|
|
} /* 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_char_t *name_p) /**< argument N */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
JERRY_ASSERT( ecma_is_completion_value_normal_false( ecma_op_has_binding( lex_env_p, name_p)) );
|
|
|
|
/*
|
|
* Warning:
|
|
* Whether immutable bindings are deletable seems not to be defined by ECMA v5.
|
|
*/
|
|
ecma_property_t *prop_p = ecma_create_named_property( lex_env_p,
|
|
name_p,
|
|
ECMA_PROPERTY_NOT_WRITABLE,
|
|
ECMA_PROPERTY_NOT_ENUMERABLE,
|
|
ECMA_PROPERTY_NOT_CONFIGURABLE);
|
|
|
|
JERRY_ASSERT( prop_p->u.NamedDataProperty.Value.ValueType == ECMA_TYPE_SIMPLE );
|
|
|
|
prop_p->u.NamedDataProperty.Value.Value = ECMA_SIMPLE_VALUE_EMPTY;
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNREACHABLE();
|
|
}
|
|
}
|
|
|
|
JERRY_UNREACHABLE();
|
|
} /* ecma_op_create_immutable_binding */
|
|
|
|
/**
|
|
* InitializeImmutableBinding operation.
|
|
*
|
|
* See also: ECMA-262 v5, 10.2.1
|
|
*/
|
|
void
|
|
ecma_op_initialize_immutable_binding(ecma_object_t *lex_env_p, /**< lexical environment */
|
|
ecma_char_t *name_p, /**< argument N */
|
|
ecma_value_t value) /**< argument V */
|
|
{
|
|
JERRY_ASSERT( lex_env_p != NULL && lex_env_p->IsLexicalEnvironment );
|
|
|
|
switch ( (ecma_lexical_environment_type_t) lex_env_p->u.LexicalEnvironment.Type )
|
|
{
|
|
case ECMA_LEXICAL_ENVIRONMENT_DECLARATIVE:
|
|
{
|
|
JERRY_ASSERT( ecma_is_completion_value_normal_true( ecma_op_has_binding( lex_env_p, name_p)) );
|
|
|
|
ecma_property_t *prop_p = ecma_get_named_data_property( lex_env_p, name_p);
|
|
|
|
/* The binding must be unitialized immutable binding */
|
|
JERRY_ASSERT( prop_p->u.NamedDataProperty.Writable == ECMA_PROPERTY_NOT_WRITABLE
|
|
&& prop_p->u.NamedDataProperty.Value.ValueType == ECMA_TYPE_SIMPLE
|
|
&& prop_p->u.NamedDataProperty.Value.Value == ECMA_SIMPLE_VALUE_EMPTY );
|
|
|
|
prop_p->u.NamedDataProperty.Value = ecma_copy_value( value);
|
|
}
|
|
case ECMA_LEXICAL_ENVIRONMENT_OBJECTBOUND:
|
|
{
|
|
JERRY_UNREACHABLE();
|
|
}
|
|
}
|
|
|
|
JERRY_UNREACHABLE();
|
|
} /* ecma_op_initialize_immutable_binding */
|
|
|
|
/**
|
|
* @}
|
|
* @}
|
|
*/
|