Package org.pkl.core.runtime

Class VmTypeAlias

java.lang.Object

org.pkl.core.runtime.VmValue

org.pkl.core.runtime.VmTypeAlias

public final class VmTypeAlias
extends VmValue

Constructor Summary

Constructors

Constructor	Description
VmTypeAlias(com.oracle.truffle.api.source.SourceSection sourceSection, com.oracle.truffle.api.source.SourceSection headerSection, @Nullable com.oracle.truffle.api.source.SourceSection docComment, int modifiers, List<VmTyped> annotations, String simpleName, VmTyped module, String qualifiedName, List<TypeParameter> typeParameters, com.oracle.truffle.api.frame.MaterializedFrame enclosingFrame)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VmValueConverter<T> converter, Iterable<Object> path)
void	accept(VmValueVisitor visitor)
boolean	equals(Object obj)	Enables calling `vmValue.equals()` when not behind a Truffle boundary.
TypeAlias	export()
void	force(boolean allowUndefinedValues)	Forces recursive (deep) evaluation of this value.
List<VmTyped>	getAnnotations()
com.oracle.truffle.api.source.SourceSection	getBaseTypeSection()	Assuming a type alias of the form `typealias X = Y(constraint)`, returns the source section of `Y`.
com.oracle.truffle.api.source.SourceSection	getConstraintSection()	Assuming a type alias of the form `typealias X = Y(constraint)`, returns the source section of `constraint`.
@Nullable com.oracle.truffle.api.source.SourceSection	getDocComment()
com.oracle.truffle.api.frame.Frame	getEnclosingFrame()
com.oracle.truffle.api.source.SourceSection	getHeaderSection()
VmTyped	getMirror()
VmSet	getModifierMirrors()
VmTyped	getModuleMirror()
String	getModuleName()
String	getQualifiedName()
String	getSimpleName()
VmTyped	getTypeMirror()
TypeNode	getTypeNode()
int	getTypeParameterCount()
VmList	getTypeParameterMirrors()
VmClass	getVmClass()
int	hashCode()
void	initTypeCheckNode(TypeNode typeNode)
TypeNode	instantiate(TypeNode[] typeArgumentNodes)
boolean	isInitialized()
String	toString()

Methods inherited from class org.pkl.core.runtime.VmValue

export, exportNullable, force, getPrototype, isDynamic, isListing, isMapping, isPrototype, isSequence, isTyped

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

VmTypeAlias

public VmTypeAlias(com.oracle.truffle.api.source.SourceSection sourceSection,
 com.oracle.truffle.api.source.SourceSection headerSection,
 @Nullable
 @Nullable com.oracle.truffle.api.source.SourceSection docComment,
 int modifiers,
 List<VmTyped> annotations,
 String simpleName,
 VmTyped module,
 String qualifiedName,
 List<TypeParameter> typeParameters,
 com.oracle.truffle.api.frame.MaterializedFrame enclosingFrame)

Method Details

initTypeCheckNode

public void initTypeCheckNode(TypeNode typeNode)

getHeaderSection

public com.oracle.truffle.api.source.SourceSection getHeaderSection()

getBaseTypeSection

public com.oracle.truffle.api.source.SourceSection getBaseTypeSection()

Assuming a type alias of the form `typealias X = Y(constraint)`, returns the source section of `Y`.

getConstraintSection

public com.oracle.truffle.api.source.SourceSection getConstraintSection()

Assuming a type alias of the form `typealias X = Y(constraint)`, returns the source section of `constraint`.

isInitialized

public boolean isInitialized()

getDocComment

@Nullable
public @Nullable com.oracle.truffle.api.source.SourceSection getDocComment()

getAnnotations

public List<VmTyped> getAnnotations()

getModuleName

public String getModuleName()

getModuleMirror

public VmTyped getModuleMirror()

getSimpleName

public String getSimpleName()

getQualifiedName

public String getQualifiedName()

getTypeParameterCount

public int getTypeParameterCount()

getTypeNode

public TypeNode getTypeNode()

getEnclosingFrame

public com.oracle.truffle.api.frame.Frame getEnclosingFrame()

instantiate

public TypeNode instantiate(TypeNode[] typeArgumentNodes)

getVmClass

public VmClass getVmClass()

Specified by:

getVmClass in class VmValue

force

public void force(boolean allowUndefinedValues)

Description copied from class: VmValue

Forces recursive (deep) evaluation of this value.

Specified by:

force in class VmValue

export

public TypeAlias export()

Specified by:

export in class VmValue

getMirror

public VmTyped getMirror()

getModifierMirrors

public VmSet getModifierMirrors()

getTypeParameterMirrors

public VmList getTypeParameterMirrors()

getTypeMirror

public VmTyped getTypeMirror()

accept

public void accept(VmValueVisitor visitor)

Specified by:

accept in class VmValue

accept

public <T> T accept(VmValueConverter<T> converter,
 Iterable<Object> path)

Specified by:

accept in class VmValue

equals

public boolean equals(Object obj)

Description copied from class: VmValue

Enables calling `vmValue.equals()` when not behind a Truffle boundary.

Specified by:

equals in class VmValue

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object