Package org.pkl.core.ast.type

Class TypeNode.FrameSlotTypeNode

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

All Implemented Interfaces:

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

Direct Known Subclasses:

TypeNode.BooleanTypeNode, TypeNode.FloatTypeNode, TypeNode.IntSlotTypeNode, TypeNode.NumberTypeNode, TypeNode.ObjectSlotTypeNode

Enclosing class:

TypeNode

public abstract static class TypeNode.FrameSlotTypeNode
extends TypeNode

Base class for types whose `executeAndSet` method assigns values to slots with `frame.setXYZ(slot, value)`.

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

Modifier and Type	Field	Description
protected int	slot
protected WriteFrameSlotNode	writeFrameSlotNode

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

sourceSection

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
TypeNode	initWriteSlotNode(int slot)	Initializes this node's frame slot.

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

createDefaultValue, doExport, execute, executeAndSet, export, forClass, getFrameSlotKind, 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

Field Detail

slot

protected int slot

writeFrameSlotNode

protected WriteFrameSlotNode writeFrameSlotNode

Constructor Detail

FrameSlotTypeNode

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

Method Detail

initWriteSlotNode

public TypeNode initWriteSlotNode(int slot)

Description copied from class: TypeNode

Initializes this node's frame slot. Called if this node is a function/method parameter type. Kept separate from constructor so that TypeNode.TypeAliasTypeNode can initialize frame slot of its cloned child node.

Specified by:

initWriteSlotNode in class TypeNode