@artel/artc 0.6.25244 → 0.6.25246

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

@@ -74,131 +74,137 @@ export declare enum DiagnosticCode {
     TypeExpected = 235,
     NameOfTypeOrPackageNotFound = 236,
     TypeIsNotATag = 237,
-    ExpressionOfType0CannotBeUsedForEnumeration = 238,
-    Operator0IsNotDefinedForTypes1And2 = 239,
-    Operator0IsNotDefinedForType1 = 240,
-    VariantMustHaveAssociatedValue = 241,
-    TranslationsCanOnlyBeDeclaredInTranslationPackage = 242,
-    UnknownTranslatedPackage0 = 243,
-    BaseCannotBeUsedInThisContext = 244,
-    OverriddenMethodNotFound = 245,
-    ObjectCannotBeUsedInThisContext = 246,
-    BaseCannotBeUsedAsAnExpressionInItself = 247,
-    InterfacePackageMustNotContainImplementation = 248,
-    InterfacePackageVariablesMustNotHaveInitializers = 249,
-    BodyIsMissing = 250,
-    AbstractTypeMembersMustNotHaveBody = 251,
-    MembersOfAspectTypeMustNotHaveBody = 252,
-    AspectTypeFieldsMustBeAbstract = 253,
-    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 254,
-    AbstractFieldsMustNotHaveInitializers = 255,
-    PackageIsAlreadyImportedInAnotherLanguage = 256,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 257,
-    FunctionsUsingYieldStatementCannotReturnValue = 258,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 259,
-    YieldStatementCannotBeUsedHere = 260,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 261,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 262,
-    YieldStatementCannotBeUsedInFinallyClause = 263,
-    SubprogramMustReturnValue = 264,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 265,
-    TypeAliasReferencesItself = 266,
-    TypeParameterHasCircularConstraint = 267,
-    BaseTypeCausesInheritanceCycle = 268,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 269,
-    Expected0TypeArguments = 270,
-    ExpectedFrom0To1TypeArguments = 271,
-    Type0IsNotAssignableToConstraint1 = 272,
-    VariableIsDeclaredButItsValueIsNeverRead = 273,
-    FunctionIsDeclaredButNotUsed = 274,
-    TypeParameterIsDeclaredButNotUsed = 275,
-    DefaultConstructorArgumentsMustBeNamed = 276,
-    IncorrectBodyOfBasicAliasTypeMethod = 277,
-    TheFollowingDeclarationsAreNotTranslated0 = 278,
-    TheFollowingDeclarationAreNotTranslated0And1More = 279,
-    OperatorFunction0MustNotHaveParameters = 280,
-    OperatorFunction0MustHaveOneParameter = 281,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 282,
-    CorrespondingBasicTypeMemberNotFound = 283,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 284,
-    TagNotFound = 285,
-    TypeOrFunctionNameExpected = 286,
-    PackageNameOrAliasExpected = 287,
-    ExpressionCanBeNone = 288,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 289,
-    UnreachableCode = 290,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 291,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 292,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 293,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 294,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 295,
-    PackageAlreadyContainsDeclarationWithTheSameName = 296,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 297,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 298,
-    PackageAliasWithTheSameNameAlreadyExits = 299,
-    PackageCanHaveOnlyEntryPoint = 300,
-    PackageCanHaveOnlyOneConstructor = 301,
-    TypeAlreadyContainsDeclarationWithTheSameName = 302,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 303,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 304,
-    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 305,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 306,
-    TypeCanHaveOnlyOneDestructor = 307,
-    TypeCanHaveOnlyOneDereferenceOperator = 308,
-    VariableIsUsedBeforeItsDeclaration = 309,
-    VariableMayNotHasBeenAssignedBeforeUsage = 310,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 311,
-    WriteFunctionHasNoCorrespondingReadFunction = 312,
-    TypeCannotHaveMultipleBaseObjectTypes = 313,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 314,
-    PlainObjectTypeCannotBeUsedAsBaseType = 315,
-    ThisTypeIsAlreadyListedInBaseTypeList = 316,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 317,
-    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 318,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 319,
-    ModifierListAlreadyContains0Modifier = 320,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 321,
-    _0ModifierIsNotAllowedHere = 322,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 323,
-    PackageConstructorDeclarationCannotHaveModifiers = 324,
-    PackageEntryPointDeclarationCannotHaveModifiers = 325,
-    TranslationsCannotHaveModifiers = 326,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 327,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 328,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 329,
-    _0ModifierCannotBeUsedWith1Modifier = 330,
-    VariantDeclarationCannotHaveHiddenModifier = 331,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 332,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 333,
-    NotBasicObjectTypesCannotHaveBasicMembers = 334,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 335,
-    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 336,
-    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 337,
-    DeclarationConflictsWithBaseTypeMember0 = 338,
-    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 339,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 340,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 341,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 342,
-    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 343,
-    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 344,
-    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 345,
-    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 346,
-    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 347,
-    TypeDoesNotImplementMember0 = 348,
-    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 349,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 350,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 351,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 352,
-    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 353,
-    CannotAccessAbstractMemberOfBaseType = 354,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 355,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 356,
-    EitherIdentifiersOrIntegerIndexesAreAllowedAsParametersOfTextTemplateLiteral = 357,
-    OnlyIndex0IsAllowedHereAsParameterOfTextTemplateLiteral = 358,
-    OnlyIntegerLiteralInRangeFromZeroToNIsAllowedHereAsParameterOfTextTemplateLiteral = 359,
-    OnlyIdentifierIsAllowedHereAsParameterOfTextTemplateLiteral = 360,
-    TranslationFunctionIsNotAllowedWhenIndexesAreUsedAsParametersInSourceTextTemplate = 361,
-    UnknownParameterOfTextTemplateTranslation = 362,
+    Operator0IsNotDefinedForTypes1And2 = 238,
+    Operator0IsNotDefinedForType1 = 239,
+    VariantMustHaveAssociatedValue = 240,
+    TranslationsCanOnlyBeDeclaredInTranslationPackage = 241,
+    UnknownTranslatedPackage0 = 242,
+    BaseCannotBeUsedInThisContext = 243,
+    OverriddenMethodNotFound = 244,
+    ObjectCannotBeUsedInThisContext = 245,
+    BaseCannotBeUsedAsAnExpressionInItself = 246,
+    InterfacePackageMustNotContainImplementation = 247,
+    InterfacePackageVariablesMustNotHaveInitializers = 248,
+    BodyIsMissing = 249,
+    AbstractTypeMembersMustNotHaveBody = 250,
+    MembersOfAspectTypeMustNotHaveBody = 251,
+    AspectTypeFieldsMustBeAbstract = 252,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 253,
+    AbstractFieldsMustNotHaveInitializers = 254,
+    PackageIsAlreadyImported = 255,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 256,
+    FunctionsUsingYieldStatementCannotReturnValue = 257,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 258,
+    YieldStatementCannotBeUsedHere = 259,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 260,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 261,
+    YieldStatementCannotBeUsedInFinallyClause = 262,
+    SubprogramMustReturnValue = 263,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 264,
+    TypeAliasReferencesItself = 265,
+    TypeParameterHasCircularConstraint = 266,
+    BaseTypeCausesInheritanceCycle = 267,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 268,
+    Expected0TypeArguments = 269,
+    ExpectedFrom0To1TypeArguments = 270,
+    Type0IsNotAssignableToConstraint1 = 271,
+    VariableIsDeclaredButItsValueIsNeverRead = 272,
+    FunctionIsDeclaredButNotUsed = 273,
+    TypeParameterIsDeclaredButNotUsed = 274,
+    DefaultConstructorArgumentsMustBeNamed = 275,
+    IncorrectBodyOfBasicAliasTypeMethod = 276,
+    TheFollowingDeclarationsAreNotTranslated0 = 277,
+    TheFollowingDeclarationAreNotTranslated0And1More = 278,
+    OperatorFunction0MustNotHaveParameters = 279,
+    OperatorFunction0MustHaveOneParameter = 280,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 281,
+    CorrespondingBasicTypeMemberNotFound = 282,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 283,
+    TagNotFound = 284,
+    TypeOrFunctionNameExpected = 285,
+    PackageNameOrAliasExpected = 286,
+    ExpressionCanBeNone = 287,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 288,
+    UnreachableCode = 289,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 290,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 291,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 292,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 293,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 294,
+    PackageAlreadyContainsDeclarationWithTheSameName = 295,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 296,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 297,
+    PackageAliasWithTheSameNameAlreadyExits = 298,
+    TypeAlreadyContainsDeclarationWithTheSameName = 299,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 300,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 301,
+    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 302,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 303,
+    TypeCanHaveOnlyOneDestructor = 304,
+    TypeCanHaveOnlyOneDereferenceOperator = 305,
+    VariableIsUsedBeforeItsDeclaration = 306,
+    VariableMayNotHasBeenAssignedBeforeUsage = 307,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 308,
+    WriteFunctionHasNoCorrespondingReadFunction = 309,
+    TypeCannotHaveMultipleBaseObjectTypes = 310,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 311,
+    PlainObjectTypeCannotBeUsedAsBaseType = 312,
+    ThisTypeIsAlreadyListedInBaseTypeList = 313,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 314,
+    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 315,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 316,
+    ModifierListAlreadyContains0Modifier = 317,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 318,
+    _0ModifierIsNotAllowedHere = 319,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 320,
+    PackageConstructorDeclarationCannotHaveModifiers = 321,
+    PackageEntryPointDeclarationCannotHaveModifiers = 322,
+    TranslationsCannotHaveModifiers = 323,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 324,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 325,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 326,
+    _0ModifierCannotBeUsedWith1Modifier = 327,
+    VariantDeclarationCannotHaveHiddenModifier = 328,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 329,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 330,
+    NotBasicObjectTypesCannotHaveBasicMembers = 331,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 332,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 333,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 334,
+    DeclarationConflictsWithBaseTypeMember0 = 335,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 336,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 337,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 338,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 339,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 340,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 341,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 342,
+    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 343,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 344,
+    TypeDoesNotImplementMember0 = 345,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 346,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 347,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 348,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 349,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 350,
+    CannotAccessAbstractMemberOfBaseType = 351,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 352,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 353,
+    EitherIdentifiersOrIntegerIndexesAreAllowedAsParametersOfTextTemplateLiteral = 354,
+    OnlyIndex0IsAllowedHereAsParameterOfTextTemplateLiteral = 355,
+    OnlyIntegerLiteralInRangeFromZeroToNIsAllowedHereAsParameterOfTextTemplateLiteral = 356,
+    OnlyIdentifierIsAllowedHereAsParameterOfTextTemplateLiteral = 357,
+    TranslationFunctionIsNotAllowedWhenIndexesAreUsedAsParametersInSourceTextTemplate = 358,
+    UnknownParameterOfTextTemplateTranslation = 359,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 360,
+    ThisCallCausesOwnConstructorCallCycle = 361,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 362,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 363,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 364,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 365,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 366,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 367,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 368,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

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

@@ -1,11 +1,15 @@
+import { DisplayableOrPrimitive } from '../common/index.js';
 import { DiagnosticCode } from './DiagnosticCode.js';
 export declare class DiagnosticData {
     readonly code: DiagnosticCode;
-    readonly message: string;
     readonly kind: DiagnosticKind;
     readonly flags: DiagnosticFlags;
-    constructor(code: DiagnosticCode, message: string, kind: DiagnosticKind, flags: DiagnosticFlags);
-    static withCode(code: DiagnosticCode, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): DiagnosticData;
+    private _messageFormat;
+    private _formatArguments;
+    private _message;
+    get message(): string;
+    constructor(code: DiagnosticCode, formatMessage: string | undefined, formatArguments: readonly DisplayableOrPrimitive[] | undefined, kind: DiagnosticKind, flags: DiagnosticFlags);
+    static withCode(code: DiagnosticCode, formatArguments?: readonly DisplayableOrPrimitive[], kind?: DiagnosticKind, flags?: DiagnosticFlags): DiagnosticData;
 }
 export declare const enum DiagnosticKind {
     Error = 0,

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

@@ -36,6 +36,7 @@ export declare class EntityMap {
     private getPackageEntityInternal;
     private createTypeMembers;
     private getContainingPackageAndAccumulateIfMember;
+    private getEntityNameText;
     private getNameText;
     private isDefaultExport;
     private unaliasTypeEntity;

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

@@ -111,7 +111,8 @@ export declare class Transformer {
     transformJsInstanceOfExpressionChildren(expression: ir.JsInstanceOfExpression): void;
     transformJsIdentifierExpressionChildren(_expression: ir.JsIdentifierExpression): void;
     transformDereferenceExpressionChildren(expression: ir.DereferenceExpression): void;
-    transformNamedJsObjectLiteralProperty(property: ir.NamedJsObjectLiteralProperty): ir.NamedJsObjectLiteralProperty;
+    transformValueJsObjectLiteralProperty(property: ir.ValueJsObjectLiteralProperty): ir.ValueJsObjectLiteralProperty;
+    transformFunctionJsObjectLiteralProperty(property: ir.FunctionJsObjectLiteralProperty): ir.FunctionJsObjectLiteralProperty;
     transformSpreadJsObjectLiteralProperty(property: ir.SpreadJsObjectLiteralProperty): ir.SpreadJsObjectLiteralProperty;
     transformDecorator(node: ir.Decorator): ir.Decorator;
     private transformStatementsAndAddHoistedLocalVariables;
@@ -209,7 +210,8 @@ export interface TransformationConfig {
     transformArguments?(declaration: ir.Arguments): NodeTransformationResult<ir.Arguments>;
     transformCatchClause?(clause: ir.CatchClause): NodeTransformationResult<ir.CatchClause>;
     transformFinallyClause?(clause: ir.FinallyClause): NodeTransformationResult<ir.FinallyClause>;
-    transformNamedJsObjectLiteralProperty?(clause: ir.NamedJsObjectLiteralProperty): NodeTransformationResult<ir.NamedJsObjectLiteralProperty>;
+    transformValueJsObjectLiteralProperty?(clause: ir.ValueJsObjectLiteralProperty): NodeTransformationResult<ir.ValueJsObjectLiteralProperty>;
+    transformFunctionJsObjectLiteralProperty?(clause: ir.FunctionJsObjectLiteralProperty): NodeTransformationResult<ir.FunctionJsObjectLiteralProperty>;
     transformSpreadJsObjectLiteralProperty?(clause: ir.SpreadJsObjectLiteralProperty): NodeTransformationResult<ir.SpreadJsObjectLiteralProperty>;
     transformDecorator?(node: ir.Decorator): NodeTransformationResult<ir.Decorator>;
 }

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

@@ -174,4 +174,18 @@ declare const enum ErrorStatementEmitOptionsFlags {
     None = 0,
     WrapExpressionInError = 1
 }
+export declare class ForStatementEmitOptions {
+    private _flags;
+    constructor(flags?: ForStatementEmitOptionsFlags);
+    constructor(addExplicitCallOfEnumeratorMethodIfRequired: boolean);
+    static default(): ForStatementEmitOptions;
+    get addExplicitCallOfEnumeratorMethodIfRequired(): boolean;
+    set addExplicitCallOfEnumeratorMethodIfRequired(value: boolean);
+    setAddExplicitCallOfEnumeratorMethodIfRequired(value: boolean): this;
+    clone(): ForStatementEmitOptions;
+}
+declare const enum ForStatementEmitOptionsFlags {
+    None = 0,
+    AddExplicitCallOfEnumeratorMethodIfRequired = 1
+}
 export {};

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

@@ -2,7 +2,7 @@ import { AccessKind } from '../../common/index.js';
 import { FunctionEntity, NamedEntity, Type, TypeOrExtensionEntity, VariableEntity } from '../Entities.js';
 import { AccessedFunction, AccessedVariable } from './AccessedEntities.js';
 import { ComputedAccess } from './ComputedAccess.js';
-import { AssignmentEmitOptions, CallExpressionEmitOptions, ConstructorCallExpressionEmitOptions, DeclarationWithInitializerEmitOptions, ErrorStatementEmitOptions, FieldAccessExpressionEmitOptions, FieldDeclarationEmitOptions, FunctionAccessExpressionEmitOptions, MethodDeclarationEmitOptions, PackageVariableDeclarationEmitOptions, TextTemplateLiteralEmitOptions } from './EmitOptions.js';
+import { AssignmentEmitOptions, CallExpressionEmitOptions, ConstructorCallExpressionEmitOptions, DeclarationWithInitializerEmitOptions, ErrorStatementEmitOptions, FieldAccessExpressionEmitOptions, FieldDeclarationEmitOptions, ForStatementEmitOptions, FunctionAccessExpressionEmitOptions, MethodDeclarationEmitOptions, PackageVariableDeclarationEmitOptions, TextTemplateLiteralEmitOptions } from './EmitOptions.js';
 import { SourceLocation } from './SourceLocation.js';
 import { Expression, LValueExpression, PackageMemberDeclaration, Statement, TypeMemberDeclaration } from './types.js';
 export declare class ArrayLiteral {
@@ -239,9 +239,11 @@ export declare class ForStatement {
     indexVariableEntity: VariableEntity | undefined;
     enumeratedExpression: Expression;
     body: BlockStatement;
+    ifExpressionIsNotEnumerableThenEnumeratorMethod: AccessedFunction | undefined;
     sourceLocation: SourceLocation | undefined;
+    options: ForStatementEmitOptions;
     readonly kind = NodeKind.ForStatement;
-    constructor(label: string | undefined, enumerationVariableEntity: VariableEntity, indexVariableEntity: VariableEntity | undefined, enumeratedExpression: Expression, body: BlockStatement, sourceLocation: SourceLocation | undefined);
+    constructor(label: string | undefined, enumerationVariableEntity: VariableEntity, indexVariableEntity: VariableEntity | undefined, enumeratedExpression: Expression, body: BlockStatement, ifExpressionIsNotEnumerableThenEnumeratorMethod: AccessedFunction | undefined, sourceLocation: SourceLocation | undefined, options?: ForStatementEmitOptions);
     clone(): ForStatement;
 }
 export declare class IfStatement {
@@ -363,14 +365,27 @@ export declare class JsObjectLiteral {
     constructor(properties: readonly JsObjectLiteralProperty[], sourceLocation: SourceLocation | undefined);
     clone(): JsObjectLiteral;
 }
-export type JsObjectLiteralProperty = NamedJsObjectLiteralProperty | SpreadJsObjectLiteralProperty;
-export declare class NamedJsObjectLiteralProperty {
-    name: string;
+export type JsObjectLiteralProperty = ValueJsObjectLiteralProperty | FunctionJsObjectLiteralProperty | SpreadJsObjectLiteralProperty;
+export type JsObjectLiteralPropertyKey = string | Expression;
+export declare namespace JsObjectLiteralPropertyKey {
+    function clone(value: JsObjectLiteralPropertyKey): JsObjectLiteralPropertyKey;
+}
+export declare class ValueJsObjectLiteralProperty {
+    key: JsObjectLiteralPropertyKey;
     value: Expression;
     sourceLocation: SourceLocation | undefined;
-    readonly kind = NodeKind.NamedJsObjectLiteralProperty;
-    constructor(name: string, value: Expression, sourceLocation: SourceLocation | undefined);
-    clone(): NamedJsObjectLiteralProperty;
+    readonly kind = NodeKind.ValueJsObjectLiteralProperty;
+    constructor(key: JsObjectLiteralPropertyKey, value: Expression, sourceLocation: SourceLocation | undefined);
+    clone(): ValueJsObjectLiteralProperty;
+}
+export declare class FunctionJsObjectLiteralProperty {
+    key: JsObjectLiteralPropertyKey;
+    valueParameters: readonly ValueParameterDeclaration[];
+    body: BlockStatement;
+    sourceLocation: SourceLocation | undefined;
+    readonly kind = NodeKind.FunctionJsObjectLiteralProperty;
+    constructor(key: JsObjectLiteralPropertyKey, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, sourceLocation: SourceLocation | undefined);
+    clone(): FunctionJsObjectLiteralProperty;
 }
 /**
  * @example
@@ -983,23 +998,24 @@ export declare const enum NodeKind {
     EsModuleImportDirectiveStatement = 78,
     CjsModuleImportDirectiveStatement = 79,
     JsObjectLiteral = 80,
-    NamedJsObjectLiteralProperty = 81,
-    SpreadJsObjectLiteralProperty = 82,
-    JsPropertyAccessExpression = 83,
-    JsFunctionLiteral = 84,
-    JsTypeOfExpression = 85,
-    JsInstanceOfExpression = 86,
-    JsIdentifierExpression = 87,
-    DereferenceExpression = 88,
-    BaseExpression = 89,
-    OwnConstructorCallExpression = 90,
-    DereferencedVariableGetterDeclaration = 91,
-    DereferencedVariableSetterDeclaration = 92,
-    JsNamespaceDestructuringStatement = 93,
-    ComputedFieldDeclaration = 94,
-    TextWithEntityName = 95,
-    Arguments = 96,
-    Decorator = 97
+    ValueJsObjectLiteralProperty = 81,
+    FunctionJsObjectLiteralProperty = 82,
+    SpreadJsObjectLiteralProperty = 83,
+    JsPropertyAccessExpression = 84,
+    JsFunctionLiteral = 85,
+    JsTypeOfExpression = 86,
+    JsInstanceOfExpression = 87,
+    JsIdentifierExpression = 88,
+    DereferenceExpression = 89,
+    BaseExpression = 90,
+    OwnConstructorCallExpression = 91,
+    DereferencedVariableGetterDeclaration = 92,
+    DereferencedVariableSetterDeclaration = 93,
+    JsNamespaceDestructuringStatement = 94,
+    ComputedFieldDeclaration = 95,
+    TextWithEntityName = 96,
+    Arguments = 97,
+    Decorator = 98
 }
 export declare const enum AssignmentOperatorKind {
     Equals = 0,

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

@@ -1,5 +1,5 @@
 import * as ir from './Nodes.js';
-export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.NoneLiteral | 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.TextTemplateLiteral | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.ComputedFieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.NamedJsObjectLiteralProperty | ir.SpreadJsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration | ir.TextWithEntityName | ir.Argument | ir.Arguments | ir.Decorator;
+export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.NoneLiteral | 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.TextTemplateLiteral | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.ComputedFieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.ValueJsObjectLiteralProperty | ir.FunctionJsObjectLiteralProperty | ir.SpreadJsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration | ir.TextWithEntityName | ir.Argument | ir.Arguments | ir.Decorator;
 export type Declaration = ir.PackageFunctionDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.NestedFunctionDeclaration | ir.LocalVariableDeclaration | ir.ConstructorDeclaration | ir.DestructorDeclaration | ir.IndexedElementGetterDeclaration | ir.IndexedElementSetterDeclaration | ir.MethodDeclaration | ir.FieldDeclaration | ir.FieldGetterDeclaration | ir.FieldSetterDeclaration | ir.ValueParameterDeclaration | ir.VariantDeclaration | ir.DereferencedVariableGetterDeclaration | ir.DereferencedVariableSetterDeclaration;
 export type Statement = ir.AssignmentStatement | ir.BlockStatement | ir.BreakLoopStatement | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.EmptyStatement | ir.ErrorStatement | ir.ImportantStatement | ir.ExpressionStatement | ir.ForStatement | ir.IfStatement | ir.NestedFunctionDeclarationStatement | ir.LocalVariableDeclarationStatement | ir.LoopStatement | ir.ReturnStatement | ir.SwitchStatement | ir.WhileStatement | ir.YieldStatement | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement;
 export type Expression = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.BinaryExpression | ir.BooleanLiteral | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.NoneLiteral | 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.TextWithEntityName | ir.TextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;

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

@@ -1,10 +1,10 @@
+import { Localization } from '../analysis/Localization.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
 import { PackageAliasTypeDeclaration } from '../tree/index.js';
-import * as types from '../types/index.js';
-import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
-import { DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
+import { TypeEntityMembers } from './TypeEntityMembers.js';
+import { AliasedType, DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export interface AliasTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Alias;
@@ -16,11 +16,13 @@ export interface AliasTypeEntity extends ITypeEntity {
     getAliasedType(): AliasedType;
     getTypeParameters(): readonly TypeParameterEntity[];
     getDefinition(): AliasTypeEntityDefinition;
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getArity(): number;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getLocalization(): Localization;
+    getOriginalEntity(): AliasTypeEntity;
 }
 export type AliasTypeEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -28,42 +30,6 @@ export type AliasTypeEntityDefinition = {
 } | {
     kind: DefinitionKind.TypeScript;
 };
-/**
- * Класс позволяет работать с правой частью тождественного типа (с "aliased type"), исключая циклы.
- *
- * Пример цикла:
- * ```artel
- * тип А = Б
- * тип Б = А
- * ```
- *
- * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - тип `unresolved`, чтобы разорвать цикл,
- * созданный типами `А` и `Б`.
- */
-export declare class AliasedType {
-    /**
-     * Правая часть тождественного типа, указанная пользователем.
-     */
-    readonly declared: types.Type;
-    private readonly _analyzer;
-    private _state;
-    /**
-     * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
-     * если указанный тип приводит к циклу.
-     */
-    get cycleFree(): types.Type;
-    /**
-     * Приводит ли указанная пользователем правая часть тождественного типа к циклу?
-     */
-    get causesCycle(): boolean;
-    constructor(analyzer: Analyzer, declared: types.Type);
-    private getAliasedTypeResolutionResult;
-    /**
-     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
-     */
-    private resolveAliasedType;
-    private checkIfTypeFormsCycle;
-}
 export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntity {
     private readonly _analyzer;
     private readonly _node;
@@ -79,11 +45,13 @@ export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntit
     getContainingPackage(): PackageEntity;
     getAliasedType(): AliasedType;
     getTypeParameters(): readonly TypeParameterEntity[];
-    getMembers(): OriginalTypeEntityMembers;
+    getMembers(): TypeEntityMembers;
     getDefinition(): AliasTypeEntityDefinition;
     getArity(): number;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContext(): EntityContext;
+    getLocalization(): Localization;
+    getOriginalEntity(): AliasTypeEntity;
 }

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

@@ -0,0 +1,62 @@
+import { Analyzer } from '../analysis/index.js';
+import * as types from '../types/index.js';
+/**
+ * Класс позволяет работать с правой частью тождественного типа (с "aliased type"), исключая циклы.
+ *
+ * Пример цикла:
+ * ```artel
+ * тип А = Б
+ * тип Б = А
+ * ```
+ *
+ * Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - тип `unresolved`, чтобы разорвать цикл,
+ * созданный типами `А` и `Б`.
+ */
+export declare abstract class AliasedType {
+    /**
+     * Правая часть тождественного типа, указанная пользователем.
+     */
+    abstract readonly declared: types.Type;
+    /**
+     * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
+     * если указанный тип приводит к циклу.
+     */
+    abstract cycleFree: types.Type;
+    /**
+     * Приводит ли указанная пользователем правая часть тождественного типа к циклу?
+     */
+    abstract causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveAliasedType(circularityTrackingStack: boolean[]): CycleFreeAliasedTypeResolutionResult;
+}
+export declare class OriginalAliasedType extends AliasedType {
+    /**
+     * Правая часть тождественного типа, указанная пользователем.
+     */
+    readonly declared: types.Type;
+    private readonly _analyzer;
+    private _state;
+    /**
+     * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
+     * если указанный тип приводит к циклу.
+     */
+    get cycleFree(): types.Type;
+    /**
+     * Приводит ли указанная пользователем правая часть тождественного типа к циклу?
+     */
+    get causesCycle(): boolean;
+    constructor(analyzer: Analyzer, declared: types.Type);
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    resolveAliasedType(circularityTrackingStack: boolean[]): CycleFreeAliasedTypeResolutionResult;
+    private getAliasedTypeResolutionResult;
+    private checkIfTypeFormsCycle;
+}
+export declare class CycleFreeAliasedTypeResolutionResult {
+    readonly type: types.Type;
+    readonly causesCycle: boolean;
+    constructor(type: types.Type, causesCycle: boolean);
+}

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

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