com.oracle.truffle.js.nodes.access

Class PropertyCacheNode.AssumptionShapeCheckNode

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.AbstractAssumptionShapeCheckNode

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

All Implemented Interfaces:

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

Enclosing class:

PropertyCacheNode<T extends PropertyCacheNode.CacheNode<T>>

protected static final class PropertyCacheNode.AssumptionShapeCheckNode
extends PropertyCacheNode.AbstractAssumptionShapeCheckNode

Check that the given shape is valid and unchanged. Requires that the object is constant. For global object and prototype chain checks only.

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.AbstractAssumptionShapeCheckNode

context

Constructor Summary

Constructors

Modifier	Constructor and Description
	AssumptionShapeCheckNode(com.oracle.truffle.api.object.Shape shape, Object key, JSContext context)
protected	AssumptionShapeCheckNode(com.oracle.truffle.api.object.Shape shape, Object key, JSContext context, com.oracle.truffle.api.Assumption unchangedAssumption, com.oracle.truffle.api.Assumption stablePrototypeAssumption)
	AssumptionShapeCheckNode(com.oracle.truffle.api.object.Shape shape, Object key, JSContext context, boolean prototype, com.oracle.truffle.api.Assumption stablePrototypeAssumption)

Method Summary

Modifier and Type	Method and Description
boolean	accept(Object thisObj) Check receiver shape, class, or instance.
com.oracle.truffle.api.object.DynamicObject	getStore(Object thisObj)
protected boolean	isUnstable()
boolean	isValid() Checks if all required assumptions are valid.

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

getDepth, getShape

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

getCost

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

copy, getLanguage, getRealm, onReplace

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

AssumptionShapeCheckNode

protected AssumptionShapeCheckNode(com.oracle.truffle.api.object.Shape shape,
                                   Object key,
                                   JSContext context,
                                   com.oracle.truffle.api.Assumption unchangedAssumption,
                                   com.oracle.truffle.api.Assumption stablePrototypeAssumption)

AssumptionShapeCheckNode

public AssumptionShapeCheckNode(com.oracle.truffle.api.object.Shape shape,
                                Object key,
                                JSContext context)

AssumptionShapeCheckNode

public AssumptionShapeCheckNode(com.oracle.truffle.api.object.Shape shape,
                                Object key,
                                JSContext context,
                                boolean prototype,
                                com.oracle.truffle.api.Assumption stablePrototypeAssumption)

Method Detail

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 com.oracle.truffle.api.object.DynamicObject getStore(Object thisObj)

Specified by:

getStore in class PropertyCacheNode.AbstractShapeCheckNode

Returns:

the DynamicObject that contains the property.

isValid

public boolean isValid()

Description copied from class: PropertyCacheNode.ReceiverCheckNode

Checks if all required assumptions are valid.

Specified by:

isValid in class PropertyCacheNode.AbstractShapeCheckNode

isUnstable

protected boolean isUnstable()

Overrides:

isUnstable in class PropertyCacheNode.ReceiverCheckNode

Returns:

true if a stable property assumption failed.