duk_js_var.c File Reference

#include "duk_internal.h"

Go to the source code of this file.

Data Structures
struct	duk__id_lookup_result

Functions
DUK_LOCAL void	duk__inc_data_inner_refcounts (duk_hthread *thr, duk_hcompiledfunction *f)
DUK_INTERNAL void	duk_js_push_closure (duk_hthread *thr, duk_hcompiledfunction *fun_temp, duk_hobject *outer_var_env, duk_hobject *outer_lex_env, duk_bool_t add_auto_proto)
DUK_INTERNAL duk_hobject *	duk_create_activation_environment_record (duk_hthread *thr, duk_hobject *func, duk_size_t idx_bottom)
DUK_INTERNAL void	duk_js_init_activation_environment_records_delayed (duk_hthread *thr, duk_activation *act)
DUK_INTERNAL void	duk_js_close_environment_record (duk_hthread *thr, duk_hobject *env, duk_hobject *func, duk_size_t regbase)
DUK_LOCAL duk_bool_t	duk__getid_open_decl_env_regs (duk_hthread *thr, duk_hstring *name, duk_hobject *env, duk__id_lookup_result *out)
DUK_LOCAL duk_bool_t	duk__getid_activation_regs (duk_hthread *thr, duk_hstring *name, duk_activation *act, duk__id_lookup_result *out)
DUK_LOCAL duk_bool_t	duk__get_identifier_reference (duk_hthread *thr, duk_hobject *env, duk_hstring *name, duk_activation *act, duk_bool_t parents, duk__id_lookup_result *out)
DUK_LOCAL duk_bool_t	duk__getvar_helper (duk_hthread *thr, duk_hobject *env, duk_activation *act, duk_hstring *name, duk_bool_t throw_flag)
DUK_INTERNAL duk_bool_t	duk_js_getvar_envrec (duk_hthread *thr, duk_hobject *env, duk_hstring *name, duk_bool_t throw_flag)
DUK_INTERNAL duk_bool_t	duk_js_getvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name, duk_bool_t throw_flag)
DUK_LOCAL void	duk__putvar_helper (duk_hthread *thr, duk_hobject *env, duk_activation *act, duk_hstring *name, duk_tval *val, duk_bool_t strict)
DUK_INTERNAL void	duk_js_putvar_envrec (duk_hthread *thr, duk_hobject *env, duk_hstring *name, duk_tval *val, duk_bool_t strict)
DUK_INTERNAL void	duk_js_putvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name, duk_tval *val, duk_bool_t strict)
DUK_LOCAL duk_bool_t	duk__delvar_helper (duk_hthread *thr, duk_hobject *env, duk_activation *act, duk_hstring *name)
DUK_INTERNAL duk_bool_t	duk_js_delvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name)
DUK_LOCAL duk_bool_t	duk__declvar_helper (duk_hthread *thr, duk_hobject *env, duk_hstring *name, duk_tval *val, duk_small_int_t prop_flags, duk_bool_t is_func_decl)
DUK_INTERNAL duk_bool_t	duk_js_declvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name, duk_tval *val, duk_small_int_t prop_flags, duk_bool_t is_func_decl)

Variables
DUK_LOCAL const duk_uint16_t	duk__closure_copy_proplist []

Function Documentation

duk__declvar_helper()

DUK_LOCAL duk_bool_t duk__declvar_helper	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_hstring *	name,
		duk_tval *	val,
		duk_small_int_t	prop_flags,
		duk_bool_t	is_func_decl )

Definition at line 1556 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                        {
    duk_context *ctx = (duk_context *) thr;
    duk_hobject *holder;
    duk_bool_t parents;
    duk__id_lookup_result ref;
    duk_tval *tv;
 
    DUK_DDD(DUK_DDDPRINT("declvar: thr=%p, env=%p, name=%!O, val=%!T, prop_flags=0x%08lx, is_func_decl=%ld "
                         "(env -> %!iO)",
                         (void *) thr, (void *) env, (duk_heaphdr *) name,
                         (duk_tval *) val, (unsigned long) prop_flags,
                         (unsigned int) is_func_decl, (duk_heaphdr *) env));
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(env != NULL);
    DUK_ASSERT(name != NULL);
    DUK_ASSERT(val != NULL);
 
    /* Note: in strict mode the compiler should reject explicit
     * declaration of 'eval' or 'arguments'.  However, internal
     * bytecode may declare 'arguments' in the function prologue.
     * We don't bother checking (or asserting) for these now.
     */
 
    /* Note: val is a stable duk_tval pointer.  The caller makes
     * a value copy into its stack frame, so 'tv_val' is not subject
     * to side effects here.
     */
 
    /*
     *  Check whether already declared.
     *
     *  We need to check whether the binding exists in the environment
     *  without walking its parents.  However, we still need to check
     *  register-bound identifiers and the prototype chain of an object
     *  environment target object.
     */
 
    parents = 0;  /* just check 'env' */
    if (duk__get_identifier_reference(thr, env, name, NULL, parents, &ref)) {
        duk_int_t e_idx;
        duk_int_t h_idx;
        duk_small_int_t flags;
 
        /*
         *  Variable already declared, ignore re-declaration.
         *  The only exception is the updated behavior of E5.1 for
         *  global function declarations, E5.1 Section 10.5, step 5.e.
         *  This behavior does not apply to global variable declarations.
         */
 
        if (!(is_func_decl && env == thr->builtins[DUK_BIDX_GLOBAL_ENV])) {
            DUK_DDD(DUK_DDDPRINT("re-declare a binding, ignoring"));
            return 1;  /* 1 -> needs a PUTVAR */
        }
 
        /*
         *  Special behavior in E5.1.
         *
         *  Note that even though parents == 0, the conflicting property
         *  may be an inherited property (currently our global object's
         *  prototype is Object.prototype).  Step 5.e first operates on
         *  the existing property (which is potentially in an ancestor)
         *  and then defines a new property in the global object (and
         *  never modifies the ancestor).
         *
         *  Also note that this logic would become even more complicated
         *  if the conflicting property might be a virtual one.  Object
         *  prototype has no virtual properties, though.
         *
         *  XXX: this is now very awkward, rework.
         */
 
        DUK_DDD(DUK_DDDPRINT("re-declare a function binding in global object, "
                             "updated E5.1 processing"));
 
        DUK_ASSERT(ref.holder != NULL);
        holder = ref.holder;
 
        /* holder will be set to the target object, not the actual object
         * where the property was found (see duk__get_identifier_reference()).
         */
        DUK_ASSERT(DUK_HOBJECT_GET_CLASS_NUMBER(holder) == DUK_HOBJECT_CLASS_GLOBAL);
        DUK_ASSERT(!DUK_HOBJECT_HAS_EXOTIC_ARRAY(holder));  /* global object doesn't have array part */
 
        /* XXX: use a helper for prototype traversal; no loop check here */
        /* must be found: was found earlier, and cannot be inherited */
        for (;;) {
            DUK_ASSERT(holder != NULL);
            duk_hobject_find_existing_entry(thr->heap, holder, name, &e_idx, &h_idx);
            if (e_idx >= 0) {
                break;
            }
            /* SCANBUILD: NULL pointer dereference, doesn't actually trigger,
             * asserted above.
             */
            holder = DUK_HOBJECT_GET_PROTOTYPE(thr->heap, holder);
        }
        DUK_ASSERT(holder != NULL);
        DUK_ASSERT(e_idx >= 0);
        /* SCANBUILD: scan-build produces a NULL pointer dereference warning
         * below; it never actually triggers because holder is actually never
         * NULL.
         */
 
        /* ref.holder is global object, holder is the object with the
         * conflicting property.
         */
 
        flags = DUK_HOBJECT_E_GET_FLAGS(thr->heap, holder, e_idx);
        if (!(flags & DUK_PROPDESC_FLAG_CONFIGURABLE)) {
            if (flags & DUK_PROPDESC_FLAG_ACCESSOR) {
                DUK_DDD(DUK_DDDPRINT("existing property is a non-configurable "
                                     "accessor -> reject"));
                goto fail_existing_attributes;
            }
            if (!((flags & DUK_PROPDESC_FLAG_WRITABLE) &&
                  (flags & DUK_PROPDESC_FLAG_ENUMERABLE))) {
                DUK_DDD(DUK_DDDPRINT("existing property is a non-configurable "
                                     "plain property which is not writable and "
                                     "enumerable -> reject"));
                goto fail_existing_attributes;
            }
 
            DUK_DDD(DUK_DDDPRINT("existing property is not configurable but "
                                 "is plain, enumerable, and writable -> "
                                 "allow redeclaration"));
        }
 
        if (holder == ref.holder) {
            /* XXX: if duk_hobject_define_property_internal() was updated
             * to handle a pre-existing accessor property, this would be
             * a simple call (like for the ancestor case).
             */
            DUK_DDD(DUK_DDDPRINT("redefine, offending property in global object itself"));
 
            if (flags & DUK_PROPDESC_FLAG_ACCESSOR) {
                duk_hobject *tmp;
 
                tmp = DUK_HOBJECT_E_GET_VALUE_GETTER(thr->heap, holder, e_idx);
                DUK_HOBJECT_E_SET_VALUE_GETTER(thr->heap, holder, e_idx, NULL);
                DUK_HOBJECT_DECREF_ALLOWNULL(thr, tmp);
                DUK_UNREF(tmp);
                tmp = DUK_HOBJECT_E_GET_VALUE_SETTER(thr->heap, holder, e_idx);
                DUK_HOBJECT_E_SET_VALUE_SETTER(thr->heap, holder, e_idx, NULL);
                DUK_HOBJECT_DECREF_ALLOWNULL(thr, tmp);
                DUK_UNREF(tmp);
            } else {
                tv = DUK_HOBJECT_E_GET_VALUE_TVAL_PTR(thr->heap, holder, e_idx);
                DUK_TVAL_SET_UNDEFINED_UPDREF(thr, tv);
            }
 
            /* Here val would be potentially invalid if we didn't make
             * a value copy at the caller.
             */
 
            tv = DUK_HOBJECT_E_GET_VALUE_TVAL_PTR(thr->heap, holder, e_idx);
            DUK_TVAL_SET_TVAL(tv, val);
            DUK_TVAL_INCREF(thr, tv);
            DUK_HOBJECT_E_SET_FLAGS(thr->heap, holder, e_idx, prop_flags);
 
            DUK_DDD(DUK_DDDPRINT("updated global binding, final result: "
                                 "value -> %!T, prop_flags=0x%08lx",
                                 (duk_tval *) DUK_HOBJECT_E_GET_VALUE_TVAL_PTR(thr->heap, holder, e_idx),
                                 (unsigned long) prop_flags));
        } else {
            DUK_DDD(DUK_DDDPRINT("redefine, offending property in ancestor"));
 
            DUK_ASSERT(ref.holder == thr->builtins[DUK_BIDX_GLOBAL]);
            duk_push_tval(ctx, val);
            duk_hobject_define_property_internal(thr, ref.holder, name, prop_flags);
        }
 
        return 0;
    }
 
    /*
     *  Not found (in registers or record objects).  Declare
     *  to current variable environment.
     */
 
    /*
     *  Get holder object
     */
 
    if (DUK_HOBJECT_IS_DECENV(env)) {
        holder = env;
    } else {
        DUK_ASSERT(DUK_HOBJECT_IS_OBJENV(env));
 
        tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_TARGET(thr));
        DUK_ASSERT(tv != NULL);
        DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
        holder = DUK_TVAL_GET_OBJECT(tv);
        DUK_ASSERT(holder != NULL);
    }
 
    /*
     *  Define new property
     *
     *  Note: this may fail if the holder is not extensible.
     */
 
    /* XXX: this is awkward as we use an internal method which doesn't handle
     * extensibility etc correctly.  Basically we'd want to do a [[DefineOwnProperty]]
     * or Object.defineProperty() here.
     */
 
    if (!DUK_HOBJECT_HAS_EXTENSIBLE(holder)) {
        goto fail_not_extensible;
    }
 
    duk_push_hobject(ctx, holder);
    duk_push_hstring(ctx, name);
    duk_push_tval(ctx, val);
    duk_xdef_prop(ctx, -3, prop_flags);  /* [holder name val] -> [holder] */
    duk_pop(ctx);
 
    return 0;
 
 fail_existing_attributes:
 fail_not_extensible:
    DUK_ERROR_TYPE(thr, "declaration failed");
    return 0;
}

References duk_hthread::builtins, duk__get_identifier_reference(), DUK_ASSERT, DUK_BIDX_GLOBAL, DUK_BIDX_GLOBAL_ENV, DUK_DDD, DUK_DDDPRINT, DUK_ERROR_TYPE, DUK_HOBJECT_CLASS_GLOBAL, DUK_HOBJECT_DECREF_ALLOWNULL, duk_hobject_define_property_internal(), DUK_HOBJECT_E_GET_FLAGS, DUK_HOBJECT_E_GET_VALUE_GETTER, DUK_HOBJECT_E_GET_VALUE_SETTER, DUK_HOBJECT_E_GET_VALUE_TVAL_PTR, DUK_HOBJECT_E_SET_FLAGS, DUK_HOBJECT_E_SET_VALUE_GETTER, DUK_HOBJECT_E_SET_VALUE_SETTER, duk_hobject_find_existing_entry(), duk_hobject_find_existing_entry_tval_ptr(), DUK_HOBJECT_GET_CLASS_NUMBER, DUK_HOBJECT_GET_PROTOTYPE, DUK_HOBJECT_HAS_EXOTIC_ARRAY, DUK_HOBJECT_HAS_EXTENSIBLE, DUK_HOBJECT_IS_DECENV, DUK_HOBJECT_IS_OBJENV, DUK_HTHREAD_STRING_INT_TARGET, duk_pop(), DUK_PROPDESC_FLAG_ACCESSOR, DUK_PROPDESC_FLAG_CONFIGURABLE, DUK_PROPDESC_FLAG_ENUMERABLE, DUK_PROPDESC_FLAG_WRITABLE, duk_push_hobject(), duk_push_hstring(), duk_push_tval(), DUK_TVAL_GET_OBJECT, DUK_TVAL_INCREF, DUK_TVAL_IS_OBJECT, DUK_TVAL_SET_TVAL, DUK_TVAL_SET_UNDEFINED_UPDREF, DUK_UNREF, duk_xdef_prop(), duk_hthread::heap, duk__id_lookup_result::holder, name, and NULL.

Referenced by duk_js_declvar_activation().

duk__delvar_helper()

DUK_LOCAL duk_bool_t duk__delvar_helper	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_activation *	act,
		duk_hstring *	name )

Definition at line 1442 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                 {
    duk__id_lookup_result ref;
    duk_bool_t parents;
 
    DUK_DDD(DUK_DDDPRINT("delvar: thr=%p, env=%p, act=%p, name=%!O "
                         "(env -> %!dO)",
                         (void *) thr, (void *) env, (void *) act,
                         (duk_heaphdr *) name, (duk_heaphdr *) env));
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(name != NULL);
    /* env and act may be NULL */
 
        DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR(name);
 
    parents = 1;     /* follow parent chain */
 
    if (duk__get_identifier_reference(thr, env, name, act, parents, &ref)) {
        if (ref.value && !(ref.attrs & DUK_PROPDESC_FLAG_CONFIGURABLE)) {
            /* Identifier found in registers (always non-deletable)
             * or declarative environment record and non-configurable.
             */
            return 0;
        }
        DUK_ASSERT(ref.holder != NULL);
 
        return duk_hobject_delprop_raw(thr, ref.holder, name, 0);
    }
 
    /*
     *  Not found (even in global object).
     *
     *  In non-strict mode this is a silent SUCCESS (!), see E5 Section 11.4.1,
     *  step 3.b.  In strict mode this case is a compile time SyntaxError so
     *  we should not come here.
     */
 
    DUK_DDD(DUK_DDDPRINT("identifier to be deleted not found: name=%!O "
                         "(treated as silent success)",
                         (duk_heaphdr *) name));
    return 1;
}

References duk__id_lookup_result::attrs, duk__get_identifier_reference(), DUK_ASSERT, DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR, DUK_DDD, DUK_DDDPRINT, duk_hobject_delprop_raw(), DUK_PROPDESC_FLAG_CONFIGURABLE, duk__id_lookup_result::holder, name, NULL, and duk__id_lookup_result::value.

Referenced by duk_js_delvar_activation().

duk__get_identifier_reference()

DUK_LOCAL duk_bool_t duk__get_identifier_reference	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_hstring *	name,
		duk_activation *	act,
		duk_bool_t	parents,
		duk__id_lookup_result *	out )

Definition at line 891 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                     {
    duk_tval *tv;
    duk_tval *tv_target;
    duk_tval tv_name;
    duk_uint_t sanity;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(env != NULL || act != NULL);
    DUK_ASSERT(name != NULL);
    DUK_ASSERT(out != NULL);
 
    DUK_ASSERT(!env || DUK_HOBJECT_IS_ENV(env));
    DUK_ASSERT(!env || !DUK_HOBJECT_HAS_ARRAY_PART(env));
 
    /*
     *  Conceptually, we look for the identifier binding by starting from
     *  'env' and following to chain of environment records (represented
     *  by the prototype chain).
     *
     *  If 'env' is NULL, the current activation does not yet have an
     *  allocated declarative environment record; this should be treated
     *  exactly as if the environment record existed but had no bindings
     *  other than register bindings.
     *
     *  Note: we assume that with the DUK_HOBJECT_FLAG_NEWENV cleared
     *  the environment will always be initialized immediately; hence
     *  a NULL 'env' should only happen with the flag set.  This is the
     *  case for: (1) function calls, and (2) strict, direct eval calls.
     */
 
    if (env == NULL && act != NULL) {
        duk_hobject *func;
 
        DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference: env is NULL, activation is non-NULL -> "
                             "delayed env case, look up activation regs first"));
 
        /*
         *  Try registers
         */
 
        if (duk__getid_activation_regs(thr, name, act, out)) {
            DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference successful: "
                                 "name=%!O -> value=%!T, attrs=%ld, this=%!T, env=%!O, holder=%!O "
                                 "(found from register bindings when env=NULL)",
                                 (duk_heaphdr *) name, (duk_tval *) out->value,
                                 (long) out->attrs, (duk_tval *) out->this_binding,
                                 (duk_heaphdr *) out->env, (duk_heaphdr *) out->holder));
            return 1;
        }
 
        DUK_DDD(DUK_DDDPRINT("not found in current activation regs"));
 
        /*
         *  Not found in registers, proceed to the parent record.
         *  Here we need to determine what the parent would be,
         *  if 'env' was not NULL (i.e. same logic as when initializing
         *  the record).
         *
         *  Note that environment initialization is only deferred when
         *  DUK_HOBJECT_HAS_NEWENV is set, and this only happens for:
         *    - Function code
         *    - Strict eval code
         *
         *  We only need to check _Lexenv here; _Varenv exists only if it
         *  differs from _Lexenv (and thus _Lexenv will also be present).
         */
 
        if (!parents) {
            DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference failed, no parent traversal "
                                 "(not found from register bindings when env=NULL)"));
            goto fail_not_found;
        }
 
        func = DUK_ACT_GET_FUNC(act);
        DUK_ASSERT(func != NULL);
        DUK_ASSERT(DUK_HOBJECT_HAS_NEWENV(func));
 
        tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, func, DUK_HTHREAD_STRING_INT_LEXENV(thr));
        if (tv) {
            DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
            env = DUK_TVAL_GET_OBJECT(tv);
        } else {
            DUK_ASSERT(duk_hobject_find_existing_entry_tval_ptr(thr->heap, func, DUK_HTHREAD_STRING_INT_VARENV(thr)) == NULL);
            env = thr->builtins[DUK_BIDX_GLOBAL_ENV];
        }
 
        DUK_DDD(DUK_DDDPRINT("continue lookup from env: %!iO",
                             (duk_heaphdr *) env));
    }
 
    /*
     *  Prototype walking starting from 'env'.
     *
     *  ('act' is not needed anywhere here.)
     */
 
    sanity = DUK_HOBJECT_PROTOTYPE_CHAIN_SANITY;
    while (env != NULL) {
        duk_small_int_t cl;
        duk_int_t attrs;
 
        DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference, name=%!O, considering env=%p -> %!iO",
                             (duk_heaphdr *) name,
                             (void *) env,
                             (duk_heaphdr *) env));
 
        DUK_ASSERT(env != NULL);
        DUK_ASSERT(DUK_HOBJECT_IS_ENV(env));
        DUK_ASSERT(!DUK_HOBJECT_HAS_ARRAY_PART(env));
 
        cl = DUK_HOBJECT_GET_CLASS_NUMBER(env);
        DUK_ASSERT(cl == DUK_HOBJECT_CLASS_OBJENV || cl == DUK_HOBJECT_CLASS_DECENV);
        if (cl == DUK_HOBJECT_CLASS_DECENV) {
            /*
             *  Declarative environment record.
             *
             *  Identifiers can never be stored in ancestors and are
             *  always plain values, so we can use an internal helper
             *  and access the value directly with an duk_tval ptr.
             *
             *  A closed environment is only indicated by it missing
             *  the "book-keeping" properties required for accessing
             *  register-bound variables.
             */
 
            if (DUK_HOBJECT_HAS_ENVRECCLOSED(env)) {
                /* already closed */
                goto skip_regs;
            }
 
            if (duk__getid_open_decl_env_regs(thr, name, env, out)) {
                DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference successful: "
                                     "name=%!O -> value=%!T, attrs=%ld, this=%!T, env=%!O, holder=%!O "
                                     "(declarative environment record, scope open, found in regs)",
                                     (duk_heaphdr *) name, (duk_tval *) out->value,
                                     (long) out->attrs, (duk_tval *) out->this_binding,
                                     (duk_heaphdr *) out->env, (duk_heaphdr *) out->holder));
                return 1;
            }
         skip_regs:
 
            tv = duk_hobject_find_existing_entry_tval_ptr_and_attrs(thr->heap, env, name, &attrs);
            if (tv) {
                out->value = tv;
                out->attrs = attrs;
                out->this_binding = NULL;  /* implicit this value always undefined for
                                            * declarative environment records.
                                            */
                out->env = env;
                out->holder = env;
 
                DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference successful: "
                                     "name=%!O -> value=%!T, attrs=%ld, this=%!T, env=%!O, holder=%!O "
                                     "(declarative environment record, found in properties)",
                                     (duk_heaphdr *) name, (duk_tval *) out->value,
                                     (long) out->attrs, (duk_tval *) out->this_binding,
                                     (duk_heaphdr *) out->env, (duk_heaphdr *) out->holder));
                return 1;
            }
        } else {
            /*
             *  Object environment record.
             *
             *  Binding (target) object is an external, uncontrolled object.
             *  Identifier may be bound in an ancestor property, and may be
             *  an accessor.  Target can also be a Proxy which we must support
             *  here.
             */
 
            /* XXX: we could save space by using _Target OR _This.  If _Target, assume
             * this binding is undefined.  If _This, assumes this binding is _This, and
             * target is also _This.  One property would then be enough.
             */
 
            duk_hobject *target;
            duk_bool_t found;
 
            DUK_ASSERT(cl == DUK_HOBJECT_CLASS_OBJENV);
 
            tv_target = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_TARGET(thr));
            DUK_ASSERT(tv_target != NULL);
            DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv_target));
            target = DUK_TVAL_GET_OBJECT(tv_target);
            DUK_ASSERT(target != NULL);
 
            /* Target may be a Proxy or property may be an accessor, so we must
             * use an actual, Proxy-aware hasprop check here.
             *
             * out->holder is NOT set to the actual duk_hobject where the
             * property is found, but rather the object binding target object.
             */
 
            if (DUK_HOBJECT_HAS_EXOTIC_PROXYOBJ(target)) {
                DUK_ASSERT(name != NULL);
                DUK_TVAL_SET_STRING(&tv_name, name);
 
                found = duk_hobject_hasprop(thr, tv_target, &tv_name);
            } else {
                /* XXX: duk_hobject_hasprop() would be correct for
                 * non-Proxy objects too, but it is about ~20-25%
                 * slower at present so separate code paths for
                 * Proxy and non-Proxy now.
                 */
                found = duk_hobject_hasprop_raw(thr, target, name);
            }
 
            if (found) {
                out->value = NULL;  /* can't get value, may be accessor */
                out->attrs = 0;     /* irrelevant when out->value == NULL */
                tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_THIS(thr));
                out->this_binding = tv;  /* may be NULL */
                out->env = env;
                out->holder = target;
 
                DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference successful: "
                                     "name=%!O -> value=%!T, attrs=%ld, this=%!T, env=%!O, holder=%!O "
                                     "(object environment record)",
                                     (duk_heaphdr *) name, (duk_tval *) out->value,
                                     (long) out->attrs, (duk_tval *) out->this_binding,
                                     (duk_heaphdr *) out->env, (duk_heaphdr *) out->holder));
                return 1;
            }
        }
 
        if (!parents) {
            DUK_DDD(DUK_DDDPRINT("duk__get_identifier_reference failed, no parent traversal "
                                 "(not found from first traversed env)"));
            goto fail_not_found;
        }
 
                if (sanity-- == 0) {
                        DUK_ERROR_RANGE(thr, DUK_STR_PROTOTYPE_CHAIN_LIMIT);
                }
        env = DUK_HOBJECT_GET_PROTOTYPE(thr->heap, env);
    };
 
    /*
     *  Not found (even in global object)
     */
 
 fail_not_found:
    return 0;
}

References duk__id_lookup_result::attrs, duk_hthread::builtins, duk__getid_activation_regs(), duk__getid_open_decl_env_regs(), DUK_ACT_GET_FUNC, DUK_ASSERT, DUK_BIDX_GLOBAL_ENV, DUK_DDD, DUK_DDDPRINT, DUK_ERROR_RANGE, DUK_HOBJECT_CLASS_DECENV, DUK_HOBJECT_CLASS_OBJENV, duk_hobject_find_existing_entry_tval_ptr(), duk_hobject_find_existing_entry_tval_ptr_and_attrs(), DUK_HOBJECT_GET_CLASS_NUMBER, DUK_HOBJECT_GET_PROTOTYPE, DUK_HOBJECT_HAS_ARRAY_PART, DUK_HOBJECT_HAS_ENVRECCLOSED, DUK_HOBJECT_HAS_EXOTIC_PROXYOBJ, DUK_HOBJECT_HAS_NEWENV, duk_hobject_hasprop(), duk_hobject_hasprop_raw(), DUK_HOBJECT_IS_ENV, DUK_HOBJECT_PROTOTYPE_CHAIN_SANITY, DUK_HTHREAD_STRING_INT_LEXENV, DUK_HTHREAD_STRING_INT_TARGET, DUK_HTHREAD_STRING_INT_THIS, DUK_HTHREAD_STRING_INT_VARENV, DUK_STR_PROTOTYPE_CHAIN_LIMIT, DUK_TVAL_GET_OBJECT, DUK_TVAL_IS_OBJECT, DUK_TVAL_SET_STRING, duk__id_lookup_result::env, duk_hthread::heap, duk__id_lookup_result::holder, name, NULL, duk__id_lookup_result::this_binding, and duk__id_lookup_result::value.

Referenced by duk__declvar_helper(), duk__delvar_helper(), duk__getvar_helper(), and duk__putvar_helper().

duk__getid_activation_regs()

DUK_LOCAL duk_bool_t duk__getid_activation_regs	(	duk_hthread *	thr,
		duk_hstring *	name,
		duk_activation *	act,
		duk__id_lookup_result *	out )

Definition at line 835 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                  {
    duk_tval *tv;
    duk_hobject *func;
    duk_hobject *varmap;
    duk_size_t reg_rel;
    duk_size_t idx;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(name != NULL);
    DUK_ASSERT(act != NULL);
    DUK_ASSERT(out != NULL);
 
    func = DUK_ACT_GET_FUNC(act);
    DUK_ASSERT(func != NULL);
    DUK_ASSERT(DUK_HOBJECT_HAS_NEWENV(func));
 
    if (!DUK_HOBJECT_IS_COMPILEDFUNCTION(func)) {
        return 0;
    }
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, func, DUK_HTHREAD_STRING_INT_VARMAP(thr));
    if (!tv) {
        return 0;
    }
    DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
    varmap = DUK_TVAL_GET_OBJECT(tv);
    DUK_ASSERT(varmap != NULL);
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, varmap, name);
    if (!tv) {
        return 0;
    }
    DUK_ASSERT(DUK_TVAL_IS_NUMBER(tv));
    reg_rel = (duk_size_t) DUK_TVAL_GET_NUMBER(tv);
    DUK_ASSERT_DISABLE(reg_rel >= 0);
    DUK_ASSERT(reg_rel < ((duk_hcompiledfunction *) func)->nregs);
 
    idx = act->idx_bottom + reg_rel;
    DUK_ASSERT(idx >= act->idx_bottom);
    tv = thr->valstack + idx;
 
    out->value = tv;
    out->attrs = DUK_PROPDESC_FLAGS_W;  /* registers are mutable, non-deletable */
    out->this_binding = NULL;  /* implicit this value always undefined for
                                * declarative environment records.
                                */
    out->env = NULL;
    out->holder = NULL;
 
    return 1;
}

References duk__id_lookup_result::attrs, DUK_ACT_GET_FUNC, DUK_ASSERT, DUK_ASSERT_DISABLE, duk_hobject_find_existing_entry_tval_ptr(), DUK_HOBJECT_HAS_NEWENV, DUK_HOBJECT_IS_COMPILEDFUNCTION, DUK_HTHREAD_STRING_INT_VARMAP, DUK_PROPDESC_FLAGS_W, DUK_TVAL_GET_NUMBER, DUK_TVAL_GET_OBJECT, DUK_TVAL_IS_NUMBER, DUK_TVAL_IS_OBJECT, duk__id_lookup_result::env, duk_hthread::heap, duk__id_lookup_result::holder, duk_activation::idx_bottom, name, NULL, duk__id_lookup_result::this_binding, duk_hthread::valstack, and duk__id_lookup_result::value.

Referenced by duk__get_identifier_reference().

duk__getid_open_decl_env_regs()

DUK_LOCAL duk_bool_t duk__getid_open_decl_env_regs	(	duk_hthread *	thr,
		duk_hstring *	name,
		duk_hobject *	env,
		duk__id_lookup_result *	out )

Definition at line 750 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                     {
    duk_hthread *env_thr;
    duk_hobject *env_func;
    duk_size_t env_regbase;
    duk_hobject *varmap;
    duk_tval *tv;
    duk_size_t reg_rel;
    duk_size_t idx;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(name != NULL);
    DUK_ASSERT(env != NULL);
    DUK_ASSERT(out != NULL);
 
    DUK_ASSERT(DUK_HOBJECT_IS_DECENV(env));
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_CALLEE(thr));
    if (!tv) {
        /* env is closed, should be missing _Callee, _Thread, _Regbase */
        DUK_ASSERT(duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_CALLEE(thr)) == NULL);
        DUK_ASSERT(duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_THREAD(thr)) == NULL);
        DUK_ASSERT(duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_REGBASE(thr)) == NULL);
        return 0;
    }
 
    DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
    DUK_ASSERT(DUK_TVAL_GET_OBJECT(tv) != NULL);
    DUK_ASSERT(DUK_HOBJECT_IS_COMPILEDFUNCTION(DUK_TVAL_GET_OBJECT(tv)));
    env_func = DUK_TVAL_GET_OBJECT(tv);
    DUK_ASSERT(env_func != NULL);
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env_func, DUK_HTHREAD_STRING_INT_VARMAP(thr));
    if (!tv) {
        return 0;
    }
    DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
    varmap = DUK_TVAL_GET_OBJECT(tv);
    DUK_ASSERT(varmap != NULL);
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, varmap, name);
    if (!tv) {
        return 0;
    }
    DUK_ASSERT(DUK_TVAL_IS_NUMBER(tv));
    reg_rel = (duk_size_t) DUK_TVAL_GET_NUMBER(tv);
    DUK_ASSERT_DISABLE(reg_rel >= 0);  /* unsigned */
    DUK_ASSERT(reg_rel < ((duk_hcompiledfunction *) env_func)->nregs);
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_THREAD(thr));
    DUK_ASSERT(tv != NULL);
    DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
    DUK_ASSERT(DUK_TVAL_GET_OBJECT(tv) != NULL);
    DUK_ASSERT(DUK_HOBJECT_IS_THREAD(DUK_TVAL_GET_OBJECT(tv)));
    env_thr = (duk_hthread *) DUK_TVAL_GET_OBJECT(tv);
    DUK_ASSERT(env_thr != NULL);
 
    /* Note: env_thr != thr is quite possible and normal, so careful
     * with what thread is used for valstack lookup.
     */
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, env, DUK_HTHREAD_STRING_INT_REGBASE(thr));
    DUK_ASSERT(tv != NULL);
    DUK_ASSERT(DUK_TVAL_IS_NUMBER(tv));
    env_regbase = (duk_size_t) DUK_TVAL_GET_NUMBER(tv);
 
    idx = env_regbase + reg_rel;
    tv = env_thr->valstack + idx;
    DUK_ASSERT(tv >= env_thr->valstack && tv < env_thr->valstack_end);  /* XXX: more accurate? */
 
    out->value = tv;
    out->attrs = DUK_PROPDESC_FLAGS_W;  /* registers are mutable, non-deletable */
    out->this_binding = NULL;  /* implicit this value always undefined for
                                * declarative environment records.
                                */
    out->env = env;
    out->holder = NULL;
 
    return 1;
}

References duk__id_lookup_result::attrs, DUK_ASSERT, DUK_ASSERT_DISABLE, duk_hobject_find_existing_entry_tval_ptr(), DUK_HOBJECT_IS_COMPILEDFUNCTION, DUK_HOBJECT_IS_DECENV, DUK_HOBJECT_IS_THREAD, DUK_HTHREAD_STRING_INT_CALLEE, DUK_HTHREAD_STRING_INT_REGBASE, DUK_HTHREAD_STRING_INT_THREAD, DUK_HTHREAD_STRING_INT_VARMAP, DUK_PROPDESC_FLAGS_W, DUK_TVAL_GET_NUMBER, DUK_TVAL_GET_OBJECT, DUK_TVAL_IS_NUMBER, DUK_TVAL_IS_OBJECT, duk__id_lookup_result::env, duk_hthread::heap, duk__id_lookup_result::holder, name, NULL, duk__id_lookup_result::this_binding, duk_hthread::valstack, and duk__id_lookup_result::value.

Referenced by duk__get_identifier_reference().

duk__getvar_helper()

DUK_LOCAL duk_bool_t duk__getvar_helper	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_activation *	act,
		duk_hstring *	name,
		duk_bool_t	throw_flag )

Definition at line 1211 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                     {
    duk_context *ctx = (duk_context *) thr;
    duk__id_lookup_result ref;
    duk_tval tv_tmp_obj;
    duk_tval tv_tmp_key;
    duk_bool_t parents;
 
    DUK_DDD(DUK_DDDPRINT("getvar: thr=%p, env=%p, act=%p, name=%!O "
                         "(env -> %!dO)",
                         (void *) thr, (void *) env, (void *) act,
                         (duk_heaphdr *) name, (duk_heaphdr *) env));
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(name != NULL);
    /* env and act may be NULL */
 
        DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR(env);
        DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR(name);
 
    parents = 1;     /* follow parent chain */
    if (duk__get_identifier_reference(thr, env, name, act, parents, &ref)) {
        if (ref.value) {
            DUK_ASSERT(ref.this_binding == NULL);  /* always for register bindings */
            duk_push_tval(ctx, ref.value);
            duk_push_undefined(ctx);
        } else {
            DUK_ASSERT(ref.holder != NULL);
 
            /* Note: getprop may invoke any getter and invalidate any
             * duk_tval pointers, so this must be done first.
             */
 
            if (ref.this_binding) {
                duk_push_tval(ctx, ref.this_binding);
            } else {
                duk_push_undefined(ctx);
            }
 
            DUK_TVAL_SET_OBJECT(&tv_tmp_obj, ref.holder);
            DUK_TVAL_SET_STRING(&tv_tmp_key, name);
            (void) duk_hobject_getprop(thr, &tv_tmp_obj, &tv_tmp_key);  /* [this value] */
 
            /* ref.value, ref.this.binding invalidated here by getprop call */
 
            duk_insert(ctx, -2);  /* [this value] -> [value this] */
        }
 
        return 1;
    } else {
        if (throw_flag) {
            DUK_ERROR_FMT1(thr, DUK_ERR_REFERENCE_ERROR,
                           "identifier '%s' undefined",
                           (const char *) DUK_HSTRING_GET_DATA(name));
        }
 
        return 0;
    }
}

References duk__get_identifier_reference(), DUK_ASSERT, DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR, DUK_DDD, DUK_DDDPRINT, DUK_ERR_REFERENCE_ERROR, DUK_ERROR_FMT1, duk_hobject_getprop(), DUK_HSTRING_GET_DATA, duk_insert(), duk_push_tval(), duk_push_undefined(), DUK_TVAL_SET_OBJECT, DUK_TVAL_SET_STRING, duk__id_lookup_result::holder, name, NULL, duk__id_lookup_result::this_binding, and duk__id_lookup_result::value.

Referenced by duk_js_getvar_activation(), and duk_js_getvar_envrec().

duk__inc_data_inner_refcounts()

DUK_LOCAL void duk__inc_data_inner_refcounts	(	duk_hthread *	thr,
		duk_hcompiledfunction *	f )

Definition at line 73 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                                         {
    duk_tval *tv, *tv_end;
    duk_hobject **funcs, **funcs_end;
 
    /* If function creation fails due to out-of-memory, the data buffer
     * pointer may be NULL in some cases.  That's actually possible for
     * GC code, but shouldn't be possible here because the incomplete
     * function will be unwound from the value stack and never instantiated.
     */
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_DATA(thr->heap, f) != NULL);
    DUK_UNREF(thr);
 
    tv = DUK_HCOMPILEDFUNCTION_GET_CONSTS_BASE(thr->heap, f);
    tv_end = DUK_HCOMPILEDFUNCTION_GET_CONSTS_END(thr->heap, f);
    while (tv < tv_end) {
        DUK_TVAL_INCREF(thr, tv);
        tv++;
    }
 
    funcs = DUK_HCOMPILEDFUNCTION_GET_FUNCS_BASE(thr->heap, f);
    funcs_end = DUK_HCOMPILEDFUNCTION_GET_FUNCS_END(thr->heap, f);
    while (funcs < funcs_end) {
        DUK_HEAPHDR_INCREF(thr, (duk_heaphdr *) *funcs);
        funcs++;
    }
}

References DUK_ASSERT, DUK_HCOMPILEDFUNCTION_GET_CONSTS_BASE, DUK_HCOMPILEDFUNCTION_GET_CONSTS_END, DUK_HCOMPILEDFUNCTION_GET_DATA, DUK_HCOMPILEDFUNCTION_GET_FUNCS_BASE, DUK_HCOMPILEDFUNCTION_GET_FUNCS_END, DUK_HEAPHDR_INCREF, DUK_TVAL_INCREF, DUK_UNREF, funcs, duk_hthread::heap, and NULL.

Referenced by duk_js_push_closure().

duk__putvar_helper()

DUK_LOCAL void duk__putvar_helper	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_activation *	act,
		duk_hstring *	name,
		duk_tval *	val,
		duk_bool_t	strict )

Definition at line 1307 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                           {
    duk__id_lookup_result ref;
    duk_tval tv_tmp_obj;
    duk_tval tv_tmp_key;
    duk_bool_t parents;
 
    DUK_DDD(DUK_DDDPRINT("putvar: thr=%p, env=%p, act=%p, name=%!O, val=%p, strict=%ld "
                         "(env -> %!dO, val -> %!T)",
                         (void *) thr, (void *) env, (void *) act,
                         (duk_heaphdr *) name, (void *) val, (long) strict,
                         (duk_heaphdr *) env, (duk_tval *) val));
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(name != NULL);
    DUK_ASSERT(val != NULL);
    /* env and act may be NULL */
 
        DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR(env);
        DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR(name);
    DUK_ASSERT_REFCOUNT_NONZERO_TVAL(val);
 
    /*
     *  In strict mode E5 protects 'eval' and 'arguments' from being
     *  assigned to (or even declared anywhere).  Attempt to do so
     *  should result in a compile time SyntaxError.  See the internal
     *  design documentation for details.
     *
     *  Thus, we should never come here, run-time, for strict code,
     *  and name 'eval' or 'arguments'.
     */
 
    DUK_ASSERT(!strict ||
               (name != DUK_HTHREAD_STRING_EVAL(thr) &&
                name != DUK_HTHREAD_STRING_LC_ARGUMENTS(thr)));
 
    /*
     *  Lookup variable and update in-place if found.
     */
 
    parents = 1;     /* follow parent chain */
 
    if (duk__get_identifier_reference(thr, env, name, act, parents, &ref)) {
        if (ref.value && (ref.attrs & DUK_PROPDESC_FLAG_WRITABLE)) {
            /* Update duk_tval in-place if pointer provided and the
             * property is writable.  If the property is not writable
             * (immutable binding), use duk_hobject_putprop() which
             * will respect mutability.
             */
            duk_tval *tv_val;
 
            DUK_ASSERT(ref.this_binding == NULL);  /* always for register bindings */
 
            tv_val = ref.value;
            DUK_ASSERT(tv_val != NULL);
            DUK_TVAL_SET_TVAL_UPDREF(thr, tv_val, val);  /* side effects */
 
            /* ref.value and ref.this_binding invalidated here */
        } else {
            DUK_ASSERT(ref.holder != NULL);
 
            DUK_TVAL_SET_OBJECT(&tv_tmp_obj, ref.holder);
            DUK_TVAL_SET_STRING(&tv_tmp_key, name);
            (void) duk_hobject_putprop(thr, &tv_tmp_obj, &tv_tmp_key, val, strict);
 
            /* ref.value and ref.this_binding invalidated here */
        }
 
        return;
    }
 
    /*
     *  Not found: write to global object (non-strict) or ReferenceError
     *  (strict); see E5 Section 8.7.2, step 3.
     */
 
    if (strict) {
        DUK_DDD(DUK_DDDPRINT("identifier binding not found, strict => reference error"));
        DUK_ERROR(thr, DUK_ERR_REFERENCE_ERROR, "identifier not defined");
    }
 
    DUK_DDD(DUK_DDDPRINT("identifier binding not found, not strict => set to global"));
 
    DUK_TVAL_SET_OBJECT(&tv_tmp_obj, thr->builtins[DUK_BIDX_GLOBAL]);
    DUK_TVAL_SET_STRING(&tv_tmp_key, name);
    (void) duk_hobject_putprop(thr, &tv_tmp_obj, &tv_tmp_key, val, 0);  /* 0 = no throw */
 
    /* NB: 'val' may be invalidated here because put_value may realloc valstack,
     * caller beware.
     */
}

References duk__id_lookup_result::attrs, duk_hthread::builtins, duk__get_identifier_reference(), DUK_ASSERT, DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR, DUK_ASSERT_REFCOUNT_NONZERO_TVAL, DUK_BIDX_GLOBAL, DUK_DDD, DUK_DDDPRINT, DUK_ERR_REFERENCE_ERROR, DUK_ERROR, duk_hobject_putprop(), DUK_HTHREAD_STRING_EVAL, DUK_HTHREAD_STRING_LC_ARGUMENTS, DUK_PROPDESC_FLAG_WRITABLE, DUK_TVAL_SET_OBJECT, DUK_TVAL_SET_STRING, DUK_TVAL_SET_TVAL_UPDREF, duk__id_lookup_result::holder, name, NULL, duk__id_lookup_result::this_binding, and duk__id_lookup_result::value.

Referenced by duk_js_putvar_activation(), and duk_js_putvar_envrec().

duk_create_activation_environment_record()

DUK_INTERNAL duk_hobject * duk_create_activation_environment_record	(	duk_hthread *	thr,
		duk_hobject *	func,
		duk_size_t	idx_bottom )

Definition at line 486 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                             {
    duk_context *ctx = (duk_context *) thr;
    duk_hobject *env;
    duk_hobject *parent;
    duk_tval *tv;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(func != NULL);
 
    tv = duk_hobject_find_existing_entry_tval_ptr(thr->heap, func, DUK_HTHREAD_STRING_INT_LEXENV(thr));
    if (tv) {
        DUK_ASSERT(DUK_TVAL_IS_OBJECT(tv));
        DUK_ASSERT(DUK_HOBJECT_IS_ENV(DUK_TVAL_GET_OBJECT(tv)));
        parent = DUK_TVAL_GET_OBJECT(tv);
    } else {
        parent = thr->builtins[DUK_BIDX_GLOBAL_ENV];
    }
 
    (void) duk_push_object_helper(ctx,
                                  DUK_HOBJECT_FLAG_EXTENSIBLE |
                                  DUK_HOBJECT_CLASS_AS_FLAGS(DUK_HOBJECT_CLASS_DECENV),
                                  -1);  /* no prototype, updated below */
    env = duk_require_hobject(ctx, -1);
    DUK_ASSERT(env != NULL);
    DUK_HOBJECT_SET_PROTOTYPE_UPDREF(thr, env, parent);  /* parent env is the prototype */
 
    /* open scope information, for compiled functions only */
 
    if (DUK_HOBJECT_IS_COMPILEDFUNCTION(func)) {
        duk_push_hthread(ctx, thr);
        duk_xdef_prop_stridx_wec(ctx, -2, DUK_STRIDX_INT_THREAD);
        duk_push_hobject(ctx, func);
        duk_xdef_prop_stridx_wec(ctx, -2, DUK_STRIDX_INT_CALLEE);
        duk_push_size_t(ctx, idx_bottom);
        duk_xdef_prop_stridx_wec(ctx, -2, DUK_STRIDX_INT_REGBASE);
    }
 
    return env;
}

References duk_hthread::builtins, DUK_ASSERT, DUK_BIDX_GLOBAL_ENV, DUK_HOBJECT_CLASS_AS_FLAGS, DUK_HOBJECT_CLASS_DECENV, duk_hobject_find_existing_entry_tval_ptr(), DUK_HOBJECT_FLAG_EXTENSIBLE, DUK_HOBJECT_IS_COMPILEDFUNCTION, DUK_HOBJECT_IS_ENV, DUK_HOBJECT_SET_PROTOTYPE_UPDREF, DUK_HTHREAD_STRING_INT_LEXENV, duk_push_hobject(), duk_push_hthread, duk_push_object_helper(), duk_push_size_t, duk_require_hobject(), DUK_STRIDX_INT_CALLEE, DUK_STRIDX_INT_REGBASE, DUK_STRIDX_INT_THREAD, DUK_TVAL_GET_OBJECT, DUK_TVAL_IS_OBJECT, duk_xdef_prop_stridx_wec, duk_hthread::heap, and NULL.

Referenced by duk_js_init_activation_environment_records_delayed().

duk_js_close_environment_record()

DUK_INTERNAL void duk_js_close_environment_record	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_hobject *	func,
		duk_size_t	regbase )

Definition at line 584 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                                                                             {
    duk_context *ctx = (duk_context *) thr;
    duk_uint_fast32_t i;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(env != NULL);
    /* func is NULL for lightfuncs */
 
    if (!DUK_HOBJECT_IS_DECENV(env) || DUK_HOBJECT_HAS_ENVRECCLOSED(env)) {
        DUK_DDD(DUK_DDDPRINT("environment record not a declarative record, "
                             "or already closed: %!iO",
                             (duk_heaphdr *) env));
        return;
    }
 
    DUK_DDD(DUK_DDDPRINT("closing environment record: %!iO, func: %!iO, regbase: %ld",
                         (duk_heaphdr *) env, (duk_heaphdr *) func, (long) regbase));
 
    duk_push_hobject(ctx, env);
 
    /* assertions: env must be closed in the same thread as where it runs */
#ifdef DUK_USE_ASSERTIONS
    {
        /* [... env] */
 
        if (duk_get_prop_stridx(ctx, -1, DUK_STRIDX_INT_CALLEE)) {
            DUK_ASSERT(duk_is_object(ctx, -1));
            DUK_ASSERT(duk_get_hobject(ctx, -1) == (duk_hobject *) func);
        }
        duk_pop(ctx);
 
        if (duk_get_prop_stridx(ctx, -1, DUK_STRIDX_INT_THREAD)) {
            DUK_ASSERT(duk_is_object(ctx, -1));
            DUK_ASSERT(duk_get_hobject(ctx, -1) == (duk_hobject *) thr);
        }
        duk_pop(ctx);
 
        if (duk_get_prop_stridx(ctx, -1, DUK_STRIDX_INT_REGBASE)) {
            DUK_ASSERT(duk_is_number(ctx, -1));
            DUK_ASSERT(duk_get_number(ctx, -1) == (double) regbase);
        }
        duk_pop(ctx);
 
        /* [... env] */
    }
#endif
 
    if (func != NULL && DUK_HOBJECT_IS_COMPILEDFUNCTION(func)) {
        duk_hobject *varmap;
        duk_hstring *key;
        duk_tval *tv;
        duk_uint_t regnum;
 
        /* XXX: additional conditions when to close variables? we don't want to do it
         * unless the environment may have "escaped" (referenced in a function closure).
         * With delayed environments, the existence is probably good enough of a check.
         */
 
        /* XXX: any way to detect faster whether something needs to be closed?
         * We now look up _Callee and then skip the rest.
         */
 
        /* Note: we rely on the _Varmap having a bunch of nice properties, like:
         *  - being compacted and unmodified during this process
         *  - not containing an array part
         *  - having correct value types
         */
 
        /* [... env] */
 
        if (!duk_get_prop_stridx(ctx, -1, DUK_STRIDX_INT_CALLEE)) {
            DUK_DDD(DUK_DDDPRINT("env has no callee property, nothing to close; re-delete the control properties just in case"));
            duk_pop(ctx);
            goto skip_varmap;
        }
 
        /* [... env callee] */
 
        if (!duk_get_prop_stridx(ctx, -1, DUK_STRIDX_INT_VARMAP)) {
            DUK_DDD(DUK_DDDPRINT("callee has no varmap property, nothing to close; delete the control properties"));
            duk_pop_2(ctx);
            goto skip_varmap;
        }
        varmap = duk_require_hobject(ctx, -1);
        DUK_ASSERT(varmap != NULL);
 
        DUK_DDD(DUK_DDDPRINT("varmap: %!O", (duk_heaphdr *) varmap));
 
        /* [... env callee varmap] */
 
        DUK_DDD(DUK_DDDPRINT("copying bound register values, %ld bound regs", (long) DUK_HOBJECT_GET_ENEXT(varmap)));
 
        for (i = 0; i < (duk_uint_fast32_t) DUK_HOBJECT_GET_ENEXT(varmap); i++) {
            key = DUK_HOBJECT_E_GET_KEY(thr->heap, varmap, i);
            DUK_ASSERT(key != NULL);   /* assume keys are compacted */
 
            DUK_ASSERT(!DUK_HOBJECT_E_SLOT_IS_ACCESSOR(thr->heap, varmap, i));  /* assume plain values */
 
            tv = DUK_HOBJECT_E_GET_VALUE_TVAL_PTR(thr->heap, varmap, i);
            DUK_ASSERT(DUK_TVAL_IS_NUMBER(tv));  /* assume value is a number */
            regnum = (duk_uint_t) DUK_TVAL_GET_NUMBER(tv);
            DUK_ASSERT_DISABLE(regnum >= 0);  /* unsigned */
            DUK_ASSERT(regnum < ((duk_hcompiledfunction *) func)->nregs);  /* regnum is sane */
            DUK_ASSERT(thr->valstack + regbase + regnum >= thr->valstack);
            DUK_ASSERT(thr->valstack + regbase + regnum < thr->valstack_top);
 
            /* XXX: slightly awkward */
            duk_push_hstring(ctx, key);
            duk_push_tval(ctx, thr->valstack + regbase + regnum);
            DUK_DDD(DUK_DDDPRINT("closing identifier '%s' -> reg %ld, value %!T",
                                 (const char *) duk_require_string(ctx, -2),
                                 (long) regnum,
                                 (duk_tval *) duk_get_tval(ctx, -1)));
 
            /* [... env callee varmap key val] */
 
            /* if property already exists, overwrites silently */
            duk_xdef_prop(ctx, -5, DUK_PROPDESC_FLAGS_WE);  /* writable but not deletable */
        }
 
        duk_pop_2(ctx);
 
        /* [... env] */
    }
 
 skip_varmap:
 
    /* [... env] */
 
    duk_del_prop_stridx(ctx, -1, DUK_STRIDX_INT_CALLEE);
    duk_del_prop_stridx(ctx, -1, DUK_STRIDX_INT_THREAD);
    duk_del_prop_stridx(ctx, -1, DUK_STRIDX_INT_REGBASE);
 
    duk_pop(ctx);
 
    DUK_HOBJECT_SET_ENVRECCLOSED(env);
 
    DUK_DDD(DUK_DDDPRINT("environment record after being closed: %!O",
                         (duk_heaphdr *) env));
}

References DUK_ASSERT, DUK_ASSERT_DISABLE, DUK_DDD, DUK_DDDPRINT, duk_del_prop_stridx(), duk_get_hobject(), duk_get_number(), duk_get_prop_stridx(), duk_get_tval(), DUK_HOBJECT_E_GET_KEY, DUK_HOBJECT_E_GET_VALUE_TVAL_PTR, DUK_HOBJECT_E_SLOT_IS_ACCESSOR, DUK_HOBJECT_GET_ENEXT, DUK_HOBJECT_HAS_ENVRECCLOSED, DUK_HOBJECT_IS_COMPILEDFUNCTION, DUK_HOBJECT_IS_DECENV, DUK_HOBJECT_SET_ENVRECCLOSED, duk_is_number(), duk_is_object(), duk_pop(), duk_pop_2(), DUK_PROPDESC_FLAGS_WE, duk_push_hobject(), duk_push_hstring(), duk_push_tval(), duk_require_hobject(), duk_require_string(), DUK_STRIDX_INT_CALLEE, DUK_STRIDX_INT_REGBASE, DUK_STRIDX_INT_THREAD, DUK_STRIDX_INT_VARMAP, DUK_TVAL_GET_NUMBER, DUK_TVAL_IS_NUMBER, duk_xdef_prop(), duk_hthread::heap, NULL, and duk_hthread::valstack.

duk_js_declvar_activation()

DUK_INTERNAL duk_bool_t duk_js_declvar_activation	(	duk_hthread *	thr,
		duk_activation *	act,
		duk_hstring *	name,
		duk_tval *	val,
		duk_small_int_t	prop_flags,
		duk_bool_t	is_func_decl )

Definition at line 1788 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                              {
    duk_hobject *env;
    duk_tval tv_val_copy;
 
    /*
     *  Make a value copy of the input val.  This ensures that
     *  side effects cannot invalidate the pointer.
     */
 
    DUK_TVAL_SET_TVAL(&tv_val_copy, val);
    val = &tv_val_copy;
 
    /*
     *  Delayed env creation check
     */
 
    if (!act->var_env) {
        DUK_ASSERT(act->lex_env == NULL);
        duk_js_init_activation_environment_records_delayed(thr, act);
    }
    DUK_ASSERT(act->lex_env != NULL);
    DUK_ASSERT(act->var_env != NULL);
 
    env = act->var_env;
    DUK_ASSERT(env != NULL);
    DUK_ASSERT(DUK_HOBJECT_IS_ENV(env));
 
    return duk__declvar_helper(thr, env, name, val, prop_flags, is_func_decl);
}

References duk__declvar_helper(), DUK_ASSERT, DUK_HOBJECT_IS_ENV, duk_js_init_activation_environment_records_delayed(), DUK_TVAL_SET_TVAL, duk_activation::lex_env, name, NULL, and duk_activation::var_env.

duk_js_delvar_activation()

DUK_INTERNAL duk_bool_t duk_js_delvar_activation	(	duk_hthread *	thr,
		duk_activation *	act,
		duk_hstring *	name )

Definition at line 1498 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                       {
    DUK_ASSERT(act != NULL);
    return duk__delvar_helper(thr, act->lex_env, act, name);
}

References duk__delvar_helper(), DUK_ASSERT, duk_activation::lex_env, name, and NULL.

duk_js_getvar_activation()

DUK_INTERNAL duk_bool_t duk_js_getvar_activation	(	duk_hthread *	thr,
		duk_activation *	act,
		duk_hstring *	name,
		duk_bool_t	throw_flag )

Definition at line 1283 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                           {
    DUK_ASSERT(act != NULL);
    return duk__getvar_helper(thr, act->lex_env, act, name, throw_flag);
}

References duk__getvar_helper(), DUK_ASSERT, duk_activation::lex_env, name, and NULL.

duk_js_getvar_envrec()

DUK_INTERNAL duk_bool_t duk_js_getvar_envrec	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_hstring *	name,
		duk_bool_t	throw_flag )

Definition at line 1275 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                       {
    return duk__getvar_helper(thr, env, NULL, name, throw_flag);
}

References duk__getvar_helper(), name, and NULL.

duk_js_init_activation_environment_records_delayed()

DUK_INTERNAL void duk_js_init_activation_environment_records_delayed	(	duk_hthread *	thr,
		duk_activation *	act )

Definition at line 529 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                                             {
    duk_context *ctx = (duk_context *) thr;
    duk_hobject *func;
    duk_hobject *env;
 
    func = DUK_ACT_GET_FUNC(act);
    DUK_ASSERT(func != NULL);
    DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(func));  /* bound functions are never in act 'func' */
 
    /*
     *  Delayed initialization only occurs for 'NEWENV' functions.
     */
 
    DUK_ASSERT(DUK_HOBJECT_HAS_NEWENV(func));
    DUK_ASSERT(act->lex_env == NULL);
    DUK_ASSERT(act->var_env == NULL);
 
    env = duk_create_activation_environment_record(thr, func, act->idx_bottom);
    DUK_ASSERT(env != NULL);
 
    DUK_DDD(DUK_DDDPRINT("created delayed fresh env: %!ipO", (duk_heaphdr *) env));
#ifdef DUK_USE_DDDPRINT
    {
        duk_hobject *p = env;
        while (p) {
            DUK_DDD(DUK_DDDPRINT("  -> %!ipO", (duk_heaphdr *) p));
            p = DUK_HOBJECT_GET_PROTOTYPE(thr->heap, p);
        }
    }
#endif
 
    act->lex_env = env;
    act->var_env = env;
    DUK_HOBJECT_INCREF(thr, env);  /* XXX: incref by count (here 2 times) */
    DUK_HOBJECT_INCREF(thr, env);
 
    duk_pop(ctx);
}

References DUK_ACT_GET_FUNC, DUK_ASSERT, duk_create_activation_environment_record(), DUK_DDD, DUK_DDDPRINT, DUK_HOBJECT_GET_PROTOTYPE, DUK_HOBJECT_HAS_BOUND, DUK_HOBJECT_HAS_NEWENV, DUK_HOBJECT_INCREF, duk_pop(), duk_hthread::heap, duk_activation::idx_bottom, duk_activation::lex_env, NULL, and duk_activation::var_env.

Referenced by duk_js_declvar_activation().

duk_js_push_closure()

DUK_INTERNAL void duk_js_push_closure	(	duk_hthread *	thr,
		duk_hcompiledfunction *	fun_temp,
		duk_hobject *	outer_var_env,
		duk_hobject *	outer_lex_env,
		duk_bool_t	add_auto_proto )

Definition at line 118 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                    {
    duk_context *ctx = (duk_context *) thr;
    duk_hcompiledfunction *fun_clos;
    duk_small_uint_t i;
    duk_uint_t len_value;
 
    DUK_ASSERT(fun_temp != NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_DATA(thr->heap, fun_temp) != NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_FUNCS(thr->heap, fun_temp) != NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_BYTECODE(thr->heap, fun_temp) != NULL);
    DUK_ASSERT(outer_var_env != NULL);
    DUK_ASSERT(outer_lex_env != NULL);
    DUK_UNREF(len_value);
 
    duk_push_compiledfunction(ctx);
    duk_push_hobject(ctx, &fun_temp->obj);  /* -> [ ... closure template ] */
 
    fun_clos = (duk_hcompiledfunction *) duk_get_hcompiledfunction(ctx, -2);
    DUK_ASSERT(fun_clos != NULL);
    DUK_ASSERT(DUK_HOBJECT_IS_COMPILEDFUNCTION((duk_hobject *) fun_clos));
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_DATA(thr->heap, fun_clos) == NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_FUNCS(thr->heap, fun_clos) == NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_BYTECODE(thr->heap, fun_clos) == NULL);
 
    DUK_HCOMPILEDFUNCTION_SET_DATA(thr->heap, fun_clos, DUK_HCOMPILEDFUNCTION_GET_DATA(thr->heap, fun_temp));
    DUK_HCOMPILEDFUNCTION_SET_FUNCS(thr->heap, fun_clos, DUK_HCOMPILEDFUNCTION_GET_FUNCS(thr->heap, fun_temp));
    DUK_HCOMPILEDFUNCTION_SET_BYTECODE(thr->heap, fun_clos, DUK_HCOMPILEDFUNCTION_GET_BYTECODE(thr->heap, fun_temp));
 
    /* Note: all references inside 'data' need to get their refcounts
     * upped too.  This is the case because refcounts are decreased
     * through every function referencing 'data' independently.
     */
 
    DUK_HBUFFER_INCREF(thr, DUK_HCOMPILEDFUNCTION_GET_DATA(thr->heap, fun_clos));
    duk__inc_data_inner_refcounts(thr, fun_temp);
 
    fun_clos->nregs = fun_temp->nregs;
    fun_clos->nargs = fun_temp->nargs;
#if defined(DUK_USE_DEBUGGER_SUPPORT)
    fun_clos->start_line = fun_temp->start_line;
    fun_clos->end_line = fun_temp->end_line;
#endif
 
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_DATA(thr->heap, fun_clos) != NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_FUNCS(thr->heap, fun_clos) != NULL);
    DUK_ASSERT(DUK_HCOMPILEDFUNCTION_GET_BYTECODE(thr->heap, fun_clos) != NULL);
 
    /* XXX: could also copy from template, but there's no way to have any
     * other value here now (used code has no access to the template).
     */
    DUK_HOBJECT_SET_PROTOTYPE_UPDREF(thr, &fun_clos->obj, thr->builtins[DUK_BIDX_FUNCTION_PROTOTYPE]);
 
    /*
     *  Init/assert flags, copying them where appropriate.  Some flags
     *  (like NEWENV) are processed separately below.
     */
 
    /* XXX: copy flags using a mask */
 
    DUK_ASSERT(DUK_HOBJECT_HAS_EXTENSIBLE(&fun_clos->obj));
    DUK_HOBJECT_SET_CONSTRUCTABLE(&fun_clos->obj);  /* Note: not set in template (has no "prototype") */
    DUK_ASSERT(DUK_HOBJECT_HAS_CONSTRUCTABLE(&fun_clos->obj));
    DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(&fun_clos->obj));
    DUK_ASSERT(DUK_HOBJECT_HAS_COMPILEDFUNCTION(&fun_clos->obj));
    DUK_ASSERT(!DUK_HOBJECT_HAS_NATIVEFUNCTION(&fun_clos->obj));
    DUK_ASSERT(!DUK_HOBJECT_HAS_THREAD(&fun_clos->obj));
    /* DUK_HOBJECT_FLAG_ARRAY_PART: don't care */
    if (DUK_HOBJECT_HAS_STRICT(&fun_temp->obj)) {
        DUK_HOBJECT_SET_STRICT(&fun_clos->obj);
    }
    if (DUK_HOBJECT_HAS_NOTAIL(&fun_temp->obj)) {
        DUK_HOBJECT_SET_NOTAIL(&fun_clos->obj);
    }
    /* DUK_HOBJECT_FLAG_NEWENV: handled below */
    if (DUK_HOBJECT_HAS_NAMEBINDING(&fun_temp->obj)) {
        /* Although NAMEBINDING is not directly needed for using
         * function instances, it's needed by bytecode dump/load
         * so copy it too.
         */
        DUK_HOBJECT_SET_NAMEBINDING(&fun_clos->obj);
    }
    if (DUK_HOBJECT_HAS_CREATEARGS(&fun_temp->obj)) {
        DUK_HOBJECT_SET_CREATEARGS(&fun_clos->obj);
    }
    DUK_ASSERT(!DUK_HOBJECT_HAS_EXOTIC_ARRAY(&fun_clos->obj));
    DUK_ASSERT(!DUK_HOBJECT_HAS_EXOTIC_STRINGOBJ(&fun_clos->obj));
    DUK_ASSERT(!DUK_HOBJECT_HAS_EXOTIC_ARGUMENTS(&fun_clos->obj));
 
    /*
     *  Setup environment record properties based on the template and
     *  its flags.
     *
     *  If DUK_HOBJECT_HAS_NEWENV(fun_temp) is true, the environment
     *  records represent identifiers "outside" the function; the
     *  "inner" environment records are created on demand.  Otherwise,
     *  the environment records are those that will be directly used
     *  (e.g. for declarations).
     *
     *  _Lexenv is always set; _Varenv defaults to _Lexenv if missing,
     *  so _Varenv is only set if _Lexenv != _Varenv.
     *
     *  This is relatively complex, see doc/identifier-handling.rst.
     */
 
    if (DUK_HOBJECT_HAS_NEWENV(&fun_temp->obj)) {
        DUK_HOBJECT_SET_NEWENV(&fun_clos->obj);
 
        if (DUK_HOBJECT_HAS_NAMEBINDING(&fun_temp->obj)) {
            duk_hobject *proto;
 
            /*
             *  Named function expression, name needs to be bound
             *  in an intermediate environment record.  The "outer"
             *  lexical/variable environment will thus be:
             *
             *  a) { funcname: <func>, __prototype: outer_lex_env }
             *  b) { funcname: <func>, __prototype:  <globalenv> }  (if outer_lex_env missing)
             */
 
            DUK_ASSERT(duk_has_prop_stridx(ctx, -1, DUK_STRIDX_NAME));  /* required if NAMEBINDING set */
 
            if (outer_lex_env) {
                proto = outer_lex_env;
            } else {
                proto = thr->builtins[DUK_BIDX_GLOBAL_ENV];
            }
 
            /* -> [ ... closure template env ] */
            (void) duk_push_object_helper_proto(ctx,
                                                DUK_HOBJECT_FLAG_EXTENSIBLE |
                                                DUK_HOBJECT_CLASS_AS_FLAGS(DUK_HOBJECT_CLASS_DECENV),
                                                proto);
 
            /* It's important that duk_xdef_prop() is a 'raw define' so that any
             * properties in an ancestor are never an issue (they should never be
             * e.g. non-writable, but just in case).
             */
            duk_get_prop_stridx(ctx, -2, DUK_STRIDX_NAME);       /* -> [ ... closure template env funcname ] */
            duk_dup(ctx, -4);                                    /* -> [ ... closure template env funcname closure ] */
            duk_xdef_prop(ctx, -3, DUK_PROPDESC_FLAGS_NONE);     /* -> [ ... closure template env ] */
            /* env[funcname] = closure */
 
            /* [ ... closure template env ] */
 
            duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_INT_LEXENV, DUK_PROPDESC_FLAGS_WC);
            /* since closure has NEWENV, never define DUK_STRIDX_INT_VARENV, as it
             * will be ignored anyway
             */
 
            /* [ ... closure template ] */
        } else {
            /*
             *  Other cases (function declaration, anonymous function expression,
             *  strict direct eval code).  The "outer" environment will be whatever
             *  the caller gave us.
             */
 
            duk_push_hobject(ctx, outer_lex_env);  /* -> [ ... closure template env ] */
            duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_INT_LEXENV, DUK_PROPDESC_FLAGS_WC);
            /* since closure has NEWENV, never define DUK_STRIDX_INT_VARENV, as it
             * will be ignored anyway
             */
 
            /* [ ... closure template ] */
        }
    } else {
        /*
         *  Function gets no new environment when called.  This is the
         *  case for global code, indirect eval code, and non-strict
         *  direct eval code.  There is no direct correspondence to the
         *  E5 specification, as global/eval code is not exposed as a
         *  function.
         */
 
        DUK_ASSERT(!DUK_HOBJECT_HAS_NAMEBINDING(&fun_temp->obj));
 
        duk_push_hobject(ctx, outer_lex_env);  /* -> [ ... closure template env ] */
        duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_INT_LEXENV, DUK_PROPDESC_FLAGS_WC);
 
        if (outer_var_env != outer_lex_env) {
            duk_push_hobject(ctx, outer_var_env);  /* -> [ ... closure template env ] */
            duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_INT_VARENV, DUK_PROPDESC_FLAGS_WC);
        }
    }
#ifdef DUK_USE_DDDPRINT
    duk_get_prop_stridx(ctx, -2, DUK_STRIDX_INT_VARENV);
    duk_get_prop_stridx(ctx, -3, DUK_STRIDX_INT_LEXENV);
    DUK_DDD(DUK_DDDPRINT("closure varenv -> %!ipT, lexenv -> %!ipT",
                         (duk_tval *) duk_get_tval(ctx, -2),
                         (duk_tval *) duk_get_tval(ctx, -1)));
    duk_pop_2(ctx);
#endif
 
    /*
     *  Copy some internal properties directly
     *
     *  The properties will be writable and configurable, but not enumerable.
     */
 
    /* [ ... closure template ] */
 
    DUK_DDD(DUK_DDDPRINT("copying properties: closure=%!iT, template=%!iT",
                         (duk_tval *) duk_get_tval(ctx, -2),
                         (duk_tval *) duk_get_tval(ctx, -1)));
 
    for (i = 0; i < (duk_small_uint_t) (sizeof(duk__closure_copy_proplist) / sizeof(duk_uint16_t)); i++) {
        duk_small_int_t stridx = (duk_small_int_t) duk__closure_copy_proplist[i];
        if (duk_get_prop_stridx(ctx, -1, stridx)) {
            /* [ ... closure template val ] */
            DUK_DDD(DUK_DDDPRINT("copying property, stridx=%ld -> found", (long) stridx));
            duk_xdef_prop_stridx(ctx, -3, stridx, DUK_PROPDESC_FLAGS_WC);
        } else {
            DUK_DDD(DUK_DDDPRINT("copying property, stridx=%ld -> not found", (long) stridx));
            duk_pop(ctx);
        }
    }
 
    /*
     *  "length" maps to number of formals (E5 Section 13.2) for function
     *  declarations/expressions (non-bound functions).  Note that 'nargs'
     *  is NOT necessarily equal to the number of arguments.
     */
 
    /* [ ... closure template ] */
 
    len_value = 0;
 
    /* XXX: use helper for size optimization */
    if (duk_get_prop_stridx(ctx, -2, DUK_STRIDX_INT_FORMALS)) {
        /* [ ... closure template formals ] */
        DUK_ASSERT(duk_has_prop_stridx(ctx, -1, DUK_STRIDX_LENGTH));
        DUK_ASSERT(duk_get_length(ctx, -1) <= DUK_UINT_MAX);  /* formal arg limits */
        len_value = (duk_uint_t) duk_get_length(ctx, -1);
    } else {
        /* XXX: what to do if _Formals is not empty but compiler has
         * optimized it away -- read length from an explicit property
         * then?
         */
    }
    duk_pop(ctx);
 
    duk_push_uint(ctx, len_value);  /* [ ... closure template len_value ] */
    duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_LENGTH, DUK_PROPDESC_FLAGS_NONE);
 
    /*
     *  "prototype" is, by default, a fresh object with the "constructor"
     *  property.
     *
     *  Note that this creates a circular reference for every function
     *  instance (closure) which prevents refcount-based collection of
     *  function instances.
     *
     *  XXX: Try to avoid creating the default prototype object, because
     *  many functions are not used as constructors and the default
     *  prototype is unnecessary.  Perhaps it could be created on-demand
     *  when it is first accessed?
     */
 
    /* [ ... closure template ] */
 
    if (add_auto_proto) {
        duk_push_object(ctx);  /* -> [ ... closure template newobj ] */
        duk_dup(ctx, -3);          /* -> [ ... closure template newobj closure ] */
        duk_xdef_prop_stridx(ctx, -2, DUK_STRIDX_CONSTRUCTOR, DUK_PROPDESC_FLAGS_WC);  /* -> [ ... closure template newobj ] */
        duk_compact(ctx, -1);  /* compact the prototype */
        duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_PROTOTYPE, DUK_PROPDESC_FLAGS_W);     /* -> [ ... closure template ] */
    }
 
    /*
     *  "arguments" and "caller" must be mapped to throwers for strict
     *  mode and bound functions (E5 Section 15.3.5).
     *
     *  XXX: This is expensive to have for every strict function instance.
     *  Try to implement as virtual properties or on-demand created properties.
     */
 
    /* [ ... closure template ] */
 
    if (DUK_HOBJECT_HAS_STRICT(&fun_clos->obj)) {
        duk_xdef_prop_stridx_thrower(ctx, -2, DUK_STRIDX_CALLER, DUK_PROPDESC_FLAGS_NONE);
        duk_xdef_prop_stridx_thrower(ctx, -2, DUK_STRIDX_LC_ARGUMENTS, DUK_PROPDESC_FLAGS_NONE);
    } else {
#ifdef DUK_USE_NONSTD_FUNC_CALLER_PROPERTY
        DUK_DDD(DUK_DDDPRINT("function is non-strict and non-standard 'caller' property in use, add initial 'null' value"));
        duk_push_null(ctx);
        duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_CALLER, DUK_PROPDESC_FLAGS_NONE);
#else
        DUK_DDD(DUK_DDDPRINT("function is non-strict and non-standard 'caller' property not used"));
#endif
    }
 
    /*
     *  "name" is a non-standard property found in at least V8, Rhino, smjs.
     *  For Rhino and smjs it is non-writable, non-enumerable, and non-configurable;
     *  for V8 it is writable, non-enumerable, non-configurable.  It is also defined
     *  for an anonymous function expression in which case the value is an empty string.
     *  We could also leave name 'undefined' for anonymous functions but that would
     *  differ from behavior of other engines, so use an empty string.
     *
     *  XXX: make optional?  costs something per function.
     */
 
    /* [ ... closure template ] */
 
    if (duk_get_prop_stridx(ctx, -1, DUK_STRIDX_NAME)) {
        /* [ ... closure template name ] */
        DUK_ASSERT(duk_is_string(ctx, -1));
    } else {
        /* [ ... closure template undefined ] */
        duk_pop(ctx);
        duk_push_hstring_stridx(ctx, DUK_STRIDX_EMPTY_STRING);
    }
    duk_xdef_prop_stridx(ctx, -3, DUK_STRIDX_NAME, DUK_PROPDESC_FLAGS_NONE);  /* -> [ ... closure template ] */
 
    /*
     *  Compact the closure, in most cases no properties will be added later.
     *  Also, without this the closures end up having unused property slots
     *  (e.g. in Duktape 0.9.0, 8 slots would be allocated and only 7 used).
     *  A better future solution would be to allocate the closure directly
     *  to correct size (and setup the properties directly without going
     *  through the API).
     */
 
    duk_compact(ctx, -2);
 
    /*
     *  Some assertions (E5 Section 13.2).
     */
 
    DUK_ASSERT(DUK_HOBJECT_GET_CLASS_NUMBER(&fun_clos->obj) == DUK_HOBJECT_CLASS_FUNCTION);
    DUK_ASSERT(DUK_HOBJECT_GET_PROTOTYPE(thr->heap, &fun_clos->obj) == thr->builtins[DUK_BIDX_FUNCTION_PROTOTYPE]);
    DUK_ASSERT(DUK_HOBJECT_HAS_EXTENSIBLE(&fun_clos->obj));
    DUK_ASSERT(duk_has_prop_stridx(ctx, -2, DUK_STRIDX_LENGTH) != 0);
    DUK_ASSERT(add_auto_proto == 0 || duk_has_prop_stridx(ctx, -2, DUK_STRIDX_PROTOTYPE) != 0);
    DUK_ASSERT(duk_has_prop_stridx(ctx, -2, DUK_STRIDX_NAME) != 0);  /* non-standard */
    DUK_ASSERT(!DUK_HOBJECT_HAS_STRICT(&fun_clos->obj) ||
               duk_has_prop_stridx(ctx, -2, DUK_STRIDX_CALLER) != 0);
    DUK_ASSERT(!DUK_HOBJECT_HAS_STRICT(&fun_clos->obj) ||
               duk_has_prop_stridx(ctx, -2, DUK_STRIDX_LC_ARGUMENTS) != 0);
 
    /*
     *  Finish
     */
 
    /* [ ... closure template ] */
 
    DUK_DDD(DUK_DDDPRINT("created function instance: template=%!iT -> closure=%!iT",
                         (duk_tval *) duk_get_tval(ctx, -1),
                         (duk_tval *) duk_get_tval(ctx, -2)));
 
    duk_pop(ctx);
 
    /* [ ... closure ] */
}

References duk_hthread::builtins, duk__closure_copy_proplist, duk__inc_data_inner_refcounts(), DUK_ASSERT, DUK_BIDX_FUNCTION_PROTOTYPE, DUK_BIDX_GLOBAL_ENV, duk_compact(), DUK_DDD, DUK_DDDPRINT, duk_dup(), duk_get_hcompiledfunction(), duk_get_length(), duk_get_prop_stridx(), duk_get_tval(), duk_has_prop_stridx(), DUK_HBUFFER_INCREF, DUK_HCOMPILEDFUNCTION_GET_BYTECODE, DUK_HCOMPILEDFUNCTION_GET_DATA, DUK_HCOMPILEDFUNCTION_GET_FUNCS, DUK_HCOMPILEDFUNCTION_SET_BYTECODE, DUK_HCOMPILEDFUNCTION_SET_DATA, DUK_HCOMPILEDFUNCTION_SET_FUNCS, DUK_HOBJECT_CLASS_AS_FLAGS, DUK_HOBJECT_CLASS_DECENV, DUK_HOBJECT_CLASS_FUNCTION, DUK_HOBJECT_FLAG_EXTENSIBLE, DUK_HOBJECT_GET_CLASS_NUMBER, DUK_HOBJECT_GET_PROTOTYPE, DUK_HOBJECT_HAS_BOUND, DUK_HOBJECT_HAS_COMPILEDFUNCTION, DUK_HOBJECT_HAS_CONSTRUCTABLE, DUK_HOBJECT_HAS_CREATEARGS, DUK_HOBJECT_HAS_EXOTIC_ARGUMENTS, DUK_HOBJECT_HAS_EXOTIC_ARRAY, DUK_HOBJECT_HAS_EXOTIC_STRINGOBJ, DUK_HOBJECT_HAS_EXTENSIBLE, DUK_HOBJECT_HAS_NAMEBINDING, DUK_HOBJECT_HAS_NATIVEFUNCTION, DUK_HOBJECT_HAS_NEWENV, DUK_HOBJECT_HAS_NOTAIL, DUK_HOBJECT_HAS_STRICT, DUK_HOBJECT_HAS_THREAD, DUK_HOBJECT_IS_COMPILEDFUNCTION, DUK_HOBJECT_SET_CONSTRUCTABLE, DUK_HOBJECT_SET_CREATEARGS, DUK_HOBJECT_SET_NAMEBINDING, DUK_HOBJECT_SET_NEWENV, DUK_HOBJECT_SET_NOTAIL, DUK_HOBJECT_SET_PROTOTYPE_UPDREF, DUK_HOBJECT_SET_STRICT, duk_is_string(), duk_pop(), duk_pop_2(), DUK_PROPDESC_FLAGS_NONE, DUK_PROPDESC_FLAGS_W, DUK_PROPDESC_FLAGS_WC, duk_push_compiledfunction(), duk_push_hobject(), duk_push_hstring_stridx(), duk_push_null(), duk_push_object(), duk_push_object_helper_proto(), duk_push_uint(), DUK_STRIDX_CALLER, DUK_STRIDX_CONSTRUCTOR, DUK_STRIDX_EMPTY_STRING, DUK_STRIDX_INT_FORMALS, DUK_STRIDX_INT_LEXENV, DUK_STRIDX_INT_VARENV, DUK_STRIDX_LC_ARGUMENTS, DUK_STRIDX_LENGTH, DUK_STRIDX_NAME, DUK_STRIDX_PROTOTYPE, DUK_UINT_MAX, DUK_UNREF, duk_xdef_prop(), duk_xdef_prop_stridx(), duk_xdef_prop_stridx_thrower(), duk_hthread::heap, duk_hcompiledfunction::nargs, duk_hcompiledfunction::nregs, NULL, duk_hcompiledfunction::obj, and proto.

duk_js_putvar_activation()

DUK_INTERNAL void duk_js_putvar_activation	(	duk_hthread *	thr,
		duk_activation *	act,
		duk_hstring *	name,
		duk_tval *	val,
		duk_bool_t	strict )

Definition at line 1413 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                 {
    DUK_ASSERT(act != NULL);
    duk__putvar_helper(thr, act->lex_env, act, name, val, strict);
}

References duk__putvar_helper(), DUK_ASSERT, duk_activation::lex_env, name, and NULL.

duk_js_putvar_envrec()

DUK_INTERNAL void duk_js_putvar_envrec	(	duk_hthread *	thr,
		duk_hobject *	env,
		duk_hstring *	name,
		duk_tval *	val,
		duk_bool_t	strict )

Definition at line 1404 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                             {
    duk__putvar_helper(thr, env, NULL, name, val, strict);
}

References duk__putvar_helper(), name, and NULL.

Variable Documentation

duk__closure_copy_proplist

DUK_LOCAL const duk_uint16_t duk__closure_copy_proplist[]

Initial value:

= {
    
    DUK_STRIDX_INT_VARMAP,
    DUK_STRIDX_INT_FORMALS,
    DUK_STRIDX_NAME,
    DUK_STRIDX_INT_PC2LINE,
    DUK_STRIDX_FILE_NAME,
    DUK_STRIDX_INT_SOURCE
}

Definition at line 107 of file duktape-1.5.2/src-separate/duk_js_var.c.

                                                            {
    /* order: most frequent to least frequent */
    DUK_STRIDX_INT_VARMAP,
    DUK_STRIDX_INT_FORMALS,
    DUK_STRIDX_NAME,
    DUK_STRIDX_INT_PC2LINE,
    DUK_STRIDX_FILE_NAME,
    DUK_STRIDX_INT_SOURCE
};

Referenced by duk_js_push_closure().