com.oracle.truffle.js.runtime.builtins

Class JSProxy

java.lang.Object

com.oracle.truffle.js.runtime.builtins.JSClass

com.oracle.truffle.js.runtime.builtins.AbstractJSClass

com.oracle.truffle.js.runtime.builtins.JSProxy

All Implemented Interfaces:

PrototypeSupplier

public final class JSProxy
extends AbstractJSClass
implements PrototypeSupplier

Property Summary

Properties inherited from class com.oracle.truffle.js.runtime.builtins.AbstractJSClass

usesOrdinaryGetOwnProperty

Field Summary

Fields

Modifier and Type	Field and Description
static com.oracle.truffle.api.strings.TruffleString	APPLY
static com.oracle.truffle.api.strings.TruffleString	CLASS_NAME
static com.oracle.truffle.api.strings.TruffleString	CONSTRUCT
static com.oracle.truffle.api.strings.TruffleString	DEFINE_PROPERTY
static com.oracle.truffle.api.strings.TruffleString	DELETE_PROPERTY
static com.oracle.truffle.api.strings.TruffleString	GET
static com.oracle.truffle.api.strings.TruffleString	GET_OWN_PROPERTY_DESCRIPTOR
static com.oracle.truffle.api.strings.TruffleString	GET_PROTOTYPE_OF
static com.oracle.truffle.api.strings.TruffleString	HAS
static JSProxy	INSTANCE
static com.oracle.truffle.api.strings.TruffleString	IS_EXTENSIBLE
static com.oracle.truffle.api.strings.TruffleString	OWN_KEYS
static com.oracle.truffle.api.strings.TruffleString	PREVENT_EXTENSIONS
static com.oracle.truffle.api.strings.TruffleString	PROXY_CALL
static com.oracle.truffle.api.object.HiddenKey	REVOCABLE_PROXY
static com.oracle.truffle.api.strings.TruffleString	SET
static com.oracle.truffle.api.strings.TruffleString	SET_PROTOTYPE_OF

Method Summary

Modifier and Type	Method and Description
static Object	call(JSDynamicObject proxyObj, Object holder, Object[] arguments)
static boolean	checkPropertyIsSettable(Object truffleTarget, Object key)
static void	checkProxyGetTrapInvariants(Object truffleTarget, Object key, Object trapResult)
static boolean	checkProxySetTrapInvariants(JSDynamicObject proxy, Object key, Object value)
static Object	checkTrapReturnValue(Object trapResult)
static Object	construct(JSDynamicObject proxyObj, Object[] arguments)
static JSProxyObject	create(JSContext context, JSRealm realm, JSDynamicObject proto, Object target, JSDynamicObject handler)
static JSProxyObject	create(JSContext context, JSRealm realm, Object target, JSDynamicObject handler)
static JSConstructor	createConstructor(JSRealm realm)
static JSFunctionData	createProxyCallFunctionData(JSContext ctx)
boolean	defineOwnProperty(JSDynamicObject thisObj, Object key, PropertyDescriptor desc, boolean doThrow) 9.1.6 [[DefineOwnProperty]] (P, Desc).
boolean	delete(JSDynamicObject thisObj, long index, boolean isStrict)
boolean	delete(JSDynamicObject thisObj, Object key, boolean isStrict) 9.1.10 [[Delete]] (P).
com.oracle.truffle.api.strings.TruffleString	getBuiltinToStringTag(JSDynamicObject object) Returns builtinTag from step 14 of ES6+ 19.1.3.6.
com.oracle.truffle.api.strings.TruffleString	getClassName(JSDynamicObject object) The [[Class]] internal property.
static JSDynamicObject	getHandler(JSDynamicObject obj)
static JSDynamicObject	getHandlerChecked(JSDynamicObject obj, com.oracle.truffle.api.strings.TruffleString trap)
JSDynamicObject	getIntrinsicDefaultProto(JSRealm realm) Allows invokevirtual of this method instead of invokeinterface.
Object	getOwnHelper(JSDynamicObject store, Object receiver, long index, com.oracle.truffle.api.nodes.Node encapsulatingNode)
Object	getOwnHelper(JSDynamicObject store, Object receiver, Object key, com.oracle.truffle.api.nodes.Node encapsulatingNode)
PropertyDescriptor	getOwnProperty(JSDynamicObject thisObj, Object key) 9.1.5 [[GetOwnProperty]] (P).
List<Object>	getOwnPropertyKeys(JSDynamicObject thisObj, boolean strings, boolean symbols) GetOwnPropertyKeys (O, type).
JSDynamicObject	getPrototypeOf(JSDynamicObject thisObj) 9.1.1 [[GetPrototypeOf]] ().
static Object	getTarget(JSDynamicObject obj)
static Object	getTargetNonProxy(JSDynamicObject thisObj) Gets the target of the proxy.
static Object	getTrapFromObject(JSDynamicObject maybeHandler, com.oracle.truffle.api.strings.TruffleString trapName)
boolean	hasOwnProperty(JSDynamicObject thisObj, long index)
boolean	hasOwnProperty(JSDynamicObject thisObj, Object key)
boolean	hasProperty(JSDynamicObject thisObj, long index)
boolean	hasProperty(JSDynamicObject thisObj, Object key) 9.1.7 [[HasProperty]] (P).
boolean	isExtensible(JSDynamicObject thisObj) 9.1.3 [[IsExtensible]] ().
static boolean	isJSProxy(Object obj)
static boolean	isRevoked(JSDynamicObject proxy)
com.oracle.truffle.api.object.Shape	makeInitialShape(JSContext context, JSDynamicObject prototype)
boolean	preventExtensions(JSDynamicObject thisObj, boolean doThrow) 9.1.4 [[PreventExtensions]] ().
boolean	set(JSDynamicObject thisObj, long index, Object value, Object receiver, boolean isStrict, com.oracle.truffle.api.nodes.Node encapsulatingNode)
boolean	set(JSDynamicObject thisObj, Object key, Object value, Object receiver, boolean isStrict, com.oracle.truffle.api.nodes.Node encapsulatingNode) 9.1.9 [[Set]] (P, V, Receiver).
boolean	setPrototypeOf(JSDynamicObject thisObj, JSDynamicObject newPrototype) 9.1.2 [[SetPrototypeOf]] (V).
com.oracle.truffle.api.strings.TruffleString	toDisplayStringImpl(JSDynamicObject obj, boolean allowSideEffects, ToDisplayStringFormat format, int depth) A more informative toString variant, mainly used for error messages.
String	toString()

Methods inherited from class com.oracle.truffle.js.runtime.builtins.AbstractJSClass

getHelper, getHelper, getMethodHelper, hasOnlyShapeProperties, usesOrdinaryGetOwnProperty, usesOrdinaryIsExtensible

Methods inherited from class com.oracle.truffle.js.runtime.builtins.JSClass

defaultToString, filterOwnPropertyKeys, formatToString, get, get, getToStringTag, isInstance, isInstance, isInstance, isInstance, ownPropertyKeys, setIntegrityLevel, testIntegrityLevel, testIntegrityLevelDefault

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

CLASS_NAME

public static final com.oracle.truffle.api.strings.TruffleString CLASS_NAME

INSTANCE

public static final JSProxy INSTANCE

GET_PROTOTYPE_OF

public static final com.oracle.truffle.api.strings.TruffleString GET_PROTOTYPE_OF

SET_PROTOTYPE_OF

public static final com.oracle.truffle.api.strings.TruffleString SET_PROTOTYPE_OF

IS_EXTENSIBLE

public static final com.oracle.truffle.api.strings.TruffleString IS_EXTENSIBLE

PREVENT_EXTENSIONS

public static final com.oracle.truffle.api.strings.TruffleString PREVENT_EXTENSIONS

GET_OWN_PROPERTY_DESCRIPTOR

public static final com.oracle.truffle.api.strings.TruffleString GET_OWN_PROPERTY_DESCRIPTOR

HAS

public static final com.oracle.truffle.api.strings.TruffleString HAS

GET

public static final com.oracle.truffle.api.strings.TruffleString GET

SET

public static final com.oracle.truffle.api.strings.TruffleString SET

DELETE_PROPERTY

public static final com.oracle.truffle.api.strings.TruffleString DELETE_PROPERTY

DEFINE_PROPERTY

public static final com.oracle.truffle.api.strings.TruffleString DEFINE_PROPERTY

OWN_KEYS

public static final com.oracle.truffle.api.strings.TruffleString OWN_KEYS

APPLY

public static final com.oracle.truffle.api.strings.TruffleString APPLY

CONSTRUCT

public static final com.oracle.truffle.api.strings.TruffleString CONSTRUCT

PROXY_CALL

public static final com.oracle.truffle.api.strings.TruffleString PROXY_CALL

REVOCABLE_PROXY

public static final com.oracle.truffle.api.object.HiddenKey REVOCABLE_PROXY

Method Detail

checkPropertyIsSettable

public static boolean checkPropertyIsSettable(Object truffleTarget,
                                              Object key)

getClassName

public com.oracle.truffle.api.strings.TruffleString getClassName(JSDynamicObject object)

Description copied from class: JSClass

The [[Class]] internal property. For ES5, this is the second part of what Object.prototype.toString.call(myObj) returns, e.g. "[object Array]".

Specified by:

getClassName in class JSClass

Parameters:

object - object to be used

toString

public String toString()

Specified by:

toString in class JSClass

create

public static JSProxyObject create(JSContext context,
                                   JSRealm realm,
                                   Object target,
                                   JSDynamicObject handler)

create

public static JSProxyObject create(JSContext context,
                                   JSRealm realm,
                                   JSDynamicObject proto,
                                   Object target,
                                   JSDynamicObject handler)

getTarget

public static Object getTarget(JSDynamicObject obj)

getTargetNonProxy

public static Object getTargetNonProxy(JSDynamicObject thisObj)

Gets the target of the proxy. As the target can be a proxy again, retrieves the first non-proxy target.

getHandler

public static JSDynamicObject getHandler(JSDynamicObject obj)

getHandlerChecked

public static JSDynamicObject getHandlerChecked(JSDynamicObject obj,
                                                com.oracle.truffle.api.strings.TruffleString trap)

isJSProxy

public static boolean isJSProxy(Object obj)

getOwnHelper

public Object getOwnHelper(JSDynamicObject store,
                           Object receiver,
                           Object key,
                           com.oracle.truffle.api.nodes.Node encapsulatingNode)

Overrides:

getOwnHelper in class AbstractJSClass

getOwnHelper

public Object getOwnHelper(JSDynamicObject store,
                           Object receiver,
                           long index,
                           com.oracle.truffle.api.nodes.Node encapsulatingNode)

Overrides:

getOwnHelper in class AbstractJSClass

checkProxyGetTrapInvariants

public static void checkProxyGetTrapInvariants(Object truffleTarget,
                                               Object key,
                                               Object trapResult)

set

public boolean set(JSDynamicObject thisObj,
                   Object key,
                   Object value,
                   Object receiver,
                   boolean isStrict,
                   com.oracle.truffle.api.nodes.Node encapsulatingNode)

Description copied from class: JSClass

9.1.9 [[Set]] (P, V, Receiver).

Overrides:

set in class AbstractJSClass

set

public boolean set(JSDynamicObject thisObj,
                   long index,
                   Object value,
                   Object receiver,
                   boolean isStrict,
                   com.oracle.truffle.api.nodes.Node encapsulatingNode)

Overrides:

set in class AbstractJSClass

checkProxySetTrapInvariants

public static boolean checkProxySetTrapInvariants(JSDynamicObject proxy,
                                                  Object key,
                                                  Object value)

hasOwnProperty

public boolean hasOwnProperty(JSDynamicObject thisObj,
                              long index)

Overrides:

hasOwnProperty in class AbstractJSClass

hasOwnProperty

public boolean hasOwnProperty(JSDynamicObject thisObj,
                              Object key)

Overrides:

hasOwnProperty in class AbstractJSClass

hasProperty

public boolean hasProperty(JSDynamicObject thisObj,
                           long index)

Overrides:

hasProperty in class AbstractJSClass

hasProperty

public boolean hasProperty(JSDynamicObject thisObj,
                           Object key)

Description copied from class: JSClass

9.1.7 [[HasProperty]] (P).

Overrides:

hasProperty in class AbstractJSClass

delete

public boolean delete(JSDynamicObject thisObj,
                      long index,
                      boolean isStrict)

Overrides:

delete in class AbstractJSClass

delete

public boolean delete(JSDynamicObject thisObj,
                      Object key,
                      boolean isStrict)

Description copied from class: JSClass

9.1.10 [[Delete]] (P).

Overrides:

delete in class AbstractJSClass

defineOwnProperty

public boolean defineOwnProperty(JSDynamicObject thisObj,
                                 Object key,
                                 PropertyDescriptor desc,
                                 boolean doThrow)

Description copied from class: JSClass

9.1.6 [[DefineOwnProperty]] (P, Desc).

Overrides:

defineOwnProperty in class AbstractJSClass

preventExtensions

public boolean preventExtensions(JSDynamicObject thisObj,
                                 boolean doThrow)

Description copied from class: JSClass

9.1.4 [[PreventExtensions]] ().

Overrides:

preventExtensions in class AbstractJSClass

isExtensible

public boolean isExtensible(JSDynamicObject thisObj)

Description copied from class: JSClass

9.1.3 [[IsExtensible]] ().

Overrides:

isExtensible in class AbstractJSClass

getBuiltinToStringTag

public com.oracle.truffle.api.strings.TruffleString getBuiltinToStringTag(JSDynamicObject object)

Description copied from class: JSClass

Returns builtinTag from step 14 of ES6+ 19.1.3.6. By default returns "Object".

Overrides:

getBuiltinToStringTag in class JSClass

Parameters:

object - object to be used

Returns:

"Object" by default

See Also:

JSClass.defaultToString(JSDynamicObject)

toDisplayStringImpl

public com.oracle.truffle.api.strings.TruffleString toDisplayStringImpl(JSDynamicObject obj,
                                                                        boolean allowSideEffects,
                                                                        ToDisplayStringFormat format,
                                                                        int depth)

Description copied from class: JSClass

A more informative toString variant, mainly used for error messages.

Specified by:

toDisplayStringImpl in class JSClass

format - formatting parameters

depth - current nesting depth

makeInitialShape

public com.oracle.truffle.api.object.Shape makeInitialShape(JSContext context,
                                                            JSDynamicObject prototype)

Overrides:

makeInitialShape in class JSClass

createConstructor

public static JSConstructor createConstructor(JSRealm realm)

getTrapFromObject

public static Object getTrapFromObject(JSDynamicObject maybeHandler,
                                       com.oracle.truffle.api.strings.TruffleString trapName)

getPrototypeOf

public JSDynamicObject getPrototypeOf(JSDynamicObject thisObj)

Description copied from class: JSClass

9.1.1 [[GetPrototypeOf]] ().

Overrides:

getPrototypeOf in class AbstractJSClass

setPrototypeOf

public boolean setPrototypeOf(JSDynamicObject thisObj,
                              JSDynamicObject newPrototype)

Description copied from class: JSClass

9.1.2 [[SetPrototypeOf]] (V).

Overrides:

setPrototypeOf in class AbstractJSClass

getOwnPropertyKeys

public List<Object> getOwnPropertyKeys(JSDynamicObject thisObj,
                                       boolean strings,
                                       boolean symbols)

Description copied from class: JSClass

GetOwnPropertyKeys (O, type).

Overrides:

getOwnPropertyKeys in class AbstractJSClass

Returns:

a List of the keys of all own properties of that object with the specified types

getOwnProperty

public PropertyDescriptor getOwnProperty(JSDynamicObject thisObj,
                                         Object key)

Description copied from class: JSClass

9.1.5 [[GetOwnProperty]] (P).

Overrides:

getOwnProperty in class AbstractJSClass

isRevoked

public static boolean isRevoked(JSDynamicObject proxy)

checkTrapReturnValue

public static Object checkTrapReturnValue(Object trapResult)

call

public static Object call(JSDynamicObject proxyObj,
                          Object holder,
                          Object[] arguments)

construct

public static Object construct(JSDynamicObject proxyObj,
                               Object[] arguments)

getIntrinsicDefaultProto

public JSDynamicObject getIntrinsicDefaultProto(JSRealm realm)

Description copied from class: JSClass

Allows invokevirtual of this method instead of invokeinterface. Classes overriding this method should implement PrototypeSupplier.

Specified by:

getIntrinsicDefaultProto in interface PrototypeSupplier

Overrides:

getIntrinsicDefaultProto in class JSClass

See Also:

PrototypeSupplier.getIntrinsicDefaultProto(com.oracle.truffle.js.runtime.JSRealm)

createProxyCallFunctionData

public static JSFunctionData createProxyCallFunctionData(JSContext ctx)