Package org.pkl.core.ast.type

Class TypeNode.UnionOfStringLiteralsTypeNode

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

org.pkl.core.ast.type.TypeNode.UnionOfStringLiteralsTypeNode

All Implemented Interfaces:

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

Enclosing class:

TypeNode

public static final class TypeNode.UnionOfStringLiteralsTypeNode
extends TypeNode.ObjectSlotTypeNode

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

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()
void	execute(com.oracle.truffle.api.frame.VirtualFrame frame, java.lang.Object value)	Checks if `value` conforms to this type.
VmList	getElementTypeMirrors()
VmTyped	getMirror()

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

executeAndSet, getFrameSlotKind

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

initWriteSlotNode

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

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

Method Detail

getMirror

public VmTyped getMirror()

Overrides:

getMirror in class TypeNode

getElementTypeMirrors

public VmList getElementTypeMirrors()

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

createDefaultValue

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

Overrides:

createDefaultValue in class TypeNode