com.oracle.truffle.js.runtime.builtins

Class JSProxy

java.lang.Object

com.oracle.truffle.api.object.ObjectType

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 String	APPLY
static String	CLASS_NAME
static String	CONSTRUCT
static String	DEFINE_PROPERTY
static String	DELETE_PROPERTY
static String	GET
static String	GET_OWN_PROPERTY_DESCRIPTOR
static String	GET_PROTOTYPE_OF
static String	HAS
static JSProxy	INSTANCE
static String	IS_EXTENSIBLE
static String	OWN_KEYS
static String	PREVENT_EXTENSIONS
static com.oracle.truffle.api.object.HiddenKey	REVOCABLE_PROXY
static com.oracle.truffle.api.object.HiddenKey	REVOKED_CALLABLE
static String	SET
static String	SET_PROTOTYPE_OF

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

EMPTY_STRING_ARRAY

Method Summary

Modifier and Type	Method and Description
static Object	call(com.oracle.truffle.api.object.DynamicObject proxyObj, Object holder, Object[] arguments)
static boolean	checkPropertyIsSettable(Object truffleTarget, Object key)
static void	checkProxyGetTrapInvariants(Object truffleTarget, Object key, Object trapResult)
static boolean	checkProxySetTrapInvariants(com.oracle.truffle.api.object.DynamicObject proxy, Object key, Object value)
static Object	checkTrapReturnValue(Object trapResult)
static Object	construct(com.oracle.truffle.api.object.DynamicObject proxyObj, Object[] arguments)
static com.oracle.truffle.api.object.DynamicObject	create(JSContext context, Object target, com.oracle.truffle.api.object.DynamicObject handler)
static JSConstructor	createConstructor(JSRealm realm)
boolean	defineOwnProperty(com.oracle.truffle.api.object.DynamicObject thisObj, Object key, PropertyDescriptor desc, boolean doThrow) 9.1.6 [[DefineOwnProperty]] (P, Desc).
boolean	delete(com.oracle.truffle.api.object.DynamicObject thisObj, long index, boolean isStrict)
boolean	delete(com.oracle.truffle.api.object.DynamicObject thisObj, Object key, boolean isStrict) 9.1.10 [[Delete]] (P).
String	getBuiltinToStringTag(com.oracle.truffle.api.object.DynamicObject object) Returns builtinTag from step 14 of ES6+ 19.1.3.6.
String	getClassName(com.oracle.truffle.api.object.DynamicObject object) The [[Class]] internal property.
static com.oracle.truffle.api.object.DynamicObject	getHandler(com.oracle.truffle.api.object.DynamicObject obj)
static com.oracle.truffle.api.object.DynamicObject	getHandlerChecked(com.oracle.truffle.api.object.DynamicObject obj)
static com.oracle.truffle.api.object.DynamicObject	getHandlerChecked(com.oracle.truffle.api.object.DynamicObject obj, com.oracle.truffle.api.profiles.BranchProfile errorBranch)
com.oracle.truffle.api.object.DynamicObject	getIntrinsicDefaultProto(JSRealm realm)
Object	getOwnHelper(com.oracle.truffle.api.object.DynamicObject store, Object receiver, long index, com.oracle.truffle.api.nodes.Node encapsulatingNode)
Object	getOwnHelper(com.oracle.truffle.api.object.DynamicObject store, Object receiver, Object key, com.oracle.truffle.api.nodes.Node encapsulatingNode)
PropertyDescriptor	getOwnProperty(com.oracle.truffle.api.object.DynamicObject thisObj, Object key) 9.1.5 [[GetOwnProperty]] (P).
List<Object>	getOwnPropertyKeys(com.oracle.truffle.api.object.DynamicObject thisObj, boolean strings, boolean symbols) GetOwnPropertyKeys (O, type).
com.oracle.truffle.api.object.DynamicObject	getPrototypeOf(com.oracle.truffle.api.object.DynamicObject thisObj) 9.1.1 [[GetPrototypeOf]] ().
static Object	getTarget(com.oracle.truffle.api.object.DynamicObject obj)
static Object	getTargetNonProxy(com.oracle.truffle.api.object.DynamicObject thisObj) Gets the target of the proxy.
static Object	getTrapFromObject(com.oracle.truffle.api.object.DynamicObject maybeHandler, String trapName)
boolean	hasOwnProperty(com.oracle.truffle.api.object.DynamicObject thisObj, long index)
boolean	hasOwnProperty(com.oracle.truffle.api.object.DynamicObject thisObj, Object key)
boolean	hasProperty(com.oracle.truffle.api.object.DynamicObject thisObj, long index)
boolean	hasProperty(com.oracle.truffle.api.object.DynamicObject thisObj, Object key) 9.1.7 [[HasProperty]] (P).
boolean	isExtensible(com.oracle.truffle.api.object.DynamicObject thisObj) 9.1.3 [[IsExtensible]] ().
static boolean	isJSProxy(Object obj)
static boolean	isRevoked(com.oracle.truffle.api.object.DynamicObject proxy)
com.oracle.truffle.api.object.Shape	makeInitialShape(JSContext context, com.oracle.truffle.api.object.DynamicObject prototype)
boolean	preventExtensions(com.oracle.truffle.api.object.DynamicObject thisObj, boolean doThrow) 9.1.4 [[PreventExtensions]] ().
static void	revoke(com.oracle.truffle.api.object.DynamicObject obj)
boolean	set(com.oracle.truffle.api.object.DynamicObject thisObj, long index, Object value, Object receiver, boolean isStrict, com.oracle.truffle.api.nodes.Node encapsulatingNode)
boolean	set(com.oracle.truffle.api.object.DynamicObject 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(com.oracle.truffle.api.object.DynamicObject thisObj, com.oracle.truffle.api.object.DynamicObject newPrototype) 9.1.2 [[SetPrototypeOf]] (V).
String	toDisplayStringImpl(com.oracle.truffle.api.object.DynamicObject obj, int depth, boolean allowSideEffects, JSContext context) 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 com.oracle.truffle.api.object.ObjectType

dispatch, equals, hashCode, toString

Methods inherited from class java.lang.Object

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

Field Detail

CLASS_NAME

public static final String CLASS_NAME

See Also:

Constant Field Values

INSTANCE

public static final JSProxy INSTANCE

GET_PROTOTYPE_OF

public static final String GET_PROTOTYPE_OF

See Also:

Constant Field Values

SET_PROTOTYPE_OF

public static final String SET_PROTOTYPE_OF

See Also:

Constant Field Values

IS_EXTENSIBLE

public static final String IS_EXTENSIBLE

See Also:

Constant Field Values

PREVENT_EXTENSIONS

public static final String PREVENT_EXTENSIONS

See Also:

Constant Field Values

GET_OWN_PROPERTY_DESCRIPTOR

public static final String GET_OWN_PROPERTY_DESCRIPTOR

See Also:

Constant Field Values

HAS

public static final String HAS

See Also:

Constant Field Values

GET

public static final String GET

See Also:

Constant Field Values

SET

public static final String SET

See Also:

Constant Field Values

DELETE_PROPERTY

public static final String DELETE_PROPERTY

See Also:

Constant Field Values

DEFINE_PROPERTY

public static final String DEFINE_PROPERTY

See Also:

Constant Field Values

OWN_KEYS

public static final String OWN_KEYS

See Also:

Constant Field Values

APPLY

public static final String APPLY

See Also:

Constant Field Values

CONSTRUCT

public static final String CONSTRUCT

See Also:

Constant Field Values

REVOCABLE_PROXY

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

REVOKED_CALLABLE

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

Method Detail

checkPropertyIsSettable

public static boolean checkPropertyIsSettable(Object truffleTarget,
                                              Object key)

getClassName

public String getClassName(com.oracle.truffle.api.object.DynamicObject 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 com.oracle.truffle.api.object.DynamicObject create(JSContext context,
                                                                 Object target,
                                                                 com.oracle.truffle.api.object.DynamicObject handler)

getTarget

public static Object getTarget(com.oracle.truffle.api.object.DynamicObject obj)

getTargetNonProxy

public static Object getTargetNonProxy(com.oracle.truffle.api.object.DynamicObject thisObj)

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

getHandler

public static com.oracle.truffle.api.object.DynamicObject getHandler(com.oracle.truffle.api.object.DynamicObject obj)

getHandlerChecked

public static com.oracle.truffle.api.object.DynamicObject getHandlerChecked(com.oracle.truffle.api.object.DynamicObject obj)

getHandlerChecked

public static com.oracle.truffle.api.object.DynamicObject getHandlerChecked(com.oracle.truffle.api.object.DynamicObject obj,
                                                                            com.oracle.truffle.api.profiles.BranchProfile errorBranch)

revoke

public static void revoke(com.oracle.truffle.api.object.DynamicObject obj)

isJSProxy

public static boolean isJSProxy(Object obj)

getOwnHelper

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

Overrides:

getOwnHelper in class AbstractJSClass

getOwnHelper

public Object getOwnHelper(com.oracle.truffle.api.object.DynamicObject 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(com.oracle.truffle.api.object.DynamicObject 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(com.oracle.truffle.api.object.DynamicObject 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(com.oracle.truffle.api.object.DynamicObject proxy,
                                                  Object key,
                                                  Object value)

hasOwnProperty

public boolean hasOwnProperty(com.oracle.truffle.api.object.DynamicObject thisObj,
                              long index)

Overrides:

hasOwnProperty in class AbstractJSClass

hasOwnProperty

public boolean hasOwnProperty(com.oracle.truffle.api.object.DynamicObject thisObj,
                              Object key)

Overrides:

hasOwnProperty in class AbstractJSClass

hasProperty

public boolean hasProperty(com.oracle.truffle.api.object.DynamicObject thisObj,
                           long index)

Overrides:

hasProperty in class AbstractJSClass

hasProperty

public boolean hasProperty(com.oracle.truffle.api.object.DynamicObject thisObj,
                           Object key)

Description copied from class: JSClass

9.1.7 [[HasProperty]] (P).

Overrides:

hasProperty in class AbstractJSClass

delete

public boolean delete(com.oracle.truffle.api.object.DynamicObject thisObj,
                      long index,
                      boolean isStrict)

Overrides:

delete in class AbstractJSClass

delete

public boolean delete(com.oracle.truffle.api.object.DynamicObject thisObj,
                      Object key,
                      boolean isStrict)

Description copied from class: JSClass

9.1.10 [[Delete]] (P).

Overrides:

delete in class AbstractJSClass

defineOwnProperty

public boolean defineOwnProperty(com.oracle.truffle.api.object.DynamicObject 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(com.oracle.truffle.api.object.DynamicObject thisObj,
                                 boolean doThrow)

Description copied from class: JSClass

9.1.4 [[PreventExtensions]] ().

Overrides:

preventExtensions in class AbstractJSClass

isExtensible

public boolean isExtensible(com.oracle.truffle.api.object.DynamicObject thisObj)

Description copied from class: JSClass

9.1.3 [[IsExtensible]] ().

Overrides:

isExtensible in class AbstractJSClass

getBuiltinToStringTag

public String getBuiltinToStringTag(com.oracle.truffle.api.object.DynamicObject 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(DynamicObject)

toDisplayStringImpl

public String toDisplayStringImpl(com.oracle.truffle.api.object.DynamicObject obj,
                                  int depth,
                                  boolean allowSideEffects,
                                  JSContext context)

Description copied from class: JSClass

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

Specified by:

toDisplayStringImpl in class JSClass

depth - allowed nesting depth

context - the current language context

makeInitialShape

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

Overrides:

makeInitialShape in class JSClass

createConstructor

public static JSConstructor createConstructor(JSRealm realm)

getTrapFromObject

public static Object getTrapFromObject(com.oracle.truffle.api.object.DynamicObject maybeHandler,
                                       String trapName)

getPrototypeOf

public com.oracle.truffle.api.object.DynamicObject getPrototypeOf(com.oracle.truffle.api.object.DynamicObject thisObj)

Description copied from class: JSClass

9.1.1 [[GetPrototypeOf]] ().

Overrides:

getPrototypeOf in class AbstractJSClass

setPrototypeOf

public boolean setPrototypeOf(com.oracle.truffle.api.object.DynamicObject thisObj,
                              com.oracle.truffle.api.object.DynamicObject newPrototype)

Description copied from class: JSClass

9.1.2 [[SetPrototypeOf]] (V).

Overrides:

setPrototypeOf in class AbstractJSClass

getOwnPropertyKeys

public List<Object> getOwnPropertyKeys(com.oracle.truffle.api.object.DynamicObject 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(com.oracle.truffle.api.object.DynamicObject thisObj,
                                         Object key)

Description copied from class: JSClass

9.1.5 [[GetOwnProperty]] (P).

Overrides:

getOwnProperty in class AbstractJSClass

isRevoked

public static boolean isRevoked(com.oracle.truffle.api.object.DynamicObject proxy)

checkTrapReturnValue

public static Object checkTrapReturnValue(Object trapResult)

call

public static Object call(com.oracle.truffle.api.object.DynamicObject proxyObj,
                          Object holder,
                          Object[] arguments)

construct

public static Object construct(com.oracle.truffle.api.object.DynamicObject proxyObj,
                               Object[] arguments)

getIntrinsicDefaultProto

public com.oracle.truffle.api.object.DynamicObject getIntrinsicDefaultProto(JSRealm realm)

Specified by:

getIntrinsicDefaultProto in interface PrototypeSupplier