@artel/artc 0.6.25271 → 0.6.25273

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

@@ -8,14 +8,18 @@ export declare class Transformer {
     private transformedDeclaration_;
     get transformedDeclaration(): ir.Declaration | undefined;
     constructor(config: TransformationConfig);
-    transform(pkg: ir.Package): void;
+    transformChildren(node: ir.Node): void;
+    transformPackage(pkg: ir.Package): void;
+    transformPackageChildren(pkg: ir.Package): void;
     transformPackageMemberDeclaration(declaration: ir.PackageMemberDeclaration): readonly ir.PackageMemberDeclaration[];
     transformBlockStatement(statement: ir.BlockStatement): ir.BlockStatement;
     transformStatement(statement: ir.Statement): readonly ir.Statement[];
     transformAssignmentStatementChildren(statement: ir.AssignmentStatement): void;
     transformBlockStatementChildren(statement: ir.BlockStatement): void;
     transformCatchClause(node: ir.CatchClause): ir.CatchClause;
+    transformCatchClauseChildren(catchClause: ir.CatchClause): void;
     transformFinallyClause(node: ir.FinallyClause): ir.FinallyClause;
+    transformFinallyClauseChildren(finallyClause: ir.FinallyClause): void;
     transformBreakLoopStatementChildren(_statement: ir.BreakLoopStatement): void;
     transformContinueLoopStatementChildren(_statement: ir.ContinueLoopStatement): void;
     transformDisposeStatementChildren(statement: ir.DisposeStatement): void;
@@ -28,18 +32,22 @@ export declare class Transformer {
     transformForStatementChildren(statement: ir.ForStatement): void;
     transformIfStatementChildren(statement: ir.IfStatement): void;
     transformNestedFunctionDeclarationStatementChildren(statement: ir.NestedFunctionDeclarationStatement): void;
-    transformNestedFunctionDeclaration(declaration: ir.NestedFunctionDeclaration): ir.NestedFunctionDeclaration;
-    transformParameterDeclaration(declaration: ir.ParameterDeclaration): ir.ParameterDeclaration;
-    transformNodeWithGeneralTransformationResult<T>(node: T, transform: (node: T) => NodeTransformationResult<T> | undefined): {
-        transformedNode: T;
+    transformNestedFunctionDeclaration(node: ir.NestedFunctionDeclaration): ir.NestedFunctionDeclaration;
+    transformNestedFunctionDeclarationChildren(declaration: ir.NestedFunctionDeclaration): void;
+    transformParameterDeclaration(node: ir.ParameterDeclaration): ir.ParameterDeclaration;
+    transformParameterDeclarationChildren(declaration: ir.ParameterDeclaration): void;
+    transformNodeWithGeneralTransformationResult<T>(node: T, notBoundTransformationConfigMethod: (node: T) => NodeTransformationResult<T>): {
+        node: T;
         action: TransformationContinuationAction;
     };
     transformLocalVariableDeclarationStatementChildren(statement: ir.LocalVariableDeclarationStatement): void;
-    transformLocalVariableDeclaration(declaration: ir.LocalVariableDeclaration): ir.LocalVariableDeclaration;
+    transformLocalVariableDeclaration(node: ir.LocalVariableDeclaration): ir.LocalVariableDeclaration;
+    transformLocalVariableDeclarationChildren(declaration: ir.LocalVariableDeclaration): void;
     transformLoopStatementChildren(statement: ir.LoopStatement): void;
     transformReturnStatementChildren(statement: ir.ReturnStatement): void;
     transformSwitchStatementChildren(statement: ir.SwitchStatement): void;
-    transformCaseClause(caseClause: ir.CaseClause): ir.CaseClause;
+    transformCaseClause(node: ir.CaseClause): ir.CaseClause;
+    transformCaseClauseChildren(caseClause: ir.CaseClause): void;
     transformWhileStatementChildren(statement: ir.WhileStatement): void;
     transformYieldStatementChildren(statement: ir.YieldStatement): void;
     transformEsModuleImportDirectiveStatementChildren(_statement: ir.EsModuleImportDirectiveStatement): void;
@@ -53,8 +61,8 @@ export declare class Transformer {
     transformMethodDeclarationChildren(declaration: ir.MethodDeclaration): void;
     transformFieldDeclarationChildren(declaration: ir.FieldDeclaration): void;
     transformComputedFieldDeclarationChildren(declaration: ir.ComputedFieldDeclaration): void;
-    transformFieldGetterDeclaration(declaration: ir.FieldGetterDeclaration): ir.FieldGetterDeclaration;
-    transformFieldSetterDeclaration(declaration: ir.FieldSetterDeclaration): ir.FieldSetterDeclaration;
+    transformFieldGetterDeclaration(node: ir.FieldGetterDeclaration): ir.FieldGetterDeclaration;
+    transformFieldSetterDeclaration(node: ir.FieldSetterDeclaration): ir.FieldSetterDeclaration;
     transformIndexedElementGetterDeclarationChildren(declaration: ir.IndexedElementGetterDeclaration): void;
     transformIndexedElementSetterDeclarationChildren(declaration: ir.IndexedElementSetterDeclaration): void;
     transformFieldGetterDeclarationChildren(declaration: ir.FieldGetterDeclaration): void;
@@ -63,7 +71,8 @@ export declare class Transformer {
     transformDereferencedVariableSetterDeclarationChildren(declaration: ir.DereferencedVariableSetterDeclaration): void;
     transformPackageVariableDeclarationChildren(declaration: ir.PackageVariableDeclaration): void;
     transformPackageVariantTypeDeclarationChildren(declaration: ir.PackageVariantTypeDeclaration): void;
-    transformVariantDeclaration(declaration: ir.VariantDeclaration): ir.VariantDeclaration;
+    transformVariantDeclaration(node: ir.VariantDeclaration): ir.VariantDeclaration;
+    transformVariantDeclarationChildren(declaration: ir.VariantDeclaration): void;
     transformPackageVariableGetterDeclarationChildren(declaration: ir.PackageVariableGetterDeclaration): void;
     transformPackageVariableSetterDeclarationChildren(declaration: ir.PackageVariableSetterDeclaration): void;
     transformExpression(expression: ir.Expression): ir.Expression;
@@ -72,7 +81,9 @@ export declare class Transformer {
     transformBinaryExpressionChildren(expression: ir.BinaryExpression): void;
     transformBooleanLiteralChildren(_expression: ir.BooleanLiteral): void;
     transformCallExpressionChildren(expression: ir.CallExpression): void;
-    transformArguments(args: ir.Arguments): ir.Arguments;
+    transformArguments(node: ir.Arguments): ir.Arguments;
+    transformArgumentsChildren(args: ir.Arguments): void;
+    transformArgumentChildren(argument: ir.Argument): void;
     transformCharLiteralChildren(_expression: ir.CharLiteral): void;
     transformNullLiteralChildren(_expression: ir.NullLiteral): void;
     transformIndexedAccessExpressionChildren(expression: ir.IndexedAccessExpression): void;
@@ -111,10 +122,18 @@ export declare class Transformer {
     transformJsInstanceOfExpressionChildren(expression: ir.JsInstanceOfExpression): void;
     transformJsIdentifierExpressionChildren(_expression: ir.JsIdentifierExpression): void;
     transformDereferenceExpressionChildren(expression: ir.DereferenceExpression): void;
-    transformValueJsObjectLiteralProperty(property: ir.ValueJsObjectLiteralProperty): ir.ValueJsObjectLiteralProperty;
-    transformFunctionJsObjectLiteralProperty(property: ir.FunctionJsObjectLiteralProperty): ir.FunctionJsObjectLiteralProperty;
-    transformSpreadJsObjectLiteralProperty(property: ir.SpreadJsObjectLiteralProperty): ir.SpreadJsObjectLiteralProperty;
+    transformValueJsObjectLiteralProperty(node: ir.ValueJsObjectLiteralProperty): ir.ValueJsObjectLiteralProperty;
+    transformValueJsObjectLiteralPropertyChildren(property: ir.ValueJsObjectLiteralProperty): void;
+    transformFunctionJsObjectLiteralProperty(node: ir.FunctionJsObjectLiteralProperty): ir.FunctionJsObjectLiteralProperty;
+    transformFunctionJsObjectLiteralPropertyChildren(property: ir.FunctionJsObjectLiteralProperty): void;
+    transformSpreadJsObjectLiteralProperty(node: ir.SpreadJsObjectLiteralProperty): ir.SpreadJsObjectLiteralProperty;
+    transformSpreadJsObjectLiteralPropertyChildren(property: ir.SpreadJsObjectLiteralProperty): void;
     transformDecorator(node: ir.Decorator): ir.Decorator;
+    transformDecoratorChildren(node: ir.Decorator): void;
+    transformTextTranslationDeclaration(node: ir.TextTranslationDeclaration): ir.TextTranslationDeclaration;
+    transformTextTranslationDeclarationChildren(declaration: ir.TextTranslationDeclaration): void;
+    transformTranslationTextTemplate(node: ir.TranslationTextTemplate): ir.TranslationTextTemplate;
+    transformTranslationTextTemplateChildren(_node: ir.TranslationTextTemplate): void;
     private transformStatementsAndAddHoistedLocalVariables;
     private createLocalVariableDeclarations;
     private transformArrayWithErrorBoundary;
@@ -214,7 +233,8 @@ export interface TransformationConfig {
     transformFunctionJsObjectLiteralProperty?(clause: ir.FunctionJsObjectLiteralProperty): NodeTransformationResult<ir.FunctionJsObjectLiteralProperty>;
     transformSpreadJsObjectLiteralProperty?(clause: ir.SpreadJsObjectLiteralProperty): NodeTransformationResult<ir.SpreadJsObjectLiteralProperty>;
     transformDecorator?(node: ir.Decorator): NodeTransformationResult<ir.Decorator>;
-    transformTextTranslationDeclaration?(declaration: ir.TextTranslationDeclaration): PackageMemberDeclarationTransformationResult;
+    transformTextTranslationDeclaration?(declaration: ir.TextTranslationDeclaration): NodeTransformationResult<ir.TextTranslationDeclaration>;
+    transformTranslationTextTemplate?(declaration: ir.TranslationTextTemplate): NodeTransformationResult<ir.TranslationTextTemplate>;
 }
 export declare const enum TransformationContinuationAction {
     Continue = 0,

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.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.CaseClause | 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.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 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;
 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.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.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/BaseAspectTypes.d.ts

@@ -1,5 +1,4 @@
 import * as types from '../types/index.js';
-import { CycleFreeBaseAspectTypesResolutionResult } from './StructuredTypeEntity.js';
 /**
  * Класс позволяет работать с базовыми аспектными типами, исключая циклы наследования.
  *
@@ -29,3 +28,29 @@ export declare abstract class BaseAspectTypes {
      */
     abstract resolveBaseAspectTypes(circularityTrackingStack: boolean[]): CycleFreeBaseAspectTypesResolutionResult;
 }
+export declare class OriginalBaseAspectTypes extends BaseAspectTypes {
+    /**
+     * Базовые аспектные типы, указанные пользователем.
+     */
+    readonly declared: readonly types.Type[];
+    private state;
+    /**
+     * Базовые аспектные типы, указанные пользователем, которые не приводят к циклу.
+     */
+    get cycleFree(): readonly types.Type[];
+    /**
+     * Приводит ли хотя бы один базовый аспектный тип, указанный пользователем, к циклу?
+     */
+    get causesCycle(): boolean;
+    constructor(declared: readonly types.Type[]);
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    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);
+}

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

@@ -1,6 +1,6 @@
 import { SourceFile } from '../project/SourceFile.js';
 import { EntityHidingLevel, IEntityHidingMatcher } from './EntityHiding.js';
-import { PackageEntity } from './PackageEntity.js';
+import { PackageEntity } from './interfaces/PackageEntity.js';
 import { TypeEntity } from './TypeEntity.js';
 export declare abstract class BaseEntityHidingMatcher implements IEntityHidingMatcher {
     protected abstract typeEntity: TypeEntity | undefined;

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

@@ -1,5 +1,4 @@
 import * as types from '../types/index.js';
-import { CycleFreeBaseObjectTypeResolutionResult } from './StructuredTypeEntity.js';
 /**
  * Класс позволяет работать с базовым объектным типом, исключая циклы наследования.
  *
@@ -29,3 +28,23 @@ export declare abstract class BaseObjectType {
      */
     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);
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    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);
+}

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

@@ -0,0 +1,104 @@
+import { Analyzer } from '../analysis/Analyzer.js';
+import { SemanticContext } from '../analysis/semantic-context/SemanticContext.js';
+import { PackageDialect, PackageLocale } from '../common/index.js';
+import * as types from '../types/index.js';
+import { IEntityHidingMatcher } from './EntityHiding.js';
+import { AliasTypeEntity } from './interfaces/AliasTypeEntity.js';
+import { ConstructorEntity } from './interfaces/ConstructorEntity.js';
+import { DereferenceOperatorEntity } from './interfaces/DereferenceOperatorEntity.js';
+import { DestructorEntity } from './interfaces/DestructorEntity.js';
+import { FunctionEntity, MethodEntity, NestedFunctionEntity, PackageFunctionEntity } from './interfaces/FunctionEntity.js';
+import { FunctionTypeEntity, PackageFunctionTypeEntity } from './interfaces/FunctionTypeEntity.js';
+import { GetterEntity } from './interfaces/GetterEntity.js';
+import { IndexerEntity } from './interfaces/IndexerEntity.js';
+import { OperatorEntity } from './interfaces/OperatorEntity.js';
+import { PackageAliasEntity } from './interfaces/PackageAliasEntity.js';
+import { PackageEntity } from './interfaces/PackageEntity.js';
+import { SetterEntity } from './interfaces/SetterEntity.js';
+import { PackageStructuredTypeEntity, StructuredTypeEntity } from './interfaces/StructuredTypeEntity.js';
+import { TextTranslationEntity } from './interfaces/TextTranslationEntity.js';
+import { TypeExtensionEntity } from './interfaces/TypeExtensionEntity.js';
+import { TypeParameterEntity } from './interfaces/TypeParameterEntity.js';
+import { FieldEntity, PackageVariableEntity, VariableEntity } from './interfaces/VariableEntity.js';
+import { PackageVariantTypeEntity, VariantTypeEntity } from './interfaces/VariantTypeEntity.js';
+import { TypeEntity } from './TypeEntity.js';
+export declare const enum DefinitionKind {
+    Source = 0,
+    Intrinsic = 1,
+    TypeScript = 2
+}
+export declare const enum EntityKind {
+    Variable = 0,
+    Function = 1,
+    Type = 2,
+    Getter = 3,
+    Setter = 4,
+    Indexer = 5,
+    DereferenceOperator = 6,
+    Constructor = 7,
+    Destructor = 8,
+    Operator = 9,
+    PackageAlias = 10,
+    TypeExtension = 11,
+    Package = 12,
+    TextTranslation = 13
+}
+export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | TypeExtensionEntity | TextTranslationEntity;
+export type PackageTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity;
+export declare function isPackageTypeEntity(entity: TypeEntity): entity is PackageTypeEntity;
+export type NamedTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
+export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity;
+export declare function isTypeEntityWithMembers(entity: TypeEntity): entity is TypeEntityWithMembers;
+export type TypeOrExtensionEntity = TypeEntity | TypeExtensionEntity;
+export type TypeWithMembersOrExtensionEntity = TypeEntityWithMembers | TypeExtensionEntity;
+export declare namespace TypeWithMembersOrExtensionEntity {
+    function getContextualTypeEntity(entity: TypeWithMembersOrExtensionEntity): TypeEntity | undefined;
+}
+export declare function isTypeWithMembersOrExtensionEntity(entity: Entity): entity is TypeWithMembersOrExtensionEntity;
+export declare function isTypeEntity(entity: Entity): entity is TypeEntity;
+export declare function isNamedTypeEntity(entity: TypeEntity): entity is NamedTypeEntity;
+export type PackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity | TypeExtensionEntity;
+export declare function isPackageMemberEntity(entity: Entity): entity is PackageMemberEntity;
+export type NamedPackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity;
+export type EntityWithTags = ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity | FunctionEntity | VariableEntity | GetterEntity | SetterEntity | TypeEntity | OperatorEntity;
+export declare function isEntityWithTags(entity: Entity): entity is EntityWithTags;
+export type TypeMemberEntity = FieldEntity | MethodEntity | OperatorEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
+export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
+export declare namespace TypeMemberEntity {
+    function isAspectTypeMember(entity: TypeMemberEntity): boolean;
+    function isRefObjectTypeMember(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление является всеобщим (помечено модификатором "всеобщее").
+     */
+    function isStatic(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление помечено модификатором "базовое".
+     */
+    function markedBasic(entity: TypeMemberEntity): boolean;
+    /**
+     * Возвращает `true`, если объявление можно заменить в производном типе.
+     *
+     * Объявление можно заменить в производном типе, если оно не всеобщее, и выполняется одно из условий:
+     * - объявление помечено модификатором "базовое"
+     * - объявление помечено модификатором "абстрактное"
+     */
+    function isBasic(entity: TypeMemberEntity): boolean;
+    function isAbstract(entity: TypeMemberEntity): boolean;
+    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 type PackageOrNestedFunctionEntity = PackageFunctionEntity | NestedFunctionEntity;
+export declare class EntityContext {
+    readonly containingPackage: PackageEntity;
+    readonly hidingMatcher: IEntityHidingMatcher;
+    readonly typeExtensionLookup: SemanticContext | undefined;
+    get locale(): PackageLocale;
+    get packageDialect(): PackageDialect;
+    constructor(containingPackage: PackageEntity, hidingMatcher: IEntityHidingMatcher, typeExtensionLookup: SemanticContext | undefined);
+    static fromSemanticContext(semanticContext: SemanticContext): EntityContext;
+}
+export declare function entityToStringDecorator<T extends {
+    new (...args: any[]): Entity;
+}>(constructor: T): void;

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

@@ -1,5 +1,5 @@
 import { SourceFile } from '../project/index.js';
-import { PackageEntity } from './PackageEntity.js';
+import { PackageEntity } from './interfaces/PackageEntity.js';
 import { TypeEntity } from './index.js';
 export type EntityHidingLevel = EntityHidingLevel_type | EntityHidingLevel_typeHierarchy | EntityHidingLevel_file | EntityHidingLevel_package;
 export declare class EntityHidingLevel_type {

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

@@ -1,9 +1,9 @@
 import { Name } from '../common/index.js';
-import { ConstructorEntity } from './ConstructorEntity.js';
-import { DereferenceOperatorEntity } from './DereferenceOperatorEntity.js';
-import { DestructorEntity } from './DestructorEntity.js';
-import { IndexerEntity } from './IndexerEntity.js';
-import { OperatorEntity } from './OperatorEntity.js';
+import { ConstructorEntity } from './interfaces/ConstructorEntity.js';
+import { DereferenceOperatorEntity } from './interfaces/DereferenceOperatorEntity.js';
+import { DestructorEntity } from './interfaces/DestructorEntity.js';
+import { IndexerEntity } from './interfaces/IndexerEntity.js';
+import { OperatorEntity } from './interfaces/OperatorEntity.js';
 import { OperatorKind } from './OperatorKind.js';
 import { NamedTypeMemberEntity, TypeMemberEntity } from './index.js';
 export declare class TypeEntityMembers {

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

@@ -1,130 +1,12 @@
-import { Analyzer } from '../analysis/Analyzer.js';
-import { SemanticContext } from '../analysis/semantic-context/SemanticContext.js';
-import { PackageDialect, PackageLocale } from '../common/index.js';
-import * as types from '../types/index.js';
-import { AliasTypeEntity } from './AliasTypeEntity.js';
-import { ConstructorEntity } from './ConstructorEntity.js';
-import { DereferenceOperatorEntity } from './DereferenceOperatorEntity.js';
-import { DestructorEntity } from './DestructorEntity.js';
-import { IEntityHidingMatcher } from './EntityHiding.js';
-import { FunctionEntity, MethodEntity, NestedFunctionEntity, PackageFunctionEntity } from './FunctionEntity.js';
-import { FunctionTypeEntity, PackageFunctionTypeEntity } from './FunctionTypeEntity.js';
-import { GetterEntity } from './GetterEntity.js';
-import { IndexerEntity } from './IndexerEntity.js';
-import { TextTranslationEntity } from './TextTranslationEntity.js';
-import { OperatorEntity } from './OperatorEntity.js';
-import { PackageAliasEntity } from './PackageAliasEntity.js';
-import { PackageEntity } from './PackageEntity.js';
-import { SetterEntity } from './SetterEntity.js';
-import { PackageStructuredTypeEntity, StructuredTypeEntity } from './StructuredTypeEntity.js';
-import { TypeEntity } from './TypeEntity.js';
-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 './BaseAspectTypes.js';
 export * from './BaseObjectType.js';
-export * from './ConstructorEntity.js';
-export * from './DereferenceOperatorEntity.js';
-export * from './DestructorEntity.js';
+export * from './Entity.js';
 export * from './EntityHiding.js';
 export * from './EntityNaming.js';
-export * from './FunctionEntity.js';
-export * from './FunctionTypeEntity.js';
-export * from './GetterEntity.js';
-export * from './IndexerEntity.js';
-export * from './TextTranslationEntity.js';
-export * from './OperatorEntity.js';
+export * from './interfaces/index.js';
+export * from './intrinsic/index.js';
 export * from './OperatorKind.js';
-export * from './PackageAliasEntity.js';
-export * from './PackageEntity.js';
-export * from './SetterEntity.js';
-export * from './StructuredTypeEntity.js';
+export * from './source/index.js';
 export * from './SubstitutionApplicationMode.js';
 export * from './TypeEntity.js';
-export * from './TypeExtensionEntity.js';
-export * from './TypeParameterEntity.js';
-export * from './VariableEntity.js';
-export * from './VariantTypeEntity.js';
-export declare const enum DefinitionKind {
-    Source = 0,
-    Intrinsic = 1,
-    TypeScript = 2
-}
-export declare const enum EntityKind {
-    Variable = 0,
-    Function = 1,
-    Type = 2,
-    Getter = 3,
-    Setter = 4,
-    Indexer = 5,
-    DereferenceOperator = 6,
-    Constructor = 7,
-    Destructor = 8,
-    Operator = 9,
-    PackageAlias = 10,
-    TypeExtension = 11,
-    Package = 12,
-    TextTranslation = 13
-}
-export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | TypeExtensionEntity | TextTranslationEntity;
-export type PackageTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity;
-export declare function isPackageTypeEntity(entity: TypeEntity): entity is PackageTypeEntity;
-export type NamedTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
-export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity;
-export declare function isTypeEntityWithMembers(entity: TypeEntity): entity is TypeEntityWithMembers;
-export type TypeOrExtensionEntity = TypeEntity | TypeExtensionEntity;
-export type TypeWithMembersOrExtensionEntity = TypeEntityWithMembers | TypeExtensionEntity;
-export declare namespace TypeWithMembersOrExtensionEntity {
-    function getContextualTypeEntity(entity: TypeWithMembersOrExtensionEntity): TypeEntity | undefined;
-}
-export declare function isTypeWithMembersOrExtensionEntity(entity: Entity): entity is TypeWithMembersOrExtensionEntity;
-export declare function isTypeEntity(entity: Entity): entity is TypeEntity;
-export declare function isNamedTypeEntity(entity: TypeEntity): entity is NamedTypeEntity;
-export type PackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity | TypeExtensionEntity;
-export declare function isPackageMemberEntity(entity: Entity): entity is PackageMemberEntity;
-export type NamedPackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity;
-export type EntityWithTags = ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity | FunctionEntity | VariableEntity | GetterEntity | SetterEntity | TypeEntity | OperatorEntity;
-export declare function isEntityWithTags(entity: Entity): entity is EntityWithTags;
-export type TypeMemberEntity = FieldEntity | MethodEntity | OperatorEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
-export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
-export declare namespace TypeMemberEntity {
-    function isAspectTypeMember(entity: TypeMemberEntity): boolean;
-    function isRefObjectTypeMember(entity: TypeMemberEntity): boolean;
-    /**
-     * Возвращает `true`, если объявление является всеобщим (помечено модификатором "всеобщее").
-     */
-    function isStatic(entity: TypeMemberEntity): boolean;
-    /**
-     * Возвращает `true`, если объявление помечено модификатором "базовое".
-     */
-    function markedBasic(entity: TypeMemberEntity): boolean;
-    /**
-     * Возвращает `true`, если объявление можно заменить в производном типе.
-     *
-     * Объявление можно заменить в производном типе, если оно не всеобщее, и выполняется одно из условий:
-     * - объявление помечено модификатором "базовое"
-     * - объявление помечено модификатором "абстрактное"
-     */
-    function isBasic(entity: TypeMemberEntity): boolean;
-    function isAbstract(entity: TypeMemberEntity): boolean;
-    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 type PackageOrNestedFunctionEntity = PackageFunctionEntity | NestedFunctionEntity;
-export declare class EntityContext {
-    readonly containingPackage: PackageEntity;
-    readonly hidingMatcher: IEntityHidingMatcher;
-    readonly typeExtensionLookup: SemanticContext | undefined;
-    get locale(): PackageLocale;
-    get packageDialect(): PackageDialect;
-    constructor(containingPackage: PackageEntity, hidingMatcher: IEntityHidingMatcher, typeExtensionLookup: SemanticContext | undefined);
-    static fromSemanticContext(semanticContext: SemanticContext): EntityContext;
-}
-export declare function entityToStringDecorator<T extends {
-    new (...args: any[]): Entity;
-}>(constructor: T): void;
+export * from './TypeEntityMembers.js';

package/build/types/entities/{AliasedType.d.ts → interfaces/AliasTypeEntity.d.ts}

@@ -1,17 +1,48 @@
-import { Analyzer } from '../analysis/index.js';
-import * as types from '../types/index.js';
+import { Tag } from '../../analysis/Tag.js';
+import { Translation } from '../../analysis/Translation.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 { TypeEntityMembers } from '../TypeEntityMembers.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+export interface AliasTypeEntity extends ITypeEntity {
+    readonly kind: EntityKind.Type;
+    readonly typeEntityKind: TypeEntityKind.Alias;
+    getName(): Name;
+    getContainingPackage(): PackageEntity;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса AliasedType.
+     */
+    getAliasedType(): AliasedType;
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getDefinition(): AliasTypeEntityDefinition;
+    getMembers(): TypeEntityMembers;
+    getArity(): number;
+    isHidden(): EntityHidingLevel | undefined;
+    getTags(): readonly Tag[];
+    getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getTranslation(): Translation | undefined;
+    getOriginalEntity(): AliasTypeEntity;
+}
+export type AliasTypeEntityDefinition = {
+    kind: DefinitionKind.Source;
+    node: tree.PackageAliasTypeDeclaration;
+} | {
+    kind: DefinitionKind.TypeScript;
+};
 /**
- * Класс позволяет работать с правой частью тождественного типа (с "aliased type"), исключая циклы.
- *
- * Пример цикла:
- * ```artel
- * тип А = Б
- * тип Б = А
- * ```
- *
- * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - тип `unresolved`, чтобы разорвать цикл,
- * созданный типами `А` и `Б`.
- */
+* Класс позволяет работать с правой частью тождественного типа (с "aliased type"), исключая циклы.
+*
+* Пример цикла:
+* ```artel
+* тип А = Б
+* тип Б = А
+* ```
+*
+* Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - тип `unresolved`, чтобы разорвать цикл,
+* созданный типами `А` и `Б`.
+*/
 export declare abstract class AliasedType {
     /**
      * Правая часть тождественного типа, указанная пользователем.

package/build/types/entities/interfaces/ConstructorEntity.d.ts

@@ -0,0 +1,44 @@
+import { Tag } from '../../analysis/Tag.js';
+import { Translation } from '../../analysis/Translation.js';
+import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
+import { IEntity } from '../IEntity.js';
+import type { TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity } from '../index.js';
+export interface ConstructorEntity extends IEntity {
+    readonly kind: EntityKind.Constructor;
+    getParameters(): readonly ParameterEntity[];
+    getDefinition(): ConstructorEntityDefinition;
+    getContainingEntity(): TypeWithMembersOrExtensionEntity;
+    isDefault(): DefaultConstructorEntityInfo | undefined;
+    isHidden(): EntityHidingLevel | undefined;
+    markedAbstract(): boolean;
+    getTags(): readonly Tag[];
+    getTranslation(): Translation | undefined;
+    getOriginalEntity(): ConstructorEntity;
+}
+export declare class DefaultConstructorEntityInfo {
+    readonly baseConstructor: types.Constructor | undefined;
+    readonly orderedParametersForBaseConstructor: readonly DefaultConstructorParameterForBaseConstructorInfo[];
+    readonly hasParametersForFieldInitialization: boolean;
+    readonly parametersForOwnFieldsInitialization: readonly ConstructorParameterInitializingFieldInfo[] | undefined;
+    constructor(baseConstructor: types.Constructor | undefined, orderedParametersForBaseConstructor: readonly DefaultConstructorParameterForBaseConstructorInfo[], hasParametersForFieldInitialization: boolean, parametersForOwnFieldsInitialization: readonly ConstructorParameterInitializingFieldInfo[] | undefined);
+}
+export declare class DefaultConstructorParameterForBaseConstructorInfo {
+    readonly parameter: ParameterEntity;
+    readonly baseConstructorParameter: ParameterEntity;
+    constructor(parameter: ParameterEntity, baseConstructorParameter: ParameterEntity);
+}
+export declare class ConstructorParameterInitializingFieldInfo {
+    readonly parameter: ParameterEntity;
+    readonly field: FieldEntity;
+    constructor(parameter: ParameterEntity, field: FieldEntity);
+}
+export type ConstructorEntityDefinition = {
+    kind: DefinitionKind.Source;
+    node: tree.ConstructorDeclaration;
+} | {
+    kind: DefinitionKind.Intrinsic;
+} | {
+    kind: DefinitionKind.TypeScript;
+};

package/build/types/entities/interfaces/DereferenceOperatorEntity.d.ts

@@ -0,0 +1,30 @@
+import { Tag } from '../../analysis/Tag.js';
+import { Translation } from '../../analysis/Translation.js';
+import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
+import { IEntity } from '../IEntity.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+export interface DereferenceOperatorEntity extends IEntity {
+    readonly kind: EntityKind.DereferenceOperator;
+    getType(): types.Type;
+    getGetter(): GetterEntity | undefined;
+    getSetter(): SetterEntity | undefined;
+    getDefinition(): DereferenceOperatorEntityDefinition;
+    getContainingEntity(): TypeWithMembersOrExtensionEntity;
+    isStatic(): boolean;
+    isHidden(): EntityHidingLevel | undefined;
+    isOverride(): boolean;
+    markedBasic(): boolean;
+    markedAbstract(): boolean;
+    getTags(): readonly Tag[];
+    getOverriddenMembers(): readonly types.DereferenceOperator[];
+    getTranslation(): Translation | undefined;
+    getOriginalEntity(): DereferenceOperatorEntity;
+    ensureAllDiagnosticsReported?(): void;
+}
+export type DereferenceOperatorEntityDefinition = {
+    kind: DefinitionKind.Source;
+    nodes: ReadonlyArray<tree.DereferencedVariableGetterDeclaration | tree.DereferencedVariableSetterDeclaration>;
+} | {
+    kind: DefinitionKind.Intrinsic;
+};

package/build/types/entities/interfaces/DestructorEntity.d.ts

@@ -0,0 +1,20 @@
+import { Tag } from '../../analysis/Tag.js';
+import { Translation } from '../../analysis/Translation.js';
+import * as tree from '../../tree/index.js';
+import { IEntity } from '../IEntity.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+export interface DestructorEntity extends IEntity {
+    readonly kind: EntityKind.Destructor;
+    getParameters(): readonly ParameterEntity[];
+    getContainingEntity(): TypeWithMembersOrExtensionEntity;
+    getDefinition(): DestructorEntityDefinition;
+    isHidden(): EntityHidingLevel | undefined;
+    markedAbstract(): boolean;
+    getTags(): readonly Tag[];
+    getTranslation(): Translation | undefined;
+    getOriginalEntity(): DestructorEntity;
+}
+export type DestructorEntityDefinition = {
+    kind: DefinitionKind.Source;
+    node: tree.DestructorDeclaration;
+};