compiler/tools.samt.semantic

Package-level declarations

Types

class AliasType(var aliasedType: TypeReference, var fullyResolvedType: ResolvedTypeReference? = null, val declaration: TypeAliasNode, val parentPackage: Package) : UserDeclaredNamedType, UserAnnotated

BooleanType

object BooleanType : LiteralType

Can be true or false

BytesType

object BytesType : LiteralType

Arbitrary binary data

ConsumerType

class ConsumerType(var provider: TypeReference, var uses: List<ConsumerType.Uses>, val parentPackage: Package, val declaration: ConsumerDeclarationNode) : Type, UserDeclared

DateTimeType

object DateTimeType : LiteralType

A date with a time, defaults to millisecond precision

DateType

object DateType : LiteralType

A date without a time

DecimalType

object DecimalType : LiteralNumberType

Arbitrary precision number, fixed amount of digits before and after decimal point

DoubleType

object DoubleType : LiteralNumberType

64-bit floating point number, signed

DurationType

object DurationType : LiteralType

Time duration, millisecond precision

EnumType

class EnumType(val values: List<String>, val declaration: EnumDeclarationNode, val parentPackage: Package) : UserDeclaredNamedType, UserAnnotated

FloatType

object FloatType : LiteralNumberType

32-bit floating point number, signed

IntType

object IntType : LiteralNumberType

32-bit whole number, signed

ListType

data class ListType(val elementType: TypeReference, val node: GenericSpecializationNode) : Type

LiteralNumberType

interface LiteralNumberType : LiteralType

LiteralType

interface LiteralType : Type

LongType

object LongType : LiteralNumberType

64-bit whole number, signed

MapType

data class MapType(val keyType: TypeReference, val valueType: TypeReference, val node: GenericSpecializationNode) : Type

Package

class Package(val name: String, parent: Package?)

PackageType

class PackageType(val sourcePackage: Package) : Type

ProviderType

class ProviderType(val implements: List<ProviderType.Implements>, val transport: ProviderType.Transport, val declaration: ProviderDeclarationNode, val parentPackage: Package) : UserDeclaredNamedType

RecordType

class RecordType(val fields: List<RecordType.Field>, val declaration: RecordDeclarationNode, val parentPackage: Package) : UserDeclaredNamedType, UserAnnotated

ResolvedTypeReference

data class ResolvedTypeReference(val type: Type, val typeNode: ExpressionNode, val fullNode: ExpressionNode = typeNode, val isOptional: Boolean = false, val constraints: List<ResolvedTypeReference.Constraint> = emptyList()) : TypeReference

SemanticModel

class SemanticModel(val global: Package, val userMetadata: UserMetadata)

ServiceType

class ServiceType(val operations: List<ServiceType.Operation>, val declaration: ServiceDeclarationNode, val parentPackage: Package) : UserDeclaredNamedType, UserAnnotated

StringType

object StringType : LiteralType

UTF-8 encoded text

Type

interface Type

TypeReference

interface TypeReference

UnknownType

object UnknownType : Type

A type that could not be parsed correctly

UnresolvedTypeReference

data class UnresolvedTypeReference(val expression: ExpressionNode) : TypeReference

UserAnnotated

interface UserAnnotated : UserDeclared

UserDeclared

interface UserDeclared

UserDeclaredNamedType

interface UserDeclaredNamedType : UserDeclared, Type

UserMetadata

class UserMetadata(descriptions: Map<UserDeclared, String>, deprecations: Map<UserDeclared, UserMetadata.Deprecation>)