@artel/artc 0.6.25244 → 0.6.25246

package/build/types/entities/StructuredTypeEntity.d.ts

@@ -1,28 +1,33 @@
+import { Localization } from '../analysis/Localization.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
 import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
-import { NamedTypeMemberEntity, OriginalTypeEntityMembers } from './TypeEntityMembers.js';
+import { TypeEntityMembers } from './TypeEntityMembers.js';
 import type { PackageEntity } from './index.js';
-import { ConstructorEntity, DefinitionKind, DereferenceOperatorEntity, DestructorEntity, EntityContext, EntityHidingLevel, EntityKind, IndexerEntity, ITypeEntity, OperatorEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
+import { ConstructorEntity, DefinitionKind, DereferenceOperatorEntity, DestructorEntity, EntityContext, EntityHidingLevel, EntityKind, IndexerEntity, ITypeEntity, NamedTypeMemberEntity, OperatorEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export type StructuredTypeEntity = PackageStructuredTypeEntity | AnonymousStructuredTypeEntity;
 export interface PackageStructuredTypeEntity extends IStructuredTypeEntity {
     readonly subkind: 'package';
     getName(): Name;
     getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageStructuredTypeEntity;
 }
 export interface AnonymousStructuredTypeEntity extends IStructuredTypeEntity {
     readonly subkind: 'anonymous';
     getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): AnonymousStructuredTypeEntity;
 }
 interface IStructuredTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Structured;
     getNaming(): EntityNaming;
     getTypeParameters(): readonly TypeParameterEntity[];
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
     markedBasic(): boolean;
     isAbstract(): boolean;
@@ -62,26 +67,43 @@ type StructuredTypeEntityDefinitionNode = tree.PackageStructuredTypeDeclaration
  *
  * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - `undefined`.
  */
-export declare class BaseObjectType {
+export declare abstract class BaseObjectType {
     /**
      * Базовый объектный тип, указанный пользователем (либо базовый тип по умолчанию).
      */
-    readonly declared: types.Type | undefined;
-    private _state;
+    abstract readonly declared: types.Type | undefined;
     /**
      * Базовый объектный тип, указанный пользователем, либо `undefined`, если указанный тип приводит к циклу.
      */
-    get cycleFree(): types.Type | undefined;
+    abstract readonly cycleFree: types.Type | undefined;
     /**
      * Приводит ли указанный базовый объектный тип к циклу?
      */
+    abstract readonly causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveBaseObjectType(circularityTrackingStack: boolean[]): CycleFreeBaseObjectTypeResolutionResult;
+}
+export declare class OriginalBaseObjectType extends BaseObjectType {
+    /**
+     * Базовый объектный тип, указанный пользователем (либо базовый тип по умолчанию).
+     */
+    readonly declared: types.Type | undefined;
+    private _state;
+    get cycleFree(): types.Type | undefined;
     get causesCycle(): boolean;
     constructor(declared: types.Type | undefined);
-    private getBaseObjectTypeResolutionResult;
     /**
      * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
      */
-    private resolveBaseObjectType;
+    resolveBaseObjectType(circularityTrackingStack: boolean[]): CycleFreeBaseObjectTypeResolutionResult;
+    private getBaseObjectTypeResolutionResult;
+}
+export declare class CycleFreeBaseObjectTypeResolutionResult {
+    readonly type: types.Type | undefined;
+    readonly causesCycle: boolean;
+    constructor(type: types.Type | undefined, causesCycle: boolean);
 }
 /**
  * Класс позволяет работать с базовыми аспектными типами, исключая циклы наследования.
@@ -94,7 +116,25 @@ export declare class BaseObjectType {
  *
  * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - `undefined`.
  */
-export declare class BaseAspectTypes {
+export declare abstract class BaseAspectTypes {
+    /**
+     * Базовые аспектные типы, указанные пользователем.
+     */
+    abstract readonly declared: readonly types.Type[];
+    /**
+     * Базовые аспектные типы, указанные пользователем, которые не приводят к циклу.
+     */
+    abstract cycleFree: readonly types.Type[];
+    /**
+     * Приводит ли хотя бы один базовый аспектный тип, указанный пользователем, к циклу?
+     */
+    abstract causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveBaseAspectTypes(circularityTrackingStack: boolean[]): CycleFreeBaseAspectTypesResolutionResult;
+}
+export declare class OriginalBaseAspectTypes extends BaseAspectTypes {
     /**
      * Базовые аспектные типы, указанные пользователем.
      */
@@ -109,11 +149,16 @@ export declare class BaseAspectTypes {
      */
     get causesCycle(): boolean;
     constructor(declared: readonly types.Type[]);
-    private getBaseAspectTypesResolutionResult;
     /**
      * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
      */
-    private resolveBaseAspectTypes;
+    resolveBaseAspectTypes(circularityTrackingStack: boolean[]): CycleFreeBaseAspectTypesResolutionResult;
+    private getBaseAspectTypesResolutionResult;
+}
+export declare class CycleFreeBaseAspectTypesResolutionResult {
+    readonly types: readonly types.Type[];
+    readonly causesCycle: boolean;
+    constructor(types: readonly types.Type[], causesCycle: boolean);
 }
 export declare class PackageStructuredTypeDeclarationEntity implements PackageStructuredTypeEntity {
     readonly kind = EntityKind.Type;
@@ -127,7 +172,7 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getTypeParameters(): readonly TypeParameterEntity[];
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
     markedBasic(): boolean;
     isAbstract(): boolean;
@@ -141,6 +186,8 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageStructuredTypeEntity;
 }
 export declare class SourcePackageStructuredTypeDeclarationData {
     private readonly _analyzer;
@@ -156,7 +203,7 @@ export declare class SourcePackageStructuredTypeDeclarationData {
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getTypeParameters(): readonly TypeParameterEntity[];
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
     markedBasic(): boolean;
     isAbstract(): boolean;
@@ -182,7 +229,7 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     constructor(_analyzer: Analyzer, _node: tree.AnonymousStructuredTypeDeclaration);
     getNaming(): EntityNaming;
     getTypeParameters(): readonly TypeParameterEntity[];
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
     markedBasic(): boolean;
     isAbstract(): boolean;
@@ -197,6 +244,8 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): AnonymousStructuredTypeEntity;
     private getBaseTypes;
 }
 export declare class UnfinishedIntrinsicPackageStructuredTypeEntity {

package/build/types/entities/TypeEntityMembers.d.ts

@@ -2,13 +2,11 @@ import { Name } from '../common/index.js';
 import { ConstructorEntity } from './ConstructorEntity.js';
 import { DereferenceOperatorEntity } from './DereferenceOperatorEntity.js';
 import { DestructorEntity } from './DestructorEntity.js';
-import { MethodEntity } from './FunctionEntity.js';
 import { IndexerEntity } from './IndexerEntity.js';
 import { OperatorEntity } from './OperatorEntity.js';
 import { OperatorKind } from './OperatorKind.js';
-import { FieldEntity } from './VariableEntity.js';
-import { TypeMemberEntity } from './index.js';
-export declare class OriginalTypeEntityMembers {
+import { NamedTypeMemberEntity, TypeMemberEntity } from './index.js';
+export declare class TypeEntityMembers {
     private readonly _namedMembers;
     private readonly _operators;
     private readonly _constructors;
@@ -30,4 +28,3 @@ export declare class OriginalTypeEntityMembers {
     getDestructors(): readonly DestructorEntity[];
     getAll(): readonly TypeMemberEntity[];
 }
-export type NamedTypeMemberEntity = FieldEntity | MethodEntity;

package/build/types/entities/TypeExtensionEntity.d.ts

@@ -1,19 +1,22 @@
+import { Localization } from '../analysis/Localization.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { TypeExtensionDeclaration } from '../tree/index.js';
-import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
+import { TypeEntityMembers } from './TypeEntityMembers.js';
 import { DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, NamedTypeEntity, PackageEntity } from './index.js';
 export interface TypeExtensionEntity {
     readonly kind: EntityKind.TypeExtension;
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getContainingPackage(): PackageEntity;
     getExtendedTypeEntity(): NamedTypeEntity | undefined;
     getDefinition(): TypeExtensionEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): TypeExtensionEntity;
 }
-type TypeExtensionEntityDefinition = {
+export type TypeExtensionEntityDefinition = {
     kind: DefinitionKind.Source;
     node: TypeExtensionDeclaration;
 };
@@ -25,12 +28,13 @@ export declare class SourceTypeExtensionEntity implements TypeExtensionEntity {
     private _modifierFlags;
     private get modifierFlags();
     constructor(analyzer: Analyzer, node: TypeExtensionDeclaration);
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getContainingPackage(): PackageEntity;
     getExtendedTypeEntity(): NamedTypeEntity | undefined;
     getDefinition(): TypeExtensionEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): TypeExtensionEntity;
 }
-export {};

package/build/types/entities/TypeMemberContainer.d.ts

@@ -9,9 +9,9 @@ export declare namespace TypeMemberEntityContainer {
         getEntity(): TypeEntityWithMembers | TypeExtensionEntity;
     }
     export class TypeExtension implements ITypeMemberEntityContainer {
-        readonly typeExtension: TypeExtensionEntity;
+        readonly typeExtensionEntity: TypeExtensionEntity;
         readonly kind = "type-extension";
-        constructor(typeExtension: TypeExtensionEntity);
+        constructor(typeExtensionEntity: TypeExtensionEntity);
         getContextualType(): TypeEntity | undefined;
         getEntity(): TypeEntityWithMembers | TypeExtensionEntity;
     }

package/build/types/entities/TypeParameterEntity.d.ts

@@ -1,4 +1,5 @@
 import { Analyzer } from '../analysis/index.js';
+import { Localization } from '../analysis/Localization.js';
 import { Tag } from '../analysis/Tags.js';
 import { Name } from '../common/index.js';
 import { TypeParameterDeclaration } from '../tree/index.js';
@@ -18,6 +19,8 @@ export interface TypeParameterEntity extends ITypeEntity {
     getTypeParameters(): readonly TypeParameterEntity[];
     getContainingEntity(): EntityContainingTypeParameter;
     isHidden(): EntityHidingLevel | undefined;
+    getLocalization(): Localization;
+    getOriginalEntity(): TypeParameterEntity;
 }
 export type TypeParameterEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -38,26 +41,37 @@ export type EntityContainingTypeParameter = VariantTypeEntity | FunctionEntity |
  *
  * Для типа `Т1` в поле `declared` будет указан тип `Т2`, а в поле `cycleFree` - `undefined`.
  */
-export declare class TypeParameterConstraint {
+export declare abstract class TypeParameterConstraint {
     /**
      * Указанное пользователем ограничение параметра шаблона (либо ограничение по умолчанию если не указано явно).
      */
-    readonly declared: types.Type | undefined;
-    private _state;
+    abstract readonly declared: types.Type | undefined;
     /**
      * Указанное пользователем ограничение шаблона, либо `undefined`, если указанное ограничение шаблона приводит к циклу.
      */
-    get cycleFree(): types.Type | undefined;
+    abstract cycleFree: types.Type | undefined;
     /**
      * Приводит ли указанное пользователем ограничение шаблона к циклу?
      */
-    get causesCycle(): boolean;
-    constructor(declared: types.Type | undefined);
-    private getConstraintResolutionResult;
+    abstract causesCycle: boolean;
     /**
      * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
      */
-    private resolveConstraint;
+    abstract resolveConstraint(circularityTrackingStack: boolean[]): CycleFreeConstraintResolutionResult;
+}
+export declare class OriginalTypeParameterConstraint extends TypeParameterConstraint {
+    readonly declared: types.Type | undefined;
+    private _state;
+    get cycleFree(): types.Type | undefined;
+    get causesCycle(): boolean;
+    constructor(declared: types.Type | undefined);
+    resolveConstraint(circularityTrackingStack: boolean[]): CycleFreeConstraintResolutionResult;
+    private getConstraintResolutionResult;
+}
+export declare class CycleFreeConstraintResolutionResult {
+    readonly type: types.Type | undefined;
+    readonly causesCycle: boolean;
+    constructor(type: types.Type | undefined, causesCycle: boolean);
 }
 export declare class SourceTypeParameterEntity implements TypeParameterEntity {
     private readonly _analyzer;
@@ -78,6 +92,8 @@ export declare class SourceTypeParameterEntity implements TypeParameterEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): TypeParameterEntity;
 }
 export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity {
     private readonly _name;
@@ -99,4 +115,6 @@ export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): TypeParameterEntity;
 }

package/build/types/entities/VariableEntity.d.ts

@@ -1,3 +1,4 @@
+import { Localization } from '../analysis/Localization.js';
 import { SetterDeclaration, SubprogramDeclarationOrLiteral } from '../analysis/NodeTypeUtils.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
@@ -10,6 +11,8 @@ export type VariableEntity = PackageVariableEntity | FieldEntity | ParameterVari
 export interface PackageVariableEntity extends IVariableEntity {
     readonly subkind: 'package';
     getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageVariableEntity;
 }
 export interface FieldEntity extends IVariableEntity {
     readonly subkind: 'field';
@@ -20,17 +23,23 @@ export interface FieldEntity extends IVariableEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): FieldEntity;
 }
 export interface ParameterVariableEntity extends IVariableEntity {
     readonly subkind: 'parameter';
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): ParameterVariableEntity;
 }
 export interface LocalVariableEntity extends IVariableEntity {
     readonly subkind: 'local';
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    getLocalization(): Localization;
+    getOriginalEntity(): LocalVariableEntity;
 }
 export declare enum LocalVariableKind {
     Regular = 0,
@@ -63,7 +72,7 @@ export declare namespace ParameterVariableEntityContainer {
         constructor(entityContainingFunction: ActualEntity);
     }
 }
-export type EntityContainingValueParameter = FunctionEntity | IndexerEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | SetterEntity | OperatorEntity;
+export type EntityContainingValueParameter = FunctionEntity | IndexerEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | OperatorEntity;
 export type VariableEntityDefinition = {
     kind: DefinitionKind.Source;
     value: SourceVariableEntityDefinition;
@@ -124,6 +133,8 @@ export declare class PackageVariableDeclarationEntity implements PackageVariable
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
     ensureAllDiagnosticsReported(): void;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageVariableEntity;
 }
 export declare class ComputedPackageVariableDeclarationEntity implements PackageVariableEntity {
     readonly kind = EntityKind.Variable;
@@ -146,6 +157,8 @@ export declare class ComputedPackageVariableDeclarationEntity implements Package
     getSetter(): SetterEntity | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageVariableEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class FieldDeclarationEntity implements FieldEntity {
@@ -174,6 +187,8 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): FieldEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class ComputedFieldDeclarationEntity implements FieldEntity {
@@ -203,6 +218,8 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): FieldEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class VariantDeclarationEntity implements FieldEntity {
@@ -229,6 +246,8 @@ export declare class VariantDeclarationEntity implements FieldEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): FieldEntity;
 }
 export declare class LocalVariableDeclarationEntity implements LocalVariableEntity {
     private readonly _analyzer;
@@ -249,6 +268,8 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     getTags(): readonly Tag[];
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    getLocalization(): Localization;
+    getOriginalEntity(): LocalVariableEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class EnumerationVariableDeclarationEntity implements LocalVariableEntity {
@@ -270,6 +291,8 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     getTags(): readonly Tag[];
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    getLocalization(): Localization;
+    getOriginalEntity(): LocalVariableEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class ErrorVariableDeclarationEntity implements LocalVariableEntity {
@@ -277,6 +300,7 @@ export declare class ErrorVariableDeclarationEntity implements LocalVariableEnti
     private readonly _node;
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
+    private readonly _type;
     constructor(_analyzer: Analyzer, _node: tree.ErrorVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
@@ -289,6 +313,8 @@ export declare class ErrorVariableDeclarationEntity implements LocalVariableEnti
     getTags(): readonly Tag[];
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    getLocalization(): Localization;
+    getOriginalEntity(): LocalVariableEntity;
 }
 export declare class ParameterDeclarationEntity implements ParameterVariableEntity {
     private readonly _analyzer;
@@ -310,6 +336,8 @@ export declare class ParameterDeclarationEntity implements ParameterVariableEnti
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): ParameterVariableEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class IndexParameterDeclarationEntity implements ParameterVariableEntity {
@@ -335,6 +363,8 @@ export declare class IndexParameterDeclarationEntity implements ParameterVariabl
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): ParameterVariableEntity;
     ensureAllDiagnosticsReported(): void;
 }
 export declare class FunctionLiteralParameterDeclarationEntity implements ParameterVariableEntity {
@@ -357,6 +387,8 @@ export declare class FunctionLiteralParameterDeclarationEntity implements Parame
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): ParameterVariableEntity;
 }
 export declare class IntrinsicPackageVariableEntity implements PackageVariableEntity {
     private readonly _name;
@@ -379,6 +411,8 @@ export declare class IntrinsicPackageVariableEntity implements PackageVariableEn
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
     getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageVariableEntity;
 }
 export declare class IntrinsicFieldEntity implements FieldEntity {
     private readonly _name;
@@ -412,6 +446,8 @@ export declare class IntrinsicFieldEntity implements FieldEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): FieldEntity;
 }
 export declare class IntrinsicParameterVariableEntity implements ParameterVariableEntity {
     private readonly _name;
@@ -435,6 +471,8 @@ export declare class IntrinsicParameterVariableEntity implements ParameterVariab
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    getLocalization(): Localization;
+    getOriginalEntity(): ParameterVariableEntity;
 }
 export declare class IntrinsicLocalVariableEntity implements LocalVariableEntity {
     private readonly _name;
@@ -456,5 +494,7 @@ export declare class IntrinsicLocalVariableEntity implements LocalVariableEntity
     getTags(): readonly Tag[];
     getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
+    getLocalization(): Localization;
+    getOriginalEntity(): LocalVariableEntity;
 }
 export {};

package/build/types/entities/VariantTypeEntity.d.ts

@@ -1,25 +1,30 @@
+import { Localization } from '../analysis/Localization.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
 import { AnonymousVariantTypeDeclaration, PackageVariantTypeDeclaration } from '../tree/index.js';
 import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
-import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
+import { TypeEntityMembers } from './TypeEntityMembers.js';
 import { BaseObjectType, DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export type VariantTypeEntity = PackageVariantTypeEntity | AnonymousVariantTypeEntity;
 export interface PackageVariantTypeEntity extends IVariantTypeEntity {
     readonly subkind: 'package';
     getName(): Name;
     getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageVariantTypeEntity;
 }
 export interface AnonymousVariantTypeEntity extends IVariantTypeEntity {
     readonly subkind: 'anonymous';
     getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): AnonymousVariantTypeEntity;
 }
 interface IVariantTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Variant;
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getUnderlyingType(): types.Type;
     getDefinition(): VariantTypeEntityDefinition;
     getNaming(): EntityNaming;
@@ -55,7 +60,7 @@ export declare class PackageVariantTypeDeclarationEntity implements PackageVaria
     getNaming(): EntityNaming;
     getName(): Name;
     getContainingPackage(): PackageEntity;
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getUnderlyingType(): types.Type;
     getDefinition(): VariantTypeEntityDefinition;
     getArity(): number;
@@ -65,6 +70,8 @@ export declare class PackageVariantTypeDeclarationEntity implements PackageVaria
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): PackageVariantTypeEntity;
 }
 export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousVariantTypeEntity {
     private readonly _analyzer;
@@ -76,7 +83,7 @@ export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousV
     private readonly _members;
     private readonly _baseObjectType;
     constructor(_analyzer: Analyzer, _node: AnonymousVariantTypeDeclaration);
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getUnderlyingType(): types.Type;
     getDefinition(): VariantTypeEntityDefinition;
     getNaming(): EntityNaming;
@@ -88,5 +95,7 @@ export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousV
     getContainingPackage(): PackageEntity;
     getBaseObjectType(): BaseObjectType;
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): AnonymousVariantTypeEntity;
 }
 export {};

package/build/types/entities/index.d.ts

@@ -1,5 +1,4 @@
 import { Analyzer } from '../analysis/Analyzer.js';
-import { LocalizationContext } from '../analysis/LocalizationContext.js';
 import { SemanticContext } from '../analysis/semantic-context/SemanticContext.js';
 import { PackageDialect, PackageLocale } from '../common/index.js';
 import * as types from '../types/index.js';
@@ -22,6 +21,7 @@ import { TypeExtensionEntity } from './TypeExtensionEntity.js';
 import { TypeParameterEntity } from './TypeParameterEntity.js';
 import { FieldEntity, PackageVariableEntity, VariableEntity } from './VariableEntity.js';
 import { PackageVariantTypeEntity, VariantTypeEntity } from './VariantTypeEntity.js';
+export * from './AliasedType.js';
 export * from './AliasTypeEntity.js';
 export * from './ConstructorEntity.js';
 export * from './DereferenceOperatorEntity.js';
@@ -106,14 +106,15 @@ export declare namespace TypeMemberEntity {
     function getOverriddenMembers(entity: TypeMemberEntity): readonly types.TypeMember[];
     function instantiate(analyzer: Analyzer, entity: TypeMemberEntity, substitutions: types.Substitutions): types.TypeMember;
 }
+export type NamedTypeMemberEntity = FieldEntity | MethodEntity;
+export type NamedEntity = VariableEntity | PackageVariantTypeEntity | FunctionEntity | TypeParameterEntity | PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity;
 export declare class EntityContext {
     readonly containingPackage: PackageEntity;
     readonly hidingMatcher: IEntityHidingMatcher;
-    readonly localizationContext: LocalizationContext | undefined;
     readonly typeExtensionLookup: SemanticContext | undefined;
-    get lctxOrLocale(): LocalizationContext | PackageLocale;
+    get locale(): PackageLocale;
     get packageDialect(): PackageDialect;
-    constructor(containingPackage: PackageEntity, hidingMatcher: IEntityHidingMatcher, localizationContext: LocalizationContext | undefined, typeExtensionLookup: SemanticContext | undefined);
+    constructor(containingPackage: PackageEntity, hidingMatcher: IEntityHidingMatcher, typeExtensionLookup: SemanticContext | undefined);
     static fromSemanticContext(semanticContext: SemanticContext): EntityContext;
 }
 export declare function entityToStringDecorator<T extends {

package/build/types/entities/translated/TranslatedAliasTypeEntity.d.ts

@@ -0,0 +1,54 @@
+import { Localization, Translation } from '../../analysis/Localization.js';
+import { Tag } from '../../analysis/Tags.js';
+import { Name } from '../../common/index.js';
+import * as types from '../../types/index.js';
+import { AliasedType, CycleFreeAliasedTypeResolutionResult } from '../AliasedType.js';
+import type { AliasTypeEntity } from '../AliasTypeEntity.js';
+import { AliasTypeEntityDefinition } from '../AliasTypeEntity.js';
+import { EntityHidingLevel } from '../EntityHiding.js';
+import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
+import { EntityContext, EntityKind } from '../index.js';
+import { PackageEntity } from '../PackageEntity.js';
+import { SubstitutionApplicationMode } from '../SubstitutionApplicationMode.js';
+import { TypeEntityKind } from '../TypeEntity.js';
+import { TypeEntityMembers } from '../TypeEntityMembers.js';
+import { TypeParameterEntity } from '../TypeParameterEntity.js';
+export declare class TranslatedAliasTypeEntity implements AliasTypeEntity {
+    readonly kind = EntityKind.Type;
+    readonly typeEntityKind = TypeEntityKind.Alias;
+    readonly subkind = "package";
+    private readonly _originalEntity;
+    private readonly _translation;
+    private readonly _name;
+    private readonly _localizationContext;
+    private readonly _containingPackage;
+    private readonly _typeParameters;
+    private readonly _aliasedType;
+    private readonly _members;
+    private readonly _context;
+    constructor(originalEntity: AliasTypeEntity, translation: Translation, name: Name, localizationContext: EntityLocalizationContext);
+    getName(): Name;
+    getContainingPackage(): PackageEntity;
+    getLocalization(): Localization;
+    getOriginalEntity(): AliasTypeEntity;
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getAliasedType(): AliasedType;
+    getMembers(): TypeEntityMembers;
+    getDefinition(): AliasTypeEntityDefinition;
+    getArity(): number;
+    isHidden(): EntityHidingLevel | undefined;
+    getTags(): readonly Tag[];
+    getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
+}
+export declare class LocalizedAliasedType extends AliasedType {
+    private readonly _original;
+    private readonly _localizationContext;
+    private readonly _declared;
+    private readonly _cycleFree;
+    get declared(): types.Type;
+    get cycleFree(): types.Type;
+    get causesCycle(): boolean;
+    constructor(original: AliasedType, localizationContext: EntityLocalizationContext);
+    resolveAliasedType(circularityTrackingStack: boolean[]): CycleFreeAliasedTypeResolutionResult;
+}