sun::semantic_analysis::TypeRegistry

class · Source (opens in a new tab)

class sun::semantic_analysis::TypeRegistry

TypeRegistry - Per-compilation-unit registry for class and interface types.

This replaces the static caches in Types class to avoid cross-test pollution. One exists per compilation, as part of its AnalysisResults, next to the DeclarationTable whose declarations its types are created for.

Public Functions

TypeRegistry

TypeRegistry(DeclarationTable &declarations)

public · function · Source (opens in a new tab)

sun::semantic_analysis::TypeRegistry::TypeRegistry(DeclarationTable &declarations)

Initializes the collection of primitive and declared semantic types.

Every type is created for a declaration in declarations, which belongs to the same analysis results and must outlive the registry.

Related: DeclarationTable

TypeRegistry(const TypeRegistry &)=delete

public · function · Source (opens in a new tab)

sun::semantic_analysis::TypeRegistry::TypeRegistry(const TypeRegistry &)=delete

Non-copyable to prevent accidental duplication.

TypeRegistry(TypeRegistry &&)=default

public · function · Source (opens in a new tab)

sun::semantic_analysis::TypeRegistry::TypeRegistry(TypeRegistry &&)=default

Movable.

clear

public · function · Source (opens in a new tab)

void sun::semantic_analysis::TypeRegistry::clear()

Clear all caches (useful for REPL reset).

findSpecialization

public · function · Source (opens in a new tab)

DeclarationId sun::semantic_analysis::TypeRegistry::findSpecialization(const SpecializationKey &key) const

Return an existing instance without allocating a declaration.

getClass

getClass(DeclarationId id, const QualifiedName &name)

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::ClassType > sun::semantic_analysis::TypeRegistry::getClass(DeclarationId id, const QualifiedName &name)

Bind the current source name to a source class's existing identity.

getClass(DeclarationId id)

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::ClassType > sun::semantic_analysis::TypeRegistry::getClass(DeclarationId id)

Get a source class before its source name has been assigned.

getEnum

getEnum(DeclarationId id)

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::EnumType > sun::semantic_analysis::TypeRegistry::getEnum(DeclarationId id)

Get a source enum before its source name has been assigned.

getEnum(DeclarationId id, const QualifiedName &name)

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::EnumType > sun::semantic_analysis::TypeRegistry::getEnum(DeclarationId id, const QualifiedName &name)

Bind the current source name to a source enum's existing identity.

getGenericInterface

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::InterfaceType > sun::semantic_analysis::TypeRegistry::getGenericInterface(DeclarationId declaration, const QualifiedName &name, std::vector< std::string > typeParams)

Intern a generic interface template by its source declaration.

getInterface

getInterface(DeclarationId id)

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::InterfaceType > sun::semantic_analysis::TypeRegistry::getInterface(DeclarationId id)

Get a source interface before its source name has been assigned.

getInterface(DeclarationId id, const QualifiedName &name)

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::InterfaceType > sun::semantic_analysis::TypeRegistry::getInterface(DeclarationId id, const QualifiedName &name)

Bind the current source name to a source interface's identity.

getSpecializedClass

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::ClassType > sun::semantic_analysis::TypeRegistry::getSpecializedClass(DeclarationId id, const QualifiedName &name, const QualifiedName &source, const std::vector< sun::types::TypePtr > &arguments)

Configure the class attached to an interned specialization.

getSpecializedInterface

public · function · Source (opens in a new tab)

std::shared_ptr< sun::types::InterfaceType > sun::semantic_analysis::TypeRegistry::getSpecializedInterface(DeclarationId id, const QualifiedName &name, const QualifiedName &source, const std::vector< sun::types::TypePtr > &arguments)

Configure the interface attached to an interned specialization.

isBuiltinTypeName

public · function · Source (opens in a new tab)

bool sun::semantic_analysis::TypeRegistry::isBuiltinTypeName(const std::string &name) const

Reports whether a class or interface name would redefine a builtin error type.

Type trait names such as _Integer need no entry: the parser already rejects a declared name that starts with _.

Related: Type

operator=

operator=(const TypeRegistry &)=delete

public · function · Source (opens in a new tab)

TypeRegistry & sun::semantic_analysis::TypeRegistry::operator=(const TypeRegistry &)=delete

Disallows assignment so ownership and object identity cannot be duplicated.

Related: TypeRegistry

operator=(TypeRegistry &&)=default

public · function · Source (opens in a new tab)

TypeRegistry & sun::semantic_analysis::TypeRegistry::operator=(TypeRegistry &&)=default

Transfers the stored state from another instance during move assignment.

Related: TypeRegistry

registerBuiltins

public · function · Source (opens in a new tab)

void sun::semantic_analysis::TypeRegistry::registerBuiltins()

The iteration protocol (IIterator/IIterable) lives in stdlib/iterator.sun since it names Option.

specialize

public · function · Source (opens in a new tab)

DeclarationId sun::semantic_analysis::TypeRegistry::specialize(const SpecializationKey &key)

Intern an instance before resolving its members or body.

Public Fields

arithmeticError

public · variable · Source (opens in a new tab)

std::shared_ptr<sun::types::ClassType> sun::semantic_analysis::TypeRegistry::arithmeticError

Builtin error thrown by invalid integer division and remainder.

Related: sun::types::ClassType

errorInterface

public · variable · Source (opens in a new tab)

std::shared_ptr<sun::types::InterfaceType> sun::semantic_analysis::TypeRegistry::errorInterface

The builtin error interface shared throughout this analysis session.

Related: sun::types::InterfaceType

Private Functions

nominalType

private · function · Source (opens in a new tab)

template <typename T>
std::shared_ptr< T > sun::semantic_analysis::TypeRegistry::nominalType(DeclarationId id, DeclarationKind kind)

Looks up the class, interface, or enum type for a declaration identity.

Related: DeclarationId, DeclarationKind

registerArithmeticError

private · function · Source (opens in a new tab)

void sun::semantic_analysis::TypeRegistry::registerArithmeticError()

Registers the builtin arithmetic error after its IError interface.

registerIError

private · function · Source (opens in a new tab)

void sun::semantic_analysis::TypeRegistry::registerIError()

Registers the builtin error interface and its code and message methods.

Private Fields

declarations_

private · variable · Source (opens in a new tab)

DeclarationTable& sun::semantic_analysis::TypeRegistry::declarations_

No documentation comment.

Related: DeclarationTable

nominalTypes_

private · variable · Source (opens in a new tab)

std::unordered_map<DeclarationId, std::shared_ptr<sun::types::NominalType> > sun::semantic_analysis::TypeRegistry::nominalTypes_

No documentation comment.

specializations_

private · variable · Source (opens in a new tab)

std::unordered_map<SpecializationKey, DeclarationId, SpecializationKeyHash> sun::semantic_analysis::TypeRegistry::specializations_

No documentation comment.

Compiler API Reference