nashorn/src/jdk/nashorn/internal/runtime/ScriptRuntime.java
author sundar
Wed, 06 Aug 2014 22:11:12 +0530
changeset 26052 41d18e9e45a4
parent 25828 077046a5d726
permissions -rw-r--r--
8053910: ScriptObjectMirror causing havoc with Invocation interface Reviewed-by: jlaskey, attila, hannesw
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     1
/*
16151
97c1e756ae1e 8005663: Update copyright year to 2013
jlaskey
parents: 16147
diff changeset
     2
 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     4
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    10
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    15
 * accompanied this code).
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    16
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    20
 *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    23
 * questions.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    24
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    25
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    26
package jdk.nashorn.internal.runtime;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    27
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    28
import static jdk.nashorn.internal.codegen.CompilerConstants.staticCall;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    29
import static jdk.nashorn.internal.codegen.CompilerConstants.staticCallNoLookup;
25250
b5a4e0ac31d1 8047359: large string size RangeError should be thrown rather than reporting negative length
sundar
parents: 25247
diff changeset
    30
import static jdk.nashorn.internal.runtime.ECMAErrors.rangeError;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    31
import static jdk.nashorn.internal.runtime.ECMAErrors.referenceError;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    32
import static jdk.nashorn.internal.runtime.ECMAErrors.syntaxError;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    33
import static jdk.nashorn.internal.runtime.ECMAErrors.typeError;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    34
import static jdk.nashorn.internal.runtime.JSType.isRepresentableAsInt;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    35
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    36
import java.lang.invoke.MethodHandle;
19460
1b6d8e7b1cdf 8022782: publicLookup access failures in ScriptObject, ScriptFunction and ScriptFunction
sundar
parents: 19097
diff changeset
    37
import java.lang.invoke.MethodHandles;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    38
import java.lang.reflect.Array;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    39
import java.util.Collections;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    40
import java.util.Iterator;
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
    41
import java.util.List;
17778
991ccffbeb13 8015459: Octane test run fails on Turkish locale
sundar
parents: 16272
diff changeset
    42
import java.util.Locale;
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
    43
import java.util.Map;
16226
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
    44
import java.util.NoSuchElementException;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    45
import java.util.Objects;
16234
86cb162cec6c 8008085: Integrate Dynalink source code into Nashorn codebase
attila
parents: 16232
diff changeset
    46
import jdk.internal.dynalink.beans.StaticClass;
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
    47
import jdk.nashorn.api.scripting.JSObject;
17978
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
    48
import jdk.nashorn.api.scripting.ScriptObjectMirror;
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
    49
import jdk.nashorn.internal.codegen.CompilerConstants;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    50
import jdk.nashorn.internal.codegen.CompilerConstants.Call;
16226
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
    51
import jdk.nashorn.internal.ir.debug.JSONWriter;
21446
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
    52
import jdk.nashorn.internal.objects.Global;
25247
c0f911459863 8046013: TypeError: Cannot apply "with" to non script object
sundar
parents: 24762
diff changeset
    53
import jdk.nashorn.internal.objects.NativeObject;
16226
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
    54
import jdk.nashorn.internal.parser.Lexer;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    55
import jdk.nashorn.internal.runtime.linker.Bootstrap;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    56
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    57
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    58
/**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    59
 * Utilities to be called by JavaScript runtime API and generated classes.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    60
 */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    61
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    62
public final class ScriptRuntime {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    63
    private ScriptRuntime() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    64
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    65
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    66
    /** Singleton representing the empty array object '[]' */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    67
    public static final Object[] EMPTY_ARRAY = new Object[0];
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    68
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    69
    /** Unique instance of undefined. */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    70
    public static final Undefined UNDEFINED = Undefined.getUndefined();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    71
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    72
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    73
     * Unique instance of undefined used to mark empty array slots.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    74
     * Can't escape the array.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    75
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    76
    public static final Undefined EMPTY = Undefined.getEmpty();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    77
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    78
    /** Method handle to generic + operator, operating on objects */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    79
    public static final Call ADD = staticCallNoLookup(ScriptRuntime.class, "ADD", Object.class, Object.class, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    80
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    81
    /** Method handle to generic === operator, operating on objects */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    82
    public static final Call EQ_STRICT = staticCallNoLookup(ScriptRuntime.class, "EQ_STRICT", boolean.class, Object.class, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    83
16240
e1468b33e201 8008239: Unpublicized parts of the code generator package that were only package internal.
lagergren
parents: 16234
diff changeset
    84
    /** Method handle used to enter a {@code with} scope at runtime. */
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    85
    public static final Call OPEN_WITH = staticCallNoLookup(ScriptRuntime.class, "openWith", ScriptObject.class, ScriptObject.class, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    86
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    87
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    88
     * Method used to place a scope's variable into the Global scope, which has to be done for the
16240
e1468b33e201 8008239: Unpublicized parts of the code generator package that were only package internal.
lagergren
parents: 16234
diff changeset
    89
     * properties declared at outermost script level.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    90
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    91
    public static final Call MERGE_SCOPE = staticCallNoLookup(ScriptRuntime.class, "mergeScope", ScriptObject.class, ScriptObject.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    92
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    93
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    94
     * Return an appropriate iterator for the elements in a for-in construct
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    95
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    96
    public static final Call TO_PROPERTY_ITERATOR = staticCallNoLookup(ScriptRuntime.class, "toPropertyIterator", Iterator.class, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    97
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    98
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
    99
     * Return an appropriate iterator for the elements in a for-each construct
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   100
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   101
    public static final Call TO_VALUE_ITERATOR = staticCallNoLookup(ScriptRuntime.class, "toValueIterator", Iterator.class, Object.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   102
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   103
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   104
      * Method handle for apply. Used from {@link ScriptFunction} for looking up calls to
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   105
      * call sites that are known to be megamorphic. Using an invoke dynamic here would
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   106
      * lead to the JVM deoptimizing itself to death
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   107
      */
19460
1b6d8e7b1cdf 8022782: publicLookup access failures in ScriptObject, ScriptFunction and ScriptFunction
sundar
parents: 19097
diff changeset
   108
    public static final Call APPLY = staticCall(MethodHandles.lookup(), ScriptRuntime.class, "apply", Object.class, ScriptFunction.class, Object.class, Object[].class);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   109
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   110
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   111
     * Converts a switch tag value to a simple integer. deflt value if it can't.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   112
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   113
     * @param tag   Switch statement tag value.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   114
     * @param deflt default to use if not convertible.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   115
     * @return int tag value (or deflt.)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   116
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   117
    public static int switchTagAsInt(final Object tag, final int deflt) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   118
        if (tag instanceof Number) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   119
            final double d = ((Number)tag).doubleValue();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   120
            if (isRepresentableAsInt(d)) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   121
                return (int)d;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   122
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   123
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   124
        return deflt;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   125
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   126
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   127
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   128
     * Converts a switch tag value to a simple integer. deflt value if it can't.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   129
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   130
     * @param tag   Switch statement tag value.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   131
     * @param deflt default to use if not convertible.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   132
     * @return int tag value (or deflt.)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   133
     */
18628
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   134
    public static int switchTagAsInt(final boolean tag, final int deflt) {
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   135
        return deflt;
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   136
    }
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   137
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   138
    /**
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   139
     * Converts a switch tag value to a simple integer. deflt value if it can't.
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   140
     *
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   141
     * @param tag   Switch statement tag value.
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   142
     * @param deflt default to use if not convertible.
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   143
     * @return int tag value (or deflt.)
012cd852f881 8019488: switch on literals result in NoSuchMethodError or VerifyError
sundar
parents: 18614
diff changeset
   144
     */
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   145
    public static int switchTagAsInt(final long tag, final int deflt) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   146
        return isRepresentableAsInt(tag) ? (int)tag : deflt;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   147
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   148
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   149
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   150
     * Converts a switch tag value to a simple integer. deflt value if it can't.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   151
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   152
     * @param tag   Switch statement tag value.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   153
     * @param deflt default to use if not convertible.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   154
     * @return int tag value (or deflt.)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   155
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   156
    public static int switchTagAsInt(final double tag, final int deflt) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   157
        return isRepresentableAsInt(tag) ? (int)tag : deflt;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   158
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   159
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   160
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   161
     * This is the builtin implementation of {@code Object.prototype.toString}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   162
     * @param self reference
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   163
     * @return string representation as object
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   164
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   165
    public static String builtinObjectToString(final Object self) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   166
        String className;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   167
        // Spec tells us to convert primitives by ToObject..
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   168
        // But we don't need to -- all we need is the right class name
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   169
        // of the corresponding primitive wrapper type.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   170
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   171
        final JSType type = JSType.ofNoFunction(self);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   172
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   173
        switch (type) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   174
        case BOOLEAN:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   175
            className = "Boolean";
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   176
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   177
        case NUMBER:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   178
            className = "Number";
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   179
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   180
        case STRING:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   181
            className = "String";
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   182
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   183
        // special case of null and undefined
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   184
        case NULL:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   185
            className = "Null";
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   186
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   187
        case UNDEFINED:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   188
            className = "Undefined";
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   189
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   190
        case OBJECT:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   191
            if (self instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   192
                className = ((ScriptObject)self).getClassName();
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   193
            } else if (self instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   194
                className = ((JSObject)self).getClassName();
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   195
            } else {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   196
                className = self.getClass().getName();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   197
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   198
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   199
        default:
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   200
            // Nashorn extension: use Java class name
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   201
            className = self.getClass().getName();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   202
            break;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   203
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   204
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   205
        final StringBuilder sb = new StringBuilder();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   206
        sb.append("[object ");
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   207
        sb.append(className);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   208
        sb.append(']');
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   209
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   210
        return sb.toString();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   211
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   212
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   213
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   214
     * This is called whenever runtime wants to throw an error and wants to provide
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   215
     * meaningful information about an object. We don't want to call toString which
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   216
     * ends up calling "toString" from script world which may itself throw error.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   217
     * When we want to throw an error, we don't additional error from script land
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   218
     * -- which may sometimes lead to infinite recursion.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   219
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   220
     * @param obj Object to converted to String safely (without calling user script)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   221
     * @return safe String representation of the given object
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   222
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   223
    public static String safeToString(final Object obj) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   224
        return JSType.toStringImpl(obj, true);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   225
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   226
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   227
    /**
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   228
     * Returns an iterator over property identifiers used in the {@code for...in} statement. Note that the ECMAScript
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   229
     * 5.1 specification, chapter 12.6.4. uses the terminology "property names", which seems to imply that the property
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   230
     * identifiers are expected to be strings, but this is not actually spelled out anywhere, and Nashorn will in some
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   231
     * cases deviate from this. Namely, we guarantee to always return an iterator over {@link String} values for any
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   232
     * built-in JavaScript object. We will however return an iterator over {@link Integer} objects for native Java
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   233
     * arrays and {@link List} objects, as well as arbitrary objects representing keys of a {@link Map}. Therefore, the
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   234
     * expression {@code typeof i} within a {@code for(i in obj)} statement can return something other than
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   235
     * {@code string} when iterating over native Java arrays, {@code List}, and {@code Map} objects.
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   236
     * @param obj object to iterate on.
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   237
     * @return iterator over the object's property names.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   238
     */
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   239
    public static Iterator<?> toPropertyIterator(final Object obj) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   240
        if (obj instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   241
            return ((ScriptObject)obj).propertyIterator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   242
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   243
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   244
        if (obj != null && obj.getClass().isArray()) {
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   245
            return new RangeIterator(Array.getLength(obj));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   246
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   247
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   248
        if (obj instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   249
            return ((JSObject)obj).keySet().iterator();
17978
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   250
        }
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   251
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   252
        if (obj instanceof List) {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   253
            return new RangeIterator(((List<?>)obj).size());
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   254
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   255
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   256
        if (obj instanceof Map) {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   257
            return ((Map<?,?>)obj).keySet().iterator();
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   258
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   259
21446
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   260
        final Object wrapped = Global.instance().wrapAsObject(obj);
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   261
        if (wrapped instanceof ScriptObject) {
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   262
            return ((ScriptObject)wrapped).propertyIterator();
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   263
        }
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   264
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   265
        return Collections.emptyIterator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   266
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   267
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   268
    private static final class RangeIterator implements Iterator<Integer> {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   269
        private final int length;
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   270
        private int index;
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   271
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   272
        RangeIterator(final int length) {
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   273
            this.length = length;
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   274
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   275
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   276
        @Override
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   277
        public boolean hasNext() {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   278
            return index < length;
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   279
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   280
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   281
        @Override
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   282
        public Integer next() {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   283
            return index++;
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   284
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   285
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   286
        @Override
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   287
        public void remove() {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   288
            throw new UnsupportedOperationException();
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   289
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   290
    }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   291
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   292
    /**
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   293
     * Returns an iterator over property values used in the {@code for each...in} statement. Aside from built-in JS
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   294
     * objects, it also operates on Java arrays, any {@link Iterable}, as well as on {@link Map} objects, iterating over
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   295
     * map values.
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   296
     * @param obj object to iterate on.
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   297
     * @return iterator over the object's property values.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   298
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   299
    public static Iterator<?> toValueIterator(final Object obj) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   300
        if (obj instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   301
            return ((ScriptObject)obj).valueIterator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   302
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   303
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   304
        if (obj != null && obj.getClass().isArray()) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   305
            final Object array  = obj;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   306
            final int    length = Array.getLength(obj);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   307
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   308
            return new Iterator<Object>() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   309
                private int index = 0;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   310
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   311
                @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   312
                public boolean hasNext() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   313
                    return index < length;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   314
                }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   315
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   316
                @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   317
                public Object next() {
16226
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   318
                    if (index >= length) {
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   319
                        throw new NoSuchElementException();
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   320
                    }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   321
                    return Array.get(array, index++);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   322
                }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   323
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   324
                @Override
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   325
                public void remove() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   326
                    throw new UnsupportedOperationException();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   327
                }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   328
            };
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   329
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   330
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   331
        if (obj instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   332
            return ((JSObject)obj).values().iterator();
17978
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   333
        }
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   334
19618
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   335
        if (obj instanceof Map) {
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   336
            return ((Map<?,?>)obj).values().iterator();
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   337
        }
6b73157185e0 8022903: Enhance for-in and for-each for Lists and Maps
attila
parents: 19460
diff changeset
   338
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   339
        if (obj instanceof Iterable) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   340
            return ((Iterable<?>)obj).iterator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   341
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   342
21446
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   343
        final Object wrapped = Global.instance().wrapAsObject(obj);
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   344
        if (wrapped instanceof ScriptObject) {
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   345
            return ((ScriptObject)wrapped).valueIterator();
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   346
        }
2fcb0f7e407f 8026955: for-in should convert primitive values to object
hannesw
parents: 19889
diff changeset
   347
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   348
        return Collections.emptyIterator();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   349
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   350
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   351
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   352
     * Merge a scope into its prototype's map.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   353
     * Merge a scope into its prototype.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   354
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   355
     * @param scope Scope to merge.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   356
     * @return prototype object after merge
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   357
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   358
    public static ScriptObject mergeScope(final ScriptObject scope) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   359
        final ScriptObject global = scope.getProto();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   360
        global.addBoundProperties(scope);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   361
        return global;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   362
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   363
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   364
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   365
     * Call a function given self and args. If the number of the arguments is known in advance, you can likely achieve
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   366
     * better performance by {@link Bootstrap#createDynamicInvoker(String, Class, Class...) creating a dynamic invoker}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   367
     * for operation {@code "dyn:call"}, then using its {@link MethodHandle#invokeExact(Object...)} method instead.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   368
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   369
     * @param target ScriptFunction object.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   370
     * @param self   Receiver in call.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   371
     * @param args   Call arguments.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   372
     * @return Call result.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   373
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   374
    public static Object apply(final ScriptFunction target, final Object self, final Object... args) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   375
        try {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   376
            return target.invoke(self, args);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   377
        } catch (final RuntimeException | Error e) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   378
            throw e;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   379
        } catch (final Throwable t) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   380
            throw new RuntimeException(t);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   381
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   382
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   383
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   384
    /**
18614
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   385
     * Call a script function as a constructor with given args.
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   386
     *
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   387
     * @param target ScriptFunction object.
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   388
     * @param args   Call arguments.
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   389
     * @return Constructor call result.
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   390
     */
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   391
    public static Object construct(final ScriptFunction target, final Object... args) {
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   392
        try {
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   393
            return target.construct(args);
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   394
        } catch (final RuntimeException | Error e) {
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   395
            throw e;
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   396
        } catch (final Throwable t) {
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   397
            throw new RuntimeException(t);
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   398
        }
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   399
    }
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   400
addca7a10167 8015959: Can't call foreign constructor
sundar
parents: 18334
diff changeset
   401
    /**
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   402
     * Generic implementation of ECMA 9.12 - SameValue algorithm
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   403
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   404
     * @param x first value to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   405
     * @param y second value to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   406
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   407
     * @return true if both objects have the same value
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   408
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   409
    public static boolean sameValue(final Object x, final Object y) {
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   410
        final JSType xType = JSType.ofNoFunction(x);
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   411
        final JSType yType = JSType.ofNoFunction(y);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   412
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   413
        if (xType != yType) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   414
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   415
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   416
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   417
        if (xType == JSType.UNDEFINED || xType == JSType.NULL) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   418
            return true;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   419
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   420
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   421
        if (xType == JSType.NUMBER) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   422
            final double xVal = ((Number)x).doubleValue();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   423
            final double yVal = ((Number)y).doubleValue();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   424
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   425
            if (Double.isNaN(xVal) && Double.isNaN(yVal)) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   426
                return true;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   427
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   428
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   429
            // checking for xVal == -0.0 and yVal == +0.0 or vice versa
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   430
            if (xVal == 0.0 && Double.doubleToLongBits(xVal) != Double.doubleToLongBits(yVal)) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   431
                return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   432
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   433
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   434
            return xVal == yVal;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   435
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   436
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   437
        if (xType == JSType.STRING || yType == JSType.BOOLEAN) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   438
            return x.equals(y);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   439
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   440
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   441
        return x == y;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   442
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   443
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   444
    /**
16226
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   445
     * Returns AST as JSON compatible string. This is used to
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   446
     * implement "parse" function in resources/parse.js script.
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   447
     *
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   448
     * @param code code to be parsed
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   449
     * @param name name of the code source (used for location)
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   450
     * @param includeLoc tells whether to include location information for nodes or not
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   451
     * @return JSON string representation of AST of the supplied code
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   452
     */
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   453
    public static String parse(final String code, final String name, final boolean includeLoc) {
24745
3a6e1477362b 8041434: Add synchronization to the common global constants structure
lagergren
parents: 24733
diff changeset
   454
        return JSONWriter.parse(Context.getContextTrusted(), code, name, includeLoc);
16226
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   455
    }
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   456
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   457
    /**
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   458
     * Test whether a char is valid JavaScript whitespace
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   459
     * @param ch a char
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   460
     * @return true if valid JavaScript whitespace
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   461
     */
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   462
    public static boolean isJSWhitespace(final char ch) {
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   463
        return Lexer.isJSWhitespace(ch);
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   464
    }
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   465
0e4f37e6cc40 8007915: Nashorn IR, codegen, parser packages and Context instance should be inaccessible to user code
sundar
parents: 16206
diff changeset
   466
    /**
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   467
     * Entering a {@code with} node requires new scope. This is the implementation. When exiting the with statement,
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   468
     * use {@link ScriptObject#getProto()} on the scope.
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   469
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   470
     * @param scope      existing scope
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   471
     * @param expression expression in with
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   472
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   473
     * @return {@link WithObject} that is the new scope
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   474
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   475
    public static ScriptObject openWith(final ScriptObject scope, final Object expression) {
23375
a1110f2cbe75 8037400: Remove getInitialMap getters and GlobalObject interface
sundar
parents: 21446
diff changeset
   476
        final Global global = Context.getGlobal();
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   477
        if (expression == UNDEFINED) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   478
            throw typeError(global, "cant.apply.with.to.undefined");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   479
        } else if (expression == null) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   480
            throw typeError(global, "cant.apply.with.to.null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   481
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   482
25247
c0f911459863 8046013: TypeError: Cannot apply "with" to non script object
sundar
parents: 24762
diff changeset
   483
        if (expression instanceof ScriptObjectMirror) {
c0f911459863 8046013: TypeError: Cannot apply "with" to non script object
sundar
parents: 24762
diff changeset
   484
            final Object unwrapped = ScriptObjectMirror.unwrap(expression, global);
c0f911459863 8046013: TypeError: Cannot apply "with" to non script object
sundar
parents: 24762
diff changeset
   485
            if (unwrapped instanceof ScriptObject) {
c0f911459863 8046013: TypeError: Cannot apply "with" to non script object
sundar
parents: 24762
diff changeset
   486
                return new WithObject(scope, (ScriptObject)unwrapped);
c0f911459863 8046013: TypeError: Cannot apply "with" to non script object
sundar
parents: 24762
diff changeset
   487
            }
25821
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   488
            // foreign ScriptObjectMirror
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   489
            final ScriptObject exprObj = global.newObject();
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   490
            NativeObject.bindAllProperties(exprObj, (ScriptObjectMirror)expression);
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   491
            return new WithObject(scope, exprObj);
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   492
        }
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   493
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   494
        final Object wrappedExpr = JSType.toScriptObject(global, expression);
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   495
        if (wrappedExpr instanceof ScriptObject) {
fbb51e67d2a7 8048869: Reduce compile time by about 5% by removing the Class.casts from the AST nodes
lagergren
parents: 25250
diff changeset
   496
            return new WithObject(scope, (ScriptObject)wrappedExpr);
19884
1bacbaa1bfc7 8024180: Incorrect handling of expression and parent scope in 'with' statements
sundar
parents: 19638
diff changeset
   497
        }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   498
19884
1bacbaa1bfc7 8024180: Incorrect handling of expression and parent scope in 'with' statements
sundar
parents: 19638
diff changeset
   499
        throw typeError(global, "cant.apply.with.to.non.scriptobject");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   500
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   501
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   502
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   503
     * ECMA 11.6.1 - The addition operator (+) - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   504
     * Compiler specializes using {@link jdk.nashorn.internal.codegen.RuntimeCallSite}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   505
     * if any type information is available for any of the operands
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   506
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   507
     * @param x  first term
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   508
     * @param y  second term
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   509
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   510
     * @return result of addition
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   511
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   512
    public static Object ADD(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   513
        // This prefix code to handle Number special is for optimization.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   514
        final boolean xIsNumber = x instanceof Number;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   515
        final boolean yIsNumber = y instanceof Number;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   516
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   517
        if (xIsNumber && yIsNumber) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   518
             return ((Number)x).doubleValue() + ((Number)y).doubleValue();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   519
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   520
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   521
        final boolean xIsUndefined = x == UNDEFINED;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   522
        final boolean yIsUndefined = y == UNDEFINED;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   523
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   524
        if (xIsNumber && yIsUndefined || xIsUndefined && yIsNumber || xIsUndefined && yIsUndefined) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   525
            return Double.NaN;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   526
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   527
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   528
        // code below is as per the spec.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   529
        final Object xPrim = JSType.toPrimitive(x);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   530
        final Object yPrim = JSType.toPrimitive(y);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   531
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   532
        if (xPrim instanceof String || yPrim instanceof String
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   533
                || xPrim instanceof ConsString || yPrim instanceof ConsString) {
25250
b5a4e0ac31d1 8047359: large string size RangeError should be thrown rather than reporting negative length
sundar
parents: 25247
diff changeset
   534
            try {
b5a4e0ac31d1 8047359: large string size RangeError should be thrown rather than reporting negative length
sundar
parents: 25247
diff changeset
   535
                return new ConsString(JSType.toCharSequence(xPrim), JSType.toCharSequence(yPrim));
b5a4e0ac31d1 8047359: large string size RangeError should be thrown rather than reporting negative length
sundar
parents: 25247
diff changeset
   536
            } catch (final IllegalArgumentException iae) {
b5a4e0ac31d1 8047359: large string size RangeError should be thrown rather than reporting negative length
sundar
parents: 25247
diff changeset
   537
                throw rangeError(iae, "concat.string.too.big");
b5a4e0ac31d1 8047359: large string size RangeError should be thrown rather than reporting negative length
sundar
parents: 25247
diff changeset
   538
            }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   539
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   540
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   541
        return JSType.toNumber(xPrim) + JSType.toNumber(yPrim);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   542
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   543
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   544
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   545
     * Debugger hook.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   546
     * TODO: currently unimplemented
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   547
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   548
     * @return undefined
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   549
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   550
    public static Object DEBUGGER() {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   551
        return UNDEFINED;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   552
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   553
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   554
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   555
     * New hook
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   556
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   557
     * @param clazz type for the clss
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   558
     * @param args  constructor arguments
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   559
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   560
     * @return undefined
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   561
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   562
    public static Object NEW(final Object clazz, final Object... args) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   563
        return UNDEFINED;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   564
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   565
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   566
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   567
     * ECMA 11.4.3 The typeof Operator - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   568
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   569
     * @param object   the object from which to retrieve property to type check
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   570
     * @param property property in object to check
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   571
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   572
     * @return type name
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   573
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   574
    public static Object TYPEOF(final Object object, final Object property) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   575
        Object obj = object;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   576
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   577
        if (property != null) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   578
            if (obj instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   579
                obj = ((ScriptObject)obj).get(property);
24719
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   580
                if(Global.isLocationPropertyPlaceholder(obj)) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   581
                    if(CompilerConstants.__LINE__.name().equals(property)) {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   582
                        obj = Integer.valueOf(0);
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   583
                    } else {
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   584
                        obj = "";
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   585
                    }
f726e9d67629 8035820: Optimistic recompilation
attila
parents: 21446
diff changeset
   586
                }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   587
            } else if (object instanceof Undefined) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   588
                obj = ((Undefined)obj).get(property);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   589
            } else if (object == null) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   590
                throw typeError("cant.get.property", safeToString(property), "null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   591
            } else if (JSType.isPrimitive(obj)) {
16188
d6390b0ea32a 8006678: Avoid too many Context.getGlobal() calls
sundar
parents: 16151
diff changeset
   592
                obj = ((ScriptObject)JSType.toScriptObject(obj)).get(property);
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   593
            } else if (obj instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   594
                obj = ((JSObject)obj).getMember(property.toString());
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   595
            } else {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   596
                obj = UNDEFINED;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   597
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   598
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   599
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   600
        return JSType.of(obj).typeName();
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   601
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   602
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   603
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   604
     * Throw ReferenceError when LHS of assignment or increment/decrement
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   605
     * operator is not an assignable node (say a literal)
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   606
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   607
     * @param lhs Evaluated LHS
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   608
     * @param rhs Evaluated RHS
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   609
     * @param msg Additional LHS info for error message
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   610
     * @return undefined
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   611
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   612
    public static Object REFERENCE_ERROR(final Object lhs, final Object rhs, final Object msg) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   613
        throw referenceError("cant.be.used.as.lhs", Objects.toString(msg));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   614
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   615
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   616
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   617
     * ECMA 11.4.1 - delete operation, generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   618
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   619
     * @param obj       object with property to delete
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   620
     * @param property  property to delete
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   621
     * @param strict    are we in strict mode
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   622
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   623
     * @return true if property was successfully found and deleted
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   624
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   625
    public static boolean DELETE(final Object obj, final Object property, final Object strict) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   626
        if (obj instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   627
            return ((ScriptObject)obj).delete(property, Boolean.TRUE.equals(strict));
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   628
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   629
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   630
        if (obj instanceof Undefined) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   631
            return ((Undefined)obj).delete(property, false);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   632
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   633
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   634
        if (obj == null) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   635
            throw typeError("cant.delete.property", safeToString(property), "null");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   636
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   637
17978
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   638
        if (obj instanceof ScriptObjectMirror) {
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   639
            return ((ScriptObjectMirror)obj).delete(property);
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   640
        }
750d0582d8e2 8015830: Javascript mapping of ScriptEngine bindings does not expose keys
sundar
parents: 17778
diff changeset
   641
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   642
        if (JSType.isPrimitive(obj)) {
16188
d6390b0ea32a 8006678: Avoid too many Context.getGlobal() calls
sundar
parents: 16151
diff changeset
   643
            return ((ScriptObject) JSType.toScriptObject(obj)).delete(property, Boolean.TRUE.equals(strict));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   644
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   645
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   646
        if (obj instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   647
            ((JSObject)obj).removeMember(Objects.toString(property));
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   648
            return true;
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   649
        }
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   650
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   651
        // if object is not reference type, vacuously delete is successful.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   652
        return true;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   653
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   654
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   655
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   656
     * ECMA 11.4.1 - delete operator, special case
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   657
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   658
     * This is 'delete' that always fails. We have to check strict mode and throw error.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   659
     * That is why this is a runtime function. Or else we could have inlined 'false'.
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   660
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   661
     * @param property  property to delete
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   662
     * @param strict    are we in strict mode
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   663
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   664
     * @return false always
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   665
     */
16206
83069fa0935b 8006529: Methods always get callee - it should be conditional
attila
parents: 16188
diff changeset
   666
    public static boolean FAIL_DELETE(final Object property, final Object strict) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   667
        if (Boolean.TRUE.equals(strict)) {
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   668
            throw syntaxError("strict.cant.delete", safeToString(property));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   669
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   670
        return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   671
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   672
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   673
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   674
     * ECMA 11.9.1 - The equals operator (==) - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   675
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   676
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   677
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   678
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   679
     * @return true if type coerced versions of objects are equal
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   680
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   681
    public static boolean EQ(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   682
        return equals(x, y);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   683
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   684
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   685
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   686
     * ECMA 11.9.2 - The does-not-equal operator (==) - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   687
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   688
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   689
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   690
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   691
     * @return true if type coerced versions of objects are not equal
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   692
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   693
    public static boolean NE(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   694
        return !EQ(x, y);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   695
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   696
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   697
    /** ECMA 11.9.3 The Abstract Equality Comparison Algorithm */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   698
    private static boolean equals(final Object x, final Object y) {
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   699
        if (x == y) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   700
            return true;
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   701
        }
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   702
        if (x instanceof ScriptObject && y instanceof ScriptObject) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   703
            return x == y;
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   704
        }
26052
41d18e9e45a4 8053910: ScriptObjectMirror causing havoc with Invocation interface
sundar
parents: 25828
diff changeset
   705
        if (x instanceof ScriptObjectMirror || y instanceof ScriptObjectMirror) {
41d18e9e45a4 8053910: ScriptObjectMirror causing havoc with Invocation interface
sundar
parents: 25828
diff changeset
   706
            return ScriptObjectMirror.identical(x, y);
41d18e9e45a4 8053910: ScriptObjectMirror causing havoc with Invocation interface
sundar
parents: 25828
diff changeset
   707
        }
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   708
        return equalValues(x, y);
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   709
    }
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   710
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   711
    /**
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   712
     * Extracted portion of {@code equals()} that compares objects by value (or by reference, if no known value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   713
     * comparison applies).
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   714
     * @param x one value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   715
     * @param y another value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   716
     * @return true if they're equal according to 11.9.3
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   717
     */
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   718
    private static boolean equalValues(final Object x, final Object y) {
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   719
        final JSType xType = JSType.ofNoFunction(x);
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   720
        final JSType yType = JSType.ofNoFunction(y);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   721
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   722
        if (xType == yType) {
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   723
            return equalSameTypeValues(x, y, xType);
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   724
        }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   725
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   726
        return equalDifferentTypeValues(x, y, xType, yType);
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   727
    }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   728
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   729
    /**
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   730
     * Extracted portion of {@link #equals(Object, Object)} and {@link #strictEquals(Object, Object)} that compares
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   731
     * values belonging to the same JSType.
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   732
     * @param x one value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   733
     * @param y another value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   734
     * @param type the common type for the values
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   735
     * @return true if they're equal
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   736
     */
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   737
    private static boolean equalSameTypeValues(final Object x, final Object y, final JSType type) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   738
        if (type == JSType.UNDEFINED || type == JSType.NULL) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   739
            return true;
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   740
        }
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   741
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   742
        if (type == JSType.NUMBER) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   743
            return ((Number)x).doubleValue() == ((Number)y).doubleValue();
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   744
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   745
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   746
        if (type == JSType.STRING) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   747
            // String may be represented by ConsString
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   748
            return x.toString().equals(y.toString());
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   749
        }
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   750
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   751
        if (type == JSType.BOOLEAN) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   752
            return ((Boolean)x).booleanValue() == ((Boolean)y).booleanValue();
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   753
        }
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   754
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   755
        return x == y;
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   756
    }
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   757
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   758
    /**
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   759
     * Extracted portion of {@link #equals(Object, Object)} that compares values belonging to different JSTypes.
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   760
     * @param x one value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   761
     * @param y another value
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   762
     * @param xType the type for the value x
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   763
     * @param yType the type for the value y
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   764
     * @return true if they're equal
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   765
     */
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   766
    private static boolean equalDifferentTypeValues(final Object x, final Object y, final JSType xType, final JSType yType) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   767
        if (xType == JSType.UNDEFINED && yType == JSType.NULL || xType == JSType.NULL && yType == JSType.UNDEFINED) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   768
            return true;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   769
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   770
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   771
        if (xType == JSType.NUMBER && yType == JSType.STRING) {
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   772
            return equals(x, JSType.toNumber(y));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   773
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   774
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   775
        if (xType == JSType.STRING && yType == JSType.NUMBER) {
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   776
            return equals(JSType.toNumber(x), y);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   777
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   778
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   779
        if (xType == JSType.BOOLEAN) {
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   780
            return equals(JSType.toNumber(x), y);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   781
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   782
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   783
        if (yType == JSType.BOOLEAN) {
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   784
            return equals(x, JSType.toNumber(y));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   785
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   786
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   787
        if ((xType == JSType.STRING || xType == JSType.NUMBER) && y instanceof ScriptObject)  {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   788
            return equals(x, JSType.toPrimitive(y));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   789
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   790
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   791
        if (x instanceof ScriptObject && (yType == JSType.STRING || yType == JSType.NUMBER)) {
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   792
            return equals(JSType.toPrimitive(x), y);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   793
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   794
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   795
        return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   796
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   797
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   798
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   799
     * ECMA 11.9.4 - The strict equal operator (===) - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   800
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   801
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   802
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   803
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   804
     * @return true if objects are equal
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   805
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   806
    public static boolean EQ_STRICT(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   807
        return strictEquals(x, y);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   808
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   809
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   810
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   811
     * ECMA 11.9.5 - The strict non equal operator (!==) - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   812
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   813
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   814
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   815
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   816
     * @return true if objects are not equal
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   817
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   818
    public static boolean NE_STRICT(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   819
        return !EQ_STRICT(x, y);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   820
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   821
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   822
    /** ECMA 11.9.6 The Strict Equality Comparison Algorithm */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   823
    private static boolean strictEquals(final Object x, final Object y) {
25828
077046a5d726 8044786: Some tests fail with non-optimistic compilation
attila
parents: 25821
diff changeset
   824
        // NOTE: you might be tempted to do a quick x == y comparison. Remember, though, that any Double object having
077046a5d726 8044786: Some tests fail with non-optimistic compilation
attila
parents: 25821
diff changeset
   825
        // NaN value is not equal to itself by value even though it is referentially.
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   826
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   827
        final JSType xType = JSType.ofNoFunction(x);
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   828
        final JSType yType = JSType.ofNoFunction(y);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   829
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   830
        if (xType != yType) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   831
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   832
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   833
24762
96a251e57232 8043608: Make equality tests inline better
attila
parents: 24752
diff changeset
   834
        return equalSameTypeValues(x, y, xType);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   835
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   836
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   837
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   838
     * ECMA 11.8.6 - The in operator - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   839
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   840
     * @param property property to check for
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   841
     * @param obj object in which to check for property
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   842
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   843
     * @return true if objects are equal
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   844
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   845
    public static boolean IN(final Object property, final Object obj) {
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   846
        final JSType rvalType = JSType.ofNoFunction(obj);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   847
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   848
        if (rvalType == JSType.OBJECT) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   849
            if (obj instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   850
                return ((ScriptObject)obj).has(property);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   851
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   852
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   853
            if (obj instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   854
                return ((JSObject)obj).hasMember(Objects.toString(property));
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   855
            }
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   856
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   857
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   858
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   859
17778
991ccffbeb13 8015459: Octane test run fails on Turkish locale
sundar
parents: 16272
diff changeset
   860
        throw typeError("in.with.non.object", rvalType.toString().toLowerCase(Locale.ENGLISH));
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   861
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   862
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   863
    /**
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   864
     * ECMA 11.8.6 - The strict instanceof operator - generic implementation
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   865
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   866
     * @param obj first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   867
     * @param clazz type to check against
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   868
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   869
     * @return true if {@code obj} is an instanceof {@code clazz}
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   870
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   871
    public static boolean INSTANCEOF(final Object obj, final Object clazz) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   872
        if (clazz instanceof ScriptFunction) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   873
            if (obj instanceof ScriptObject) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   874
                return ((ScriptObject)clazz).isInstance((ScriptObject)obj);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   875
            }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   876
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   877
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   878
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   879
        if (clazz instanceof StaticClass) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   880
            return ((StaticClass)clazz).getRepresentedClass().isInstance(obj);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   881
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   882
19889
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   883
        if (clazz instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   884
            return ((JSObject)clazz).isInstance(obj);
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   885
        }
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   886
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   887
        // provide for reverse hook
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   888
        if (obj instanceof JSObject) {
63af9358d0dc 8024615: Refactor ScriptObjectMirror and JSObject to support external JSObject implementations
sundar
parents: 19884
diff changeset
   889
            return ((JSObject)obj).isInstanceOf(clazz);
18334
47413e8d71b5 8016618: script mirror object access should be improved
sundar
parents: 17978
diff changeset
   890
        }
47413e8d71b5 8016618: script mirror object access should be improved
sundar
parents: 17978
diff changeset
   891
16256
f2d9a0c49914 8007002: Replace implicit exception throwing methods with explicit throws - simplify control flow and remove useless code
lagergren
parents: 16240
diff changeset
   892
        throw typeError("instanceof.on.non.object");
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   893
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   894
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   895
    /**
16272
675a0caf75bc 8009263: Fix all javadoc errors in nashorn code
sundar
parents: 16262
diff changeset
   896
     * ECMA 11.8.1 - The less than operator ({@literal <}) - generic implementation
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   897
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   898
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   899
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   900
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   901
     * @return true if x is less than y
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   902
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   903
    public static boolean LT(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   904
        final Object value = lessThan(x, y, true);
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   905
        return value == UNDEFINED ? false : (Boolean)value;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   906
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   907
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   908
    /**
16272
675a0caf75bc 8009263: Fix all javadoc errors in nashorn code
sundar
parents: 16262
diff changeset
   909
     * ECMA 11.8.2 - The greater than operator ({@literal >}) - generic implementation
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   910
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   911
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   912
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   913
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   914
     * @return true if x is greater than y
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   915
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   916
    public static boolean GT(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   917
        final Object value = lessThan(y, x, false);
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   918
        return value == UNDEFINED ? false : (Boolean)value;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   919
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   920
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   921
    /**
16272
675a0caf75bc 8009263: Fix all javadoc errors in nashorn code
sundar
parents: 16262
diff changeset
   922
     * ECMA 11.8.3 - The less than or equal operator ({@literal <=}) - generic implementation
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   923
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   924
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   925
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   926
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   927
     * @return true if x is less than or equal to y
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   928
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   929
    public static boolean LE(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   930
        final Object value = lessThan(y, x, false);
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   931
        return !(Boolean.TRUE.equals(value) || value == UNDEFINED);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   932
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   933
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   934
    /**
16272
675a0caf75bc 8009263: Fix all javadoc errors in nashorn code
sundar
parents: 16262
diff changeset
   935
     * ECMA 11.8.4 - The greater than or equal operator ({@literal >=}) - generic implementation
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   936
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   937
     * @param x first object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   938
     * @param y second object to compare
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   939
     *
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   940
     * @return true if x is greater than or equal to y
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   941
     */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   942
    public static boolean GE(final Object x, final Object y) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   943
        final Object value = lessThan(x, y, true);
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   944
        return !(Boolean.TRUE.equals(value) || value == UNDEFINED);
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   945
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   946
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   947
    /** ECMA 11.8.5 The Abstract Relational Comparison Algorithm */
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   948
    private static Object lessThan(final Object x, final Object y, final boolean leftFirst) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   949
        Object px, py;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   950
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   951
        //support e.g. x < y should throw exception correctly if x or y are not numeric
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   952
        if (leftFirst) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   953
            px = JSType.toPrimitive(x, Number.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   954
            py = JSType.toPrimitive(y, Number.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   955
        } else {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   956
            py = JSType.toPrimitive(y, Number.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   957
            px = JSType.toPrimitive(x, Number.class);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   958
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   959
24752
c835f368e8e0 8043002: Improve performance of Nashorn equality operators
attila
parents: 24745
diff changeset
   960
        if (JSType.ofNoFunction(px) == JSType.STRING && JSType.ofNoFunction(py) == JSType.STRING) {
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   961
            // May be String or ConsString
24725
7bb1f687a852 8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation
lagergren
parents: 24719
diff changeset
   962
            return px.toString().compareTo(py.toString()) < 0;
16147
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   963
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   964
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   965
        final double nx = JSType.toNumber(px);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   966
        final double ny = JSType.toNumber(py);
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   967
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   968
        if (Double.isNaN(nx) || Double.isNaN(ny)) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   969
            return UNDEFINED;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   970
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   971
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   972
        if (nx == ny) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   973
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   974
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   975
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   976
        if (nx > 0 && ny > 0 && Double.isInfinite(nx) && Double.isInfinite(ny)) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   977
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   978
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   979
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   980
        if (nx < 0 && ny < 0 && Double.isInfinite(nx) && Double.isInfinite(ny)) {
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   981
            return false;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   982
        }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   983
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   984
        return nx < ny;
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   985
    }
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   986
e63b63819133 8005403: Open-source Nashorn
jlaskey
parents:
diff changeset
   987
}