@artel/artc 0.6.25259 → 0.6.25261

package/build/types/emitter/ir/EmitOptions.d.ts

@@ -1,5 +1,5 @@
 export declare class AssignmentEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: AssignmentEmitOptionsFlags);
     constructor(incrementReferenceCountIfRequired: boolean, decrementReferenceCountIfRequired: boolean, performCopyIfRequired: boolean);
     static default(): AssignmentEmitOptions;
@@ -21,7 +21,7 @@ declare enum AssignmentEmitOptionsFlags {
     DecrementReferenceCountIfRequired = 4
 }
 export declare class DeclarationWithInitializerEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: DeclarationWithInitializerEmitOptionsFlags);
     constructor(incrementReferenceCountIfRequired: boolean);
     static default(): DeclarationWithInitializerEmitOptions;
@@ -35,7 +35,7 @@ declare enum DeclarationWithInitializerEmitOptionsFlags {
     IncrementReferenceCountIfRequired = 1
 }
 export declare class FunctionAccessExpressionEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: FunctionAccessExpressionEmitOptionsFlags);
     constructor(bindIfNotCallee: boolean, forceUseNonComputedName?: boolean);
     static default(): FunctionAccessExpressionEmitOptions;
@@ -53,7 +53,7 @@ declare enum FunctionAccessExpressionEmitOptionsFlags {
     ForceUseNonComputedName = 2
 }
 export declare class FieldAccessExpressionEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: FieldAccessExpressionEmitOptionsFlags);
     constructor(forceUseNonComputedName: boolean);
     static default(): FieldAccessExpressionEmitOptions;
@@ -67,7 +67,7 @@ declare enum FieldAccessExpressionEmitOptionsFlags {
     ForceUseNonComputedName = 1
 }
 export declare class TextTemplateEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: TextTemplateEmitOptionsFlags);
     constructor(createTextTemplateInstance: boolean);
     static default(): TextTemplateEmitOptions;
@@ -81,7 +81,7 @@ declare enum TextTemplateEmitOptionsFlags {
     CreateTextTemplateInstance = 1
 }
 export declare class CallExpressionEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: CallExpressionEmitOptionsFlags);
     constructor(isAliasOrExtensionMethodCallLowered: boolean);
     static default(): CallExpressionEmitOptions;
@@ -95,7 +95,7 @@ declare const enum CallExpressionEmitOptionsFlags {
     AliasOrExtensionMethodCallLowered = 1
 }
 export declare class ConstructorCallExpressionEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: ConstructorCallExpressionEmitOptionsFlags);
     constructor(isPlainObjectConstructorCallLowered: boolean);
     static default(): ConstructorCallExpressionEmitOptions;
@@ -109,7 +109,7 @@ declare const enum ConstructorCallExpressionEmitOptionsFlags {
     PlainObjectConstructorCallLowered = 1
 }
 export declare class MethodDeclarationEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: MethodDeclarationEmitOptionsFlags);
     constructor();
     static default(): MethodDeclarationEmitOptions;
@@ -119,7 +119,7 @@ declare const enum MethodDeclarationEmitOptionsFlags {
     None = 0
 }
 export declare class FieldDeclarationEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: FieldDeclarationEmitOptionsFlags);
     constructor();
     static default(): FieldDeclarationEmitOptions;
@@ -129,7 +129,7 @@ declare const enum FieldDeclarationEmitOptionsFlags {
     None = 0
 }
 export declare class FieldAccessorDeclarationEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: FieldAccessorDeclarationEmitOptionsFlags);
     constructor(forceUseNonComputedName: boolean);
     static default(): FieldAccessorDeclarationEmitOptions;
@@ -143,7 +143,7 @@ declare const enum FieldAccessorDeclarationEmitOptionsFlags {
     ForceUseNonComputedName = 1
 }
 export declare class PackageVariableDeclarationEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: PackageVariableDeclarationEmitOptionsFlags);
     constructor(shouldBePlacedBeforeOtherDeclarations: boolean, shouldNotMoveInitializerToConstructor: boolean);
     static default(): PackageVariableDeclarationEmitOptions;
@@ -161,7 +161,7 @@ declare const enum PackageVariableDeclarationEmitOptionsFlags {
     ShouldNotMoveInitializerToConstructor = 2
 }
 export declare class ErrorStatementEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: ErrorStatementEmitOptionsFlags);
     constructor(wrapExpressionInError: boolean);
     static default(): ErrorStatementEmitOptions;
@@ -175,7 +175,7 @@ declare const enum ErrorStatementEmitOptionsFlags {
     WrapExpressionInError = 1
 }
 export declare class ForStatementEmitOptions {
-    private _flags;
+    private flags;
     constructor(flags?: ForStatementEmitOptionsFlags);
     constructor(addExplicitCallOfEnumeratorMethodIfRequired: boolean);
     static default(): ForStatementEmitOptions;
@@ -188,4 +188,18 @@ declare const enum ForStatementEmitOptionsFlags {
     None = 0,
     AddExplicitCallOfEnumeratorMethodIfRequired = 1
 }
+export declare class FunctionLiteralEmitOptions {
+    private flags;
+    constructor(flags?: FunctionLiteralEmitOptionsFlags);
+    constructor(hasAttachedSyntaxNodePath: boolean);
+    static default(): FunctionLiteralEmitOptions;
+    get hasAttachedSyntaxNodePath(): boolean;
+    set hasAttachedSyntaxNodePath(value: boolean);
+    setHasAttachedSyntaxNodePath(value: boolean): this;
+    clone(): FunctionLiteralEmitOptions;
+}
+declare enum FunctionLiteralEmitOptionsFlags {
+    None = 0,
+    HasAttachedSyntaxNodePath = 1
+}
 export {};

package/build/types/emitter/ir/Nodes.d.ts

@@ -2,7 +2,7 @@ import { AccessKind } from '../../common/index.js';
 import { FunctionEntity, NamedEntity, Type, TypeOrExtensionEntity, VariableEntity } from '../Entities.js';
 import { AccessedFunction, AccessedVariable } from './AccessedEntities.js';
 import { ComputedAccess } from './ComputedAccess.js';
-import { AssignmentEmitOptions, CallExpressionEmitOptions, ConstructorCallExpressionEmitOptions, DeclarationWithInitializerEmitOptions, ErrorStatementEmitOptions, FieldAccessExpressionEmitOptions, FieldDeclarationEmitOptions, ForStatementEmitOptions, FunctionAccessExpressionEmitOptions, MethodDeclarationEmitOptions, PackageVariableDeclarationEmitOptions, TextTemplateEmitOptions } from './EmitOptions.js';
+import { AssignmentEmitOptions, CallExpressionEmitOptions, ConstructorCallExpressionEmitOptions, DeclarationWithInitializerEmitOptions, ErrorStatementEmitOptions, FieldAccessExpressionEmitOptions, FieldDeclarationEmitOptions, ForStatementEmitOptions, FunctionAccessExpressionEmitOptions, FunctionLiteralEmitOptions, MethodDeclarationEmitOptions, PackageVariableDeclarationEmitOptions, TextTemplateEmitOptions } from './EmitOptions.js';
 import { SourceLocation } from './SourceLocation.js';
 import { Expression, LValueExpression, PackageMemberDeclaration, Statement, TypeMemberDeclaration } from './types.js';
 export declare class Package {
@@ -17,13 +17,13 @@ export declare class Package {
 }
 export declare class PackageFunctionDeclaration {
     modifiers: Modifiers;
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     entity: FunctionEntity;
     isGenerator: boolean;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.PackageFunctionDeclaration;
-    constructor(modifiers: Modifiers, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isGenerator: boolean, sourceLocation: SourceLocation | undefined);
+    constructor(modifiers: Modifiers, parameters: readonly ParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isGenerator: boolean, sourceLocation: SourceLocation | undefined);
     clone(): PackageFunctionDeclaration;
 }
 export declare class PackageTypeDeclaration {
@@ -324,7 +324,7 @@ export declare class FinallyClause {
 }
 export declare class ForStatement {
     label: string | undefined;
-    enumerationVariableEntity: VariableEntity;
+    elementVariableEntity: VariableEntity;
     indexVariableEntity: VariableEntity | undefined;
     enumeratedExpression: Expression;
     body: BlockStatement;
@@ -332,7 +332,7 @@ export declare class ForStatement {
     sourceLocation: SourceLocation | undefined;
     options: ForStatementEmitOptions;
     readonly kind = NodeKind.ForStatement;
-    constructor(label: string | undefined, enumerationVariableEntity: VariableEntity, indexVariableEntity: VariableEntity | undefined, enumeratedExpression: Expression, body: BlockStatement, ifExpressionIsNotEnumerableThenEnumeratorMethod: AccessedFunction | undefined, sourceLocation: SourceLocation | undefined, options?: ForStatementEmitOptions);
+    constructor(label: string | undefined, elementVariableEntity: VariableEntity, indexVariableEntity: VariableEntity | undefined, enumeratedExpression: Expression, body: BlockStatement, ifExpressionIsNotEnumerableThenEnumeratorMethod: AccessedFunction | undefined, sourceLocation: SourceLocation | undefined, options?: ForStatementEmitOptions);
     clone(): ForStatement;
 }
 export declare class IfStatement {
@@ -378,13 +378,13 @@ export declare class IsExpression {
     clone(): IsExpression;
 }
 export declare class JsFunctionLiteral {
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     isAsync: boolean;
     isGenerator: boolean;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.JsFunctionLiteral;
-    constructor(valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, isAsync: boolean, isGenerator: boolean, sourceLocation: SourceLocation | undefined);
+    constructor(parameters: readonly ParameterDeclaration[], body: BlockStatement, isAsync: boolean, isGenerator: boolean, sourceLocation: SourceLocation | undefined);
     clone(): JsFunctionLiteral;
 }
 export declare class JsIdentifierExpression {
@@ -469,11 +469,11 @@ export declare class ValueJsObjectLiteralProperty {
 }
 export declare class FunctionJsObjectLiteralProperty {
     key: JsObjectLiteralPropertyKey;
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.FunctionJsObjectLiteralProperty;
-    constructor(key: JsObjectLiteralPropertyKey, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, sourceLocation: SourceLocation | undefined);
+    constructor(key: JsObjectLiteralPropertyKey, parameters: readonly ParameterDeclaration[], body: BlockStatement, sourceLocation: SourceLocation | undefined);
     clone(): FunctionJsObjectLiteralProperty;
 }
 /**
@@ -545,13 +545,14 @@ export declare class FunctionAccessExpression {
     clone(): FunctionAccessExpression;
 }
 export declare class FunctionLiteral {
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     isAsync: boolean;
     returnType: Type;
     sourceLocation: SourceLocation | undefined;
+    options: FunctionLiteralEmitOptions;
     readonly kind = NodeKind.FunctionLiteral;
-    constructor(valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, isAsync: boolean, returnType: Type, sourceLocation: SourceLocation | undefined);
+    constructor(parameters: readonly ParameterDeclaration[], body: BlockStatement, isAsync: boolean, returnType: Type, sourceLocation: SourceLocation | undefined, options?: FunctionLiteralEmitOptions);
     clone(): FunctionLiteral;
 }
 export declare class Modifiers {
@@ -575,14 +576,14 @@ export declare const enum ModifierFlag {
     Async = 4
 }
 export declare class NestedFunctionDeclaration {
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     entity: FunctionEntity;
     isAsync: boolean;
     isGenerator: boolean;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.NestedFunctionDeclaration;
-    constructor(valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isAsync: boolean, isGenerator: boolean, sourceLocation: SourceLocation | undefined);
+    constructor(parameters: readonly ParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isAsync: boolean, isGenerator: boolean, sourceLocation: SourceLocation | undefined);
     clone(): NestedFunctionDeclaration;
 }
 export declare class NestedFunctionDeclarationStatement {
@@ -745,12 +746,12 @@ export declare class TypeAccessExpression {
 }
 export declare class ConstructorDeclaration {
     decorators: readonly Decorator[];
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     entity: FunctionEntity;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.ConstructorDeclaration;
-    constructor(decorators: readonly Decorator[], valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, sourceLocation: SourceLocation | undefined);
+    constructor(decorators: readonly Decorator[], parameters: readonly ParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, sourceLocation: SourceLocation | undefined);
     clone(): ConstructorDeclaration;
 }
 export declare class DereferencedVariableGetterDeclaration {
@@ -776,35 +777,35 @@ export declare class DereferencedVariableSetterDeclaration {
 }
 export declare class DestructorDeclaration {
     decorators: readonly Decorator[];
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     entity: FunctionEntity;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.DestructorDeclaration;
-    constructor(decorators: readonly Decorator[], valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, sourceLocation: SourceLocation | undefined);
+    constructor(decorators: readonly Decorator[], parameters: readonly ParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, sourceLocation: SourceLocation | undefined);
     clone(): DestructorDeclaration;
 }
 export declare class IndexedElementGetterDeclaration {
     entity: FunctionEntity;
     decorators: readonly Decorator[];
     modifiers: Modifiers;
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.IndexedElementGetterDeclaration;
-    constructor(entity: FunctionEntity, decorators: readonly Decorator[], modifiers: Modifiers, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, sourceLocation: SourceLocation | undefined);
+    constructor(entity: FunctionEntity, decorators: readonly Decorator[], modifiers: Modifiers, parameters: readonly ParameterDeclaration[], body: BlockStatement, sourceLocation: SourceLocation | undefined);
     clone(): IndexedElementGetterDeclaration;
 }
 export declare class IndexedElementSetterDeclaration {
     entity: FunctionEntity;
     decorators: readonly Decorator[];
     modifiers: Modifiers;
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     valueLocalVariableEntity: VariableEntity;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.IndexedElementSetterDeclaration;
-    constructor(entity: FunctionEntity, decorators: readonly Decorator[], modifiers: Modifiers, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation: SourceLocation | undefined);
+    constructor(entity: FunctionEntity, decorators: readonly Decorator[], modifiers: Modifiers, parameters: readonly ParameterDeclaration[], body: BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation: SourceLocation | undefined);
     clone(): IndexedElementSetterDeclaration;
 }
 export declare class MethodAccessExpression {
@@ -822,7 +823,7 @@ export declare class MethodAccessExpression {
 export declare class MethodDeclaration {
     decorators: readonly Decorator[];
     modifiers: Modifiers;
-    valueParameters: readonly ValueParameterDeclaration[];
+    parameters: readonly ParameterDeclaration[];
     body: BlockStatement;
     entity: FunctionEntity;
     isGenerator: boolean;
@@ -830,7 +831,7 @@ export declare class MethodDeclaration {
     sourceLocation: SourceLocation | undefined;
     options: MethodDeclarationEmitOptions;
     readonly kind = NodeKind.MethodDeclaration;
-    constructor(decorators: readonly Decorator[], modifiers: Modifiers, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isGenerator: boolean, ifComputedThenKey: Expression | undefined, sourceLocation: SourceLocation | undefined, options?: MethodDeclarationEmitOptions);
+    constructor(decorators: readonly Decorator[], modifiers: Modifiers, parameters: readonly ParameterDeclaration[], body: BlockStatement, entity: FunctionEntity, isGenerator: boolean, ifComputedThenKey: Expression | undefined, sourceLocation: SourceLocation | undefined, options?: MethodDeclarationEmitOptions);
     clone(): MethodDeclaration;
 }
 export declare class FieldAccessExpression {
@@ -890,7 +891,7 @@ export declare class FieldSetterDeclaration {
     constructor(entity: FunctionEntity, decorators: readonly Decorator[], body: BlockStatement, valueLocalVariableEntity: VariableEntity, sourceLocation: SourceLocation | undefined);
     clone(): FieldSetterDeclaration;
 }
-export declare class ValueParameterDeclaration {
+export declare class ParameterDeclaration {
     entity: VariableEntity;
     defaultValue: Expression | undefined;
     /**
@@ -898,13 +899,13 @@ export declare class ValueParameterDeclaration {
      */
     isRest: boolean;
     sourceLocation: SourceLocation | undefined;
-    readonly kind = NodeKind.ValueParameterDeclaration;
+    readonly kind = NodeKind.ParameterDeclaration;
     constructor(entity: VariableEntity, defaultValue: Expression | undefined, 
     /**
      * ...param
      */
     isRest: boolean, sourceLocation: SourceLocation | undefined);
-    clone(): ValueParameterDeclaration;
+    clone(): ParameterDeclaration;
 }
 export declare class VariableAccessExpression {
     variable: AccessedVariable;
@@ -1011,7 +1012,7 @@ export declare const enum NodeKind {
     SwitchStatement = 58,
     TernaryExpression = 59,
     ThisExpression = 60,
-    ValueParameterDeclaration = 61,
+    ParameterDeclaration = 61,
     VariantDeclaration = 62,
     WhileStatement = 63,
     YieldStatement = 64,

package/build/types/emitter/ir/types.d.ts

@@ -1,6 +1,6 @@
 import * as ir from './Nodes.js';
-export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.NullLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ImportantStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageFunctionDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.MethodAccessExpression | ir.FieldAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedFunctionDeclaration | ir.NestedFunctionDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.CatchClause | ir.FunctionAccessExpression | ir.FunctionLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.LocalizableTextLiteral | ir.TextTemplateLiteral | ir.LocalizableTextTemplateLiteral | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.ComputedFieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.ValueJsObjectLiteralProperty | ir.FunctionJsObjectLiteralProperty | ir.SpreadJsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration | ir.TextWithEntityName | ir.Argument | ir.Arguments | ir.Decorator | ir.TextTranslationDeclaration | ir.TranslationTextTemplate;
-export type Declaration = ir.PackageFunctionDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.NestedFunctionDeclaration | ir.LocalVariableDeclaration | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.ValueParameterDeclaration | ir.VariantDeclaration | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration | ir.TextTranslationDeclaration | ir.TranslationTextTemplate;
+export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.NullLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ImportantStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageFunctionDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.MethodAccessExpression | ir.FieldAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedFunctionDeclaration | ir.NestedFunctionDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.CatchClause | ir.FunctionAccessExpression | ir.FunctionLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.LocalizableTextLiteral | ir.TextTemplateLiteral | ir.LocalizableTextTemplateLiteral | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.ComputedFieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.ParameterDeclaration | ir.VariableAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.ValueJsObjectLiteralProperty | ir.FunctionJsObjectLiteralProperty | ir.SpreadJsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration | ir.TextWithEntityName | ir.Argument | ir.Arguments | ir.Decorator | ir.TextTranslationDeclaration | ir.TranslationTextTemplate;
+export type Declaration = ir.PackageFunctionDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.NestedFunctionDeclaration | ir.LocalVariableDeclaration | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.ParameterDeclaration | ir.VariantDeclaration | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration | ir.TextTranslationDeclaration | ir.TranslationTextTemplate;
 export type Statement = ir.AssignmentStatement | ir.BlockStatement | ir.BreakLoopStatement | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.EmptyStatement | ir.ErrorStatement | ir.ImportantStatement | ir.ExpressionStatement | ir.ForStatement | ir.IfStatement | ir.NestedFunctionDeclarationStatement | ir.LocalVariableDeclarationStatement | ir.LoopStatement | ir.ReturnStatement | ir.SwitchStatement | ir.WhileStatement | ir.YieldStatement | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement;
 export type Expression = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.BinaryExpression | ir.BooleanLiteral | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.NullLiteral | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.MethodAccessExpression | ir.FieldAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.NumericLiteral | ir.FunctionAccessExpression | ir.FunctionLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.DereferenceExpression | ir.TextLiteral | ir.LocalizableTextLiteral | ir.TextWithEntityName | ir.TextTemplateLiteral | ir.LocalizableTextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;
 export type TypeMemberDeclaration = ir.FieldDeclaration | ir.ComputedFieldDeclaration | ir.MethodDeclaration | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration;

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

@@ -1,7 +1,7 @@
-import { Localization } from '../analysis/Localization.js';
 import { Tag } from '../analysis/Tags.js';
+import { Translation } from '../analysis/Translation.js';
 import { Analyzer } from '../analysis/index.js';
-import { Name } from '../common/index.js';
+import { Name, PackageDialect, PackageLocale } from '../common/index.js';
 import { PackageAliasTypeDeclaration } from '../tree/index.js';
 import { TypeEntityMembers } from './TypeEntityMembers.js';
 import { AliasedType, DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
@@ -21,7 +21,7 @@ export interface AliasTypeEntity extends ITypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
-    getLocalization(): Localization;
+    getTranslation(): Translation | undefined;
     getOriginalEntity(): AliasTypeEntity;
 }
 export type AliasTypeEntityDefinition = {
@@ -31,17 +31,18 @@ export type AliasTypeEntityDefinition = {
     kind: DefinitionKind.TypeScript;
 };
 export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntity {
-    private readonly _analyzer;
-    private readonly _node;
+    private readonly analyzer;
+    private readonly node;
     readonly kind = EntityKind.Type;
     readonly typeEntityKind = TypeEntityKind.Alias;
-    private readonly _name;
-    private readonly _aliasedType;
-    private readonly _typeParameters;
-    private readonly _members;
-    private _modifierFlags;
+    private readonly name;
+    private readonly aliasedType;
+    private readonly typeParameters;
+    private readonly members;
+    private readonly hiding;
+    private modifierFlags_;
     private get modifierFlags();
-    constructor(_analyzer: Analyzer, _node: PackageAliasTypeDeclaration);
+    constructor(analyzer: Analyzer, node: PackageAliasTypeDeclaration);
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getAliasedType(): AliasedType;
@@ -53,6 +54,8 @@ export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntit
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContext(): EntityContext;
-    getLocalization(): Localization;
+    getTranslation(): Translation | undefined;
+    getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
     getOriginalEntity(): AliasTypeEntity;
 }

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

@@ -36,8 +36,8 @@ export declare class OriginalAliasedType extends AliasedType {
      * Правая часть тождественного типа, указанная пользователем.
      */
     readonly declared: types.Type;
-    private readonly _analyzer;
-    private _state;
+    private readonly analyzer;
+    private state;
     /**
      * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
      * если указанный тип приводит к циклу.

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

@@ -0,0 +1,31 @@
+import * as types from '../types/index.js';
+import { CycleFreeBaseAspectTypesResolutionResult } from './StructuredTypeEntity.js';
+/**
+ * Класс позволяет работать с базовыми аспектными типами, исключая циклы наследования.
+ *
+ * Пример цикла наследования:
+ * ```artel
+ * тип А = аспект Б { }
+ * тип Б = аспект А { }
+ * ```
+ *
+ * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - `undefined`.
+ */
+export declare abstract class BaseAspectTypes {
+    /**
+     * Базовые аспектные типы, указанные пользователем.
+     */
+    abstract readonly declared: readonly types.Type[];
+    /**
+     * Базовые аспектные типы, указанные пользователем, которые не приводят к циклу.
+     */
+    abstract readonly cycleFree: readonly types.Type[];
+    /**
+     * Приводит ли хотя бы один базовый аспектный тип, указанный пользователем, к циклу?
+     */
+    abstract readonly causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveBaseAspectTypes(circularityTrackingStack: boolean[]): CycleFreeBaseAspectTypesResolutionResult;
+}

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

@@ -7,5 +7,5 @@ export declare abstract class BaseEntityHidingMatcher implements IEntityHidingMa
     protected abstract sourceFile: SourceFile | undefined;
     protected abstract package: PackageEntity;
     matches(hiding: EntityHidingLevel | undefined): boolean;
-    private collectBaseTypesRecursively;
+    private isDerivedFromOrEquals;
 }

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

@@ -0,0 +1,31 @@
+import * as types from '../types/index.js';
+import { CycleFreeBaseObjectTypeResolutionResult } from './StructuredTypeEntity.js';
+/**
+ * Класс позволяет работать с базовым объектным типом, исключая циклы наследования.
+ *
+ * Пример цикла наследования:
+ * ```artel
+ * тип А = объект Б { }
+ * тип Б = объект А { }
+ * ```
+ *
+ * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - `undefined`.
+ */
+export declare abstract class BaseObjectType {
+    /**
+     * Базовый объектный тип, указанный пользователем (либо базовый тип по умолчанию).
+     */
+    abstract readonly declared: types.Type | undefined;
+    /**
+     * Базовый объектный тип, указанный пользователем, либо `undefined`, если указанный тип приводит к циклу.
+     */
+    abstract readonly cycleFree: types.Type | undefined;
+    /**
+     * Приводит ли указанный базовый объектный тип к циклу?
+     */
+    abstract readonly causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveBaseObjectType(circularityTrackingStack: boolean[]): CycleFreeBaseObjectTypeResolutionResult;
+}