TypeNode.WriteFrameSlotTypeNode (pkl-core 0.25.2 API)

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

All Implemented Interfaces:

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

Direct Known Subclasses:

TypeNode.AnyTypeNode, TypeNode.NonNullTypeAliasTypeNode, TypeNode.NullableTypeNode, TypeNode.TypeVariableNode, TypeNode.UnionTypeNode, TypeNode.UnknownTypeNode

Enclosing class:

TypeNode
```
public abstract static class TypeNode.WriteFrameSlotTypeNode
extends TypeNode
```
Base class for types whose `executeAndSet` method assigns values to slots with a `WriteFrameSlotNode`.

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
- Fields inherited from class org.pkl.core.ast.PklNode
  sourceSection

Constructor Summary

Constructors
Modifier Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
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()`
`TypeNode`	`initWriteSlotNode(int slot)`	Initializes this node's frame slot.

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

- Field Detail
  - slot
```
protected int slot
```
- Constructor Detail
  - WriteFrameSlotTypeNode
```
protected WriteFrameSlotTypeNode(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
  - 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
  - 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