Package org.pkl.core.ast.type

Class TypeNode.IntSlotTypeNode

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

All Implemented Interfaces:

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

Direct Known Subclasses:

TypeNode.Int16TypeAliasTypeNode, TypeNode.Int32TypeAliasTypeNode, TypeNode.Int8TypeAliasTypeNode, TypeNode.IntTypeNode, TypeNode.UIntTypeAliasTypeNode

Enclosing class:

TypeNode

public abstract static class TypeNode.IntSlotTypeNode
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	IntSlotTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection)

Method Summary

Modifier and Type	Method	Description
final void	executeAndSet(com.oracle.truffle.api.frame.VirtualFrame frame, Object value)	Checks if `value` conforms to this type.
final 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 Details

IntSlotTypeNode

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

Method Details

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,
 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