@NonnullByDefault

Package org.pkl.core.ast.type

Class Summary

Class	Description
GetParentForTypeNode	Resolves `` to the type's default value in `new { ...
IdentityMixinNode	Root node for a mixin used as default value for type `Mixin`.
ResolveDeclaredTypeNode
ResolveQualifiedDeclaredTypeNode
ResolveSimpleDeclaredTypeNode
TypeCastNode
TypeConstraintNode
TypeNode
TypeNode.AnyTypeNode
TypeNode.BooleanTypeNode
TypeNode.CollectionTypeNode
TypeNode.ConstrainedTypeNode
TypeNode.DynamicTypeNode
TypeNode.FinalClassTypeNode	A non-open and non-abstract class type.
TypeNode.FinalModuleTypeNode	The `module` type for a final module.
TypeNode.FloatTypeNode
TypeNode.FrameSlotTypeNode	Base class for types whose `executeAndSet` method assigns values to slots with `frame.setXYZ(slot, value)`.
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	An `open` or `abstract` class type.
TypeNode.NonFinalModuleTypeNode	The `module` type for an open module.
TypeNode.NonNullTypeAliasTypeNode
TypeNode.NothingTypeNode	The `nothing` type.
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	The `unknown` type.
TypeNode.VarArgsTypeNode
TypeNode.WriteFrameSlotTypeNode	Base class for types whose `executeAndSet` method assigns values to slots with a `WriteFrameSlotNode`.
TypeTestNode
UnresolvedTypeNode
UnresolvedTypeNode.Constrained
UnresolvedTypeNode.Declared
UnresolvedTypeNode.Function
UnresolvedTypeNode.Module	The `module` type.
UnresolvedTypeNode.Nothing
UnresolvedTypeNode.Nullable
UnresolvedTypeNode.Parameterized
UnresolvedTypeNode.StringLiteral
UnresolvedTypeNode.TypeVariable
UnresolvedTypeNode.Union
UnresolvedTypeNode.UnionOfStringLiterals
UnresolvedTypeNode.Unknown

Exception Summary

Exception	Description
VmTypeMismatchException	Indicates that a type check failed.
VmTypeMismatchException.Constraint
VmTypeMismatchException.Nothing
VmTypeMismatchException.Simple
VmTypeMismatchException.Union