Package org.pkl.core.ast.type

Class TypeNode.ObjectSlotTypeNode

java.lang.Object

com.oracle.truffle.api.nodes.Node

org.pkl.core.ast.PklNode

org.pkl.core.ast.type.TypeNode

org.pkl.core.ast.type.TypeNode.FrameSlotTypeNode

org.pkl.core.ast.type.TypeNode.ObjectSlotTypeNode

All Implemented Interfaces:

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

Direct Known Subclasses:

TypeNode.CollectionTypeNode, TypeNode.DynamicTypeNode, TypeNode.FinalClassTypeNode, TypeNode.FinalModuleTypeNode, TypeNode.FunctionClassTypeNode, TypeNode.FunctionNClassTypeNode, TypeNode.FunctionTypeNode, TypeNode.ListingOrMappingTypeNode, TypeNode.ListTypeNode, TypeNode.MapTypeNode, TypeNode.NonFinalClassTypeNode, TypeNode.NonFinalModuleTypeNode, TypeNode.PairTypeNode, TypeNode.SetTypeNode, TypeNode.StringLiteralTypeNode, TypeNode.StringTypeNode, TypeNode.TypedTypeNode, TypeNode.UnionOfStringLiteralsTypeNode, TypeNode.VarArgsTypeNode

Enclosing class:

TypeNode

public abstract static class TypeNode.ObjectSlotTypeNode
extends TypeNode.FrameSlotTypeNode

Nested Class Summary

Nested classes/interfaces inherited from class org.pkl.core.ast.type.TypeNode

TypeNode.AnyTypeNode, TypeNode.BooleanTypeNode, TypeNode.CollectionTypeNode, TypeNode.ConstrainedTypeNode, TypeNode.DynamicTypeNode, TypeNode.FinalClassTypeNode, TypeNode.FinalModuleTypeNode, TypeNode.FloatTypeNode, TypeNode.FrameSlotTypeNode, TypeNode.FunctionClassTypeNode, TypeNode.FunctionNClassTypeNode, TypeNode.FunctionTypeNode, TypeNode.Int16TypeAliasTypeNode, TypeNode.Int32TypeAliasTypeNode, TypeNode.Int8TypeAliasTypeNode, TypeNode.IntSlotTypeNode, TypeNode.IntTypeNode, TypeNode.ListingOrMappingTypeNode, TypeNode.ListingTypeNode, TypeNode.ListTypeNode, TypeNode.MappingTypeNode, TypeNode.MapTypeNode, TypeNode.NonFinalClassTypeNode, TypeNode.NonFinalModuleTypeNode, TypeNode.NonNullTypeAliasTypeNode, TypeNode.NothingTypeNode, TypeNode.NullableTypeNode, TypeNode.NumberTypeNode, TypeNode.ObjectSlotTypeNode, TypeNode.PairTypeNode, TypeNode.SetTypeNode, TypeNode.StringLiteralTypeNode, TypeNode.StringTypeNode, TypeNode.TypeAliasTypeNode, TypeNode.TypedTypeNode, TypeNode.TypeVariableNode, TypeNode.UIntTypeAliasTypeNode, TypeNode.UnionOfStringLiteralsTypeNode, TypeNode.UnionTypeNode, TypeNode.UnknownTypeNode, TypeNode.VarArgsTypeNode, TypeNode.WriteFrameSlotTypeNode

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 org.pkl.core.ast.type.TypeNode.FrameSlotTypeNode

slot, writeFrameSlotNode

Fields inherited from class org.pkl.core.ast.PklNode

sourceSection

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ObjectSlotTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection)

Method Summary

Modifier and Type	Method	Description
void	executeAndSet(com.oracle.truffle.api.frame.VirtualFrame frame, java.lang.Object value)	Checks if `value` conforms to this type.
com.oracle.truffle.api.frame.FrameSlotKind	getFrameSlotKind()

Methods inherited from class org.pkl.core.ast.type.TypeNode.FrameSlotTypeNode

initWriteSlotNode

Methods inherited from class org.pkl.core.ast.type.TypeNode

createDefaultValue, doExport, execute, export, forClass, getMirror, getMirror, getMirrors, getTypeArgumentMirrors, getVmClass, getVmTypeAlias, isNoopTypeCheck, typeMismatch

Methods inherited from class org.pkl.core.ast.PklNode

exceptionBuilder, getShortName, getSourceSection, toString

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

accept, adoptChildren, atomic, atomic, copy, deepCopy, getChildren, getCost, getDebugProperties, getDescription, getEncapsulatingSourceSection, getLock, getParent, getRootNode, insert, insert, isAdoptable, isSafelyReplaceableBy, notifyInserted, onReplace, replace, replace, reportPolymorphicSpecialize

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectSlotTypeNode

protected ObjectSlotTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection)

Method Detail

getFrameSlotKind

public final com.oracle.truffle.api.frame.FrameSlotKind getFrameSlotKind()

Specified by:

getFrameSlotKind in class TypeNode

executeAndSet

public final void executeAndSet(com.oracle.truffle.api.frame.VirtualFrame frame,
                                java.lang.Object value)

Description copied from class: TypeNode

Checks if `value` conforms to this type. If so, sets `slot` to `value`. Otherwise, throws a `VmTypeMismatchException`.

Specified by:

executeAndSet in class TypeNode