Package org.pkl.core.ast.type

Class TypeNode.TypeVariableNode

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

org.pkl.core.ast.type.TypeNode.TypeVariableNode

All Implemented Interfaces:

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

Enclosing class:

TypeNode

public static final class TypeNode.TypeVariableNode
extends TypeNode.WriteFrameSlotTypeNode

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

slot

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

sourceSection

Constructor Summary

Constructors

Constructor	Description
TypeVariableNode(com.oracle.truffle.api.source.SourceSection sourceSection, TypeParameter typeParameter)

Method Summary

Modifier and Type	Method	Description
protected PType	doExport()
void	execute(com.oracle.truffle.api.frame.VirtualFrame frame, java.lang.Object value)	Checks if `value` conforms to this type.
VmTyped	getMirror()
int	getTypeParameterIndex()
VmTyped	getTypeParameterMirror()
boolean	isNoopTypeCheck()

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

executeAndSet, getFrameSlotKind, initWriteSlotNode

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

createDefaultValue, export, forClass, getMirror, getMirrors, getTypeArgumentMirrors, getVmClass, getVmTypeAlias, 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 Detail

TypeVariableNode

public TypeVariableNode(com.oracle.truffle.api.source.SourceSection sourceSection,
                        TypeParameter typeParameter)

Method Detail

getTypeParameterIndex

public int getTypeParameterIndex()

isNoopTypeCheck

public boolean isNoopTypeCheck()

Overrides:

isNoopTypeCheck in class TypeNode

getMirror

public VmTyped getMirror()

Overrides:

getMirror in class TypeNode

getTypeParameterMirror

public VmTyped getTypeParameterMirror()

execute

public void execute(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, returns normally. Otherwise, throws a `VmTypeMismatchException`.

Specified by:

execute in class TypeNode

doExport

protected PType doExport()

Overrides:

doExport in class TypeNode