Package org.pkl.core.ast.type

Class TypeNode.FunctionTypeNode

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

All Implemented Interfaces:

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

Enclosing class:

TypeNode

public abstract static class TypeNode.FunctionTypeNode
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

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FunctionTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection, TypeNode[] parameterTypeNodes, TypeNode returnTypeNode)

Method Summary

Modifier and Type	Method	Description
protected PType	doExport()
protected void	eval(VmFunction value)
protected void	fallback(java.lang.Object value)
protected VmClass	getFunctionNClass()
VmTyped	getMirror()
VmList	getParameterTypeMirrors()
VmTyped	getReturnTypeMirror()
VmClass	getVmClass()

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

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

FunctionTypeNode

protected FunctionTypeNode(com.oracle.truffle.api.source.SourceSection sourceSection,
                           TypeNode[] parameterTypeNodes,
                           TypeNode returnTypeNode)

Method Detail

getVmClass

public final VmClass getVmClass()

Overrides:

getVmClass in class TypeNode

getMirror

public final VmTyped getMirror()

Overrides:

getMirror in class TypeNode

getParameterTypeMirrors

public final VmList getParameterTypeMirrors()

getReturnTypeMirror

public final VmTyped getReturnTypeMirror()

doExport

protected final PType doExport()

Overrides:

doExport in class TypeNode

eval

protected void eval(VmFunction value)

fallback

protected void fallback(java.lang.Object value)

getFunctionNClass

protected VmClass getFunctionNClass()