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, java.util.List<VmTyped> annotations, java.lang.String simpleName, VmTyped module, java.lang.String qualifiedName, java.util.List<TypeParameter> typeParameters)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VmValueConverter<T> converter, java.lang.Iterable<java.lang.Object> path)
void	accept(VmValueVisitor visitor)
boolean	equals(java.lang.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.
java.util.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.source.SourceSection	getHeaderSection()
VmTyped	getMirror()
VmSet	getModifierMirrors()
VmTyped	getModuleMirror()
java.lang.String	getModuleName()
java.lang.String	getQualifiedName()
java.lang.String	getSimpleName()
VmTyped	getTypeMirror()
TypeNode	getTypeNode()
int	getTypeParameterCount()
VmList	getTypeParameterMirrors()
VmClass	getVmClass()
int	hashCode()
void	initTypeCheckNode(TypeNode typeNode)
TypeNode	instantiate(TypeNode[] typeArgumentNodes)
boolean	isInitialized()
java.lang.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 Detail

VmTypeAlias

public 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,
                   java.util.List<VmTyped> annotations,
                   java.lang.String simpleName,
                   VmTyped module,
                   java.lang.String qualifiedName,
                   java.util.List<TypeParameter> typeParameters)

Method Detail

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

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

getAnnotations

public java.util.List<VmTyped> getAnnotations()

getModuleName

public java.lang.String getModuleName()

getModuleMirror

public VmTyped getModuleMirror()

getSimpleName

public java.lang.String getSimpleName()

getQualifiedName

public java.lang.String getQualifiedName()

getTypeParameterCount

public int getTypeParameterCount()

getTypeNode

public TypeNode getTypeNode()

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,
                    java.lang.Iterable<java.lang.Object> path)

Specified by:

accept in class VmValue

equals

public boolean equals(java.lang.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 java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object