Class PropertyCacheNode.ConstantObjectAssumptionShapeCheckNode

java.lang.Object

com.oracle.truffle.api.nodes.Node

com.oracle.truffle.js.nodes.JavaScriptBaseNode

com.oracle.truffle.js.nodes.access.PropertyCacheNode.ReceiverCheckNode

com.oracle.truffle.js.nodes.access.PropertyCacheNode.AbstractShapeCheckNode

com.oracle.truffle.js.nodes.access.PropertyCacheNode.AbstractSingleRealmShapeCheckNode

com.oracle.truffle.js.nodes.access.PropertyCacheNode.ConstantObjectAssumptionShapeCheckNode

All Implemented Interfaces:

com.oracle.truffle.api.nodes.NodeInterface, Cloneable

Enclosing class:

PropertyCacheNode<T extends PropertyCacheNode.CacheNode<T>>

protected static final class PropertyCacheNode.ConstantObjectAssumptionShapeCheckNode
extends PropertyCacheNode.AbstractSingleRealmShapeCheckNode

Check that the given shape is valid and the property is unchanged using assumptions only. Requires that the object is constant. Used e.g. for stable global object property accesses.

See Also:

• JSConfig.SkipFinalShapeCheck
• JSConfig.SkipGlobalShapeCheck

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.truffle.api.nodes.Node

com.oracle.truffle.api.nodes.Node.Child, com.oracle.truffle.api.nodes.Node.Children

Field Summary

Fields inherited from class com.oracle.truffle.js.nodes.access.PropertyCacheNode.AbstractSingleRealmShapeCheckNode

assumptions

Fields inherited from class com.oracle.truffle.js.nodes.access.PropertyCacheNode.ReceiverCheckNode

shape

Method Summary

Modifier and Type	Method	Description
boolean	accept(Object thisObj)	Check receiver shape, class, or instance.
JSDynamicObject	getStore(Object thisObj)
protected boolean	isUnstable()

Methods inherited from class com.oracle.truffle.js.nodes.access.PropertyCacheNode.AbstractSingleRealmShapeCheckNode

isValid

Methods inherited from class com.oracle.truffle.js.nodes.access.PropertyCacheNode.AbstractShapeCheckNode

getDepth

Methods inherited from class com.oracle.truffle.js.nodes.access.PropertyCacheNode.ReceiverCheckNode

getShape

Methods inherited from class com.oracle.truffle.js.nodes.JavaScriptBaseNode

copy, getJSContext, getLanguage, getLanguageOptions, getRealm, hasOverloadedOperators, onReplace, reportLoopCount, reportLoopCount

Methods inherited from class com.oracle.truffle.api.nodes.Node

accept, adoptChildren, atomic, atomic, deepCopy, getChildren, getCost, getDebugProperties, getDescription, getEncapsulatingSourceSection, getLock, getParent, getRootNode, getSourceSection, insert, insert, isAdoptable, isSafelyReplaceableBy, notifyInserted, replace, replace, reportPolymorphicSpecialize, reportReplace, toString

Methods inherited from class java.lang.Object

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

Method Details

accept

public boolean accept(Object thisObj)

Description copied from class: PropertyCacheNode.ReceiverCheckNode

Check receiver shape, class, or instance.

Overrides:

accept in class PropertyCacheNode.AbstractShapeCheckNode

Returns:

whether the object is supported by the associated property cache node.

getStore

public JSDynamicObject getStore(Object thisObj)

Specified by:

getStore in class PropertyCacheNode.AbstractShapeCheckNode

Returns:

the JSDynamicObject that contains the property.

isUnstable

protected boolean isUnstable()

Overrides:

isUnstable in class PropertyCacheNode.ReceiverCheckNode

Returns:

true if a stable property assumption failed.