Package org.pkl.core.ast.type

Class TypeNode

java.lang.Object

com.oracle.truffle.api.nodes.Node

org.pkl.core.ast.PklNode

org.pkl.core.ast.type.TypeNode

All Implemented Interfaces:

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

Direct Known Subclasses:

TypeNode.ConstrainedTypeNode, TypeNode.FrameSlotTypeNode, TypeNode.NothingTypeNode, TypeNode.TypeAliasTypeNode, TypeNode.WriteFrameSlotTypeNode

public abstract class TypeNode
extends PklNode

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TypeNode.AnyTypeNode
static class	TypeNode.BooleanTypeNode
static class	TypeNode.CollectionTypeNode
static class	TypeNode.ConstrainedTypeNode
static class	TypeNode.DynamicTypeNode
static class	TypeNode.FinalClassTypeNode	A non-open and non-abstract class type.
static class	TypeNode.FinalModuleTypeNode	The `module` type for a final module.
static class	TypeNode.FloatTypeNode
static class	TypeNode.FrameSlotTypeNode	Base class for types whose `executeAndSet` method assigns values to slots with `frame.setXYZ(slot, value)`.
static class	TypeNode.FunctionClassTypeNode
static class	TypeNode.FunctionNClassTypeNode
static class	TypeNode.FunctionTypeNode
static class	TypeNode.Int16TypeAliasTypeNode
static class	TypeNode.Int32TypeAliasTypeNode
static class	TypeNode.Int8TypeAliasTypeNode
static class	TypeNode.IntSlotTypeNode
static class	TypeNode.IntTypeNode
static class	TypeNode.ListingOrMappingTypeNode
static class	TypeNode.ListingTypeNode
static class	TypeNode.ListTypeNode
static class	TypeNode.MappingTypeNode
static class	TypeNode.MapTypeNode
static class	TypeNode.NonFinalClassTypeNode	An `open` or `abstract` class type.
static class	TypeNode.NonFinalModuleTypeNode	The `module` type for an open module.
static class	TypeNode.NonNullTypeAliasTypeNode
static class	TypeNode.NothingTypeNode	The `nothing` type.
static class	TypeNode.NullableTypeNode
static class	TypeNode.NumberTypeNode
static class	TypeNode.ObjectSlotTypeNode
static class	TypeNode.PairTypeNode
static class	TypeNode.SetTypeNode
static class	TypeNode.StringLiteralTypeNode
static class	TypeNode.StringTypeNode
static class	TypeNode.TypeAliasTypeNode
static class	TypeNode.TypedTypeNode
static class	TypeNode.TypeVariableNode
static class	TypeNode.UIntTypeAliasTypeNode
static class	TypeNode.UnionOfStringLiteralsTypeNode
static class	TypeNode.UnionTypeNode
static class	TypeNode.UnknownTypeNode	The `unknown` type.
static class	TypeNode.VarArgsTypeNode
static class	TypeNode.WriteFrameSlotTypeNode	Base class for types whose `executeAndSet` method assigns values to slots with a `WriteFrameSlotNode`.

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

sourceSection

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
@Nullable java.lang.Object	createDefaultValue(VmLanguage language, com.oracle.truffle.api.source.SourceSection headerSection, java.lang.String qualifiedName)
protected PType	doExport()
abstract void	execute(com.oracle.truffle.api.frame.VirtualFrame frame, java.lang.Object value)	Checks if `value` conforms to this type.
abstract void	executeAndSet(com.oracle.truffle.api.frame.VirtualFrame frame, java.lang.Object value)	Checks if `value` conforms to this type.
static PType	export(@Nullable TypeNode node)
static TypeNode	forClass(com.oracle.truffle.api.source.SourceSection sourceSection, VmClass clazz)
abstract com.oracle.truffle.api.frame.FrameSlotKind	getFrameSlotKind()
VmTyped	getMirror()
static VmTyped	getMirror(@Nullable TypeNode node)
static VmList	getMirrors(TypeNode[] nodes)
VmList	getTypeArgumentMirrors()
@Nullable VmClass	getVmClass()
@Nullable VmTypeAlias	getVmTypeAlias()
abstract TypeNode	initWriteSlotNode(int slot)	Initializes this node's frame slot.
boolean	isNoopTypeCheck()
protected VmTypeMismatchException	typeMismatch(java.lang.Object actualValue, java.lang.Object expectedType)

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

TypeNode

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

Method Detail

isNoopTypeCheck

public boolean isNoopTypeCheck()

getFrameSlotKind

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

initWriteSlotNode

public abstract TypeNode initWriteSlotNode(int slot)

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.

execute

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

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

executeAndSet

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

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

createDefaultValue

public @Nullable java.lang.Object createDefaultValue(VmLanguage language,
                                                     com.oracle.truffle.api.source.SourceSection headerSection,
                                                     java.lang.String qualifiedName)

forClass

public static TypeNode forClass(com.oracle.truffle.api.source.SourceSection sourceSection,
                                VmClass clazz)

export

public static PType export(@Nullable TypeNode node)

getMirror

public static VmTyped getMirror(@Nullable TypeNode node)

getMirrors

public static VmList getMirrors(TypeNode[] nodes)

doExport

protected PType doExport()

getVmClass

public @Nullable VmClass getVmClass()

getVmTypeAlias

public @Nullable VmTypeAlias getVmTypeAlias()

getMirror

public VmTyped getMirror()

getTypeArgumentMirrors

public VmList getTypeArgumentMirrors()

typeMismatch

protected final VmTypeMismatchException typeMismatch(java.lang.Object actualValue,
                                                     java.lang.Object expectedType)