Package org.pkl.core

Class PType.Alias

java.lang.Object

org.pkl.core.PType

org.pkl.core.PType.Alias

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

PType

public static final class PType.Alias
extends PType

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.pkl.core.PType

PType.Alias, PType.Class, PType.Constrained, PType.Function, PType.Nullable, PType.StringLiteral, PType.TypeVariable, PType.Union

Field Summary

Fields inherited from class org.pkl.core.PType

MODULE, NOTHING, UNKNOWN

Constructor Summary

Constructors

Constructor	Description
Alias(TypeAlias typeAlias)
Alias(TypeAlias typeAlias, java.util.List<PType> typeArguments, PType aliasedType)

Method Summary

Modifier and Type	Method	Description
PType	getAliasedType()	Returns the aliased type, namely getTypeAlias().getAliasedType() with type arguments substituted for type variables.
TypeAlias	getTypeAlias()
java.util.List<PType>	getTypeArguments()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Alias

public Alias(TypeAlias typeAlias)

Alias

public Alias(TypeAlias typeAlias,
             java.util.List<PType> typeArguments,
             PType aliasedType)

Method Detail

getTypeAlias

public TypeAlias getTypeAlias()

getTypeArguments

public java.util.List<PType> getTypeArguments()

Overrides:

getTypeArguments in class PType

getAliasedType

public PType getAliasedType()

Returns the aliased type, namely getTypeAlias().getAliasedType() with type arguments substituted for type variables.