@artel/artc 0.6.25271 → 0.6.25273

package/build/{chunk-MMSDQCD5.js → chunk-GOQZ6DP3.js}

@@ -10,7 +10,7 @@ import {
   WellKnownDeclarationsLoadError,
   __async,
   createTsInteropInputsForCompilation
-} from "./chunk-LD2OIYWC.js";
+} from "./chunk-7EXJHYWX.js";
 
 // source/executor/Compiler.ts
 var Compiler = class {

package/build/{chunk-NLPXNTAI.js → chunk-W3SQYLD5.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-MMSDQCD5.js";
+} from "./chunk-GOQZ6DP3.js";
 import {
   ArtelVersion,
   Cached,
@@ -14,7 +14,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-LD2OIYWC.js";
+} from "./chunk-7EXJHYWX.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

package/build/types/analysis/AnalyzedTextTranslationPackage.d.ts

@@ -1,8 +1,8 @@
 import { PackageLocale } from '../common/index.js';
-import { PackageEntity } from '../entities/PackageEntity.js';
-import { TextTranslationEntity, TextTranslationEntityKey } from '../entities/TextTranslationEntity.js';
+import { PackageEntity, TextTranslationEntity } from '../entities/index.js';
 import { PackageName, TextTranslationPackage } from '../project/index.js';
 import { Analyzer } from './Analyzer.js';
+import { TextKey } from './TextIdentity.js';
 export declare class AnalyzedTextTranslationPackage {
     private readonly analyzer;
     private readonly package_;
@@ -14,7 +14,7 @@ export declare class AnalyzedTextTranslationPackage {
     getDefinition(): TextTranslationPackage;
     getTargetPackageName(): PackageName;
     getTranslationLocale(): PackageLocale;
-    getEntitiesByTextKey(textKey: TextTranslationEntityKey): readonly TextTranslationEntity[] | undefined;
+    getEntitiesByTextKey(textKey: TextKey): readonly TextTranslationEntity[] | undefined;
     private createEntitiesByTextKey;
     private enumerableTextTranslationDeclarations;
     private enumerableTranslationsDeclarations;

package/build/types/analysis/AnalyzedTranslationPackage.d.ts

@@ -1,9 +1,7 @@
 import { Name, PackageLocale } from '../common/index.js';
 import { Diagnostic } from '../diagnostic/Diagnostic.js';
 import { EntityLocalizationContext } from '../entities/EntityLocalizationContext.js';
-import { PackageEntity } from '../entities/PackageEntity.js';
-import { FieldEntity, PackageVariableEntity, ParameterEntity } from '../entities/VariableEntity.js';
-import { AliasTypeEntity, ConstructorEntity, DestructorEntity, FunctionEntity, FunctionTypeEntity, IndexerEntity, MethodEntity, NamedEntity, NamedPackageMemberEntity, NamedTypeMemberEntity, OperatorEntity, PackageFunctionEntity, PackageFunctionTypeEntity, PackageTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from '../entities/index.js';
+import { AliasTypeEntity, ConstructorEntity, DestructorEntity, FieldEntity, FunctionEntity, FunctionTypeEntity, IndexerEntity, MethodEntity, NamedEntity, NamedPackageMemberEntity, NamedTypeMemberEntity, OperatorEntity, PackageEntity, PackageFunctionEntity, PackageFunctionTypeEntity, PackageTypeEntity, PackageVariableEntity, ParameterEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from '../entities/index.js';
 import { PackageName, TranslationPackage } from '../project/index.js';
 import * as tree from '../tree/index.js';
 import { Analyzer } from './Analyzer.js';
@@ -25,7 +23,7 @@ export declare class AnalyzedTranslationPackage {
     private readonly typeTranslationByEntity;
     constructor(analyzer: Analyzer, package_: TranslationPackage, targetPackage: PackageEntity);
     getTargetPackage(): PackageEntity;
-    getPackageInTranslatedLanguage(): PackageEntity;
+    getTranslatedTargetPackage(): PackageEntity;
     getDefinition(): TranslationPackage;
     getTranslatedName(): PackageName;
     getTranslationLocale(): PackageLocale;

package/build/types/analysis/Analyzer.d.ts

@@ -13,8 +13,8 @@ import { TsInteropContext, TsProgramState } from '../ts-interop/TsInteropContext
 import * as types from '../types/index.js';
 import { TypeFactory } from '../types/index.js';
 import { AccessedFunction } from './AccessedFunction.js';
-import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
 import { AnalyzedTextTranslationPackage } from './AnalyzedTextTranslationPackage.js';
+import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
 import { ArgumentToParameterMatchResult, MatchResultParameter } from './ArgumentToParameterMatchResult.js';
 import * as autotypeCallExpressionMeaning from './AutotypeCallExpressionMeaning.js';
 import * as baseExpressionMeaning from './BaseExpressionMeaning.js';
@@ -32,8 +32,8 @@ import { DereferencedVariableAccessorDeclaration, FieldAccessorDeclaration, Func
 import * as objectExpressionMeaning from './ObjectExpressionMeaning.js';
 import { OwnAndBaseConstructorCallsCheckResult } from './OwnAndBaseConstructorCallsChecker.js';
 import { SourceFileMembers } from './SourceFileMembers.js';
-import * as tagMeaning from './TagMeaning.js';
 import * as tags from './Tag.js';
+import * as tagMeaning from './TagMeaning.js';
 import { TypeMemberImplementationCheckResult } from './TypeMemberImplementationChecker.js';
 import * as controlFlow from './control-flow/index.js';
 import { WellKnownDeclarations } from './index.js';
@@ -117,6 +117,7 @@ export declare class Analyzer {
     constructor(compilation: project.Compilation, tsInteropInputs: TsInteropInputs);
     getProjectSourceFile(node: tree.SourceFile): project.SourceFile;
     checkExpressionCanBeUsedInForLoop(node: tree.Expression): WithDiagnostics<ExpressionCanBeUsedInForLoopCheckResult>;
+    expressionCanBeReferenced(node: tree.Expression): boolean;
     isEnumeratorMethodSignature(entity: e.MethodEntity): boolean;
     ifTypeEnumerableThenElementType(type: types.Type): types.Type | undefined;
     ifTypeEnumeratorThenElementType(type: types.Type): types.Type | undefined;
@@ -263,7 +264,7 @@ export declare class Analyzer {
     findAnalyzedTranslationPackageForLocale(entity: e.PackageEntity, locale: PackageLocale): AnalyzedTranslationPackage | undefined;
     getLocalizedPackageWithLocale(originalPackageEntity: e.PackageEntity, locale: PackageLocale): e.PackageEntity | undefined;
     enumerateAnalyzedTranslationPackages(): Query<AnalyzedTranslationPackage>;
-    enumerateAnalyzedTextTranslationPackages(): Iterable<AnalyzedTextTranslationPackage>;
+    enumerateAnalyzedTextTranslationPackages(): Query<AnalyzedTextTranslationPackage>;
     getLinkedMultiPlatformPackagesByPlatform(entity: e.PackageEntity): ReadonlyMap<PlatformKind, LinkedMultiPlatformPackage> | undefined;
     getLinkedMultiPlatformPackage(entity: e.PackageEntity, platform: PlatformKind): LinkedMultiPlatformPackage | undefined;
     getTextTranslationPackagesMap(): ReadonlyMap<e.PackageEntity, ReadonlyMap<PackageLocale, AnalyzedTextTranslationPackage>>;
@@ -875,9 +876,18 @@ export declare class DeclaredTypeMemberEntities {
 }
 export declare class ExpressionAnalysisOptions {
     readonly targetType: types.Type | undefined;
+    /**
+     * Определяет, можно ли кэшировать результат анализа выражений, если результат зависит от целевого типа. Результат
+     * анализа, который не зависит от целевого типа, можно кэшировать всегда.
+     */
     readonly allowCaching: boolean;
     readonly isResolvingOverload: boolean;
-    constructor(targetType: types.Type | undefined, allowCaching: boolean, isResolvingOverload: boolean);
+    constructor(targetType: types.Type | undefined, 
+    /**
+     * Определяет, можно ли кэшировать результат анализа выражений, если результат зависит от целевого типа. Результат
+     * анализа, который не зависит от целевого типа, можно кэшировать всегда.
+     */
+    allowCaching: boolean, isResolvingOverload: boolean);
     static withTargetType(options: ExpressionAnalysisOptions | undefined, targetType: types.Type | undefined): ExpressionAnalysisOptions;
     withTargetType(targetType: types.Type | undefined): ExpressionAnalysisOptions;
     withAllowCaching(allowCaching: boolean): ExpressionAnalysisOptions;

package/build/types/analysis/DiagnosticCollector.d.ts

@@ -9,6 +9,7 @@ export declare class DiagnosticCollector {
     private readonly diagnosticArgumentFactory;
     private readonly translationPackage_;
     private readonly textTranslationPackage_;
+    private readonly primaryTextTranslationPackage_;
     private readonly diagnostics;
     private readonly diagnosticAcceptor;
     private namedDeclarationsUsageMap;
@@ -16,6 +17,7 @@ export declare class DiagnosticCollector {
     private readonly standardTypes_;
     private get translationPackage();
     private get textTranslationPackage();
+    private get primaryTextTranslationPackage();
     private get isInterfacePackageFile();
     private get standardTypes();
     constructor(analyzer: Analyzer, sourceFile: project.SourceFile);
@@ -34,6 +36,9 @@ export declare class DiagnosticCollector {
     private collectNotTranslatedTypeMembers;
     private isNotTranslatedEntity;
     private createNotTranslatedEntitiesDiagnostic;
+    private addNotTranslatedTextsDiagnostics;
+    private collectNotTranslatedTexts;
+    private createNotTranslatedTextsDiagnostic;
     private checkAllDefaultConstructorArgumentsAreNamed;
     private checkPackageVariableDeclaration;
     private checkPackageFunctionDeclaration;
@@ -73,6 +78,7 @@ export declare class DiagnosticCollector {
     private checkOptionalChainingIsUsedOnTheLeftSideOfAssignment;
     private checkGenericSpecializationExpression;
     private checkTypeArgumentTypesAreAssignableToConstraints;
+    private checkParameterList;
     private checkParameterDeclaration;
     private checkIfVariableIsUnused;
     private checkIfNestedFunctionIsUnused;
@@ -81,6 +87,7 @@ export declare class DiagnosticCollector {
     private checkTypeMemberCorrectlyOverridesBaseMember;
     private isReceiverBaseAutoVariableAccess;
     private overridingMemberHasCorrectHiding;
+    private checkTextTranslationDeclaration;
     private attachNodeLocationAndAddDiagnostics;
     private addDiagnostic;
     private addDiagnostics;

package/build/types/analysis/ImportedPackageNameTree.d.ts

@@ -1,5 +1,5 @@
 import { Name } from '../common/index.js';
-import { PackageEntity } from '../entities/PackageEntity.js';
+import { PackageEntity } from '../entities/index.js';
 import { PackageImportInfo } from './Analyzer.js';
 export declare class ImportedPackageNameTree {
     private readonly rootNodes_;

package/build/types/analysis/ReturnTypeInferrer.d.ts

@@ -1,7 +1,7 @@
-import { Analyzer } from './Analyzer.js';
+import { LocalVariableEntity } from '../entities/index.js';
 import * as tree from '../tree/index.js';
-import { LocalVariableEntity } from '../entities/VariableEntity.js';
 import * as types from '../types/index.js';
+import { Analyzer } from './Analyzer.js';
 export declare class ReturnTypeInferrer {
     private readonly analyzer;
     private readonly block;

package/build/types/analysis/SourcePackageMembersCreator.d.ts

@@ -1,5 +1,5 @@
 import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
-import { PackageVariableEntity } from '../entities/VariableEntity.js';
+import { PackageVariableEntity } from '../entities/index.js';
 import * as tree from '../tree/index.js';
 import { Analyzer } from './Analyzer.js';
 export declare class SourcePackageMembersCreator {

package/build/types/analysis/TextIdentity.d.ts

@@ -0,0 +1,9 @@
+import * as tree from '../tree/index.js';
+export type TextKey = string | number;
+export declare class TextIdentity {
+    static keyFromTextFragments(fragments: readonly string[]): TextKey;
+    static keyFromTextToken(token: tree.Token<tree.TokenKind.TextLiteral>): TextKey;
+    static keyFromLocalizableTextLiteral(node: tree.LocalizableTextLiteral): TextKey;
+    static keyFromLocalizableTextTemplateLiteral(node: tree.LocalizableTextTemplateLiteral): TextKey;
+    static keyFromTextTranslationSource(node: tree.TextTranslationSource): TextKey;
+}

package/build/types/analysis/TypeMemberConflictsValidator.d.ts

@@ -1,5 +1,5 @@
 import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
-import { TypeEntityMembers } from '../entities/TypeEntityMembers.js';
+import { TypeEntityMembers } from '../entities/index.js';
 import { Analyzer } from './Analyzer.js';
 export declare class TypeMemberConflictsValidator {
     private readonly analyzer;

package/build/types/analysis/control-flow/NarrowableReference.d.ts

@@ -1,4 +1,4 @@
-import { FieldEntity, LocalVariableEntity, PackageVariableEntity, ParameterEntity } from '../../entities/VariableEntity.js';
+import { FieldEntity, LocalVariableEntity, PackageVariableEntity, ParameterEntity } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { NarrowableReferenceExpression } from '../control-flow/NarrowableExpression.js';

package/build/types/analysis/semantic-context/SemanticContextBasedEntityHidingMatcher.d.ts

@@ -1,5 +1,5 @@
 import { BaseEntityHidingMatcher } from '../../entities/BaseEntityHidingMatcher.js';
-import { PackageEntity } from '../../entities/PackageEntity.js';
+import { PackageEntity } from '../../entities/index.js';
 import { TypeEntity } from '../../entities/TypeEntity.js';
 import { SourceFile } from '../../project/SourceFile.js';
 import { SemanticContext } from './SemanticContext.js';

package/build/types/analysis/semantic-context/SpecialLocalDeclarationsBuilder.d.ts

@@ -1,4 +1,4 @@
-import { LocalVariableEntity } from '../../entities/VariableEntity.js';
+import { LocalVariableEntity } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 type SpecialLocalDeclarationEntity = LocalVariableEntity;

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

@@ -14,6 +14,6 @@ export declare const InMemoryPackageScheme = "artel-in-memory";
 export declare const GeneratedSourceFileScheme = "artel-gen";
 export declare const DefaultTsLibDeclarationsFileName = "lib.es2023.d.ts";
 export declare const DefaultLocale = PackageLocale.Ru;
-export declare const DefaultDialect = PackageDialect.ArtelAM;
+export declare const DefaultDialect = PackageDialect.ArtelA;
 export declare const DefaultNamesOfDirectoriesToIgnore: string[];
 export declare const NodeModulesDirectoryName = "node_modules";

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

@@ -1,5 +1,4 @@
 export declare enum PackageDialect {
-    ArtelAM = 0,
-    ArtelA = 1,
-    ArtelM = 2
+    ArtelA = 0,
+    ArtelM = 1
 }

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

@@ -4,6 +4,9 @@ export declare abstract class Query<T> implements Iterable<T> {
     static fromNullable<T>(source: Iterable<T> | undefined): Query<T>;
     static empty<T>(): Query<T>;
     static ofSuccessors<T>(first: T, next: (t: T) => T | undefined): Query<T>;
+    static first<T>(source: Iterable<T>): T | undefined;
+    static first<T, K extends T>(source: Iterable<T>, fn: (t: T) => t is K): K | undefined;
+    static first<T>(source: Iterable<T>, fn: (t: T) => boolean): T | undefined;
     static map<T, K>(source: Iterable<T>, fn: (t: T, i: number) => K): Query<K>;
     static toMap<T, K, V>(source: Iterable<T>, keySelector: (t: T) => K, valueSelector: (t: T) => V): Map<K, V>;
     static toMap<T>(source: Iterable<T>): T extends readonly [infer K, infer V] ? Map<K, V> : never;
@@ -53,6 +56,7 @@ export declare abstract class Query<T> implements Iterable<T> {
     unique(keySelector?: (t: T) => any): Query<T>;
     uniqueWithComparator(comparator: (t1: T, t2: T) => boolean): Query<T>;
     uniqueToSet(): Set<T>;
+    uniqueToArray(): Array<T>;
     maxByValue(valueSelector: (t: T) => number): T | undefined;
     minByValue(valueSelector: (t: T) => number): T | undefined;
     single(): T | undefined;

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

@@ -118,98 +118,104 @@ export declare enum DiagnosticCode {
     DefaultConstructorArgumentsMustBeNamed = 280,
     IncorrectBodyOfBasicAliasTypeMethod = 281,
     TheFollowingDeclarationsAreNotTranslated0 = 282,
-    TheFollowingDeclarationAreNotTranslated0And1More = 283,
-    OperatorFunction0MustNotHaveParameters = 284,
-    OperatorFunction0MustHaveOneParameter = 285,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 286,
-    CorrespondingBasicTypeMemberNotFound = 287,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 288,
-    TagNotFound = 289,
-    TypeOrFunctionNameExpected = 290,
-    PackageNameOrAliasExpected = 291,
-    ExpressionCanBeNull = 292,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 293,
-    UnreachableCode = 294,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 295,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 296,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 297,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 298,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 299,
-    PackageAlreadyContainsDeclarationWithTheSameName = 300,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 301,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 302,
-    PackageAliasWithTheSameNameAlreadyExits = 303,
-    TypeAlreadyContainsDeclarationWithTheSameName = 304,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 305,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 306,
-    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 307,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 308,
-    TypeCanHaveOnlyOneDestructor = 309,
-    TypeCanHaveOnlyOneDereferenceOperator = 310,
-    VariableIsUsedBeforeItsDeclaration = 311,
-    VariableMayNotHasBeenAssignedBeforeUsage = 312,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 313,
-    WriteFunctionHasNoCorrespondingReadFunction = 314,
-    TypeCannotHaveMultipleBaseObjectTypes = 315,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 316,
-    PlainObjectTypeCannotBeUsedAsBaseType = 317,
-    ThisTypeIsAlreadyListedInBaseTypeList = 318,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 319,
-    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 320,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 321,
-    ModifierListAlreadyContains0Modifier = 322,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 323,
-    _0ModifierIsNotAllowedHere = 324,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 325,
-    PackageConstructorDeclarationCannotHaveModifiers = 326,
-    PackageEntryPointDeclarationCannotHaveModifiers = 327,
-    TranslationsCannotHaveModifiers = 328,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 329,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 330,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 331,
-    _0ModifierCannotBeUsedWith1Modifier = 332,
-    VariantDeclarationCannotHaveHiddenModifier = 333,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 334,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 335,
-    NotBasicObjectTypesCannotHaveBasicMembers = 336,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 337,
-    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 338,
-    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 339,
-    DeclarationConflictsWithBaseTypeMember0 = 340,
-    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 341,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 342,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 343,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 344,
-    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 345,
-    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 346,
-    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 347,
-    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 348,
-    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 349,
-    TypeDoesNotImplementMember0 = 350,
-    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 351,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 352,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 353,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 354,
-    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 355,
-    CannotAccessAbstractMemberOfBaseType = 356,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 357,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 358,
-    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 359,
-    ThisCallCausesOwnConstructorCallCycle = 360,
-    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 361,
-    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 362,
-    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 363,
-    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 364,
-    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 365,
-    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 366,
-    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 367,
-    CannotInferTypeArguments = 368,
-    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 369,
-    ConstantVariablesBustBeInitialized = 370,
-    VariableTypeIsNotSpecified = 371,
-    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 372,
-    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 373,
-    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 374,
+    TheFollowingDeclarationsAreNotTranslated0And1More = 283,
+    TheFollowingTextsAreNotTranslated0 = 284,
+    TheFollowingTextsAreNotTranslated0And1More = 285,
+    OperatorFunction0MustNotHaveParameters = 286,
+    OperatorFunction0MustHaveOneParameter = 287,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 288,
+    CorrespondingBasicTypeMemberNotFound = 289,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 290,
+    TagNotFound = 291,
+    TypeOrFunctionNameExpected = 292,
+    PackageNameOrAliasExpected = 293,
+    ExpressionCanBeNull = 294,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 295,
+    UnreachableCode = 296,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 297,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 298,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 299,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 300,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 301,
+    PackageAlreadyContainsDeclarationWithTheSameName = 302,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 303,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 304,
+    PackageAliasWithTheSameNameAlreadyExits = 305,
+    TypeAlreadyContainsDeclarationWithTheSameName = 306,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 307,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 308,
+    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 309,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 310,
+    TypeCanHaveOnlyOneDestructor = 311,
+    TypeCanHaveOnlyOneDereferenceOperator = 312,
+    VariableIsUsedBeforeItsDeclaration = 313,
+    VariableMayNotHasBeenAssignedBeforeUsage = 314,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 315,
+    WriteFunctionHasNoCorrespondingReadFunction = 316,
+    TypeCannotHaveMultipleBaseObjectTypes = 317,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 318,
+    PlainObjectTypeCannotBeUsedAsBaseType = 319,
+    ThisTypeIsAlreadyListedInBaseTypeList = 320,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 321,
+    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 322,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 323,
+    ModifierListAlreadyContains0Modifier = 324,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 325,
+    _0ModifierIsNotAllowedHere = 326,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 327,
+    PackageConstructorDeclarationCannotHaveModifiers = 328,
+    PackageEntryPointDeclarationCannotHaveModifiers = 329,
+    TranslationsCannotHaveModifiers = 330,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 331,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 332,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 333,
+    _0ModifierCannotBeUsedWith1Modifier = 334,
+    VariantDeclarationCannotHaveHiddenModifier = 335,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 336,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 337,
+    NotBasicObjectTypesCannotHaveBasicMembers = 338,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 339,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 340,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 341,
+    DeclarationConflictsWithBaseTypeMember0 = 342,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 343,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 344,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 345,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 346,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 347,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 348,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 349,
+    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 350,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 351,
+    TypeDoesNotImplementMember0 = 352,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 353,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 354,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 355,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 356,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 357,
+    CannotAccessAbstractMemberOfBaseType = 358,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 359,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 360,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 361,
+    ThisCallCausesOwnConstructorCallCycle = 362,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 363,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 364,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 365,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 366,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 367,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 368,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 369,
+    CannotInferTypeArguments = 370,
+    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 371,
+    ConstantVariablesBustBeInitialized = 372,
+    VariableTypeIsNotSpecified = 373,
+    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 374,
+    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 375,
+    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 376,
+    RequiredParametersCannotFollowOptionalParameters = 377,
+    ExpressionCannotBeReferenced = 378,
+    TextIsMissingInPrimaryTextTranslationPackage = 379,
+    TextTemplateIsMissingInPrimaryTextTranslationPackage = 380,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

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

@@ -1,6 +1,5 @@
 import { Analyzer } from '../analysis/Analyzer.js';
-import * as analyzerEntities from '../entities/index.js';
-import { Type, TypeMemberEntity, TypeOrExtensionEntity } from './Entities.js';
+import { FunctionEntity, PackageEntity, Type, TypeMemberEntity, TypeOrExtensionEntity, VariableEntity } from './Entities.js';
 import { EntityMap } from './EntityMap.js';
 import * as ir from './ir/index.js';
 export declare class EmitterContext {
@@ -8,12 +7,11 @@ export declare class EmitterContext {
     readonly entityMap: EntityMap;
     readonly type: TypeUtils;
     readonly standardTypes: StandardTypes;
+    readonly entityFinder: EntityFinder;
     private readonly integerTypeEntity_;
     private readonly jsObjectType_;
     private readonly jsSymbolType_;
-    private readonly originalPlatformJavaScriptPackage_;
     get integerTypeEntity(): TypeOrExtensionEntity;
-    get originalPlatformJavaScriptPackage(): analyzerEntities.PackageEntity;
     get jsObjectType(): TypeOrExtensionEntity;
     get jsSymbolType(): TypeOrExtensionEntity;
     constructor(analyzer: Analyzer, entityMap: EntityMap);
@@ -26,6 +24,29 @@ export declare class EmitterContext {
     isAspectTypeEntity(entity: TypeOrExtensionEntity): boolean;
     enumerateAllOverriddenMembers<T extends TypeMemberEntity>(entity: T): Iterable<T>;
 }
+export declare class WellKnownDeclarationKeys {
+    static readonly jsObjectType = "Platform.JavaScript.Object";
+    static readonly jsSymbolType = "Platform.JavaScript.Symbol";
+    static readonly fieldProxyReadMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u043E\u0441\u0440\u0435\u0434\u043D\u0438\u043A\u041F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439\u041E\u0431\u044A\u0435\u043A\u0442\u0430.\u043F\u0440\u043E\u0447\u0438\u0442\u0430\u0442\u044C";
+    static readonly fieldProxyWriteMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u043E\u0441\u0440\u0435\u0434\u043D\u0438\u043A\u041F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439\u041E\u0431\u044A\u0435\u043A\u0442\u0430.\u0437\u0430\u043F\u0438\u0441\u0430\u0442\u044C";
+    static readonly referenceConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0420\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F.\u0414\u0436\u0430\u0432\u0430\u0421\u043A\u0440\u0438\u043F\u0442.\u0421\u0441\u044B\u043B\u043A\u0430";
+    static readonly textTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430";
+    static readonly textTemplateToTextMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430.\u0432-\u0442\u0435\u043A\u0441\u0442";
+    static readonly localizableTextTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439";
+    static readonly localizableTextTemplateToTextMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\u0422\u0435\u043A\u0441\u0442\u0430\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439.\u0432-\u0442\u0435\u043A\u0441\u0442";
+    static readonly symbolIteratorField = "\u0432\u0441\u0435\u043E\u0431\u0449\u0435\u0435 Platform.JavaScript.Symbol.iterator";
+    static readonly inlineJsFunction = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0412\u0437\u0430\u0438\u043C\u043E\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435.\u043F\u043E\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044C-\u0440\u043E\u0434\u043D\u043E\u0439-\u043A\u043E\u0434";
+    static readonly numberIsIntegerFunction = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0420\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F.\u0414\u0436\u0430\u0432\u0430\u0421\u043A\u0440\u0438\u043F\u0442.\u0447\u0438\u0441\u043B\u043E-\u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F-\u0446\u0435\u043B\u044B\u043C";
+    static readonly dictionaryType = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0421\u043B\u043E\u0432\u0430\u0440\u044C";
+    static readonly dictionaryConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0421\u043B\u043E\u0432\u0430\u0440\u044C";
+    static readonly dictionaryAddMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0421\u043B\u043E\u0432\u0430\u0440\u044C.\u0434\u043E\u0431\u0430\u0432\u0438\u0442\u044C";
+    static readonly packageType = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u0430\u043A\u0435\u0442";
+    static readonly packageConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u0430\u043A\u0435\u0442";
+    static readonly packageThisPackageField = "\u0432\u0441\u0435\u043E\u0431\u0449\u0435\u0435 \u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u0430\u043A\u0435\u0442.\u0441\u0432\u043E\u0439-\u043F\u0430\u043A\u0435\u0442";
+    static readonly packageMainPackageField = "\u0432\u0441\u0435\u043E\u0431\u0449\u0435\u0435 \u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u0430\u043A\u0435\u0442.\u0433\u043B\u0430\u0432\u043D\u044B\u0439-\u043F\u0430\u043A\u0435\u0442";
+    static readonly errorConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041E\u0448\u0438\u0431\u043A\u0430";
+    static readonly translatorAddTranslationToLocaleMethod = "\u0432\u0441\u0435\u043E\u0431\u0449\u0435\u0435 \u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0447\u0438\u043A.\u0434\u043E\u0431\u0430\u0432\u0438\u0442\u044C-\u043F\u0435\u0440\u0435\u0432\u043E\u0434-\u043D\u0430-\u044F\u0437\u044B\u043A";
+}
 declare class TypeUtils {
     private readonly ectx;
     constructor(ectx: EmitterContext);
@@ -61,4 +82,29 @@ declare class StandardTypes {
     get reference(): Type;
     constructor(analyzer: Analyzer, entityMap: EntityMap);
 }
+declare class EntityFinder {
+    private readonly ectx;
+    private static readonly typeOrExtensionEntityNameRegExp;
+    private static readonly staticModifierText;
+    private static readonly functionNameAndParametersRegExp;
+    constructor(ectx: EmitterContext);
+    findPackageEntity(keyText: string): PackageEntity;
+    findTypeOrExtensionEntity(keyText: string): TypeOrExtensionEntity;
+    findPackageFunctionEntity(keyText: string): FunctionEntity;
+    findMethodEntity(keyText: string): FunctionEntity;
+    findConstructorEntity(keyText: string): FunctionEntity;
+    findFieldEntity(keyText: string): VariableEntity;
+    private findOriginalPackageEntityByParsedKey;
+    private findOriginalTypeOrExtensionEntityByParsedKey;
+    private findOriginalPackageFunctionEntityByParsedKey;
+    private findOriginalMethodEntityByParsedKey;
+    private findOriginalConstructorEntityByParsedKey;
+    private findOriginalFieldEntityByParsedKey;
+    private parsePackageEntityKey;
+    private parseTypeOrExtensionEntityKey;
+    private parsePackageFunctionEntityKey;
+    private parseMethodEntityKey;
+    private parseConstructorEntityKey;
+    private parseFieldEntityKey;
+}
 export {};

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

@@ -58,7 +58,6 @@ export declare class IrBuilder {
     private buildDisposeStatement;
     private buildRunStatement;
     private buildTryStatement;
-    private buildEmptyStatement;
     private buildErrorStatement;
     private buildImportantStatement;
     private buildExpressionStatement;

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

@@ -111,6 +111,10 @@ export declare class IrToJs {
     private convertFieldDeclaration;
     private convertComputedFieldDeclaration;
     private convertDecorator;
+    /**
+     * Пытается преобразовать выражение вида `[a, ...[b, c]]` в `[a, b, c]`.
+     */
+    private tryFlattenSpreadingExpression;
     private addNodeLocation;
     private getEntityName;
     private convertArrayWithErrorBoundary;