@artel/artc 0.6.25216 → 0.6.25217

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

@@ -3,7 +3,7 @@ import { MethodEntity, Type, TypeOrExtensionEntity, VariableEntity } from '../En
 import { AccessedMethod, AccessedVariable } from './AccessedEntities.js';
 import { ComputedAccess } from './ComputedAccess.js';
 import { AssignmentLoweringOptions, DeclarationWithInitializerLoweringOptions, MethodAccessLoweringOptions, TextTemplateLiteralLoweringOptions } from './LoweringOptions.js';
-import { CallExpressionLoweringState, ConstructorCallExpressionLoweringState } from './LoweringState.js';
+import { CallExpressionLoweringState, ConstructorCallExpressionLoweringState, PackageVariableDeclarationLoweringState, TypeMethodDeclarationLoweringState } from './LoweringState.js';
 import { SourceLocation } from './SourceLocation.js';
 import { Expression, LValueExpression, PackageMemberDeclaration, Statement, TypeMemberDeclaration } from './types.js';
 export declare class ArrayLiteral {
@@ -232,16 +232,6 @@ export declare class ForStatement {
     constructor(label: string | undefined, enumerationVariableEntity: VariableEntity, indexVariableEntity: VariableEntity | undefined, enumeratedExpression: Expression, body: BlockStatement, sourceLocation: SourceLocation | undefined);
     clone(): ForStatement;
 }
-export declare class HelperMethodCallExpression {
-    methodName: string;
-    callArguments: readonly Expression[];
-    isAsyncMethodCall: boolean;
-    returnType: Type;
-    sourceLocation: SourceLocation | undefined;
-    readonly kind = NodeKind.HelperMethodCallExpression;
-    constructor(methodName: string, callArguments: readonly Expression[], isAsyncMethodCall: boolean, returnType: Type, sourceLocation: SourceLocation | undefined);
-    clone(): HelperMethodCallExpression;
-}
 export declare class IfStatement {
     condition: Expression;
     thenStatement: BlockStatement;
@@ -254,11 +244,11 @@ export declare class IfStatement {
 export declare class IndexedAccessExpression {
     expression: Expression;
     isOptionalChaining: boolean;
-    args: readonly Expression[];
+    args: CallArguments;
     access: ComputedAccess;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.IndexedAccessExpression;
-    constructor(expression: Expression, isOptionalChaining: boolean, args: readonly Expression[], access: ComputedAccess, sourceLocation: SourceLocation | undefined);
+    constructor(expression: Expression, isOptionalChaining: boolean, args: CallArguments, access: ComputedAccess, sourceLocation: SourceLocation | undefined);
     clone(): IndexedAccessExpression;
 }
 export declare class InlineJsExpression {
@@ -530,8 +520,9 @@ export declare class PackageVariableDeclaration {
     initializer: Expression | undefined;
     entity: VariableEntity;
     sourceLocation: SourceLocation | undefined;
+    loweringState: PackageVariableDeclarationLoweringState;
     readonly kind = NodeKind.PackageVariableDeclaration;
-    constructor(modifiers: Modifiers, initializer: Expression | undefined, entity: VariableEntity, sourceLocation: SourceLocation | undefined);
+    constructor(modifiers: Modifiers, initializer: Expression | undefined, entity: VariableEntity, sourceLocation: SourceLocation | undefined, loweringState?: PackageVariableDeclarationLoweringState);
     clone(): PackageVariableDeclaration;
 }
 export declare class PackageVariableGetterDeclaration {
@@ -756,10 +747,11 @@ export declare class TypeMethodAccessExpression {
     isOptionalChaining: boolean;
     method: AccessedMethod;
     isCallee: boolean;
+    ifComputedThenKey: Expression | undefined;
     sourceLocation: SourceLocation | undefined;
     loweringOptions: MethodAccessLoweringOptions;
     readonly kind = NodeKind.TypeMethodAccessExpression;
-    constructor(expression: Expression, isOptionalChaining: boolean, method: AccessedMethod, isCallee: boolean, sourceLocation: SourceLocation | undefined, loweringOptions?: MethodAccessLoweringOptions);
+    constructor(expression: Expression, isOptionalChaining: boolean, method: AccessedMethod, isCallee: boolean, ifComputedThenKey: Expression | undefined, sourceLocation: SourceLocation | undefined, loweringOptions?: MethodAccessLoweringOptions);
     clone(): TypeMethodAccessExpression;
 }
 export declare class TypeMethodDeclaration {
@@ -768,15 +760,13 @@ export declare class TypeMethodDeclaration {
     body: BlockStatement;
     entity: MethodEntity;
     isGenerator: boolean;
-    isComputed: ComputedTypeMethodInfo | undefined;
+    ifComputedThenKey: Expression | undefined;
     sourceLocation: SourceLocation | undefined;
+    loweringState: TypeMethodDeclarationLoweringState;
     readonly kind = NodeKind.TypeMethodDeclaration;
-    constructor(modifiers: Modifiers, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: MethodEntity, isGenerator: boolean, isComputed: ComputedTypeMethodInfo | undefined, sourceLocation: SourceLocation | undefined);
+    constructor(modifiers: Modifiers, valueParameters: readonly ValueParameterDeclaration[], body: BlockStatement, entity: MethodEntity, isGenerator: boolean, ifComputedThenKey: Expression | undefined, sourceLocation: SourceLocation | undefined, loweringState?: TypeMethodDeclarationLoweringState);
     clone(): TypeMethodDeclaration;
 }
-export type ComputedTypeMethodInfo = {
-    readonly key: Expression;
-};
 export declare class TypeVariableAccessExpression {
     expression: Expression;
     isOptionalChaining: boolean;
@@ -901,71 +891,70 @@ export declare const enum NodeKind {
     IfStatement = 27,
     IndexedAccessExpression = 28,
     IntegerLiteral = 29,
-    HelperMethodCallExpression = 30,
-    IsExpression = 31,
-    NestedMethodDeclaration = 32,
-    NestedMethodDeclarationStatement = 33,
-    LocalVariableDeclaration = 34,
-    LocalVariableDeclarationStatement = 35,
-    NotExpression = 36,
-    NumericLiteral = 37,
-    OnErrorClause = 38,
-    MethodLiteral = 39,
-    PrefixUnaryExpression = 40,
-    MeasureLiteral = 41,
-    ReferenceExpression = 42,
-    LoopStatement = 43,
-    ReturnStatement = 44,
-    Package = 45,
-    TextLiteral = 46,
-    TextTemplateLiteral = 47,
-    TypeConstructorDeclaration = 48,
-    TypeDestructorDeclaration = 49,
-    TypeIndexedGetterDeclaration = 50,
-    TypeIndexedSetterDeclaration = 51,
-    TypeMethodDeclaration = 52,
-    TypeVariableDeclaration = 53,
-    TypeVariableGetterDeclaration = 54,
-    TypeVariableSetterDeclaration = 55,
-    SwitchStatement = 56,
-    Tag = 57,
-    TernaryExpression = 58,
-    ThisExpression = 59,
-    ValueParameterDeclaration = 60,
-    VariantDeclaration = 61,
-    WhileStatement = 62,
-    YieldStatement = 63,
-    ArrayLiteral = 64,
-    TypeAccessExpression = 65,
-    VariableAccessExpression = 66,
-    MethodAccessExpression = 67,
-    ImplicitVariantAccessExpression = 68,
-    VariantAccessExpression = 69,
-    TypeVariableAccessExpression = 70,
-    TypeMethodAccessExpression = 71,
-    ConstructorCallExpression = 72,
-    TryCatchFinallyStatement = 73,
-    InlineJsExpression = 74,
-    AssignmentExpression = 75,
-    CommaExpression = 76,
-    BaseConstructorCallExpression = 77,
-    JsImportSpecifier = 78,
-    JsIndexedAccessExpression = 79,
-    EsModuleImportDirectiveStatement = 80,
-    CjsModuleImportDirectiveStatement = 81,
-    JsObjectLiteral = 82,
-    JsObjectLiteralProperty = 83,
-    JsPropertyAccessExpression = 84,
-    JsFunctionLiteral = 85,
-    JsTypeOfExpression = 86,
-    JsInstanceOfExpression = 87,
-    JsIdentifierExpression = 88,
-    DereferenceExpression = 89,
-    BaseExpression = 90,
-    OwnConstructorCallExpression = 91,
-    TypeDereferencedVariableGetterDeclaration = 92,
-    TypeDereferencedVariableSetterDeclaration = 93,
-    JsNamespaceDestructuringStatement = 94
+    IsExpression = 30,
+    NestedMethodDeclaration = 31,
+    NestedMethodDeclarationStatement = 32,
+    LocalVariableDeclaration = 33,
+    LocalVariableDeclarationStatement = 34,
+    NotExpression = 35,
+    NumericLiteral = 36,
+    OnErrorClause = 37,
+    MethodLiteral = 38,
+    PrefixUnaryExpression = 39,
+    MeasureLiteral = 40,
+    ReferenceExpression = 41,
+    LoopStatement = 42,
+    ReturnStatement = 43,
+    Package = 44,
+    TextLiteral = 45,
+    TextTemplateLiteral = 46,
+    TypeConstructorDeclaration = 47,
+    TypeDestructorDeclaration = 48,
+    TypeIndexedGetterDeclaration = 49,
+    TypeIndexedSetterDeclaration = 50,
+    TypeMethodDeclaration = 51,
+    TypeVariableDeclaration = 52,
+    TypeVariableGetterDeclaration = 53,
+    TypeVariableSetterDeclaration = 54,
+    SwitchStatement = 55,
+    Tag = 56,
+    TernaryExpression = 57,
+    ThisExpression = 58,
+    ValueParameterDeclaration = 59,
+    VariantDeclaration = 60,
+    WhileStatement = 61,
+    YieldStatement = 62,
+    ArrayLiteral = 63,
+    TypeAccessExpression = 64,
+    VariableAccessExpression = 65,
+    MethodAccessExpression = 66,
+    ImplicitVariantAccessExpression = 67,
+    VariantAccessExpression = 68,
+    TypeVariableAccessExpression = 69,
+    TypeMethodAccessExpression = 70,
+    ConstructorCallExpression = 71,
+    TryCatchFinallyStatement = 72,
+    InlineJsExpression = 73,
+    AssignmentExpression = 74,
+    CommaExpression = 75,
+    BaseConstructorCallExpression = 76,
+    JsImportSpecifier = 77,
+    JsIndexedAccessExpression = 78,
+    EsModuleImportDirectiveStatement = 79,
+    CjsModuleImportDirectiveStatement = 80,
+    JsObjectLiteral = 81,
+    JsObjectLiteralProperty = 82,
+    JsPropertyAccessExpression = 83,
+    JsFunctionLiteral = 84,
+    JsTypeOfExpression = 85,
+    JsInstanceOfExpression = 86,
+    JsIdentifierExpression = 87,
+    DereferenceExpression = 88,
+    BaseExpression = 89,
+    OwnConstructorCallExpression = 90,
+    TypeDereferencedVariableGetterDeclaration = 91,
+    TypeDereferencedVariableSetterDeclaration = 92,
+    JsNamespaceDestructuringStatement = 93
 }
 export declare const enum AssignmentOperatorKind {
     Equals = 0,

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

@@ -1,9 +1,10 @@
 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.NoneLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.HelperMethodCallExpression | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedMethodDeclaration | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.OnErrorClause | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.TextTemplateLiteral | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TryCatchFinallyStatement | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.JsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
+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.NoneLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedMethodDeclaration | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.OnErrorClause | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.TextTemplateLiteral | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TryCatchFinallyStatement | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.JsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type Declaration = ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.NestedMethodDeclaration | ir.LocalVariableDeclaration | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.ValueParameterDeclaration | ir.VariantDeclaration | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type Statement = ir.AssignmentStatement | ir.BlockStatement | ir.BreakLoopStatement | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.ForStatement | ir.IfStatement | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclarationStatement | ir.LoopStatement | ir.ReturnStatement | ir.SwitchStatement | ir.TryCatchFinallyStatement | 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.HelperMethodCallExpression | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.NumericLiteral | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.DereferenceExpression | ir.TextLiteral | ir.TextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;
+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.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.NumericLiteral | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.DereferenceExpression | ir.TextLiteral | ir.TextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.VariantAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;
 export type TypeMemberDeclaration = ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type PackageMemberDeclaration = ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration;
+export type LocalDeclaration = ir.LocalVariableDeclaration | ir.NestedMethodDeclaration;
 export type LValueExpression = ir.VariableAccessExpression | ir.TypeVariableAccessExpression | ir.IndexedAccessExpression | ir.JsIndexedAccessExpression | ir.JsPropertyAccessExpression | ir.ThisExpression | ir.DereferenceExpression;
 export declare function isLValueExpression(node: Expression): node is LValueExpression;

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

@@ -10,7 +10,7 @@ export interface AliasTypeEntity {
     getName(): Name;
     getContainingPackage(): PackageEntity;
     /**
-     * При повторных вызовах метод должен возвращать один и тот же экземпляр класса AliasedType.
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса AliasedType.
      */
     getAliasedType(): AliasedType;
     getTypeParameters(): readonly TypeParameterEntity[];

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

@@ -12,8 +12,11 @@ export interface DereferenceOperatorEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
+    isRedefinable(): boolean;
+    isRedefined(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.DereferenceOperator | undefined;
 }
 export type DereferenceOperatorEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -27,6 +30,7 @@ export declare class TypeDereferenceOperatorDeclarationEntity implements Derefer
     private readonly _getterDeclaration;
     private readonly _setterDeclaration;
     private readonly _getterOrSetterDeclaration;
+    private readonly _overriddenMember;
     constructor(analyzer: Analyzer, getterDeclaration: TypeDereferencedVariableGetterDeclaration | undefined, setterDeclaration: TypeDereferencedVariableSetterDeclaration | undefined);
     getType(): types.Type;
     getGetter(): GetterEntity | undefined;
@@ -35,6 +39,9 @@ export declare class TypeDereferenceOperatorDeclarationEntity implements Derefer
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
+    isRedefinable(): boolean;
+    isRedefined(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.DereferenceOperator | undefined;
 }

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

@@ -13,8 +13,11 @@ export interface IndexerEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
+    isRedefinable(): boolean;
+    isRedefined(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.Indexer | undefined;
 }
 export type IndexerEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -34,6 +37,7 @@ export declare class TypeIndexerDeclarationEntity implements SourceIndexerEntity
     private readonly _setterDeclaration;
     private readonly _getterOrSetterDeclaration;
     private readonly _parameters;
+    private readonly _overriddenMember;
     private get parameters();
     constructor(analyzer: Analyzer, getterDeclaration: TypeIndexedGetterDeclaration | undefined, setterDeclaration: TypeIndexedSetterDeclaration | undefined);
     getParameter(node: ParameterDeclaration): ParameterVariableEntity;
@@ -45,7 +49,10 @@ export declare class TypeIndexerDeclarationEntity implements SourceIndexerEntity
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
+    isRedefinable(): boolean;
+    isRedefined(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.Indexer | undefined;
     private createParameters;
 }

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

@@ -6,7 +6,7 @@ import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
 import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
 import type { PackageEntity } from './index.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterVariableEntity, SubstitutionApplicationMode, TypeParameterEntity } from './index.js';
+import { BaseObjectType, DefinitionKind, EntityHidingLevel, EntityKind, ParameterVariableEntity, SubstitutionApplicationMode, TypeParameterEntity } from './index.js';
 export type MethodTypeEntity = PackageMethodTypeEntity | AnonymousMethodTypeEntity;
 export interface PackageMethodTypeEntity extends IMethodTypeEntity {
     readonly subkind: 'package';
@@ -30,6 +30,10 @@ interface IMethodTypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
+     */
+    getBaseObjectType(): BaseObjectType;
 }
 export type MethodTypeEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -47,6 +51,7 @@ export declare class PackageMethodTypeDeclarationEntity implements PackageMethod
     private readonly _typeParameters;
     private readonly _valueParameters;
     private readonly _members;
+    private readonly _baseObjectType;
     constructor(_analyzer: Analyzer, _node: PackageMethodTypeDeclaration);
     getNaming(): EntityNaming;
     getName(): Name;
@@ -61,6 +66,7 @@ export declare class PackageMethodTypeDeclarationEntity implements PackageMethod
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getBaseObjectType(): BaseObjectType;
 }
 export declare class AnonymousMethodTypeDeclarationEntity implements AnonymousMethodTypeEntity {
     private readonly _analyzer;
@@ -69,6 +75,7 @@ export declare class AnonymousMethodTypeDeclarationEntity implements AnonymousMe
     readonly subkind = "anonymous";
     private readonly _valueParameters;
     private readonly _members;
+    private readonly _baseObjectType;
     constructor(_analyzer: Analyzer, _node: AnonymousMethodTypeDeclaration);
     getNaming(): EntityNaming;
     getTypeParameters(): readonly TypeParameterEntity[];
@@ -82,6 +89,7 @@ export declare class AnonymousMethodTypeDeclarationEntity implements AnonymousMe
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
+    getBaseObjectType(): BaseObjectType;
 }
 export declare class UnfinishedIntrinsicAnonymousMethodTypeEntity {
     private readonly _unfinishedValue;

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

@@ -23,16 +23,18 @@ interface IStructuredTypeEntity {
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
     getArity(): number;
     /**
-     * При повторных вызовах метод должен возвращать один и тот же экземпляр класса BaseObjectType.
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
      */
     getBaseObjectType(): BaseObjectType;
     /**
-     * При повторных вызовах метод должен возвращать один и тот же экземпляр класса BaseAspectTypes.
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseAspectTypes.
      */
     getBaseAspectTypes(): BaseAspectTypes;
     isHidden(): EntityHidingLevel | undefined;
@@ -125,6 +127,8 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -150,6 +154,8 @@ export declare class SourcePackageStructuredTypeDeclarationData {
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -173,6 +179,8 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -187,7 +195,7 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
 export declare class UnfinishedIntrinsicPackageStructuredTypeEntity {
     private readonly _unfinishedValue;
     get unfinishedValue(): PackageStructuredTypeEntity;
-    constructor(analyzer: Analyzer, name: Name, containingPackage: PackageEntity, typeParameters: readonly TypeParameterEntity[], isAspect: boolean, isRefObject: boolean, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode);
+    constructor(analyzer: Analyzer, name: Name, containingPackage: PackageEntity, typeParameters: readonly TypeParameterEntity[], isBasic: boolean, isAbstract: boolean, isAspect: boolean, isRefObject: boolean, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode);
     finish(ownNamedMembers: readonly NamedTypeMemberEntity[], ownOperators: readonly OperatorEntity[], ownConstructors: readonly ConstructorEntity[], ownDestructors: readonly DestructorEntity[], ownIndexers: readonly IndexerEntity[], ownDereferenceOperators: readonly DereferenceOperatorEntity[]): PackageStructuredTypeEntity;
 }
 export declare class UnfinishedIntrinsicAnonymousStructuredTypeEntity {

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

@@ -7,7 +7,7 @@ export interface TypeParameterEntity {
     readonly kind: EntityKind.TypeParameter;
     getName(): Name;
     /**
-     * При повторных вызовах метод должен возвращать один и тот же экземпляр класса TypeParameterConstraint.
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса TypeParameterConstraint.
      */
     getConstraint(): TypeParameterConstraint;
     getDefaultType(): types.Type | undefined;

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

@@ -6,7 +6,7 @@ import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
 import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
 import { OriginalVariants } from './Variants.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, PackageEntity, SubstitutionApplicationMode, TypeParameterEntity } from './index.js';
+import { BaseObjectType, DefinitionKind, EntityHidingLevel, EntityKind, PackageEntity, SubstitutionApplicationMode, TypeParameterEntity } from './index.js';
 export type VariantTypeEntity = PackageVariantTypeEntity | AnonymousVariantTypeEntity;
 export interface PackageVariantTypeEntity extends IVariantTypeEntity {
     readonly subkind: 'package';
@@ -29,6 +29,10 @@ interface IVariantTypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
+     */
+    getBaseObjectType(): BaseObjectType;
 }
 export type VariantTypeEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -45,6 +49,7 @@ export declare class PackageVariantTypeDeclarationEntity implements PackageVaria
     private readonly _variants;
     private readonly _members;
     private readonly _underlyingType;
+    private readonly _baseObjectType;
     constructor(_analyzer: Analyzer, _node: PackageVariantTypeDeclaration);
     getNaming(): EntityNaming;
     getName(): Name;
@@ -58,6 +63,7 @@ export declare class PackageVariantTypeDeclarationEntity implements PackageVaria
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getBaseObjectType(): BaseObjectType;
 }
 export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousVariantTypeEntity {
     private readonly _analyzer;
@@ -67,6 +73,7 @@ export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousV
     private readonly _variants;
     private readonly _underlyingType;
     private readonly _members;
+    private readonly _baseObjectType;
     constructor(_analyzer: Analyzer, _node: AnonymousVariantTypeDeclaration);
     getVariants(): OriginalVariants;
     getMembers(): OriginalTypeEntityMembers;
@@ -79,5 +86,6 @@ export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousV
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
+    getBaseObjectType(): BaseObjectType;
 }
 export {};

package/build/types/parser/Scanner.d.ts

@@ -1,10 +1,5 @@
 import { TokenKind } from './TokenKind.js';
-export declare const enum Notation {
-    Artel = 0,
-    Nzon = 1
-}
 export interface ScannerOptions {
-    notation?: Notation;
     startPosition?: number;
     length?: number;
     skipWhitespace?: boolean;
@@ -19,7 +14,6 @@ export declare class Token {
 export declare class Scanner {
     readonly text: string;
     private token;
-    private notation;
     private skipWhitespace;
     private endPosition;
     private currentPosition;

package/build/types/parser/UnescapeText.d.ts

@@ -1,3 +1,3 @@
 export declare function withoutQuotes(text: string): string;
-export declare function withoutTextTemplateQuotes(text: string): string;
+export declare function withoutTemplateQuotes(text: string): string;
 export declare function unescapeText(text: string, normalizeCRLF?: boolean): string;