duk_js.h File Reference

Go to the source code of this file.

Macros
#define	DUK_CALL_FLAG_IGNORE_RECLIMIT   (1 << 0) /* duk_handle_call_xxx: call ignores C recursion limit (for errhandler calls) */
#define	DUK_CALL_FLAG_CONSTRUCTOR_CALL   (1 << 1) /* duk_handle_call_xxx: constructor call (i.e. called as 'new Foo()') */
#define	DUK_CALL_FLAG_IS_RESUME   (1 << 2) /* duk_handle_ecma_call_setup: setup for a resume() */
#define	DUK_CALL_FLAG_IS_TAILCALL   (1 << 3) /* duk_handle_ecma_call_setup: setup for a tail call */
#define	DUK_CALL_FLAG_DIRECT_EVAL   (1 << 4) /* call is a direct eval call */
#define	DUK_EQUALS_FLAG_SAMEVALUE   (1 << 0) /* use SameValue instead of non-strict equality */
#define	DUK_EQUALS_FLAG_STRICT   (1 << 1) /* use strict equality instead of non-strict equality */
#define	DUK_COMPARE_FLAG_EVAL_LEFT_FIRST   (1 << 0) /* eval left argument first */
#define	DUK_COMPARE_FLAG_NEGATE   (1 << 1) /* negate result */
#define	duk_js_equals(thr, tv_x, tv_y)    duk_js_equals_helper((thr), (tv_x), (tv_y), 0)
#define	duk_js_strict_equals(tv_x, tv_y)    duk_js_equals_helper(NULL, (tv_x), (tv_y), DUK_EQUALS_FLAG_STRICT)
#define	duk_js_samevalue(tv_x, tv_y)    duk_js_equals_helper(NULL, (tv_x), (tv_y), DUK_EQUALS_FLAG_SAMEVALUE)
#define	duk_js_lessthan(thr, tv_x, tv_y)    duk_js_compare_helper((thr), (tv_x), (tv_Y), DUK_COMPARE_FLAG_EVAL_LEFT_FIRST)
#define	duk_js_greaterthan(thr, tv_x, tv_y)    duk_js_compare_helper((thr), (tv_y), (tv_x), 0)
#define	duk_js_lessthanorequal(thr, tv_x, tv_y)    duk_js_compare_helper((thr), (tv_y), (tv_x), DUK_COMPARE_FLAG_NEGATE)
#define	duk_js_greaterthanorequal(thr, tv_x, tv_y)    duk_js_compare_helper((thr), (tv_x), (tv_y), DUK_COMPARE_FLAG_EVAL_LEFT_FIRST | DUK_COMPARE_FLAG_NEGATE)

Functions
DUK_INTERNAL_DECL duk_bool_t	duk_js_toboolean (duk_tval *tv)
DUK_INTERNAL_DECL duk_double_t	duk_js_tonumber (duk_hthread *thr, duk_tval *tv)
DUK_INTERNAL_DECL duk_double_t	duk_js_tointeger_number (duk_double_t x)
DUK_INTERNAL_DECL duk_double_t	duk_js_tointeger (duk_hthread *thr, duk_tval *tv)
DUK_INTERNAL_DECL duk_uint32_t	duk_js_touint32 (duk_hthread *thr, duk_tval *tv)
DUK_INTERNAL_DECL duk_int32_t	duk_js_toint32 (duk_hthread *thr, duk_tval *tv)
DUK_INTERNAL_DECL duk_uint16_t	duk_js_touint16 (duk_hthread *thr, duk_tval *tv)
DUK_INTERNAL_DECL duk_small_int_t	duk_js_to_arrayindex_raw_string (const duk_uint8_t *str, duk_uint32_t blen, duk_uarridx_t *out_idx)
DUK_INTERNAL_DECL duk_uarridx_t	duk_js_to_arrayindex_string_helper (duk_hstring *h)
DUK_INTERNAL_DECL duk_bool_t	duk_js_equals_helper (duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y, duk_small_int_t flags)
DUK_INTERNAL_DECL duk_small_int_t	duk_js_data_compare (const duk_uint8_t *buf1, const duk_uint8_t *buf2, duk_size_t len1, duk_size_t len2)
DUK_INTERNAL_DECL duk_small_int_t	duk_js_string_compare (duk_hstring *h1, duk_hstring *h2)
DUK_INTERNAL_DECL duk_bool_t	duk_js_compare_helper (duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y, duk_small_int_t flags)
DUK_INTERNAL_DECL duk_bool_t	duk_js_instanceof (duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y)
DUK_INTERNAL_DECL duk_bool_t	duk_js_in (duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y)
DUK_INTERNAL_DECL duk_hstring *	duk_js_typeof (duk_hthread *thr, duk_tval *tv_x)
DUK_INTERNAL_DECL duk_bool_t	duk_js_getvar_envrec (duk_hthread *thr, duk_hobject *env, duk_hstring *name, duk_bool_t throw_flag)
DUK_INTERNAL_DECL duk_bool_t	duk_js_getvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name, duk_bool_t throw_flag)
DUK_INTERNAL_DECL void	duk_js_putvar_envrec (duk_hthread *thr, duk_hobject *env, duk_hstring *name, duk_tval *val, duk_bool_t strict)
DUK_INTERNAL_DECL void	duk_js_putvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name, duk_tval *val, duk_bool_t strict)
DUK_INTERNAL_DECL duk_bool_t	duk_js_delvar_activation (duk_hthread *thr, duk_activation *act, duk_hstring *name)
DUK_INTERNAL_DECL 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)
DUK_INTERNAL_DECL void	duk_js_init_activation_environment_records_delayed (duk_hthread *thr, duk_activation *act)
DUK_INTERNAL_DECL void	duk_js_close_environment_record (duk_hthread *thr, duk_hobject *env, duk_hobject *func, duk_size_t regbase)
DUK_INTERNAL_DECL duk_hobject *	duk_create_activation_environment_record (duk_hthread *thr, duk_hobject *func, duk_size_t idx_bottom)
DUK_INTERNAL_DECL 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_DECL duk_int_t	duk_handle_call_protected (duk_hthread *thr, duk_idx_t num_stack_args, duk_small_uint_t call_flags)
DUK_INTERNAL_DECL void	duk_handle_call_unprotected (duk_hthread *thr, duk_idx_t num_stack_args, duk_small_uint_t call_flags)
DUK_INTERNAL_DECL duk_int_t	duk_handle_safe_call (duk_hthread *thr, duk_safe_call_function func, duk_idx_t num_stack_args, duk_idx_t num_stack_res)
DUK_INTERNAL_DECL duk_bool_t	duk_handle_ecma_call_setup (duk_hthread *thr, duk_idx_t num_stack_args, duk_small_uint_t call_flags)
DUK_INTERNAL_DECL void	duk_js_execute_bytecode (duk_hthread *exec_thr)

Macro Definition Documentation

DUK_CALL_FLAG_CONSTRUCTOR_CALL

#define DUK_CALL_FLAG_CONSTRUCTOR_CALL   (1 << 1) /* duk_handle_call_xxx: constructor call (i.e. called as 'new Foo()') */

Definition at line 10 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_CALL_FLAG_DIRECT_EVAL

#define DUK_CALL_FLAG_DIRECT_EVAL   (1 << 4) /* call is a direct eval call */

Definition at line 13 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_CALL_FLAG_IGNORE_RECLIMIT

#define DUK_CALL_FLAG_IGNORE_RECLIMIT   (1 << 0) /* duk_handle_call_xxx: call ignores C recursion limit (for errhandler calls) */

Definition at line 9 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_CALL_FLAG_IS_RESUME

#define DUK_CALL_FLAG_IS_RESUME   (1 << 2) /* duk_handle_ecma_call_setup: setup for a resume() */

Definition at line 11 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_CALL_FLAG_IS_TAILCALL

#define DUK_CALL_FLAG_IS_TAILCALL   (1 << 3) /* duk_handle_ecma_call_setup: setup for a tail call */

Definition at line 12 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_COMPARE_FLAG_EVAL_LEFT_FIRST

#define DUK_COMPARE_FLAG_EVAL_LEFT_FIRST   (1 << 0) /* eval left argument first */

Definition at line 20 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_COMPARE_FLAG_NEGATE

#define DUK_COMPARE_FLAG_NEGATE   (1 << 1) /* negate result */

Definition at line 21 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_EQUALS_FLAG_SAMEVALUE

#define DUK_EQUALS_FLAG_SAMEVALUE   (1 << 0) /* use SameValue instead of non-strict equality */

Definition at line 16 of file duktape-1.8.0/src-separate/duk_js.h.

DUK_EQUALS_FLAG_STRICT

#define DUK_EQUALS_FLAG_STRICT   (1 << 1) /* use strict equality instead of non-strict equality */

Definition at line 17 of file duktape-1.8.0/src-separate/duk_js.h.

duk_js_equals

#define duk_js_equals	(		thr,
			tv_x,
			tv_y )    duk_js_equals_helper((thr), (tv_x), (tv_y), 0)

Definition at line 44 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_equals(thr,tv_x,tv_y) \
    duk_js_equals_helper((thr), (tv_x), (tv_y), 0)

duk_js_greaterthan

#define duk_js_greaterthan	(		thr,
			tv_x,
			tv_y )    duk_js_compare_helper((thr), (tv_y), (tv_x), 0)

Definition at line 56 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_greaterthan(thr,tv_x,tv_y) \
    duk_js_compare_helper((thr), (tv_y), (tv_x), 0)

duk_js_greaterthanorequal

#define duk_js_greaterthanorequal	(		thr,
			tv_x,
			tv_y )    duk_js_compare_helper((thr), (tv_x), (tv_y), DUK_COMPARE_FLAG_EVAL_LEFT_FIRST | DUK_COMPARE_FLAG_NEGATE)

Definition at line 64 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_greaterthanorequal(thr,tv_x,tv_y) \
    duk_js_compare_helper((thr), (tv_x), (tv_y), DUK_COMPARE_FLAG_EVAL_LEFT_FIRST | DUK_COMPARE_FLAG_NEGATE)

duk_js_lessthan

#define duk_js_lessthan	(		thr,
			tv_x,
			tv_y )    duk_js_compare_helper((thr), (tv_x), (tv_Y), DUK_COMPARE_FLAG_EVAL_LEFT_FIRST)

Definition at line 52 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_lessthan(thr,tv_x,tv_y) \
    duk_js_compare_helper((thr), (tv_x), (tv_Y), DUK_COMPARE_FLAG_EVAL_LEFT_FIRST)

duk_js_lessthanorequal

#define duk_js_lessthanorequal	(		thr,
			tv_x,
			tv_y )    duk_js_compare_helper((thr), (tv_y), (tv_x), DUK_COMPARE_FLAG_NEGATE)

Definition at line 60 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_lessthanorequal(thr,tv_x,tv_y) \
    duk_js_compare_helper((thr), (tv_y), (tv_x), DUK_COMPARE_FLAG_NEGATE)

duk_js_samevalue

#define duk_js_samevalue	(		tv_x,
			tv_y )    duk_js_equals_helper(NULL, (tv_x), (tv_y), DUK_EQUALS_FLAG_SAMEVALUE)

Definition at line 48 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_samevalue(tv_x,tv_y) \
    duk_js_equals_helper(NULL, (tv_x), (tv_y), DUK_EQUALS_FLAG_SAMEVALUE)

duk_js_strict_equals

#define duk_js_strict_equals	(		tv_x,
			tv_y )    duk_js_equals_helper(NULL, (tv_x), (tv_y), DUK_EQUALS_FLAG_STRICT)

Definition at line 46 of file duktape-1.8.0/src-separate/duk_js.h.

#define duk_js_strict_equals(tv_x,tv_y) \
    duk_js_equals_helper(NULL, (tv_x), (tv_y), DUK_EQUALS_FLAG_STRICT)

Function Documentation

duk_create_activation_environment_record()

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

Definition at line 71582 of file duktape-1.5.2/src-noline/duktape.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 */

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__handle_call_inner(), duk_handle_ecma_call_setup(), and duk_js_init_activation_environment_records_delayed().

duk_handle_call_protected()

DUK_INTERNAL_DECL duk_int_t duk_handle_call_protected	(	duk_hthread *	thr,
		duk_idx_t	num_stack_args,
		duk_small_uint_t	call_flags )

Definition at line 55593 of file duktape-1.5.2/src-noline/duktape.c.

                      :
 *
 *    [ retval ]         (DUK_EXEC_SUCCESS)
 *    [ errobj ]         (DUK_EXEC_ERROR (normal error), protected call)
 *
 *  Even when executing a protected call an error may be thrown in rare cases
 *  such as an insane num_stack_args argument.  If there is no catchpoint for
 *  such errors, the fatal error handler is called.
 *
 *  The error handling path should be error free, even for out-of-memory
 *  errors, to ensure safe sandboxing.  (As of Duktape 1.4.0 this is not
 *  yet the case, see XXX notes below.)
 */
 
DUK_INTERNAL duk_int_t duk_handle_call_protected(duk_hthread *thr,
                                                 duk_idx_t num_stack_args,
                                                 duk_small_uint_t call_flags) {
    duk_context *ctx;
    duk_size_t entry_valstack_bottom_index;
    duk_size_t entry_valstack_end;
    duk_size_t entry_callstack_top;
    duk_size_t entry_catchstack_top;
    duk_int_t entry_call_recursion_depth;
    duk_hthread *entry_curr_thread;
    duk_uint_fast8_t entry_thread_state;
    duk_instr_t **entry_ptr_curr_pc;
    duk_jmpbuf *old_jmpbuf_ptr = NULL;
    duk_jmpbuf our_jmpbuf;
    duk_idx_t idx_func;  /* valstack index of 'func' and retval (relative to entry valstack_bottom) */
 
    /* XXX: Multiple tv_func lookups are now avoided by making a local
     * copy of tv_func.  Another approach would be to compute an offset
     * for tv_func from valstack bottom and recomputing the tv_func
     * pointer quickly as valstack + offset instead of calling duk_get_tval().
     */
 
    ctx = (duk_context *) thr;
    DUK_UNREF(ctx);
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT_CTX_VALID(ctx);
    DUK_ASSERT(num_stack_args >= 0);
    /* XXX: currently NULL allocations are not supported; remove if later allowed */
    DUK_ASSERT(thr->valstack != NULL);
    DUK_ASSERT(thr->callstack != NULL);
    DUK_ASSERT(thr->catchstack != NULL);
 
    /* Argument validation and func/args offset. */
    idx_func = duk__get_idx_func(thr, num_stack_args);
 
    /* Preliminaries, required by setjmp() handler.  Must be careful not
     * to throw an unintended error here.
     */
 
    entry_valstack_bottom_index = (duk_size_t) (thr->valstack_bottom - thr->valstack);
#if defined(DUK_USE_PREFER_SIZE)
    entry_valstack_end = (duk_size_t) (thr->valstack_end - thr->valstack);
#else
    DUK_ASSERT((duk_size_t) (thr->valstack_end - thr->valstack) == thr->valstack_size);
    entry_valstack_end = thr->valstack_size;
#endif
    entry_callstack_top = thr->callstack_top;
    entry_catchstack_top = thr->catchstack_top;
    entry_call_recursion_depth = thr->heap->call_recursion_depth;
    entry_curr_thread = thr->heap->curr_thread;  /* Note: may be NULL if first call */
    entry_thread_state = thr->state;
    entry_ptr_curr_pc = thr->ptr_curr_pc;  /* may be NULL */
 
    DUK_DD(DUK_DDPRINT("duk_handle_call_protected: thr=%p, num_stack_args=%ld, "
                       "call_flags=0x%08lx (ignorerec=%ld, constructor=%ld), "
                       "valstack_top=%ld, idx_func=%ld, idx_args=%ld, rec_depth=%ld/%ld, "
                       "entry_valstack_bottom_index=%ld, entry_callstack_top=%ld, entry_catchstack_top=%ld, "
                       "entry_call_recursion_depth=%ld, entry_curr_thread=%p, entry_thread_state=%ld",
                       (void *) thr,
                       (long) num_stack_args,
                       (unsigned long) call_flags,
                       (long) ((call_flags & DUK_CALL_FLAG_IGNORE_RECLIMIT) != 0 ? 1 : 0),
                       (long) ((call_flags & DUK_CALL_FLAG_CONSTRUCTOR_CALL) != 0 ? 1 : 0),
                       (long) duk_get_top(ctx),
                       (long) idx_func,
                       (long) (idx_func + 2),
                       (long) thr->heap->call_recursion_depth,
                       (long) thr->heap->call_recursion_limit,
                       (long) entry_valstack_bottom_index,
                       (long) entry_callstack_top,
                       (long) entry_catchstack_top,
                       (long) entry_call_recursion_depth,
                       (void *) entry_curr_thread,
                       (long) entry_thread_state));
 
    old_jmpbuf_ptr = thr->heap->lj.jmpbuf_ptr;
    thr->heap->lj.jmpbuf_ptr = &our_jmpbuf;
 
#if defined(DUK_USE_CPP_EXCEPTIONS)
    try {
#else
    DUK_ASSERT(thr->heap->lj.jmpbuf_ptr == &our_jmpbuf);
    if (DUK_SETJMP(our_jmpbuf.jb) == 0) {
#endif
        /* Call handling and success path.  Success path exit cleans
         * up almost all state.
         */
        duk__handle_call_inner(thr, num_stack_args, call_flags, idx_func);
 
        /* Success path handles */
        DUK_ASSERT(thr->heap->call_recursion_depth == entry_call_recursion_depth);
        DUK_ASSERT(thr->ptr_curr_pc == entry_ptr_curr_pc);
 
        /* Longjmp state is kept clean in success path */
        DUK_ASSERT(thr->heap->lj.type == DUK_LJ_TYPE_UNKNOWN);
        DUK_ASSERT(thr->heap->lj.iserror == 0);
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value1));
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value2));
 
        thr->heap->lj.jmpbuf_ptr = old_jmpbuf_ptr;
 
        return DUK_EXEC_SUCCESS;
#if defined(DUK_USE_CPP_EXCEPTIONS)
    } catch (duk_internal_exception &exc) {
#else
    } else {
#endif
        /* Error; error value is in heap->lj.value1. */
 
#if defined(DUK_USE_CPP_EXCEPTIONS)
        DUK_UNREF(exc);
#endif
 
        duk__handle_call_error(thr,
                               entry_valstack_bottom_index,
                               entry_valstack_end,
                               entry_catchstack_top,
                               entry_callstack_top,
                               entry_call_recursion_depth,
                               entry_curr_thread,
                               entry_thread_state,
                               entry_ptr_curr_pc,
                               idx_func,
                               old_jmpbuf_ptr);
 
        /* Longjmp state is cleaned up by error handling */
        DUK_ASSERT(thr->heap->lj.type == DUK_LJ_TYPE_UNKNOWN);
        DUK_ASSERT(thr->heap->lj.iserror == 0);
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value1));
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value2));
        return DUK_EXEC_ERROR;
    }
#if defined(DUK_USE_CPP_EXCEPTIONS)
    catch (std::exception &exc) {
        const char *what = exc.what();
        if (!what) {
            what = "unknown";
        }
        DUK_D(DUK_DPRINT("unexpected c++ std::exception (perhaps thrown by user code)"));
        try {
            DUK_ERROR_FMT1(thr, DUK_ERR_API_ERROR, "caught invalid c++ std::exception '%s' (perhaps thrown by user code)", what);
        } catch (duk_internal_exception exc) {
            DUK_D(DUK_DPRINT("caught api error thrown from unexpected c++ std::exception"));
            DUK_UNREF(exc);
            duk__handle_call_error(thr,
                                   entry_valstack_bottom_index,
                                   entry_valstack_end,
                                   entry_catchstack_top,
                                   entry_callstack_top,
                                   entry_call_recursion_depth,
                                   entry_curr_thread,
                                   entry_thread_state,
                                   entry_ptr_curr_pc,
                                   idx_func,
                                   old_jmpbuf_ptr);
            return DUK_EXEC_ERROR;
        }
    } catch (...) {
        DUK_D(DUK_DPRINT("unexpected c++ exception (perhaps thrown by user code)"));
        try {
            DUK_ERROR_API(thr, "caught invalid c++ exception (perhaps thrown by user code)");
        } catch (duk_internal_exception exc) {
            DUK_D(DUK_DPRINT("caught api error thrown from unexpected c++ exception"));

References duk_heap::call_recursion_depth, duk_heap::call_recursion_limit, duk_hthread::callstack, duk_hthread::callstack_top, duk_hthread::catchstack, duk_hthread::catchstack_top, duk_heap::curr_thread, duk__get_idx_func(), duk__handle_call_error(), duk__handle_call_inner(), DUK_ASSERT, DUK_ASSERT_CTX_VALID, DUK_CALL_FLAG_CONSTRUCTOR_CALL, DUK_CALL_FLAG_IGNORE_RECLIMIT, DUK_D, DUK_DD, DUK_DDPRINT, DUK_DPRINT, DUK_ERR_API_ERROR, DUK_ERROR_API, DUK_ERROR_FMT1, DUK_EXEC_ERROR, DUK_EXEC_SUCCESS, duk_get_top(), DUK_LJ_TYPE_UNKNOWN, DUK_SETJMP, DUK_TVAL_IS_UNDEFINED, DUK_UNREF, duk_hthread::heap, duk_ljstate::iserror, duk_jmpbuf::jb, duk_ljstate::jmpbuf_ptr, duk_heap::lj, NULL, duk_hthread::ptr_curr_pc, duk_hthread::state, duk_ljstate::type, duk_hthread::valstack, duk_hthread::valstack_bottom, duk_hthread::valstack_end, duk_hthread::valstack_size, duk_ljstate::value1, and duk_ljstate::value2.

Referenced by duk__err_augment_user(), duk_pcall(), and duk_pcall_method().

duk_handle_call_unprotected()

DUK_INTERNAL_DECL void duk_handle_call_unprotected	(	duk_hthread *	thr,
		duk_idx_t	num_stack_args,
		duk_small_uint_t	call_flags )

Definition at line 55774 of file duktape-1.5.2/src-noline/duktape.c.

References duk__get_idx_func(), and duk__handle_call_inner().

Referenced by duk__js_execute_bytecode_inner(), duk_call(), duk_call_method(), and duk_new().

duk_handle_ecma_call_setup()

DUK_INTERNAL_DECL duk_bool_t duk_handle_ecma_call_setup	(	duk_hthread *	thr,
		duk_idx_t	num_stack_args,
		duk_small_uint_t	call_flags )

Definition at line 56917 of file duktape-1.5.2/src-noline/duktape.c.

                                                                                {
    duk_context *ctx = (duk_context *) thr;
    duk_size_t entry_valstack_bottom_index;
    duk_idx_t idx_func;     /* valstack index of 'func' and retval (relative to entry valstack_bottom) */
    duk_idx_t idx_args;     /* valstack index of start of args (arg1) (relative to entry valstack_bottom) */
    duk_idx_t nargs;        /* # argument registers target function wants (< 0 => never for ecma calls) */
    duk_idx_t nregs;        /* # total registers target function wants on entry (< 0 => never for ecma calls) */
    duk_hobject *func;      /* 'func' on stack (borrowed reference) */
    duk_tval *tv_func;      /* duk_tval ptr for 'func' on stack (borrowed reference) */
    duk_activation *act;
    duk_hobject *env;
    duk_bool_t use_tailcall;
    duk_instr_t **entry_ptr_curr_pc;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(ctx != NULL);
    DUK_ASSERT(!((call_flags & DUK_CALL_FLAG_IS_RESUME) != 0 && (call_flags & DUK_CALL_FLAG_IS_TAILCALL) != 0));
 
    /* XXX: assume these? */
    DUK_ASSERT(thr->valstack != NULL);
    DUK_ASSERT(thr->callstack != NULL);
    DUK_ASSERT(thr->catchstack != NULL);
 
    /* no need to handle thread state book-keeping here */
    DUK_ASSERT((call_flags & DUK_CALL_FLAG_IS_RESUME) != 0 ||
               (thr->state == DUK_HTHREAD_STATE_RUNNING &&
                thr->heap->curr_thread == thr));
 
    /* If thr->ptr_curr_pc is set, sync curr_pc to act->pc.  Then NULL
     * thr->ptr_curr_pc so that it's not accidentally used with an incorrect
     * activation when side effects occur.  If we end up not making the
     * call we must restore the value.
     */
    entry_ptr_curr_pc = thr->ptr_curr_pc;
    duk_hthread_sync_and_null_currpc(thr);
 
    /* if a tail call:
     *   - an Ecmascript activation must be on top of the callstack
     *   - there cannot be any active catchstack entries
     */
#if defined(DUK_USE_ASSERTIONS)
    if (call_flags & DUK_CALL_FLAG_IS_TAILCALL) {
        duk_size_t our_callstack_index;
        duk_size_t i;
 
        DUK_ASSERT(thr->callstack_top >= 1);
        our_callstack_index = thr->callstack_top - 1;
        DUK_ASSERT_DISABLE(our_callstack_index >= 0);
        DUK_ASSERT(our_callstack_index < thr->callstack_size);
        DUK_ASSERT(DUK_ACT_GET_FUNC(thr->callstack + our_callstack_index) != NULL);
        DUK_ASSERT(DUK_HOBJECT_IS_COMPILEDFUNCTION(DUK_ACT_GET_FUNC(thr->callstack + our_callstack_index)));
 
        /* No entry in the catchstack which would actually catch a
         * throw can refer to the callstack entry being reused.
         * There *can* be catchstack entries referring to the current
         * callstack entry as long as they don't catch (e.g. label sites).
         */
 
        for (i = 0; i < thr->catchstack_top; i++) {
            DUK_ASSERT(thr->catchstack[i].callstack_index < our_callstack_index ||  /* refer to callstack entries below current */
                       DUK_CAT_GET_TYPE(thr->catchstack + i) == DUK_CAT_TYPE_LABEL); /* or a non-catching entry */
        }
    }
#endif  /* DUK_USE_ASSERTIONS */
 
    entry_valstack_bottom_index = (duk_size_t) (thr->valstack_bottom - thr->valstack);
    /* XXX: rework */
    idx_func = duk_normalize_index(thr, -num_stack_args - 2);
    idx_args = idx_func + 2;
 
    DUK_DD(DUK_DDPRINT("handle_ecma_call_setup: thr=%p, "
                       "num_stack_args=%ld, call_flags=0x%08lx (resume=%ld, tailcall=%ld), "
                       "idx_func=%ld, idx_args=%ld, entry_valstack_bottom_index=%ld",
                       (void *) thr,
                       (long) num_stack_args,
                       (unsigned long) call_flags,
                       (long) ((call_flags & DUK_CALL_FLAG_IS_RESUME) != 0 ? 1 : 0),
                       (long) ((call_flags & DUK_CALL_FLAG_IS_TAILCALL) != 0 ? 1 : 0),
                       (long) idx_func,
                       (long) idx_args,
                       (long) entry_valstack_bottom_index));
 
    if (DUK_UNLIKELY(idx_func < 0 || idx_args < 0)) {
        /* XXX: assert? compiler is responsible for this never happening */
        DUK_ERROR_API(thr, DUK_STR_INVALID_CALL_ARGS);
    }
 
    /*
     *  Check the function type, handle bound function chains, and prepare
     *  parameters for the rest of the call handling.  Also figure out the
     *  effective 'this' binding, which replaces the current value at
     *  idx_func + 1.
     *
     *  If the target function is a 'bound' one, follow the chain of 'bound'
     *  functions until a non-bound function is found.  During this process,
     *  bound arguments are 'prepended' to existing ones, and the "this"
     *  binding is overridden.  See E5 Section 15.3.4.5.1.
     *
     *  If the final target function cannot be handled by an ecma-to-ecma
     *  call, return to the caller with a return value indicating this case.
     *  The bound chain is resolved and the caller can resume with a plain
     *  function call.
     */
 
    func = duk__nonbound_func_lookup(ctx, idx_func, &num_stack_args, &tv_func, call_flags);
    if (func == NULL || !DUK_HOBJECT_IS_COMPILEDFUNCTION(func)) {
        DUK_DDD(DUK_DDDPRINT("final target is a lightfunc/nativefunc, cannot do ecma-to-ecma call"));
        thr->ptr_curr_pc = entry_ptr_curr_pc;
        return 0;
    }
    /* XXX: tv_func is not actually needed */
 
    DUK_ASSERT(func != NULL);
    DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(func));
    DUK_ASSERT(DUK_HOBJECT_IS_COMPILEDFUNCTION(func));
 
    duk__coerce_effective_this_binding(thr, func, idx_func + 1);
    DUK_DDD(DUK_DDDPRINT("effective 'this' binding is: %!T",
                         duk_get_tval(ctx, idx_func + 1)));
 
    nargs = ((duk_hcompiledfunction *) func)->nargs;
    nregs = ((duk_hcompiledfunction *) func)->nregs;
    DUK_ASSERT(nregs >= nargs);
 
    /* [ ... func this arg1 ... argN ] */
 
    /*
     *  Preliminary activation record and valstack manipulation.
     *  The concrete actions depend on whether the we're dealing
     *  with a tail call (reuse an existing activation), a resume,
     *  or a normal call.
     *
     *  The basic actions, in varying order, are:
     *
     *    - Check stack size for call handling
     *    - Grow call stack if necessary (non-tail-calls)
     *    - Update current activation (idx_retval) if necessary
     *      (non-tail, non-resume calls)
     *    - Move start of args (idx_args) to valstack bottom
     *      (tail calls)
     *
     *  Don't touch valstack_bottom or valstack_top yet so that Duktape API
     *  calls work normally.
     */
 
    /* XXX: some overlapping code; cleanup */
    use_tailcall = call_flags & DUK_CALL_FLAG_IS_TAILCALL;
#if !defined(DUK_USE_TAILCALL)
    DUK_ASSERT(use_tailcall == 0);  /* compiler ensures this */
#endif
    if (use_tailcall) {
        /* tailcall cannot be flagged to resume calls, and a
         * previous frame must exist
         */
        DUK_ASSERT(thr->callstack_top >= 1);
        DUK_ASSERT((call_flags & DUK_CALL_FLAG_IS_RESUME) == 0);
 
        act = thr->callstack + thr->callstack_top - 1;
        if (act->flags & DUK_ACT_FLAG_PREVENT_YIELD) {
            /* See: test-bug-tailcall-preventyield-assert.c. */
            DUK_DDD(DUK_DDDPRINT("tail call prevented by current activation having DUK_ACT_FLAG_PREVENTYIELD"));
            use_tailcall = 0;
        } else if (DUK_HOBJECT_HAS_NOTAIL(func)) {
            DUK_D(DUK_DPRINT("tail call prevented by function having a notail flag"));
            use_tailcall = 0;
        }
    }
 
    if (use_tailcall) {
        duk_tval *tv1, *tv2;
        duk_size_t cs_index;
        duk_int_t i_stk;  /* must be signed for loop structure */
        duk_idx_t i_arg;
 
        /*
         *  Tailcall handling
         *
         *  Although the callstack entry is reused, we need to explicitly unwind
         *  the current activation (or simulate an unwind).  In particular, the
         *  current activation must be closed, otherwise something like
         *  test-bug-reduce-judofyr.js results.  Also catchstack needs be unwound
         *  because there may be non-error-catching label entries in valid tail calls.
         */
 
        DUK_DDD(DUK_DDDPRINT("is tail call, reusing activation at callstack top, at index %ld",
                             (long) (thr->callstack_top - 1)));
 
        /* 'act' already set above */
 
        DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(func));
        DUK_ASSERT(!DUK_HOBJECT_HAS_NATIVEFUNCTION(func));
        DUK_ASSERT(DUK_HOBJECT_HAS_COMPILEDFUNCTION(func));
        DUK_ASSERT((act->flags & DUK_ACT_FLAG_PREVENT_YIELD) == 0);
 
        /* Unwind catchstack entries referring to the callstack entry we're reusing */
        cs_index = thr->callstack_top - 1;
        DUK_ASSERT(thr->catchstack_top <= DUK_INT_MAX);  /* catchstack limits */
        for (i_stk = (duk_int_t) (thr->catchstack_top - 1); i_stk >= 0; i_stk--) {
            duk_catcher *cat = thr->catchstack + i_stk;
            if (cat->callstack_index != cs_index) {
                /* 'i' is the first entry we'll keep */
                break;
            }
        }
        duk_hthread_catchstack_unwind(thr, i_stk + 1);
 
        /* Unwind the topmost callstack entry before reusing it */
        DUK_ASSERT(thr->callstack_top > 0);
        duk_hthread_callstack_unwind(thr, thr->callstack_top - 1);
 
        /* Then reuse the unwound activation; callstack was not shrunk so there is always space */
        thr->callstack_top++;
        DUK_ASSERT(thr->callstack_top <= thr->callstack_size);
        act = thr->callstack + thr->callstack_top - 1;
 
        /* Start filling in the activation */
        act->func = func;  /* don't want an intermediate exposed state with func == NULL */
#if defined(DUK_USE_NONSTD_FUNC_CALLER_PROPERTY)
        act->prev_caller = NULL;
#endif
        DUK_ASSERT(func != NULL);
        DUK_ASSERT(DUK_HOBJECT_HAS_COMPILEDFUNCTION(func));
        /* don't want an intermediate exposed state with invalid pc */
        act->curr_pc = DUK_HCOMPILEDFUNCTION_GET_CODE_BASE(thr->heap, (duk_hcompiledfunction *) func);
#if defined(DUK_USE_DEBUGGER_SUPPORT)
        act->prev_line = 0;
#endif
        DUK_TVAL_SET_OBJECT(&act->tv_func, func);  /* borrowed, no refcount */
#if defined(DUK_USE_REFERENCE_COUNTING)
        DUK_HOBJECT_INCREF(thr, func);
        act = thr->callstack + thr->callstack_top - 1;  /* side effects (currently none though) */
#endif
 
#if defined(DUK_USE_NONSTD_FUNC_CALLER_PROPERTY)
#if defined(DUK_USE_TAILCALL)
#error incorrect options: tail calls enabled with function caller property
#endif
        /* XXX: this doesn't actually work properly for tail calls, so
         * tail calls are disabled when DUK_USE_NONSTD_FUNC_CALLER_PROPERTY
         * is in use.
         */
        duk__update_func_caller_prop(thr, func);
        act = thr->callstack + thr->callstack_top - 1;
#endif
 
        act->flags = (DUK_HOBJECT_HAS_STRICT(func) ?
                      DUK_ACT_FLAG_STRICT | DUK_ACT_FLAG_TAILCALLED :
                      DUK_ACT_FLAG_TAILCALLED);
 
        DUK_ASSERT(DUK_ACT_GET_FUNC(act) == func);      /* already updated */
        DUK_ASSERT(act->var_env == NULL);   /* already NULLed (by unwind) */
        DUK_ASSERT(act->lex_env == NULL);   /* already NULLed (by unwind) */
        act->idx_bottom = entry_valstack_bottom_index;  /* tail call -> reuse current "frame" */
        DUK_ASSERT(nregs >= 0);
#if 0  /* topmost activation idx_retval is considered garbage, no need to init */
        act->idx_retval = 0;
#endif
 
        /*
         *  Manipulate valstack so that args are on the current bottom and the
         *  previous caller's 'this' binding (which is the value preceding the
         *  current bottom) is replaced with the new 'this' binding:
         *
         *       [ ... this_old | (crud) func this_new arg1 ... argN ]
         *  -->  [ ... this_new | arg1 ... argN ]
         *
         *  For tail calling to work properly, the valstack bottom must not grow
         *  here; otherwise crud would accumulate on the valstack.
         */
 
        tv1 = thr->valstack_bottom - 1;
        tv2 = thr->valstack_bottom + idx_func + 1;
        DUK_ASSERT(tv1 >= thr->valstack && tv1 < thr->valstack_top);  /* tv1 is -below- valstack_bottom */
        DUK_ASSERT(tv2 >= thr->valstack_bottom && tv2 < thr->valstack_top);
        DUK_TVAL_SET_TVAL_UPDREF(thr, tv1, tv2);  /* side effects */
 
        for (i_arg = 0; i_arg < idx_args; i_arg++) {
            /* XXX: block removal API primitive */
            /* Note: 'func' is popped from valstack here, but it is
             * already reachable from the activation.
             */
            duk_remove(ctx, 0);
        }
        idx_func = 0; DUK_UNREF(idx_func);  /* really 'not applicable' anymore, should not be referenced after this */
        idx_args = 0;
 
        /* [ ... this_new | arg1 ... argN ] */
    } else {
        DUK_DDD(DUK_DDDPRINT("not a tail call, pushing a new activation to callstack, to index %ld",
                             (long) (thr->callstack_top)));
 
        duk_hthread_callstack_grow(thr);
 
        if (call_flags & DUK_CALL_FLAG_IS_RESUME) {
            DUK_DDD(DUK_DDDPRINT("is resume -> no update to current activation (may not even exist)"));
        } else {
            DUK_DDD(DUK_DDDPRINT("update to current activation idx_retval"));
            DUK_ASSERT(thr->callstack_top < thr->callstack_size);
            DUK_ASSERT(thr->callstack_top >= 1);
            act = thr->callstack + thr->callstack_top - 1;
            DUK_ASSERT(DUK_ACT_GET_FUNC(act) != NULL);
            DUK_ASSERT(DUK_HOBJECT_IS_COMPILEDFUNCTION(DUK_ACT_GET_FUNC(act)));
            act->idx_retval = entry_valstack_bottom_index + idx_func;
        }
 
        DUK_ASSERT(thr->callstack_top < thr->callstack_size);
        act = thr->callstack + thr->callstack_top;
        thr->callstack_top++;
        DUK_ASSERT(thr->callstack_top <= thr->callstack_size);
 
        DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(func));
        DUK_ASSERT(!DUK_HOBJECT_HAS_NATIVEFUNCTION(func));
        DUK_ASSERT(DUK_HOBJECT_HAS_COMPILEDFUNCTION(func));
 
        act->flags = (DUK_HOBJECT_HAS_STRICT(func) ?
                      DUK_ACT_FLAG_STRICT :
                      0);
        act->func = func;
        act->var_env = NULL;
        act->lex_env = NULL;
#if defined(DUK_USE_NONSTD_FUNC_CALLER_PROPERTY)
        act->prev_caller = NULL;
#endif
        DUK_ASSERT(func != NULL);
        DUK_ASSERT(DUK_HOBJECT_HAS_COMPILEDFUNCTION(func));
        act->curr_pc = DUK_HCOMPILEDFUNCTION_GET_CODE_BASE(thr->heap, (duk_hcompiledfunction *) func);
#if defined(DUK_USE_DEBUGGER_SUPPORT)
        act->prev_line = 0;
#endif
        act->idx_bottom = entry_valstack_bottom_index + idx_args;
        DUK_ASSERT(nregs >= 0);
#if 0  /* topmost activation idx_retval is considered garbage, no need to init */
        act->idx_retval = 0;
#endif
        DUK_TVAL_SET_OBJECT(&act->tv_func, func);  /* borrowed, no refcount */
 
        DUK_HOBJECT_INCREF(thr, func);  /* act->func */
 
#if defined(DUK_USE_NONSTD_FUNC_CALLER_PROPERTY)
        duk__update_func_caller_prop(thr, func);
        act = thr->callstack + thr->callstack_top - 1;
#endif
    }
 
    /* [ ... func this arg1 ... argN ]  (not tail call)
     * [ this | arg1 ... argN ]         (tail call)
     *
     * idx_args updated to match
     */
 
    /*
     *  Environment record creation and 'arguments' object creation.
     *  Named function expression name binding is handled by the
     *  compiler; the compiled function's parent env will contain
     *  the (immutable) binding already.
     *
     *  Delayed creation (on demand) is handled in duk_js_var.c.
     */
 
    /* XXX: unify handling with native call. */
 
    DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(func));  /* bound function chain has already been resolved */
 
    if (!DUK_HOBJECT_HAS_NEWENV(func)) {
        /* use existing env (e.g. for non-strict eval); cannot have
         * an own 'arguments' object (but can refer to the existing one)
         */
 
        duk__handle_oldenv_for_call(thr, func, act);
 
        DUK_ASSERT(act->lex_env != NULL);
        DUK_ASSERT(act->var_env != NULL);
        goto env_done;
    }
 
    DUK_ASSERT(DUK_HOBJECT_HAS_NEWENV(func));
 
    if (!DUK_HOBJECT_HAS_CREATEARGS(func)) {
        /* no need to create environment record now; leave as NULL */
        DUK_ASSERT(act->lex_env == NULL);
        DUK_ASSERT(act->var_env == NULL);
        goto env_done;
    }
 
    /* third arg: absolute index (to entire valstack) of idx_bottom of new activation */
    env = duk_create_activation_environment_record(thr, func, act->idx_bottom);
    DUK_ASSERT(env != NULL);
 
    /* [ ... arg1 ... argN envobj ] */
 
    /* original input stack before nargs/nregs handling must be
     * intact for 'arguments' object
     */
    DUK_ASSERT(DUK_HOBJECT_HAS_CREATEARGS(func));
    duk__handle_createargs_for_call(thr, func, env, num_stack_args);
 
    /* [ ... arg1 ... argN envobj ] */
 
    act = thr->callstack + thr->callstack_top - 1;
    act->lex_env = env;
    act->var_env = env;
    DUK_HOBJECT_INCREF(thr, act->lex_env);
    DUK_HOBJECT_INCREF(thr, act->var_env);
    duk_pop(ctx);
 
 env_done:
    /* [ ... arg1 ... argN ] */
 
    /*
     *  Setup value stack: clamp to 'nargs', fill up to 'nregs'
     */
 
    duk__adjust_valstack_and_top(thr,
                                 num_stack_args,
                                 idx_args,
                                 nregs,
                                 nargs,
                                 func);
 

References duk_hthread::callstack, duk_catcher::callstack_index, duk_hthread::callstack_size, duk_hthread::callstack_top, duk_hthread::catchstack, duk_hthread::catchstack_top, duk_activation::curr_pc, duk_heap::curr_thread, duk__adjust_valstack_and_top(), duk__coerce_effective_this_binding(), duk__handle_createargs_for_call(), duk__handle_oldenv_for_call(), duk__nonbound_func_lookup(), DUK_ACT_FLAG_PREVENT_YIELD, DUK_ACT_FLAG_STRICT, DUK_ACT_FLAG_TAILCALLED, DUK_ACT_GET_FUNC, DUK_ASSERT, DUK_ASSERT_DISABLE, DUK_CALL_FLAG_IS_RESUME, DUK_CALL_FLAG_IS_TAILCALL, DUK_CAT_GET_TYPE, DUK_CAT_TYPE_LABEL, duk_create_activation_environment_record(), DUK_D, DUK_DD, DUK_DDD, DUK_DDDPRINT, DUK_DDPRINT, DUK_DPRINT, DUK_ERROR_API, duk_get_tval(), DUK_HCOMPILEDFUNCTION_GET_CODE_BASE, DUK_HOBJECT_HAS_BOUND, DUK_HOBJECT_HAS_COMPILEDFUNCTION, DUK_HOBJECT_HAS_CREATEARGS, DUK_HOBJECT_HAS_NATIVEFUNCTION, DUK_HOBJECT_HAS_NEWENV, DUK_HOBJECT_HAS_NOTAIL, DUK_HOBJECT_HAS_STRICT, DUK_HOBJECT_INCREF, DUK_HOBJECT_IS_COMPILEDFUNCTION, duk_hthread_callstack_grow(), duk_hthread_callstack_unwind(), duk_hthread_catchstack_unwind(), DUK_HTHREAD_STATE_RUNNING, duk_hthread_sync_and_null_currpc(), DUK_INT_MAX, duk_normalize_index(), duk_pop(), duk_remove(), DUK_STR_INVALID_CALL_ARGS, DUK_TVAL_SET_OBJECT, DUK_TVAL_SET_TVAL_UPDREF, DUK_UNLIKELY, DUK_UNREF, duk_activation::flags, duk_activation::func, duk_hthread::heap, duk_activation::idx_bottom, duk_activation::idx_retval, duk_activation::lex_env, NULL, duk_hthread::ptr_curr_pc, duk_hthread::state, duk_activation::tv_func, duk_hthread::valstack, duk_hthread::valstack_bottom, duk_hthread::valstack_end, duk_hthread::valstack_top, and duk_activation::var_env.

Referenced by duk__handle_longjmp(), and duk__js_execute_bytecode_inner().

duk_handle_safe_call()

DUK_INTERNAL_DECL duk_int_t duk_handle_safe_call	(	duk_hthread *	thr,
		duk_safe_call_function	func,
		duk_idx_t	num_stack_args,
		duk_idx_t	num_stack_res )

Definition at line 56499 of file duktape-1.5.2/src-noline/duktape.c.

                                                                      {
    duk_context *ctx = (duk_context *) thr;
    duk_size_t entry_valstack_bottom_index;
    duk_size_t entry_callstack_top;
    duk_size_t entry_catchstack_top;
    duk_int_t entry_call_recursion_depth;
    duk_hthread *entry_curr_thread;
    duk_uint_fast8_t entry_thread_state;
    duk_instr_t **entry_ptr_curr_pc;
    duk_jmpbuf *old_jmpbuf_ptr = NULL;
    duk_jmpbuf our_jmpbuf;
    duk_idx_t idx_retbase;
    duk_int_t retval;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(ctx != NULL);
 
    /* Note: careful with indices like '-x'; if 'x' is zero, it refers to bottom */
    entry_valstack_bottom_index = (duk_size_t) (thr->valstack_bottom - thr->valstack);
    entry_callstack_top = thr->callstack_top;
    entry_catchstack_top = thr->catchstack_top;
    entry_call_recursion_depth = thr->heap->call_recursion_depth;
    entry_curr_thread = thr->heap->curr_thread;  /* Note: may be NULL if first call */
    entry_thread_state = thr->state;
    entry_ptr_curr_pc = thr->ptr_curr_pc;  /* may be NULL */
    idx_retbase = duk_get_top(ctx) - num_stack_args;  /* Note: not a valid stack index if num_stack_args == 0 */
 
    /* Note: cannot portably debug print a function pointer, hence 'func' not printed! */
    DUK_DD(DUK_DDPRINT("duk_handle_safe_call: thr=%p, num_stack_args=%ld, num_stack_rets=%ld, "
                       "valstack_top=%ld, idx_retbase=%ld, rec_depth=%ld/%ld, "
                       "entry_valstack_bottom_index=%ld, entry_callstack_top=%ld, entry_catchstack_top=%ld, "
                       "entry_call_recursion_depth=%ld, entry_curr_thread=%p, entry_thread_state=%ld",
                       (void *) thr,
                       (long) num_stack_args,
                       (long) num_stack_rets,
                       (long) duk_get_top(ctx),
                       (long) idx_retbase,
                       (long) thr->heap->call_recursion_depth,
                       (long) thr->heap->call_recursion_limit,
                       (long) entry_valstack_bottom_index,
                       (long) entry_callstack_top,
                       (long) entry_catchstack_top,
                       (long) entry_call_recursion_depth,
                       (void *) entry_curr_thread,
                       (long) entry_thread_state));
 
    if (idx_retbase < 0) {
        /* Since stack indices are not reliable, we can't do anything useful
         * here.  Invoke the existing setjmp catcher, or if it doesn't exist,
         * call the fatal error handler.
         */
 
        DUK_ERROR_API(thr, DUK_STR_INVALID_CALL_ARGS);
    }
 
    /* setjmp catchpoint setup */
 
    old_jmpbuf_ptr = thr->heap->lj.jmpbuf_ptr;
    thr->heap->lj.jmpbuf_ptr = &our_jmpbuf;
 
#if defined(DUK_USE_CPP_EXCEPTIONS)
    try {
#else
    DUK_ASSERT(thr->heap->lj.jmpbuf_ptr == &our_jmpbuf);
    if (DUK_SETJMP(our_jmpbuf.jb) == 0) {
        /* Success path. */
#endif
        DUK_DDD(DUK_DDDPRINT("safe_call setjmp catchpoint setup complete"));
 
        duk__handle_safe_call_inner(thr,
                                    func,
                                    idx_retbase,
                                    num_stack_rets,
                                    entry_valstack_bottom_index,
                                    entry_callstack_top,
                                    entry_catchstack_top);
 
        /* Longjmp state is kept clean in success path */
        DUK_ASSERT(thr->heap->lj.type == DUK_LJ_TYPE_UNKNOWN);
        DUK_ASSERT(thr->heap->lj.iserror == 0);
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value1));
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value2));
 
        /* Note: either pointer may be NULL (at entry), so don't assert */
        thr->heap->lj.jmpbuf_ptr = old_jmpbuf_ptr;
 
        retval = DUK_EXEC_SUCCESS;
#if defined(DUK_USE_CPP_EXCEPTIONS)
    } catch (duk_internal_exception &exc) {
        DUK_UNREF(exc);
#else
    } else {
        /* Error path. */
#endif
        duk__handle_safe_call_error(thr,
                                    idx_retbase,
                                    num_stack_rets,
                                    entry_valstack_bottom_index,
                                    entry_callstack_top,
                                    entry_catchstack_top,
                                    old_jmpbuf_ptr);
 
        /* Longjmp state is cleaned up by error handling */
        DUK_ASSERT(thr->heap->lj.type == DUK_LJ_TYPE_UNKNOWN);
        DUK_ASSERT(thr->heap->lj.iserror == 0);
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value1));
        DUK_ASSERT(DUK_TVAL_IS_UNDEFINED(&thr->heap->lj.value2));
 
        retval = DUK_EXEC_ERROR;
    }
#if defined(DUK_USE_CPP_EXCEPTIONS)
    catch (std::exception &exc) {
        const char *what = exc.what();
        if (!what) {
            what = "unknown";
        }
        DUK_D(DUK_DPRINT("unexpected c++ std::exception (perhaps thrown by user code)"));
        try {
            DUK_ERROR_FMT1(thr, DUK_ERR_API_ERROR, "caught invalid c++ std::exception '%s' (perhaps thrown by user code)", what);
        } catch (duk_internal_exception exc) {
            DUK_D(DUK_DPRINT("caught api error thrown from unexpected c++ std::exception"));
            DUK_UNREF(exc);
            duk__handle_safe_call_error(thr,
                                        idx_retbase,
                                        num_stack_rets,
                                        entry_valstack_bottom_index,
                                        entry_callstack_top,
                                        entry_catchstack_top,
                                        old_jmpbuf_ptr);
            retval = DUK_EXEC_ERROR;
        }
    } catch (...) {
        DUK_D(DUK_DPRINT("unexpected c++ exception (perhaps thrown by user code)"));
        try {
            DUK_ERROR_API(thr, "caught invalid c++ exception (perhaps thrown by user code)");
        } catch (duk_internal_exception exc) {
            DUK_D(DUK_DPRINT("caught api error thrown from unexpected c++ exception"));
            DUK_UNREF(exc);
            duk__handle_safe_call_error(thr,
                                        idx_retbase,
                                        num_stack_rets,
                                        entry_valstack_bottom_index,
                                        entry_callstack_top,
                                        entry_catchstack_top,
                                        old_jmpbuf_ptr);

References duk_heap::call_recursion_depth, duk_heap::call_recursion_limit, duk_hthread::callstack_top, duk_hthread::catchstack_top, duk_heap::curr_thread, duk__handle_safe_call_error(), duk__handle_safe_call_inner(), duk__handle_safe_call_shared(), DUK_ASSERT, DUK_D, DUK_DD, DUK_DDD, DUK_DDDPRINT, DUK_DDPRINT, DUK_DPRINT, DUK_ERR_API_ERROR, DUK_ERROR_API, DUK_ERROR_FMT1, DUK_EXEC_ERROR, DUK_EXEC_SUCCESS, duk_get_top(), DUK_LJ_TYPE_UNKNOWN, DUK_SETJMP, DUK_STR_INVALID_CALL_ARGS, DUK_TVAL_IS_UNDEFINED, DUK_UNREF, duk_hthread::heap, duk_ljstate::iserror, duk_jmpbuf::jb, duk_ljstate::jmpbuf_ptr, duk_heap::lj, NULL, duk_hthread::ptr_curr_pc, duk_hthread::state, duk_ljstate::type, duk_hthread::valstack, duk_hthread::valstack_bottom, duk_ljstate::value1, and duk_ljstate::value2.

Referenced by duk_safe_call().

duk_js_close_environment_record()

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

Definition at line 71680 of file duktape-1.5.2/src-noline/duktape.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] */

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.

Referenced by duk_hthread_callstack_unwind().

duk_js_compare_helper()

DUK_INTERNAL_DECL duk_bool_t duk_js_compare_helper	(	duk_hthread *	thr,
		duk_tval *	tv_x,
		duk_tval *	tv_y,
		duk_small_int_t	flags )

Definition at line 70571 of file duktape-1.5.2/src-noline/duktape.c.

                                                                                                     {
    /* Similar to String comparison. */
 
    DUK_ASSERT(h1 != NULL);
    DUK_ASSERT(h2 != NULL);
    DUK_UNREF(heap);
 
    return duk_js_data_compare((const duk_uint8_t *) DUK_HBUFFER_GET_DATA_PTR(heap, h1),
                               (const duk_uint8_t *) DUK_HBUFFER_GET_DATA_PTR(heap, h2),
                               (duk_size_t) DUK_HBUFFER_GET_SIZE(h1),
                               (duk_size_t) DUK_HBUFFER_GET_SIZE(h2));
}
#endif
 
DUK_INTERNAL duk_bool_t duk_js_compare_helper(duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y, duk_small_int_t flags) {
    duk_context *ctx = (duk_context *) thr;
    duk_double_t d1, d2;
    duk_small_int_t c1, c2;
    duk_small_int_t s1, s2;
    duk_small_int_t rc;
    duk_bool_t retval;
 
    /* Fast path for fastints */
#if defined(DUK_USE_FASTINT)
    if (DUK_TVAL_IS_FASTINT(tv_x) && DUK_TVAL_IS_FASTINT(tv_y)) {
        duk_int64_t v1 = DUK_TVAL_GET_FASTINT(tv_x);
        duk_int64_t v2 = DUK_TVAL_GET_FASTINT(tv_y);
        if (v1 < v2) {
            /* 'lt is true' */
            retval = 1;
        } else {
            retval = 0;
        }
        if (flags & DUK_COMPARE_FLAG_NEGATE) {
            retval ^= 1;
        }
        return retval;
    }
#endif  /* DUK_USE_FASTINT */
 
    /* Fast path for numbers (one of which may be a fastint) */
#if 1  /* XXX: make fast paths optional for size minimization? */
    if (DUK_TVAL_IS_NUMBER(tv_x) && DUK_TVAL_IS_NUMBER(tv_y)) {
        d1 = DUK_TVAL_GET_NUMBER(tv_x);
        d2 = DUK_TVAL_GET_NUMBER(tv_y);
        c1 = DUK_FPCLASSIFY(d1);
        c2 = DUK_FPCLASSIFY(d2);
 
        if (c1 == DUK_FP_NORMAL && c2 == DUK_FP_NORMAL) {
            /* XXX: this is a very narrow check, and doesn't cover
             * zeroes, subnormals, infinities, which compare normally.
             */
 
            if (d1 < d2) {
                /* 'lt is true' */
                retval = 1;
            } else {
                retval = 0;
            }
            if (flags & DUK_COMPARE_FLAG_NEGATE) {
                retval ^= 1;
            }
            return retval;
        }
    }
#endif
 
    /* Slow path */
 
    duk_push_tval(ctx, tv_x);
    duk_push_tval(ctx, tv_y);
 
    if (flags & DUK_COMPARE_FLAG_EVAL_LEFT_FIRST) {
        duk_to_primitive(ctx, -2, DUK_HINT_NUMBER);
        duk_to_primitive(ctx, -1, DUK_HINT_NUMBER);
    } else {
        duk_to_primitive(ctx, -1, DUK_HINT_NUMBER);
        duk_to_primitive(ctx, -2, DUK_HINT_NUMBER);
    }
 
    /* Note: reuse variables */
    tv_x = DUK_GET_TVAL_NEGIDX(ctx, -2);
    tv_y = DUK_GET_TVAL_NEGIDX(ctx, -1);
 
    if (DUK_TVAL_IS_STRING(tv_x) && DUK_TVAL_IS_STRING(tv_y)) {
        duk_hstring *h1 = DUK_TVAL_GET_STRING(tv_x);
        duk_hstring *h2 = DUK_TVAL_GET_STRING(tv_y);
        DUK_ASSERT(h1 != NULL);
        DUK_ASSERT(h2 != NULL);
 
        rc = duk_js_string_compare(h1, h2);
        if (rc < 0) {
            goto lt_true;
        } else {
            goto lt_false;
        }
    } else {
        /* Ordering should not matter (E5 Section 11.8.5, step 3.a) but
         * preserve it just in case.
         */
 
        if (flags & DUK_COMPARE_FLAG_EVAL_LEFT_FIRST) {
            d1 = duk_to_number(ctx, -2);
            d2 = duk_to_number(ctx, -1);
        } else {
            d2 = duk_to_number(ctx, -1);
            d1 = duk_to_number(ctx, -2);
        }
 
        c1 = (duk_small_int_t) DUK_FPCLASSIFY(d1);
        s1 = (duk_small_int_t) DUK_SIGNBIT(d1);
        c2 = (duk_small_int_t) DUK_FPCLASSIFY(d2);
        s2 = (duk_small_int_t) DUK_SIGNBIT(d2);
 
        if (c1 == DUK_FP_NAN || c2 == DUK_FP_NAN) {
            goto lt_undefined;
        }
 
        if (c1 == DUK_FP_ZERO && c2 == DUK_FP_ZERO) {
            /* For all combinations: +0 < +0, +0 < -0, -0 < +0, -0 < -0,
             * steps e, f, and g.
             */
            goto lt_false;
        }
 
        if (d1 == d2) {
            goto lt_false;
        }
 
        if (c1 == DUK_FP_INFINITE && s1 == 0) {
            /* x == +Infinity */
            goto lt_false;
        }
 
        if (c2 == DUK_FP_INFINITE && s2 == 0) {
            /* y == +Infinity */
            goto lt_true;
        }
 
        if (c2 == DUK_FP_INFINITE && s2 != 0) {
            /* y == -Infinity */
            goto lt_false;
        }
 
        if (c1 == DUK_FP_INFINITE && s1 != 0) {
            /* x == -Infinity */
            goto lt_true;
        }
 
        if (d1 < d2) {
            goto lt_true;
        }
 
        goto lt_false;
    }
 
 lt_undefined:
    /* Note: undefined from Section 11.8.5 always results in false
     * return (see e.g. Section 11.8.3) - hence special treatment here.
     */
    retval = 0;
    goto cleanup;
 
 lt_true:
    if (flags & DUK_COMPARE_FLAG_NEGATE) {
        retval = 0;
        goto cleanup;
    } else {
        retval = 1;
        goto cleanup;

References DUK_ASSERT, DUK_COMPARE_FLAG_EVAL_LEFT_FIRST, DUK_COMPARE_FLAG_NEGATE, DUK_FP_INFINITE, DUK_FP_NAN, DUK_FP_NORMAL, DUK_FP_ZERO, DUK_FPCLASSIFY, DUK_GET_TVAL_NEGIDX, DUK_HINT_NUMBER, duk_js_string_compare(), duk_pop_2(), duk_push_tval(), DUK_SIGNBIT, duk_to_number(), duk_to_primitive(), DUK_TVAL_GET_NUMBER, DUK_TVAL_GET_STRING, DUK_TVAL_IS_NUMBER, DUK_TVAL_IS_STRING, and NULL.

Referenced by duk__js_execute_bytecode_inner().

duk_js_data_compare()

DUK_INTERNAL_DECL duk_small_int_t duk_js_data_compare	(	const duk_uint8_t *	buf1,
		const duk_uint8_t *	buf2,
		duk_size_t	len1,
		duk_size_t	len2 )

Definition at line 70503 of file duktape-1.5.2/src-noline/duktape.c.

                                                                                                                                     {
    duk_size_t prefix_len;
    duk_small_int_t rc;
 
    prefix_len = (len1 <= len2 ? len1 : len2);
 
    /* DUK_MEMCMP() is guaranteed to return zero (equal) for zero length
     * inputs so no zero length check is needed.
     */
    rc = DUK_MEMCMP((const void *) buf1,
                    (const void *) buf2,
                    (size_t) prefix_len);

References DUK_MEMCMP.

Referenced by duk_bi_buffer_compare_shared(), and duk_js_string_compare().

duk_js_declvar_activation()

DUK_INTERNAL_DECL 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 72884 of file duktape-1.5.2/src-noline/duktape.c.

                         :
 fail_not_extensible:
    DUK_ERROR_TYPE(thr, "declaration failed");
    return 0;
}
 
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) {
    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;
 

References duk_hthread::callstack, 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.

Referenced by duk__js_execute_bytecode_inner().

duk_js_delvar_activation()

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

Definition at line 72594 of file duktape-1.5.2/src-noline/duktape.c.

                                                            : name=%!O "
                         "(treated as silent success)",
                         (duk_heaphdr *) name));
    return 1;
}

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

Referenced by duk__js_execute_bytecode_inner().

duk_js_equals_helper()

DUK_INTERNAL_DECL duk_bool_t duk_js_equals_helper	(	duk_hthread *	thr,
		duk_tval *	tv_x,
		duk_tval *	tv_y,
		duk_small_int_t	flags )

Definition at line 70271 of file duktape-1.5.2/src-noline/duktape.c.

                                                                {
            /* SameValue(NaN, NaN) = true, regardless of NaN sign or extra bits */
            return 1;
        }
        return 0;
    }
#endif  /* DUK_USE_PARANOID_MATH */
}
 
DUK_INTERNAL duk_bool_t duk_js_equals_helper(duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y, duk_small_int_t flags) {
    duk_context *ctx = (duk_context *) thr;
    duk_tval *tv_tmp;
 
    /* If flags != 0 (strict or SameValue), thr can be NULL.  For loose
     * equals comparison it must be != NULL.
     */
    DUK_ASSERT(flags != 0 || thr != NULL);
 
    /*
     *  Same type?
     *
     *  Note: since number values have no explicit tag in the 8-byte
     *  representation, need the awkward if + switch.
     */
 
#if defined(DUK_USE_FASTINT)
    if (DUK_TVAL_IS_FASTINT(tv_x) && DUK_TVAL_IS_FASTINT(tv_y)) {
        if (DUK_TVAL_GET_FASTINT(tv_x) == DUK_TVAL_GET_FASTINT(tv_y)) {
            return 1;
        } else {
            return 0;
        }
    }
    else
#endif
    if (DUK_TVAL_IS_NUMBER(tv_x) && DUK_TVAL_IS_NUMBER(tv_y)) {
        /* Catches both doubles and cases where only one argument is a fastint */
        if (DUK_UNLIKELY((flags & DUK_EQUALS_FLAG_SAMEVALUE) != 0)) {
            /* SameValue */
            return duk__js_samevalue_number(DUK_TVAL_GET_NUMBER(tv_x),
                                            DUK_TVAL_GET_NUMBER(tv_y));
        } else {
            /* equals and strict equals */
            return duk__js_equals_number(DUK_TVAL_GET_NUMBER(tv_x),
                                         DUK_TVAL_GET_NUMBER(tv_y));
        }
    } else if (DUK_TVAL_GET_TAG(tv_x) == DUK_TVAL_GET_TAG(tv_y)) {
        switch (DUK_TVAL_GET_TAG(tv_x)) {
        case DUK_TAG_UNDEFINED:
        case DUK_TAG_NULL: {
            return 1;
        }
        case DUK_TAG_BOOLEAN: {
            return DUK_TVAL_GET_BOOLEAN(tv_x) == DUK_TVAL_GET_BOOLEAN(tv_y);
        }
        case DUK_TAG_POINTER: {
            return DUK_TVAL_GET_POINTER(tv_x) == DUK_TVAL_GET_POINTER(tv_y);
        }
        case DUK_TAG_STRING:
        case DUK_TAG_OBJECT: {
            /* heap pointer comparison suffices */
            return DUK_TVAL_GET_HEAPHDR(tv_x) == DUK_TVAL_GET_HEAPHDR(tv_y);
        }
        case DUK_TAG_BUFFER: {
            if ((flags & (DUK_EQUALS_FLAG_STRICT | DUK_EQUALS_FLAG_SAMEVALUE)) != 0) {
                /* heap pointer comparison suffices */
                return DUK_TVAL_GET_HEAPHDR(tv_x) == DUK_TVAL_GET_HEAPHDR(tv_y);
            } else {
                /* non-strict equality for buffers compares contents */
                duk_hbuffer *h_x = DUK_TVAL_GET_BUFFER(tv_x);
                duk_hbuffer *h_y = DUK_TVAL_GET_BUFFER(tv_y);
                duk_size_t len_x = DUK_HBUFFER_GET_SIZE(h_x);
                duk_size_t len_y = DUK_HBUFFER_GET_SIZE(h_y);
                void *buf_x;
                void *buf_y;
                if (len_x != len_y) {
                    return 0;
                }
                buf_x = (void *) DUK_HBUFFER_GET_DATA_PTR(thr->heap, h_x);
                buf_y = (void *) DUK_HBUFFER_GET_DATA_PTR(thr->heap, h_y);
                /* if len_x == len_y == 0, buf_x and/or buf_y may
                 * be NULL, but that's OK.
                 */
                DUK_ASSERT(len_x == len_y);
                DUK_ASSERT(len_x == 0 || buf_x != NULL);
                DUK_ASSERT(len_y == 0 || buf_y != NULL);
                return (DUK_MEMCMP((const void *) buf_x, (const void *) buf_y, (size_t) len_x) == 0) ? 1 : 0;
            }
        }
        case DUK_TAG_LIGHTFUNC: {
            /* At least 'magic' has a significant impact on function
             * identity.
             */
            duk_small_uint_t lf_flags_x;
            duk_small_uint_t lf_flags_y;
            duk_c_function func_x;
            duk_c_function func_y;
 
            DUK_TVAL_GET_LIGHTFUNC(tv_x, func_x, lf_flags_x);
            DUK_TVAL_GET_LIGHTFUNC(tv_y, func_y, lf_flags_y);
            return ((func_x == func_y) && (lf_flags_x == lf_flags_y)) ? 1 : 0;
        }
#if defined(DUK_USE_FASTINT)
        case DUK_TAG_FASTINT:
#endif
        default: {
            DUK_ASSERT(!DUK_TVAL_IS_UNUSED(tv_x));
            DUK_ASSERT(!DUK_TVAL_IS_UNUSED(tv_y));
            DUK_ASSERT(DUK_TVAL_IS_NUMBER(tv_x));
            DUK_ASSERT(DUK_TVAL_IS_NUMBER(tv_y));
            DUK_UNREACHABLE();
            return 0;
        }
        }
    }
 
    if ((flags & (DUK_EQUALS_FLAG_STRICT | DUK_EQUALS_FLAG_SAMEVALUE)) != 0) {
        return 0;
    }
 
    DUK_ASSERT(flags == 0);  /* non-strict equality from here on */
 
    /*
     *  Types are different; various cases for non-strict comparison
     *
     *  Since comparison is symmetric, we use a "swap trick" to reduce
     *  code size.
     */
 
    /* Undefined/null are considered equal (e.g. "null == undefined" -> true). */
    if ((DUK_TVAL_IS_UNDEFINED(tv_x) && DUK_TVAL_IS_NULL(tv_y)) ||
        (DUK_TVAL_IS_NULL(tv_x) && DUK_TVAL_IS_UNDEFINED(tv_y))) {
        return 1;
    }
 
    /* Number/string-or-buffer -> coerce string to number (e.g. "'1.5' == 1.5" -> true). */
    if (DUK_TVAL_IS_NUMBER(tv_x) && (DUK_TVAL_IS_STRING(tv_y) || DUK_TVAL_IS_BUFFER(tv_y))) {
        /* the next 'if' is guaranteed to match after swap */
        tv_tmp = tv_x;
        tv_x = tv_y;
        tv_y = tv_tmp;
    }
    if ((DUK_TVAL_IS_STRING(tv_x) || DUK_TVAL_IS_BUFFER(tv_x)) && DUK_TVAL_IS_NUMBER(tv_y)) {
        /* XXX: this is possible without resorting to the value stack */
        duk_double_t d1, d2;
        d2 = DUK_TVAL_GET_NUMBER(tv_y);
        duk_push_tval(ctx, tv_x);
        duk_to_string(ctx, -1);  /* buffer values are coerced first to string here */
        duk_to_number(ctx, -1);
        d1 = duk_require_number(ctx, -1);
        duk_pop(ctx);
        return duk__js_equals_number(d1, d2);
    }
 
    /* Buffer/string -> compare contents. */
    if (DUK_TVAL_IS_BUFFER(tv_x) && DUK_TVAL_IS_STRING(tv_y)) {
        tv_tmp = tv_x;
        tv_x = tv_y;
        tv_y = tv_tmp;
    }
    if (DUK_TVAL_IS_STRING(tv_x) && DUK_TVAL_IS_BUFFER(tv_y)) {
        duk_hstring *h_x = DUK_TVAL_GET_STRING(tv_x);
        duk_hbuffer *h_y = DUK_TVAL_GET_BUFFER(tv_y);
        duk_size_t len_x = DUK_HSTRING_GET_BYTELEN(h_x);
        duk_size_t len_y = DUK_HBUFFER_GET_SIZE(h_y);
        const void *buf_x;
        const void *buf_y;
        if (len_x != len_y) {
            return 0;
        }
        buf_x = (const void *) DUK_HSTRING_GET_DATA(h_x);
        buf_y = (const void *) DUK_HBUFFER_GET_DATA_PTR(thr->heap, h_y);
        /* if len_x == len_y == 0, buf_x and/or buf_y may
         * be NULL, but that's OK.
         */
        DUK_ASSERT(len_x == len_y);
        DUK_ASSERT(len_x == 0 || buf_x != NULL);
        DUK_ASSERT(len_y == 0 || buf_y != NULL);
        return (DUK_MEMCMP((const void *) buf_x, (const void *) buf_y, (size_t) len_x) == 0) ? 1 : 0;
    }
 
    /* Boolean/any -> coerce boolean to number and try again.  If boolean is
     * compared to a pointer, the final comparison after coercion now always
     * yields false (as pointer vs. number compares to false), but this is
     * not special cased.
     */
    if (DUK_TVAL_IS_BOOLEAN(tv_x)) {
        tv_tmp = tv_x;
        tv_x = tv_y;
        tv_y = tv_tmp;
    }
    if (DUK_TVAL_IS_BOOLEAN(tv_y)) {
        /* ToNumber(bool) is +1.0 or 0.0.  Tagged boolean value is always 0 or 1. */
        duk_bool_t rc;
        DUK_ASSERT(DUK_TVAL_GET_BOOLEAN(tv_y) == 0 || DUK_TVAL_GET_BOOLEAN(tv_y) == 1);
        duk_push_tval(ctx, tv_x);
        duk_push_int(ctx, DUK_TVAL_GET_BOOLEAN(tv_y));
        rc = duk_js_equals_helper(thr,
                                  DUK_GET_TVAL_NEGIDX(ctx, -2),
                                  DUK_GET_TVAL_NEGIDX(ctx, -1),
                                  0 /*flags:nonstrict*/);
        duk_pop_2(ctx);
        return rc;
    }
 
    /* String-number-buffer/object -> coerce object to primitive (apparently without hint), then try again. */
    if ((DUK_TVAL_IS_STRING(tv_x) || DUK_TVAL_IS_NUMBER(tv_x) || DUK_TVAL_IS_BUFFER(tv_x)) &&
        DUK_TVAL_IS_OBJECT(tv_y)) {
        tv_tmp = tv_x;
        tv_x = tv_y;
        tv_y = tv_tmp;
    }

References duk__js_equals_number(), duk__js_samevalue_number(), DUK_ASSERT, DUK_EQUALS_FLAG_SAMEVALUE, DUK_EQUALS_FLAG_STRICT, DUK_GET_TVAL_NEGIDX, DUK_HBUFFER_GET_DATA_PTR, DUK_HBUFFER_GET_SIZE, DUK_HINT_NONE, DUK_HSTRING_GET_BYTELEN, DUK_HSTRING_GET_DATA, duk_js_equals_helper(), DUK_MEMCMP, duk_pop(), duk_pop_2(), duk_push_int(), duk_push_tval(), duk_require_number(), DUK_TAG_BOOLEAN, DUK_TAG_BUFFER, DUK_TAG_LIGHTFUNC, DUK_TAG_NULL, DUK_TAG_OBJECT, DUK_TAG_POINTER, DUK_TAG_STRING, DUK_TAG_UNDEFINED, duk_to_number(), duk_to_primitive(), duk_to_string(), DUK_TVAL_GET_BOOLEAN, DUK_TVAL_GET_BUFFER, DUK_TVAL_GET_HEAPHDR, DUK_TVAL_GET_LIGHTFUNC, DUK_TVAL_GET_NUMBER, DUK_TVAL_GET_POINTER, DUK_TVAL_GET_STRING, DUK_TVAL_GET_TAG, DUK_TVAL_IS_BOOLEAN, DUK_TVAL_IS_BUFFER, DUK_TVAL_IS_NULL, DUK_TVAL_IS_NUMBER, DUK_TVAL_IS_OBJECT, DUK_TVAL_IS_STRING, DUK_TVAL_IS_UNDEFINED, DUK_TVAL_IS_UNUSED, DUK_UNLIKELY, DUK_UNREACHABLE, duk_hthread::heap, and NULL.

Referenced by duk_js_equals_helper().

duk_js_execute_bytecode()

DUK_INTERNAL_DECL void duk_js_execute_bytecode

(

duk_hthread *

exec_thr

)

Definition at line 67244 of file duktape-1.5.2/src-noline/duktape.c.

                                        {
        /* Restart bytecode execution, possibly with a changed thread. */
        ;
    } else {
        /* Rethrow error to calling state. */
        DUK_ASSERT(lj_ret == DUK__LONGJMP_RETHROW);
 
        /* Longjmp handling has restored jmpbuf_ptr. */
        DUK_ASSERT(heap->lj.jmpbuf_ptr == entry_jmpbuf_ptr);
 
        /* Thread may have changed, e.g. YIELD converted to THROW. */
        duk_err_longjmp(heap->curr_thread);
        DUK_UNREACHABLE();
    }
}
 
/* Outer executor with setjmp/longjmp handling. */
DUK_INTERNAL void duk_js_execute_bytecode(duk_hthread *exec_thr) {
    /* Entry level info. */
    duk_hthread *entry_thread;
    duk_size_t entry_callstack_top;
    duk_int_t entry_call_recursion_depth;
    duk_jmpbuf *entry_jmpbuf_ptr;
    duk_jmpbuf our_jmpbuf;
    duk_heap *heap;
 
    DUK_ASSERT(exec_thr != NULL);
    DUK_ASSERT(exec_thr->heap != NULL);
    DUK_ASSERT(exec_thr->heap->curr_thread != NULL);
    DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR((duk_heaphdr *) exec_thr);
    DUK_ASSERT(exec_thr->callstack_top >= 1);  /* at least one activation, ours */
    DUK_ASSERT(DUK_ACT_GET_FUNC(exec_thr->callstack + exec_thr->callstack_top - 1) != NULL);
    DUK_ASSERT(DUK_HOBJECT_IS_COMPILEDFUNCTION(DUK_ACT_GET_FUNC(exec_thr->callstack + exec_thr->callstack_top - 1)));
 
    entry_thread = exec_thr;
    heap = entry_thread->heap;
    entry_callstack_top = entry_thread->callstack_top;
    entry_call_recursion_depth = entry_thread->heap->call_recursion_depth;
    entry_jmpbuf_ptr = entry_thread->heap->lj.jmpbuf_ptr;
 
    /*
     *  Note: we currently assume that the setjmp() catchpoint is
     *  not re-entrant (longjmp() cannot be called more than once
     *  for a single setjmp()).
     *
     *  See doc/code-issues.rst for notes on variable assignment
     *  before and after setjmp().
     */
 
    for (;;) {
        heap->lj.jmpbuf_ptr = &our_jmpbuf;
        DUK_ASSERT(heap->lj.jmpbuf_ptr != NULL);
 
#if defined(DUK_USE_CPP_EXCEPTIONS)
        try {
#else
        DUK_ASSERT(heap->lj.jmpbuf_ptr == &our_jmpbuf);
        if (DUK_SETJMP(our_jmpbuf.jb) == 0) {
#endif
            /* Execute bytecode until returned or longjmp(). */
            duk__js_execute_bytecode_inner(entry_thread, entry_callstack_top);
 
            /* Successful return: restore jmpbuf and return to caller. */
            heap->lj.jmpbuf_ptr = entry_jmpbuf_ptr;
 
            return;
#if defined(DUK_USE_CPP_EXCEPTIONS)
        } catch (duk_internal_exception &exc) {
#else
        } else {
#endif
#if defined(DUK_USE_CPP_EXCEPTIONS)
            DUK_UNREF(exc);
#endif
            DUK_DDD(DUK_DDDPRINT("longjmp caught by bytecode executor"));
 
            duk__handle_executor_error(heap,
                                       entry_thread,
                                       entry_callstack_top,
                                       entry_call_recursion_depth,
                                       entry_jmpbuf_ptr);
        }
#if defined(DUK_USE_CPP_EXCEPTIONS)
        catch (std::exception &exc) {
            const char *what = exc.what();
            if (!what) {
                what = "unknown";
            }
            DUK_D(DUK_DPRINT("unexpected c++ std::exception (perhaps thrown by user code)"));
            try {
                DUK_ASSERT(heap->curr_thread != NULL);
                DUK_ERROR_FMT1(heap->curr_thread, DUK_ERR_API_ERROR, "caught invalid c++ std::exception '%s' (perhaps thrown by user code)", what);
            } catch (duk_internal_exception exc) {
                DUK_D(DUK_DPRINT("caught api error thrown from unexpected c++ std::exception"));
                DUK_UNREF(exc);
                duk__handle_executor_error(heap,
                                           entry_thread,
                                           entry_callstack_top,
                                           entry_call_recursion_depth,
                                           entry_jmpbuf_ptr);
            }
        } catch (...) {
            DUK_D(DUK_DPRINT("unexpected c++ exception (perhaps thrown by user code)"));
            try {

References duk_heap::call_recursion_depth, duk_hthread::callstack, duk_hthread::callstack_top, duk_heap::curr_thread, duk__handle_executor_error(), duk__js_execute_bytecode_inner(), DUK_ACT_GET_FUNC, DUK_ASSERT, DUK_ASSERT_REFCOUNT_NONZERO_HEAPHDR, DUK_D, DUK_DDD, DUK_DDDPRINT, DUK_DPRINT, DUK_ERR_API_ERROR, DUK_ERROR_API, DUK_ERROR_FMT1, DUK_HOBJECT_IS_COMPILEDFUNCTION, DUK_SETJMP, DUK_UNREACHABLE, DUK_UNREF, duk_hthread::heap, duk_jmpbuf::jb, duk_ljstate::jmpbuf_ptr, duk_heap::lj, and NULL.

Referenced by duk__handle_call_inner().

duk_js_getvar_activation()

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

Definition at line 72379 of file duktape-1.5.2/src-noline/duktape.c.

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

Referenced by duk__js_execute_bytecode_inner(), and duk_get_var().

duk_js_getvar_envrec()

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

Definition at line 72371 of file duktape-1.5.2/src-noline/duktape.c.

           {

References duk__getvar_helper(), name, and NULL.

Referenced by duk__check_arguments_map_for_get(), and duk_get_var().

duk_js_in()

DUK_INTERNAL_DECL duk_bool_t duk_js_in	(	duk_hthread *	thr,
		duk_tval *	tv_x,
		duk_tval *	tv_y )

Definition at line 70922 of file duktape-1.5.2/src-noline/duktape.c.

             :
    duk_pop_2(ctx);
    return 1;
}
 
/*
 *  in
 */
 
/*
 *  E5 Sections 11.8.7, 8.12.6.
 *
 *  Basically just a property existence check using [[HasProperty]].
 */
 
DUK_INTERNAL duk_bool_t duk_js_in(duk_hthread *thr, duk_tval *tv_x, duk_tval *tv_y) {
    duk_context *ctx = (duk_context *) thr;
    duk_bool_t retval;
 
    /*
     *  Get the values onto the stack first.  It would be possible to cover
     *  some normal cases without resorting to the value stack (e.g. if
     *  lval is already a string).
     */
 
    /* XXX: The ES5/5.1/6 specifications require that the key in 'key in obj'
     * must be string coerced before the internal HasProperty() algorithm is
     * invoked.  A fast path skipping coercion could be safely implemented for
     * numbers (as number-to-string coercion has no side effects).  For ES6
     * proxy behavior, the trap 'key' argument must be in a string coerced
     * form (which is a shame).

References DUK_GET_TVAL_NEGIDX, duk_hobject_hasprop(), duk_pop_2(), duk_push_tval(), duk_require_type_mask, duk_to_string(), DUK_TYPE_MASK_LIGHTFUNC, and DUK_TYPE_MASK_OBJECT.

Referenced by duk__js_execute_bytecode_inner().

duk_js_init_activation_environment_records_delayed()

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

Definition at line 71625 of file duktape-1.5.2/src-noline/duktape.c.

                                               {
        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;
}
 
DUK_INTERNAL
void duk_js_init_activation_environment_records_delayed(duk_hthread *thr,
                                                        duk_activation *act) {
    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));

References duk_hthread::callstack, 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__handle_catch(), duk__js_execute_bytecode_inner(), duk_bi_global_object_eval(), and duk_js_declvar_activation().

duk_js_instanceof()

DUK_INTERNAL_DECL duk_bool_t duk_js_instanceof	(	duk_hthread *	thr,
		duk_tval *	tv_x,
		duk_tval *	tv_y )

Definition at line 70765 of file duktape-1.5.2/src-noline/duktape.c.

                                                                                            {
    duk_context *ctx = (duk_context *) thr;
    duk_hobject *func;
    duk_hobject *val;
    duk_hobject *proto;
    duk_uint_t sanity;
 
    /*
     *  Get the values onto the stack first.  It would be possible to cover
     *  some normal cases without resorting to the value stack.
     *
     *  The right hand side could be a light function (as they generally
     *  behave like objects).  Light functions never have a 'prototype'
     *  property so E5.1 Section 15.3.5.3 step 3 always throws a TypeError.
     *  Using duk_require_hobject() is thus correct (except for error msg).
     */
 
    duk_push_tval(ctx, tv_x);
    duk_push_tval(ctx, tv_y);
    func = duk_require_hobject(ctx, -1);
 
    /*
     *  For bound objects, [[HasInstance]] just calls the target function
     *  [[HasInstance]].  If that is again a bound object, repeat until
     *  we find a non-bound Function object.
     */
 
    /* XXX: this bound function resolution also happens elsewhere,
     * move into a shared helper.
     */
 
    sanity = DUK_HOBJECT_BOUND_CHAIN_SANITY;
    do {
        /* check func supports [[HasInstance]] (this is checked for every function
         * in the bound chain, including the final one)
         */
 
        if (!DUK_HOBJECT_IS_CALLABLE(func)) {
            /*
             *  Note: of native Ecmascript objects, only Function instances
             *  have a [[HasInstance]] internal property.  Custom objects might
             *  also have it, but not in current implementation.
             *
             *  XXX: add a separate flag, DUK_HOBJECT_FLAG_ALLOW_INSTANCEOF?
             */
            DUK_ERROR_TYPE(thr, "invalid instanceof rval");
        }
 
        if (!DUK_HOBJECT_HAS_BOUND(func)) {
            break;
        }
 
        /* [ ... lval rval ] */
 
        duk_get_prop_stridx(ctx, -1, DUK_STRIDX_INT_TARGET);         /* -> [ ... lval rval new_rval ] */
        duk_replace(ctx, -1);                                        /* -> [ ... lval new_rval ] */
        func = duk_require_hobject(ctx, -1);
 
        /* func support for [[HasInstance]] checked in the beginning of the loop */
    } while (--sanity > 0);
 
    if (sanity == 0) {
        DUK_ERROR_RANGE(thr, DUK_STR_BOUND_CHAIN_LIMIT);
    }
 
    /*
     *  'func' is now a non-bound object which supports [[HasInstance]]
     *  (which here just means DUK_HOBJECT_FLAG_CALLABLE).  Move on
     *  to execute E5 Section 15.3.5.3.
     */
 
    DUK_ASSERT(!DUK_HOBJECT_HAS_BOUND(func));
    DUK_ASSERT(DUK_HOBJECT_IS_CALLABLE(func));
 
    /* [ ... lval rval(func) ] */
 
    /* Handle lightfuncs through object coercion for now. */
    /* XXX: direct implementation */
    val = duk_get_hobject_or_lfunc_coerce(ctx, -2);
    if (!val) {
        goto pop_and_false;
    }
 
    duk_get_prop_stridx(ctx, -1, DUK_STRIDX_PROTOTYPE);  /* -> [ ... lval rval rval.prototype ] */
    proto = duk_require_hobject(ctx, -1);
    duk_pop(ctx);  /* -> [ ... lval rval ] */
 
    DUK_ASSERT(val != NULL);
 
#if defined(DUK_USE_ES6_PROXY)
    val = duk_hobject_resolve_proxy_target(thr, val);
    DUK_ASSERT(val != NULL);
#endif
 
    sanity = DUK_HOBJECT_PROTOTYPE_CHAIN_SANITY;
    do {
        /*
         *  Note: prototype chain is followed BEFORE first comparison.  This
         *  means that the instanceof lval is never itself compared to the
         *  rval.prototype property.  This is apparently intentional, see E5
         *  Section 15.3.5.3, step 4.a.
         *
         *  Also note:
         *
         *      js> (function() {}) instanceof Function
         *      true
         *      js> Function instanceof Function
         *      true
         *
         *  For the latter, h_proto will be Function.prototype, which is the
         *  built-in Function prototype.  Because Function.[[Prototype]] is
         *  also the built-in Function prototype, the result is true.
         */
 
        DUK_ASSERT(val != NULL);
        val = DUK_HOBJECT_GET_PROTOTYPE(thr->heap, val);
 
        if (!val) {
            goto pop_and_false;
        }
 
        DUK_ASSERT(val != NULL);
#if defined(DUK_USE_ES6_PROXY)
        val = duk_hobject_resolve_proxy_target(thr, val);
#endif
 
        if (val == proto) {
            goto pop_and_true;
        }

References DUK_ASSERT, DUK_ERROR_RANGE, DUK_ERROR_TYPE, duk_get_hobject_or_lfunc_coerce(), duk_get_prop_stridx(), DUK_HOBJECT_BOUND_CHAIN_SANITY, DUK_HOBJECT_GET_PROTOTYPE, DUK_HOBJECT_HAS_BOUND, DUK_HOBJECT_IS_CALLABLE, DUK_HOBJECT_PROTOTYPE_CHAIN_SANITY, duk_hobject_resolve_proxy_target(), duk_pop(), duk_pop_2(), duk_push_tval(), duk_replace(), duk_require_hobject(), DUK_STR_BOUND_CHAIN_LIMIT, DUK_STR_PROTOTYPE_CHAIN_LIMIT, DUK_STRIDX_INT_TARGET, DUK_STRIDX_PROTOTYPE, DUK_UNREACHABLE, duk_hthread::heap, NULL, and proto.

Referenced by duk__js_execute_bytecode_inner(), and duk_instanceof().

duk_js_push_closure()

DUK_INTERNAL_DECL 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 71214 of file duktape-1.5.2/src-noline/duktape.c.

       : if fun_temp has NEWENV, i.e. a new lexical and variable declaration
 * is created when the function is called, only outer_lex_env matters
 * (outer_var_env is ignored and may or may not be same as outer_lex_env).
 */
 
DUK_LOCAL const duk_uint16_t duk__closure_copy_proplist[] = {
    /* 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
};
 
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_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);

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_FILE_NAME, DUK_STRIDX_INT_FORMALS, DUK_STRIDX_INT_LEXENV, DUK_STRIDX_INT_PC2LINE, DUK_STRIDX_INT_SOURCE, DUK_STRIDX_INT_VARENV, DUK_STRIDX_INT_VARMAP, 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.

Referenced by duk__do_compile(), duk__js_execute_bytecode_inner(), duk_bi_function_constructor(), and duk_bi_global_object_eval().

duk_js_putvar_activation()

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

Definition at line 72509 of file duktape-1.5.2/src-noline/duktape.c.

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

Referenced by duk__js_execute_bytecode_inner(), duk_del_var(), and duk_put_var().

duk_js_putvar_envrec()

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

Definition at line 72500 of file duktape-1.5.2/src-noline/duktape.c.

                {
        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"));
 

References duk__putvar_helper(), DUK_DDD, DUK_DDDPRINT, DUK_ERR_REFERENCE_ERROR, DUK_ERROR, name, and NULL.

Referenced by duk__check_arguments_map_for_put(), duk_hobject_define_property_helper(), and duk_put_var().

duk_js_string_compare()

DUK_INTERNAL_DECL duk_small_int_t duk_js_string_compare	(	duk_hstring *	h1,
		duk_hstring *	h2 )

Definition at line 70533 of file duktape-1.5.2/src-noline/duktape.c.

                {
        return -1;
    } else if (rc > 0) {
        return 1;
    }
 
    /* prefix matches, lengths matter now */
    if (len1 < len2) {
        /* e.g. "x" < "xx" */
        return -1;
    } else if (len1 > len2) {
        return 1;
    }
 
    return 0;
}
 
DUK_INTERNAL duk_small_int_t duk_js_string_compare(duk_hstring *h1, duk_hstring *h2) {
    /*
     *  String comparison (E5 Section 11.8.5, step 4), which
     *  needs to compare codepoint by codepoint.
     *

References DUK_ASSERT, DUK_HSTRING_GET_BYTELEN, DUK_HSTRING_GET_DATA, duk_js_data_compare(), and NULL.

Referenced by duk__array_sort_compare(), and duk_js_compare_helper().

duk_js_to_arrayindex_raw_string()

DUK_INTERNAL_DECL duk_small_int_t duk_js_to_arrayindex_raw_string	(	const duk_uint8_t *	str,
		duk_uint32_t	blen,
		duk_uarridx_t *	out_idx )

Definition at line 71043 of file duktape-1.5.2/src-noline/duktape.c.

                                                                                                                                {
    duk_uarridx_t res, new_res;
 
    if (blen == 0 || blen > 10) {
        goto parse_fail;
    }
    if (str[0] == (duk_uint8_t) '0' && blen > 1) {
        goto parse_fail;
    }
 
    /* Accept 32-bit decimal integers, no leading zeroes, signs, etc.
     * Leading zeroes are not accepted (zero index "0" is an exception
     * handled above).
     */
 
    res = 0;
    while (blen-- > 0) {
        duk_uint8_t c = *str++;
        if (c >= (duk_uint8_t) '0' && c <= (duk_uint8_t) '9') {
            new_res = res * 10 + (duk_uint32_t) (c - (duk_uint8_t) '0');

References DUK_ASC_0, DUK_ASC_9, DUK_ASSERT, DUK_ASSERT_DISABLE, DUK_HSTRING_NO_ARRAY_INDEX, and DUK_UNLIKELY.

Referenced by duk__alloc_init_hstring(), and duk_js_to_arrayindex_string_helper().

duk_js_to_arrayindex_string_helper()

DUK_INTERNAL_DECL duk_uarridx_t duk_js_to_arrayindex_string_helper

(

duk_hstring *

h

)

Definition at line 71082 of file duktape-1.5.2/src-noline/duktape.c.

               {
            goto parse_fail;
        }
    }
 
    *out_idx = res;
    return 1;
 
 parse_fail:
    *out_idx = DUK_HSTRING_NO_ARRAY_INDEX;
    return 0;
}

References DUK_ASSERT, DUK_HSTRING_GET_BYTELEN, DUK_HSTRING_GET_DATA, DUK_HSTRING_HAS_ARRIDX, DUK_HSTRING_NO_ARRAY_INDEX, duk_js_to_arrayindex_raw_string(), and DUK_UNREF.

duk_js_toboolean()

DUK_INTERNAL_DECL duk_bool_t duk_js_toboolean

(

duk_tval *

tv

)

Definition at line 69791 of file duktape-1.5.2/src-noline/duktape.c.

                                                       {
    switch (DUK_TVAL_GET_TAG(tv)) {
    case DUK_TAG_UNDEFINED:
    case DUK_TAG_NULL:
        return 0;
    case DUK_TAG_BOOLEAN:
        return DUK_TVAL_GET_BOOLEAN(tv);
    case DUK_TAG_STRING: {
        duk_hstring *h = DUK_TVAL_GET_STRING(tv);
        DUK_ASSERT(h != NULL);
        return (DUK_HSTRING_GET_BYTELEN(h) > 0 ? 1 : 0);
    }
    case DUK_TAG_OBJECT: {
        return 1;
    }
    case DUK_TAG_BUFFER: {
        /* mimic semantics for strings */
        duk_hbuffer *h = DUK_TVAL_GET_BUFFER(tv);
        DUK_ASSERT(h != NULL);
        return (DUK_HBUFFER_GET_SIZE(h) > 0 ? 1 : 0);
    }
    case DUK_TAG_POINTER: {
        void *p = DUK_TVAL_GET_POINTER(tv);
        return (p != NULL ? 1 : 0);
    }
    case DUK_TAG_LIGHTFUNC: {
        return 1;
    }
#if defined(DUK_USE_FASTINT)
    case DUK_TAG_FASTINT:
        if (DUK_TVAL_GET_FASTINT(tv) != 0) {
            return 1;
        } else {
            return 0;
        }
#endif

References DUK_ASSERT, DUK_FP_NAN, DUK_FP_ZERO, DUK_FPCLASSIFY, DUK_HBUFFER_GET_SIZE, DUK_HSTRING_GET_BYTELEN, DUK_TAG_BOOLEAN, DUK_TAG_BUFFER, DUK_TAG_LIGHTFUNC, DUK_TAG_NULL, DUK_TAG_OBJECT, DUK_TAG_POINTER, DUK_TAG_STRING, DUK_TAG_UNDEFINED, DUK_TVAL_GET_BOOLEAN, DUK_TVAL_GET_BUFFER, DUK_TVAL_GET_DOUBLE, DUK_TVAL_GET_POINTER, DUK_TVAL_GET_STRING, DUK_TVAL_GET_TAG, DUK_TVAL_IS_DOUBLE, DUK_TVAL_IS_UNUSED, DUK_UNREACHABLE, and NULL.

Referenced by duk__js_execute_bytecode_inner(), duk__vm_logical_not(), and duk_to_boolean().

duk_js_toint32()

DUK_INTERNAL_DECL duk_int32_t duk_js_toint32	(	duk_hthread *	thr,
		duk_tval *	tv )

Definition at line 70053 of file duktape-1.5.2/src-noline/duktape.c.

                 {
        x += DUK_DOUBLE_2TO32;
    }
    /* -> x in [0, 2**32[ */
 
    if (is_toint32) {
        if (x >= DUK_DOUBLE_2TO31) {
            /* x in [2**31, 2**32[ */
 
            x -= DUK_DOUBLE_2TO32;  /* -> x in [-2**31,2**31[ */
        }
    }
 
    return x;
}

References duk__toint32_touint32_helper(), DUK_ASSERT, DUK_DOUBLE_2TO32, DUK_FP_NORMAL, DUK_FP_ZERO, DUK_FPCLASSIFY, and duk_js_tonumber().

Referenced by duk_to_int32(), and duk_to_uint32().

duk_js_tointeger()

DUK_INTERNAL_DECL duk_double_t duk_js_tointeger	(	duk_hthread *	thr,
		duk_tval *	tv )

Definition at line 70004 of file duktape-1.5.2/src-noline/duktape.c.

                         {
        return 0.0;
    } else if (c == DUK_FP_ZERO || c == DUK_FP_INFINITE) {
        /* XXX: FP_ZERO check can be removed, the else clause handles it
         * correctly (preserving sign).

References duk_js_tointeger_number(), and duk_js_tonumber().

Referenced by duk_to_int(), duk_to_int_clamped_raw(), and duk_to_uint().

duk_js_tointeger_number()

DUK_INTERNAL_DECL duk_double_t duk_js_tointeger_number

(

duk_double_t

x

)

Definition at line 69984 of file duktape-1.5.2/src-noline/duktape.c.

           : {
        /* number */
        DUK_ASSERT(!DUK_TVAL_IS_UNUSED(tv));
        DUK_ASSERT(DUK_TVAL_IS_DOUBLE(tv));
        return DUK_TVAL_GET_DOUBLE(tv);
    }
    }
 
    DUK_UNREACHABLE();
}
 
/*
 *  ToInteger()  (E5 Section 9.4)
 */
 
/* exposed, used by e.g. duk_bi_date.c */
DUK_INTERNAL duk_double_t duk_js_tointeger_number(duk_double_t x) {
    duk_small_int_t c = (duk_small_int_t) DUK_FPCLASSIFY(x);

References DUK_ASSERT, DUK_FABS, DUK_FLOOR, DUK_FP_INFINITE, DUK_FP_NAN, DUK_FP_ZERO, DUK_FPCLASSIFY, DUK_SIGNBIT, DUK_TVAL_GET_DOUBLE, DUK_TVAL_IS_DOUBLE, DUK_TVAL_IS_UNUSED, and s.

Referenced by duk__div_floor(), duk__timeclip(), duk_bi_date_get_timeval_from_dparts(), and duk_js_tointeger().

duk_js_tonumber()

DUK_INTERNAL_DECL duk_double_t duk_js_tonumber	(	duk_hthread *	thr,
		duk_tval *	tv )

Definition at line 69901 of file duktape-1.5.2/src-noline/duktape.c.

                                                                          {
    duk_context *ctx = (duk_hthread *) thr;
 
    DUK_ASSERT(thr != NULL);
    DUK_ASSERT(tv != NULL);
 
    switch (DUK_TVAL_GET_TAG(tv)) {
    case DUK_TAG_UNDEFINED: {
        /* return a specific NaN (although not strictly necessary) */
        duk_double_union du;
        DUK_DBLUNION_SET_NAN(&du);
        DUK_ASSERT(DUK_DBLUNION_IS_NORMALIZED(&du));
        return du.d;
    }
    case DUK_TAG_NULL: {
        /* +0.0 */
        return 0.0;
    }
    case DUK_TAG_BOOLEAN: {
        if (DUK_TVAL_IS_BOOLEAN_TRUE(tv)) {
            return 1.0;
        }
        return 0.0;
    }
    case DUK_TAG_STRING: {
        duk_hstring *h = DUK_TVAL_GET_STRING(tv);
        duk_push_hstring(ctx, h);
        return duk__tonumber_string_raw(thr);
    }
    case DUK_TAG_OBJECT: {
        /* Note: ToPrimitive(object,hint) == [[DefaultValue]](object,hint),
         * so use [[DefaultValue]] directly.
         */
        duk_double_t d;
        duk_push_tval(ctx, tv);
        duk_to_defaultvalue(ctx, -1, DUK_HINT_NUMBER);  /* 'tv' becomes invalid */
 
        /* recursive call for a primitive value (guaranteed not to cause second
         * recursion).
         */
        d = duk_js_tonumber(thr, duk_require_tval(ctx, -1));
 
        duk_pop(ctx);
        return d;
    }
    case DUK_TAG_BUFFER: {
        /* Coerce like a string.  This makes sense because addition also treats
         * buffers like strings.
         */
        duk_hbuffer *h = DUK_TVAL_GET_BUFFER(tv);
        duk_push_hbuffer(ctx, h);
        duk_to_string(ctx, -1);  /* XXX: expensive, but numconv now expects to see a string */
        return duk__tonumber_string_raw(thr);
    }
    case DUK_TAG_POINTER: {
        /* Coerce like boolean */
        void *p = DUK_TVAL_GET_POINTER(tv);
        return (p != NULL ? 1.0 : 0.0);
    }
    case DUK_TAG_LIGHTFUNC: {

References duk_double_union::d, duk__tonumber_string_raw(), DUK_ASSERT, DUK_DBLUNION_IS_NORMALIZED, DUK_DBLUNION_SET_NAN, DUK_DOUBLE_NAN, DUK_HINT_NUMBER, duk_js_tonumber(), duk_pop(), duk_push_hbuffer(), duk_push_hstring(), duk_push_tval(), duk_require_tval(), DUK_TAG_BOOLEAN, DUK_TAG_BUFFER, DUK_TAG_LIGHTFUNC, DUK_TAG_NULL, DUK_TAG_OBJECT, DUK_TAG_POINTER, DUK_TAG_STRING, DUK_TAG_UNDEFINED, duk_to_defaultvalue(), duk_to_string(), DUK_TVAL_GET_BUFFER, DUK_TVAL_GET_DOUBLE, DUK_TVAL_GET_POINTER, DUK_TVAL_GET_STRING, DUK_TVAL_GET_TAG, DUK_TVAL_IS_BOOLEAN_TRUE, DUK_TVAL_IS_DOUBLE, DUK_TVAL_IS_UNUSED, DUK_UNREACHABLE, and NULL.

Referenced by duk_js_toint32(), duk_js_tointeger(), duk_js_tonumber(), duk_js_touint32(), and duk_to_number().

duk_js_touint16()

DUK_INTERNAL_DECL duk_uint16_t duk_js_touint16	(	duk_hthread *	thr,
		duk_tval *	tv )

Definition at line 70089 of file duktape-1.5.2/src-noline/duktape.c.

                                 {

References duk_js_touint32().

Referenced by duk_to_uint16().

duk_js_touint32()

DUK_INTERNAL_DECL duk_uint32_t duk_js_touint32	(	duk_hthread *	thr,
		duk_tval *	tv )

Definition at line 70071 of file duktape-1.5.2/src-noline/duktape.c.

                                 {
        return DUK_TVAL_GET_FASTINT_I32(tv);
    }
#endif
 
    d = duk_js_tonumber(thr, tv);  /* invalidates tv */
    d = duk__toint32_touint32_helper(d, 1);
    DUK_ASSERT(DUK_FPCLASSIFY(d) == DUK_FP_ZERO || DUK_FPCLASSIFY(d) == DUK_FP_NORMAL);
    DUK_ASSERT(d >= -2147483648.0 && d <= 2147483647.0);  /* [-0x80000000,0x7fffffff] */
    DUK_ASSERT(d == ((duk_double_t) ((duk_int32_t) d)));  /* whole, won't clip */
    return (duk_int32_t) d;
}
 
 

References duk__toint32_touint32_helper(), DUK_ASSERT, DUK_FP_NORMAL, DUK_FP_ZERO, DUK_FPCLASSIFY, and duk_js_tonumber().

Referenced by duk_js_touint16(), duk_to_uint16(), and duk_to_uint32().

duk_js_typeof()

DUK_INTERNAL_DECL duk_hstring * duk_js_typeof	(	duk_hthread *	thr,
		duk_tval *	tv_x )

Definition at line 70970 of file duktape-1.5.2/src-noline/duktape.c.

                                                                          {
    duk_small_int_t stridx = 0;
 
    DUK_UNREF(thr);
 
    switch (DUK_TVAL_GET_TAG(tv_x)) {
    case DUK_TAG_UNDEFINED: {
        stridx = DUK_STRIDX_LC_UNDEFINED;
        break;
    }
    case DUK_TAG_NULL: {
        /* Note: not a typo, "object" is returned for a null value */
        stridx = DUK_STRIDX_LC_OBJECT;
        break;
    }
    case DUK_TAG_BOOLEAN: {
        stridx = DUK_STRIDX_LC_BOOLEAN;
        break;
    }
    case DUK_TAG_POINTER: {
        /* implementation specific */
        stridx = DUK_STRIDX_LC_POINTER;
        break;
    }
    case DUK_TAG_STRING: {
        stridx = DUK_STRIDX_LC_STRING;
        break;
    }
    case DUK_TAG_OBJECT: {
        duk_hobject *obj = DUK_TVAL_GET_OBJECT(tv_x);
        DUK_ASSERT(obj != NULL);
        if (DUK_HOBJECT_IS_CALLABLE(obj)) {
            stridx = DUK_STRIDX_LC_FUNCTION;
        } else {
            stridx = DUK_STRIDX_LC_OBJECT;
        }
        break;
    }
    case DUK_TAG_BUFFER: {
        /* implementation specific */
        stridx = DUK_STRIDX_LC_BUFFER;
        break;
    }
    case DUK_TAG_LIGHTFUNC: {
        stridx = DUK_STRIDX_LC_FUNCTION;

References DUK_ASSERT, DUK_HEAP_NUM_STRINGS, DUK_HOBJECT_IS_CALLABLE, DUK_HTHREAD_GET_STRING, DUK_STRIDX_LC_BOOLEAN, DUK_STRIDX_LC_BUFFER, DUK_STRIDX_LC_FUNCTION, DUK_STRIDX_LC_NUMBER, DUK_STRIDX_LC_OBJECT, DUK_STRIDX_LC_POINTER, DUK_STRIDX_LC_STRING, DUK_STRIDX_LC_UNDEFINED, DUK_TAG_BOOLEAN, DUK_TAG_BUFFER, DUK_TAG_LIGHTFUNC, DUK_TAG_NULL, DUK_TAG_OBJECT, DUK_TAG_POINTER, DUK_TAG_STRING, DUK_TAG_UNDEFINED, DUK_TVAL_GET_OBJECT, DUK_TVAL_GET_TAG, DUK_TVAL_IS_NUMBER, DUK_TVAL_IS_UNUSED, DUK_UNREF, and NULL.

Referenced by duk__js_execute_bytecode_inner().