Package org.pkl.core.ast.type

Class TypeNode.TypeAliasTypeNode

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

All Implemented Interfaces:

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

Enclosing class:

TypeNode

public static final class TypeNode.TypeAliasTypeNode
extends TypeNode

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

sourceSection

Constructor Summary

Constructors

Constructor	Description
TypeAliasTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection, VmTypeAlias typeAlias, TypeNode[] typeArgumentNodes)

Method Summary

Modifier and Type	Method	Description
@Nullable Object	createDefaultValue(VmLanguage language, com.oracle.truffle.api.source.SourceSection headerSection, String qualifiedName)
protected PType	doExport()
void	execute(com.oracle.truffle.api.frame.VirtualFrame frame, Object value)	A typealias body is effectively inlined into the type node, and not executed in its own frame.
void	executeAndSet(com.oracle.truffle.api.frame.VirtualFrame frame, Object value)	See docstring on execute(com.oracle.truffle.api.frame.VirtualFrame, java.lang.Object).
com.oracle.truffle.api.frame.FrameSlotKind	getFrameSlotKind()
VmTyped	getMirror()
VmList	getTypeArgumentMirrors()
@Nullable VmClass	getVmClass()
@Nonnull VmTypeAlias	getVmTypeAlias()
TypeNode	initWriteSlotNode(int slot)	Initializes this node's frame slot.

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

export, forClass, getMirror, getMirrors, 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

TypeAliasTypeNode

public TypeAliasTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection,
 VmTypeAlias typeAlias,
 TypeNode[] typeArgumentNodes)

Method Details

getFrameSlotKind

public 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

getMirror

public VmTyped getMirror()

Overrides:

getMirror in class TypeNode

getTypeArgumentMirrors

public VmList getTypeArgumentMirrors()

Overrides:

getTypeArgumentMirrors in class TypeNode

execute

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

A typealias body is effectively inlined into the type node, and not executed in its own frame.

Before executing the typealias body, use the owner and receiver of the original frame where the typealias was declared, so that we preserve its original scope.

Specified by:

execute in class TypeNode

executeAndSet

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

See docstring on execute(com.oracle.truffle.api.frame.VirtualFrame, java.lang.Object).

Specified by:

executeAndSet in class TypeNode

createDefaultValue

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

Overrides:

createDefaultValue in class TypeNode

getVmClass

@Nullable
public @Nullable VmClass getVmClass()

Overrides:

getVmClass in class TypeNode

getVmTypeAlias

public @Nonnull VmTypeAlias getVmTypeAlias()

Overrides:

getVmTypeAlias in class TypeNode

doExport

protected PType doExport()

Overrides:

doExport in class TypeNode