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

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
static Object	call(JSDynamicObject proxyObj, Object holder, Object[] arguments)
static boolean	checkPropertyIsSettable(Object truffleTarget, Object key)
static boolean	checkProxyDefinePropertyTrapInvariants(JSDynamicObject proxy, Object key, PropertyDescriptor desc)
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).
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).

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

filterOwnPropertyKeys, get, get, isInstance, isInstance, isInstance, isInstance, ownPropertyKeys, toString

Methods inherited from class java.lang.Object

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

Field Details

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 Details

checkPropertyIsSettable

public static boolean checkPropertyIsSettable(Object truffleTarget,
 Object key)

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

checkProxyDefinePropertyTrapInvariants

public static boolean checkProxyDefinePropertyTrapInvariants(JSDynamicObject proxy,
 Object key,
 PropertyDescriptor desc)

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

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)