@artel/artc 0.6.26018 → 0.6.26019

package/build/types/api/Api.d.ts

@@ -1,30 +1,28 @@
+export { Analyzer as AnalyzerA } from '../analysis/a/Analyzer.js';
+export { MatchResult, MatchResultParameter } from '../analysis/a/ArgumentToParameterMatchResult.js';
+export type { Meaning as AutotypeCallExpressionMeaning } from '../analysis/a/AutotypeCallExpressionMeaning.js';
+export type { Meaning as BaseExpressionMeaning } from '../analysis/a/BaseExpressionMeaning.js';
+export type { Meaning as CallExpressionMeaning } from '../analysis/a/CallExpressionMeaning.js';
+export type { Meaning as DereferenceExpressionMeaning } from '../analysis/a/DereferenceExpressionMeaning.js';
+export * from '../analysis/a/ExpressionAnalysisOptions.js';
+export * from '../analysis/a/FindModifier.js';
+export type { Meaning as IdentifierExpressionMeaning } from '../analysis/a/IdentifierExpressionMeaning.js';
+export type { Meaning as IndexedAccessExpressionMeaning } from '../analysis/a/IndexedAccessExpressionMeaning.js';
+export type { Meaning as MemberAccessExpressionMeaning } from '../analysis/a/MemberAccessExpressionMeaning.js';
+export type { Meaning as ObjectExpressionMeaning } from '../analysis/a/ObjectExpressionMeaning.js';
+export * from '../analysis/a/ReservedNameDictionary.js';
+export * from '../analysis/a/ResolvedTranslationPackage.js';
+export * as semanticContext from '../analysis/a/semantic-context/index.js';
+export * from '../analysis/a/SourceFileAnalyzer.js';
+export type { Meaning as TagMeaning } from '../analysis/a/TagMeaning.js';
 export * from '../analysis/AccessedFunction.js';
-export * from '../analysis/AnalyzedTranslationPackage.js';
 export * from '../analysis/Analyzer.js';
-export { MatchResult, MatchResultParameter } from '../analysis/ArgumentToParameterMatchResult.js';
-export type { Meaning as AutotypeCallExpressionMeaning } from '../analysis/AutotypeCallExpressionMeaning.js';
-export type { Meaning as BaseExpressionMeaning } from '../analysis/BaseExpressionMeaning.js';
-export type { Meaning as CallExpressionMeaning } from '../analysis/CallExpressionMeaning.js';
-export type { Meaning as DereferenceExpressionMeaning } from '../analysis/DereferenceExpressionMeaning.js';
-export * from '../analysis/FindModifier.js';
-export type { Meaning as IdentifierExpressionMeaning } from '../analysis/IdentifierExpressionMeaning.js';
 export * from '../analysis/ImportedPackageNameTree.js';
-export type { Meaning as IndexedAccessExpressionMeaning } from '../analysis/IndexedAccessExpressionMeaning.js';
-export type { Meaning as MemberAccessExpressionMeaning } from '../analysis/MemberAccessExpressionMeaning.js';
-export * from '../analysis/NodeTypeUtils.js';
-export type { Meaning as ObjectExpressionMeaning } from '../analysis/ObjectExpressionMeaning.js';
 export * from '../analysis/PackageMemberLookup.js';
-export * from '../analysis/ReservedNameDictionary.js';
-export * as semanticContext from '../analysis/semantic-context/index.js';
-export * from '../analysis/SourceFileAnalyzer.js';
 export * from '../analysis/SourcePackageDependencyGraph.js';
 export * from '../analysis/SubstitutedFunction.js';
-export * from '../analysis/Tag.js';
-export type { Meaning as TagMeaning } from '../analysis/TagMeaning.js';
-export * from '../analysis/Translation.js';
+export * from '../analysis/TsInteropInputs.js';
 export * from '../analysis/TypeMemberLookup.js';
-export * from '../analysis/Utils.js';
-export * from '../analysis/Visitor.js';
 export * from '../analysis/WellKnownDeclarations.js';
 export * from '../common/index.js';
 export * from '../diagnostic/Diagnostic.js';
@@ -32,16 +30,17 @@ export * from '../diagnostic/DiagnosticCode.js';
 export * from '../diagnostic/DiagnosticData.js';
 export * from '../emitter/Emitter.js';
 export * from '../entities/index.js';
+export * from '../entities/Tag.js';
 export * from '../executor/Compiler.js';
+export * from '../parser/a/KeywordDictionary.js';
+export * from '../parser/a/Parser.js';
+export * from '../parser/a/Scanner.js';
+export { TokenKind as ScannerTokenKind } from '../parser/a/TokenKind.js';
 export * from '../parser/CharacterCodes.js';
-export * from '../parser/KeywordDictionary.js';
 export * from '../parser/ParseNumber.js';
-export * from '../parser/Parser.js';
-export * from '../parser/Scanner.js';
-export { TokenKind as ScannerTokenKind } from '../parser/TokenKind.js';
 export * from '../parser/UnescapeText.js';
 export * from '../project/index.js';
-export * as tree from '../tree/index.js';
+export * as tree from '../tree/a/index.js';
 export * from '../ts-interop/TsLibrariesProvider.js';
 export * from '../ts-interop/Utils.js';
 export * as type from '../types/index.js';

package/build/types/common/LocalizationHelper.d.ts

@@ -1,15 +1,5 @@
-import { ReservedNameKind } from '../analysis/ReservedNameDictionary.js';
-import { OperatorKind } from '../entities/OperatorKind.js';
-import { Keyword } from '../parser/KeywordDictionary.js';
-import * as tree from '../tree/index.js';
 import { HelperPhraseKind } from './HelperPhrases.js';
-import { PackageDialect, PackageLocale } from './index.js';
+import { PackageLocale } from './index.js';
 export declare class LocalizationHelper {
-    static localizeKeyword(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): readonly Keyword[];
-    static localizeKeywordAndTakeFirst(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): string;
-    static localizeKeywordAndTakeBest(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect, preferredFlags?: tree.KeywordFlags): string;
-    static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): string;
     static localizeHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;
-    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
-    static localizeSyntacticalOperatorKind(kind: tree.OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
 }

package/build/types/common/LocalizationHelperA.d.ts

@@ -0,0 +1,16 @@
+import { ReservedNameKind } from '../analysis/a/ReservedNameDictionary.js';
+import { OperatorKind } from '../entities/OperatorKind.js';
+import { Keyword } from '../parser/a/KeywordDictionary.js';
+import { KeywordFlags } from '../tree/a/KeywordFlags.js';
+import { KeywordKind } from '../tree/a/KeywordKind.js';
+import { OperatorKind as SyntacticalOperatorKind } from '../tree/a/OperatorKind.js';
+import { PackageDialect, PackageLocale } from './index.js';
+import { LocalizationHelper } from './LocalizationHelper.js';
+export declare class LocalizationHelperA extends LocalizationHelper {
+    static localizeKeyword(kind: KeywordKind, locale: PackageLocale, dialect: PackageDialect): readonly Keyword[];
+    static localizeKeywordAndTakeFirst(kind: KeywordKind, locale: PackageLocale, dialect: PackageDialect): string;
+    static localizeKeywordAndTakeBest(kind: KeywordKind, locale: PackageLocale, dialect: PackageDialect, preferredFlags?: KeywordFlags): string;
+    static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): string;
+    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
+    static localizeSyntacticalOperatorKind(kind: SyntacticalOperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
+}

package/build/types/common/Logger.d.ts

@@ -1,5 +1,5 @@
 import { EmitterError } from '../emitter/ErrorBoundary.js';
-import { Node } from '../tree/index.js';
+import { Node } from '../tree/Types.js';
 export declare class Logger {
     static info(message: string): void;
     static warn(message: string): void;

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

@@ -13,6 +13,7 @@ export * from './Interner.js';
 export * from './JavaScriptIdentifier.js';
 export * from './Lazy.js';
 export * from './LocalizationHelper.js';
+export * from './LocalizationHelperA.js';
 export * from './Logger.js';
 export * from './Name.js';
 export * from './NameFormatConversion.js';
@@ -26,6 +27,5 @@ export * from './Query.js';
 export * from './Range.js';
 export * from './Result.js';
 export * from './TaskController.js';
-export * from './TreeTraversal.js';
 export * from './Uri.js';
 export * from './UserLocale.js';

package/build/types/diagnostic/TokenDiagnostic.d.ts

@@ -1,2 +1,2 @@
-import { TokenKind } from '../tree/index.js';
+import { TokenKind } from '../tree/a/index.js';
 export declare function getTokenName(tokenKind: TokenKind): string;

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

@@ -1,4 +1,4 @@
-import { Analyzer } from '../analysis/index.js';
+import { Analyzer } from '../analysis/Analyzer.js';
 import { TaskController, Uri } from '../common/index.js';
 import { JavaScriptImplementationConfig, PlatformKind } from '../project/index.js';
 import { NamedEntity, PackageEntity, PackageMemberEntity } from './Entities.js';

package/build/types/emitter/{IrBuilder.d.ts → IrBuilderA.d.ts}

@@ -1,11 +1,11 @@
-import { DeclarationsUsageMap } from '../analysis/DeclarationsUsageCounter.js';
-import { Analyzer } from '../analysis/index.js';
-import { SourceFile, SourcePackage } from '../project/index.js';
-import * as tree from '../tree/index.js';
+import { Analyzer } from '../analysis/a/Analyzer.js';
+import { DeclarationsUsageMap } from '../analysis/DeclarationsUsageMap.js';
+import { SourceFile, SourcePackageA } from '../project/index.js';
+import * as commonTree from '../tree/index.js';
 import { EmitterContext } from './EmitterContext.js';
 import { EntityMap } from './EntityMap.js';
 import * as ir from './ir/index.js';
-export declare class IrBuilder {
+export declare class IrBuilderA {
     private readonly ectx;
     private readonly entityMap;
     private readonly declarationUsageInfoOfAllPackages;
@@ -18,8 +18,8 @@ export declare class IrBuilder {
     private currentLoopLabel;
     private get analyzer();
     private get textTemplateToTextMethod();
-    constructor(ectx: EmitterContext, entityMap: EntityMap, declarationUsageInfoOfAllPackages: ReadonlyMap<tree.SourceFile, DeclarationsUsageMap>);
-    build(pkg: SourcePackage): ir.Package;
+    constructor(ectx: EmitterContext, entityMap: EntityMap, declarationUsageInfoOfAllPackages: ReadonlyMap<commonTree.SourceFile, DeclarationsUsageMap>);
+    build(pkg: SourcePackageA): ir.Package;
     private buildPackageMemberDeclarationList;
     private buildBackingPackageVariables;
     private buildPackageConstructorDeclaration;

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

@@ -1,4 +1,4 @@
-import * as types from '../types/index.js';
+import type * as types from '../types/index.js';
 /**
  * Класс позволяет работать с базовым объектным типом, исключая циклы наследования.
  *

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

@@ -1,5 +1,3 @@
-import { Analyzer } from '../analysis/Analyzer.js';
-import * as types from '../types/index.js';
 import { AliasTypeEntity } from './interfaces/AliasTypeEntity.js';
 import { ConstructorEntity } from './interfaces/ConstructorEntity.js';
 import { DereferenceOperatorEntity } from './interfaces/DereferenceOperatorEntity.js';
@@ -24,22 +22,6 @@ export declare const enum DefinitionKind {
     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 | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | TextTranslationEntity;
 export type PackageTypeEntity = PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isPackageTypeEntity(entity: Entity): entity is PackageTypeEntity;
@@ -60,32 +42,6 @@ export type PackageMemberEntity = PackageVariableEntity | PackageFunctionEntity
 export declare function isPackageMemberEntity(entity: Entity): entity is PackageMemberEntity;
 export type NamedPackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity;
 export declare function isNamedPackageMemberEntity(entity: Entity): entity is NamedPackageMemberEntity;
-export type TypeMemberEntity = FieldEntity | MethodEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
-export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
-export declare namespace TypeMemberEntity {
-    function isAspectMember(entity: TypeMemberEntity): boolean;
-    function isClassMember(entity: TypeMemberEntity): boolean;
-    function isReducedTypeMember(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 declare function isNamedTypeMemberEntity(entity: Entity): entity is NamedTypeMemberEntity;
 export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity;
@@ -98,7 +54,7 @@ export type EntityWithParameters = Exclude<EntityContainingParameter, PackageEnt
 export declare function isEntityWithParameters(entity: Entity): entity is EntityWithParameters;
 export type NamedFunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity;
 export declare function isNamedFunctionEntity(entity: Entity): entity is NamedFunctionEntity;
-export declare function entityToStringDecorator<T extends {
-    new (...args: any[]): Entity;
-}>(constructor: T): void;
+export declare function isComputedVariableEntity(entity: VariableEntity): boolean;
+export declare function getRequiredTypeParameterCount(typeParameters: readonly TypeParameterEntity[]): number;
 export declare function findObjectParameter(parameters: readonly ParameterEntity[]): ParameterEntity | undefined;
+export declare function ifTypeEntityIsFunctionTypeAliasThenFunctionType(entity: TypeEntity): AnonymousFunctionTypeEntity | undefined;

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

@@ -0,0 +1,16 @@
+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
+}

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

@@ -1,12 +1,14 @@
-import { AnalyzedTranslationPackage } from '../analysis/AnalyzedTranslationPackage.js';
 import { Analyzer } from '../analysis/Analyzer.js';
-import * as types from '../types/index.js';
-import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, Entity, FieldEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, MethodEntity, NamedTypeMemberEntity, PackageEntity, PackageFunctionEntity, PackageMemberEntity, PackageStructuredTypeEntity, PackageTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, SetterEntity, StructuredTypeEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity, TypeMemberEntity, TypeParameterEntity, TypeWithMembersOrExtensionEntity, VariantTypeEntity } from './index.js';
+import type * as types from '../types/index.js';
+import { Substitutions } from '../types/Substitutions.js';
+import { Entity, NamedTypeMemberEntity, PackageMemberEntity, PackageTypeEntity, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from './Entity.js';
+import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, FieldEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, MethodEntity, NameTranslationPackageEntity, PackageEntity, PackageFunctionEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, SetterEntity, StructuredTypeEntity, TypeExtensionEntity, TypeParameterEntity, VariantTypeEntity } from './interfaces/index.js';
+import { TypeEntity } from './TypeEntity.js';
+import { TypeMemberEntity } from './TypeMemberEntity.js';
 export declare class EntityLocalizationContext {
     private readonly analyzer;
     private readonly translationPackage;
-    get packageEntity(): PackageEntity;
-    constructor(analyzer: Analyzer, translationPackage: AnalyzedTranslationPackage);
+    constructor(analyzer: Analyzer, translationPackage: NameTranslationPackageEntity);
     getLocalizedPackageEntity(entity: PackageEntity): PackageEntity;
     getLocalizedPackageVariableEntity(entity: PackageVariableEntity): PackageVariableEntity;
     getLocalizedFieldEntity(entity: FieldEntity): FieldEntity;
@@ -40,7 +42,7 @@ export declare class EntityLocalizationContext {
     getLocalizedEntity(entity: LocalizableEntity): LocalizableEntity;
     getLocalizedEntityForPossiblyNotLocalizableEntity(entity: Entity): Entity;
     createLocalizedType(type: types.Type): types.Type;
-    createLocalizedSubstitutions(substitutions: types.Substitutions): types.Substitutions;
+    createLocalizedSubstitutions(substitutions: Substitutions): Substitutions;
     private getOwnTranslatedEntity;
     private getOwnTranslatedTypeEntity;
     private getOwnTranslatedTypeParameterEntity;

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

@@ -0,0 +1,4 @@
+import { Entity } from './Entity.js';
+export declare function entityToStringDecorator<T extends {
+    new (...args: any[]): Entity;
+}>(constructor: T): void;

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

@@ -1,7 +1,5 @@
-import { Tag } from '../analysis/Tag.js';
-import { Translation } from '../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../common/index.js';
-import { Entity, EntityKind, PackageEntity } from './index.js';
+import { Entity, EntityKind, PackageEntity, Tag, Translation } from './index.js';
 export interface IEntity {
     readonly kind: EntityKind;
     getContainingPackage(): PackageEntity;

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

@@ -1,5 +1,5 @@
-import { KeywordKind } from '../tree/KeywordKind.js';
-import { OperatorKind as SyntacticalOperatorKind } from '../tree/OperatorKind.js';
+import { KeywordKind } from '../tree/a/KeywordKind.js';
+import { OperatorKind as SyntacticalOperatorKind } from '../tree/a/OperatorKind.js';
 export declare enum OperatorKind {
     UnaryPlus = 0,
     UnaryMinus = 1,

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

@@ -1,6 +1,5 @@
-import { TextKey } from '../analysis/TextIdentity.js';
 import { Name } from '../common/index.js';
-import { NamedPackageMemberEntity, TextTranslationEntity, TypeEntity, TypeExtensionEntity } from './index.js';
+import { NamedPackageMemberEntity, TextKey, TextTranslationEntity, TypeEntity, TypeExtensionEntity } from './index.js';
 export declare class PackageEntityMembers {
     private readonly namedMembers;
     private readonly typeExtensions;

package/build/types/{analysis → entities}/Tag.d.ts

@@ -1,6 +1,6 @@
-import { FunctionEntity, ParameterEntity, TypeEntity } from '../entities/index.js';
+import { AccessedFunction } from '../analysis/AccessedFunction.js';
 import * as types from '../types/index.js';
-import { AccessedFunction } from './AccessedFunction.js';
+import { FunctionEntity, ParameterEntity, TypeEntity } from './index.js';
 export type Tag = TagType | TagFunction;
 declare abstract class TagBase {
     readonly argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>;
@@ -43,4 +43,7 @@ export declare class TagArgument_invalid {
     readonly kind = "invalid";
 }
 export declare const emptyTags: readonly Tag[];
+export declare function findTag(tagTypeEntity: TypeEntity, tags: readonly Tag[]): TagType | undefined;
+export declare function findTag(tagFunctionEntity: FunctionEntity, tags: readonly Tag[]): TagFunction | undefined;
+export declare function findTag(tagEntity: TypeEntity | FunctionEntity, tags: readonly Tag[]): TagType | TagFunction | undefined;
 export {};

package/build/types/{analysis → entities}/Translation.d.ts

@@ -1,23 +1,23 @@
 import { PackageLocale } from '../common/index.js';
 import { TranslationPackage } from '../project/index.js';
-import * as tree from '../tree/index.js';
-import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
+import * as treeA from '../tree/a/index.js';
+import { NameTranslationPackageEntity } from './index.js';
 export declare class Translation {
-    readonly translationPackage: AnalyzedTranslationPackage;
+    readonly translationPackage: NameTranslationPackageEntity;
     readonly definition: TranslationDefinition;
     get locale(): PackageLocale;
-    constructor(translationPackage: AnalyzedTranslationPackage, definition: TranslationDefinition);
+    constructor(translationPackage: NameTranslationPackageEntity, definition: TranslationDefinition);
     equals(other: Translation): boolean;
 }
 export type TranslationDefinition = SourceTranslationDefinition | IntrinsicTranslationDefinition;
 export declare class SourceTranslationDefinition {
     readonly nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode;
-    readonly translatedNameIdentifier: tree.Identifier | undefined;
+    readonly translatedNameIdentifier: treeA.Identifier | undefined;
     readonly kind = "source";
-    constructor(nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode, translatedNameIdentifier: tree.Identifier | undefined);
+    constructor(nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode, translatedNameIdentifier: treeA.Identifier | undefined);
     equals(other: TranslationDefinition): boolean;
 }
-export type SourceTranslationDefinitionNode = tree.TranslationDeclaration | tree.TypeMemberTranslation;
+export type SourceTranslationDefinitionNode = treeA.TranslationDeclaration | treeA.TypeMemberTranslation;
 export declare class IntrinsicTranslationDefinition {
     readonly kind = "intrinsic";
     constructor();

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

@@ -1,5 +1,6 @@
+import { EntityKind } from './EntityKind.js';
 import { IEntity } from './IEntity.js';
-import { AliasTypeEntity, EntityKind, FunctionTypeEntity, ReducedTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
+import { AliasTypeEntity, FunctionTypeEntity, ReducedTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './interfaces/index.js';
 export type TypeEntity = StructuredTypeEntity | FunctionTypeEntity | VariantTypeEntity | AliasTypeEntity | TypeParameterEntity | ReducedTypeEntity;
 export declare namespace TypeEntity {
     function isAbstract(entity: TypeEntity): boolean;

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

@@ -0,0 +1,31 @@
+import { Analyzer } from '../analysis/Analyzer.js';
+import { Substitutions } from '../types/Substitutions.js';
+import * as typeMember from '../types/TypeMembers.js';
+import { Entity } from './Entity.js';
+import { ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, FieldEntity, IndexerEntity, MethodEntity } from './interfaces/index.js';
+export type TypeMemberEntity = FieldEntity | MethodEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
+export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
+export declare namespace TypeMemberEntity {
+    function isAspectMember(entity: TypeMemberEntity): boolean;
+    function isClassMember(entity: TypeMemberEntity): boolean;
+    function isReducedTypeMember(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 typeMember.TypeMember[];
+    function instantiate(analyzer: Analyzer, entity: TypeMemberEntity, substitutions: Substitutions): typeMember.TypeMember;
+}

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

@@ -1,12 +1,16 @@
 export * from './Entity.js';
 export * from './EntityHiding.js';
+export * from './EntityKind.js';
 export * from './EntityLocalizationContext.js';
 export * from './EntityNaming.js';
+export * from './EntityToStringDecorator.js';
 export * from './interfaces/index.js';
 export * from './intrinsic/index.js';
 export * from './OperatorKind.js';
 export * from './PackageEntityMembers.js';
-export * from './source/index.js';
 export * from './SubstitutionApplicationMode.js';
+export * from './Tag.js';
+export * from './Translation.js';
 export * from './TypeEntity.js';
 export * from './TypeEntityMembers.js';
+export * from './TypeMemberEntity.js';

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

@@ -1,9 +1,8 @@
-import { Analyzer } from '../../analysis/index.js';
+import { Analyzer } from '../../analysis/Analyzer.js';
 import { Name } from '../../common/index.js';
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
-import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeEntityMembers, TypeParameterEntity } from '../index.js';
 export interface AliasTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Alias;
@@ -23,7 +22,7 @@ export interface AliasTypeEntity extends ITypeEntity {
 }
 export type AliasTypeEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: tree.PackageAliasTypeDeclaration;
+    node: treeA.PackageAliasTypeDeclaration;
 } | {
     kind: DefinitionKind.TypeScript;
 };

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

@@ -1,8 +1,7 @@
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface ConstructorEntity extends IEntity {
     readonly kind: EntityKind.Constructor;
     getParameters(): readonly ParameterEntity[];
@@ -34,7 +33,7 @@ export declare class ConstructorParameterInitializingFieldInfo {
 }
 export type ConstructorEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: tree.ConstructorDeclaration;
+    node: treeA.ConstructorDeclaration;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

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

@@ -1,4 +1,4 @@
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
@@ -21,7 +21,7 @@ export interface DereferenceOperatorEntity extends IEntity {
 }
 export type DereferenceOperatorEntityDefinition = {
     kind: DefinitionKind.Source;
-    nodes: ReadonlyArray<tree.DereferencedVariableGetterDeclaration | tree.DereferencedVariableSetterDeclaration>;
+    nodes: ReadonlyArray<treeA.DereferencedVariableGetterDeclaration | treeA.DereferencedVariableSetterDeclaration>;
 } | {
     kind: DefinitionKind.Intrinsic;
 };

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

@@ -1,4 +1,4 @@
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
@@ -15,5 +15,5 @@ export interface DestructorEntity extends IEntity {
 }
 export type DestructorEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: tree.DestructorDeclaration;
+    node: treeA.DestructorDeclaration;
 };

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

@@ -1,10 +1,8 @@
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { EntityNaming, OperatorKind, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, EntityNaming, OperatorKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SubstitutionApplicationMode, Translation, TypeParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export type FunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity | AnonymousFunctionEntity;
 interface IFunctionEntity extends IEntity {
     readonly kind: EntityKind.Function;
@@ -55,7 +53,7 @@ export interface AnonymousFunctionEntity extends IFunctionEntity {
 }
 export type FunctionEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: tree.PackageFunctionDeclaration | tree.MethodDeclaration | tree.NestedFunctionDeclaration | tree.FunctionLiteral | tree.FunctionBlockLiteral;
+    node: treeA.PackageFunctionDeclaration | treeA.MethodDeclaration | treeA.NestedFunctionDeclaration | treeA.FunctionLiteral | treeA.FunctionBlockLiteral;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

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

@@ -1,9 +1,7 @@
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { BaseObjectType } from '../BaseObjectType.js';
-import { EntityNaming } from '../EntityNaming.js';
-import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, ParameterEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, EntityNaming, ITypeEntity, ParameterEntity, SubstitutionApplicationMode, TypeEntityKind, TypeEntityMembers, TypeParameterEntity } from '../index.js';
 export type FunctionTypeEntity = AnonymousFunctionTypeEntity;
 interface IFunctionTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
@@ -30,7 +28,7 @@ export interface AnonymousFunctionTypeEntity extends IFunctionTypeEntity {
 }
 export type FunctionTypeEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: tree.AnonymousFunctionTypeDeclaration;
+    node: treeA.AnonymousFunctionTypeDeclaration;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

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

@@ -1,4 +1,4 @@
-import { GetterDeclaration } from '../../analysis/NodeTypeUtils.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, DereferenceOperatorEntity, EntityHidingLevel, EntityKind, FieldEntity, IndexerEntity, PackageVariableEntity } from '../index.js';
@@ -12,7 +12,7 @@ export interface GetterEntity extends IEntity {
 }
 export type GetterEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: GetterDeclaration;
+    node: treeA.GetterDeclaration;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

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

@@ -1,4 +1,4 @@
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
@@ -22,7 +22,7 @@ export interface IndexerEntity extends IEntity {
 }
 export type IndexerEntityDefinition = {
     kind: DefinitionKind.Source;
-    nodes: ReadonlyArray<tree.IndexedElementGetterDeclaration | tree.IndexedElementSetterDeclaration>;
+    nodes: ReadonlyArray<treeA.IndexedElementGetterDeclaration | treeA.IndexedElementSetterDeclaration>;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

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

@@ -1,5 +1,5 @@
 import { Name } from '../../common/index.js';
-import * as tree from '../../tree/index.js';
+import * as treeA from '../../tree/a/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, PackageEntity } from '../index.js';
 export interface PackageAliasEntity extends IEntity {
@@ -12,5 +12,5 @@ export interface PackageAliasEntity extends IEntity {
 }
 export type PackageAliasEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: tree.PackageImport;
+    node: treeA.PackageImport;
 };