@artel/artc 0.6.26015 → 0.6.26017

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

@@ -1,5 +1,5 @@
 import { Name } from '../../common/index.js';
-import { ConstructorEntity, OperatorKind, PackageEntity, TextTranslationEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity } from '../../entities/index.js';
+import { ConstructorEntity, PackageEntity, ParameterEntity, TextTranslationEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity } from '../../entities/index.js';
 import { SourceFile } from '../../project/SourceFile.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
@@ -12,21 +12,21 @@ import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 export declare abstract class SemanticContextBase {
-    protected static readonly emptyTypesOrContainersWithTypes: readonly TypeOrContainerWithTypes[];
-    protected static readonly emptyNamedDeclarations: readonly NamedDeclaration[];
-    protected static readonly emptyOperators: readonly types.Operator[];
-    protected static readonly emptyTypeExtensions: readonly TypeExtensionEntity[];
+    static readonly emptyTypesOrContainersWithTypes: readonly TypeOrContainerWithTypes[];
+    static readonly emptyNamedDeclarations: readonly NamedDeclaration[];
+    static readonly emptyTypeExtensions: readonly TypeExtensionEntity[];
     abstract readonly outer: SemanticContext | undefined;
     protected abstract readonly asContext: SemanticContext;
     abstract getContainingSubprogram(): SubprogramInfo | undefined;
     abstract getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    abstract getObjectVariableInfo(): ObjectVariableInfo | undefined;
     abstract getTryStatementContext(): TryStatementContextKind | undefined;
     abstract isStatic(): boolean;
     abstract getTypeMemberLookupContext(): TypeMemberLookupContext;
     abstract getOwnTypesOrContainersWithTypes(initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     abstract getOwnTypesOrContainersWithTypesByName(name: Name, initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    abstract getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
-    abstract getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
+    abstract getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean, lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    abstract getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean, lookupResult: NamedDeclarationLookupResult): void;
     getContainingSourceFile(): SourceFile;
     getContainingPackage(): PackageEntity;
     getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
@@ -34,15 +34,13 @@ export declare abstract class SemanticContextBase {
     getTypesOrContainersWithTypes(): readonly TypeOrContainerWithTypes[];
     getTypesOrContainersWithTypesByName(name: Name): readonly TypeOrContainerWithTypes[];
     getNamedDeclarations(noInstanceMembers?: boolean): readonly NamedDeclaration[];
-    getNamedDeclarationsByName(name: Name, noInstanceMembers?: boolean): readonly NamedDeclaration[];
-    getOperators(noInstanceMembers?: boolean): readonly types.Operator[];
-    getOperatorsByKind(kind: OperatorKind, noInstanceMembers?: boolean): readonly types.Operator[];
+    getNamedDeclarationsByName(name: Name, noInstanceMembers?: boolean): NamedDeclarationLookupResult;
     getTypeExtensionsByType(type: TypeEntity): readonly TypeExtensionEntity[];
     getTextTranslationEntityByTextKey(key: TextKey): readonly TextTranslationEntity[];
     private semanticContexts;
     private getSourceFileContext;
 }
-export type SubprogramInfo = SubprogramInfo.Function | SubprogramInfo.Operator | SubprogramInfo.Constructor | SubprogramInfo.Destructor | SubprogramInfo.Getter | SubprogramInfo.Setter | SubprogramInfo.PackageConstructor | SubprogramInfo.PackageEntryPoint | SubprogramInfo.FunctionLiteral | SubprogramInfo.TextTranslationFunction;
+export type SubprogramInfo = SubprogramInfo.Function | SubprogramInfo.Constructor | SubprogramInfo.Destructor | SubprogramInfo.Getter | SubprogramInfo.Setter | SubprogramInfo.PackageConstructor | SubprogramInfo.PackageEntryPoint | SubprogramInfo.FunctionLiteral | SubprogramInfo.TextTranslationFunction;
 export declare namespace SubprogramInfo {
     export class Function implements ISubprogramInfo {
         readonly kind = "function";
@@ -55,16 +53,6 @@ export declare namespace SubprogramInfo {
         getNode(): FunctionDeclaration;
         private getEntity;
     }
-    export class Operator implements ISubprogramInfo {
-        readonly kind = "operator";
-        private readonly analyzer;
-        private readonly node;
-        constructor(analyzer: Analyzer, node: tree.OperatorDeclaration);
-        getReturnType(): types.Type | undefined;
-        isGenerator(): boolean;
-        allowsAsyncCalls(): boolean;
-        getNode(): tree.OperatorDeclaration;
-    }
     export class Constructor implements ISubprogramInfo {
         readonly kind = "constructor";
         private readonly analyzer;
@@ -179,7 +167,34 @@ export declare namespace TypeOrTypeExtension {
     }
     export {};
 }
+export type ObjectVariableInfo = ObjectVariableInfo.ContainingTypeContext | ObjectVariableInfo.ObjectParameter;
+export declare namespace ObjectVariableInfo {
+    class ContainingTypeContext {
+        readonly typeOrExtension: TypeOrTypeExtension;
+        readonly kind = "containing-type-context";
+        constructor(typeOrExtension: TypeOrTypeExtension);
+    }
+    class ObjectParameter {
+        readonly parameter: ParameterEntity;
+        readonly kind = "object-parameter";
+        constructor(parameter: ParameterEntity);
+    }
+}
 export declare enum TryStatementContextKind {
     InTryBlockWithCatchClause = 0,
     InFinallyBlock = 1
 }
+export declare class SemanticContextLookupState {
+    hasSearchedInObjectVariable: boolean;
+}
+export declare class NamedDeclarationLookupResult {
+    hasSearchedInObjectVariable: boolean;
+    private declarations_;
+    private objectParameter_;
+    get declarations(): readonly NamedDeclaration[];
+    /**
+     * Параметр "объект", в типе которого были найден объявления.
+     */
+    get objectParameter(): ParameterEntity | undefined;
+    setDeclarations(declarations: readonly NamedDeclaration[], objectParameter: ParameterEntity | undefined): void;
+}

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

@@ -1,12 +1,11 @@
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { FunctionDeclaration, FunctionTypeDeclaration, IndexedElementAccessorDeclaration, PackageTypeDeclaration, RegularOrBlockFunctionLiteral, SubprogramDeclarationOrLiteral } from '../NodeTypeUtils.js';
-import { CatchClauseSemanticContext, ConstructorSemanticContext, DestructorSemanticContext, ForStatementSemanticContext, FunctionLiteralSemanticContext, FunctionSemanticContext, IndexedElementAccessorSemanticContext, OperatorSemanticContext, OutermostSemanticContextOfSubprogram, OutermostSemanticContextOfType, PackageConstructorSemanticContext, PackageEntryPointSemanticContext, ParametersOfFunctionTypeSemanticContext, SemanticContext, SemanticContextContainingTypeMember, SourceFileSemanticContext, SpecialLocalDeclarationSemanticContext, StatementBlockSemanticContext, SubprogramParameterListSemanticContext, SubprogramTypeParameterSemanticContext, TextTranslationFunctionDeclarationSemanticContext, TypeBodySemanticContext, TypeDeclarationCreatingSemanticContext, TypeDeclarationWithMemberBlock, TypeExtensionBodySemanticContext, TypeParametersOfTypeSemanticContext, VariableAccessorDeclaration, VariableAccessorSemanticContext } from '../semantic-context/index.js';
+import { CatchClauseSemanticContext, ConstructorSemanticContext, DestructorSemanticContext, ForStatementSemanticContext, FunctionLiteralSemanticContext, FunctionSemanticContext, IndexedElementAccessorSemanticContext, OutermostSemanticContextOfSubprogram, OutermostSemanticContextOfType, PackageConstructorSemanticContext, PackageEntryPointSemanticContext, ParametersOfFunctionTypeSemanticContext, SemanticContext, SemanticContextContainingTypeMember, SourceFileSemanticContext, SpecialLocalDeclarationSemanticContext, StatementBlockSemanticContext, SubprogramParameterListSemanticContext, SubprogramTypeParameterSemanticContext, TextTranslationFunctionDeclarationSemanticContext, TypeBodySemanticContext, TypeDeclarationCreatingSemanticContext, TypeDeclarationWithMemberBlock, TypeExtensionBodySemanticContext, TypeParametersOfTypeSemanticContext, VariableAccessorDeclaration, VariableAccessorSemanticContext } from '../semantic-context/index.js';
 export declare class SemanticContextBuilder {
     private readonly analyzer;
     private readonly sourceFileContexts;
     private readonly indexedElementAccessorContexts;
-    private readonly operatorContexts;
     private readonly fieldWithInitializerContexts;
     private readonly forStatementContexts;
     private readonly catchClauseSemanticContexts;
@@ -39,8 +38,6 @@ export declare class SemanticContextBuilder {
     ofFunctionDeclarationParameters(node: FunctionDeclaration): SubprogramParameterListSemanticContext;
     ofFunctionDeclarationTypeParameters(node: FunctionDeclaration, typeParameterClause: tree.TypeParameterClause): SubprogramTypeParameterSemanticContext;
     outermostSemanticContextOfFunctionDeclaration(node: FunctionDeclaration): FunctionSemanticContext;
-    ofOperatorDeclarationParameters(node: tree.OperatorDeclaration): SubprogramParameterListSemanticContext;
-    outermostSemanticContextOfOperatorDeclaration(node: tree.OperatorDeclaration): OperatorSemanticContext;
     ofTypeDeclarationMemberBlock(typeDeclaration: TypeDeclarationWithMemberBlock, memberBlock: tree.TypeMemberDeclarationBlock): TypeBodySemanticContext;
     ofFunctionTypeDeclarationParameters(node: FunctionTypeDeclaration): ParametersOfFunctionTypeSemanticContext;
     outermostSemanticContextOfTypeDeclaration(node: TypeDeclarationCreatingSemanticContext): OutermostSemanticContextOfType;
@@ -75,7 +72,6 @@ export declare class SemanticContextBuilder {
     private ofChildOfTypeDeclarationWithMemberBlock2;
     private ofChildOfAnonymousFunctionTypeDeclaration;
     private ofChildOfFunctionLiteral;
-    private ofOperatorDeclarationChild;
     private ofConstructorDeclarationChild;
     private ofDestructorDeclarationChild;
     private ofIndexedElementGetterDeclarationChild;

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

@@ -5,6 +5,7 @@ import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
+import { NamedDeclarationLookupResult, SemanticContextLookupState } from './SemanticContextBase.js';
 import { SemanticContextWithParent } from './SemanticContextWithParent.js';
 export interface NameConflictsValidator {
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
@@ -29,8 +30,8 @@ export declare abstract class SemanticContextValidatingNameConflictsBase extends
     protected abstract createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean, _lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean, lookupResult: NamedDeclarationLookupResult): void;
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
     private getMemberEntityDictionary;
     private validateNestedFunctionsConflicts;

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

@@ -1,10 +1,11 @@
 import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { SemanticContext } from './SemanticContext.js';
-import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
+import { ObjectVariableInfo, SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
 export declare abstract class SemanticContextWithParent extends SemanticContextBase {
     abstract readonly outer: SemanticContext;
     getContainingSubprogram(): SubprogramInfo | undefined;
     getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    getObjectVariableInfo(): ObjectVariableInfo | undefined;
     getTryStatementContext(): TryStatementContextKind | undefined;
     isStatic(): boolean;
     getTypeMemberLookupContext(): TypeMemberLookupContext;

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

@@ -10,7 +10,7 @@ import { TextKey } from '../TextIdentity.js';
 import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
-import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
+import { NamedDeclarationLookupResult, ObjectVariableInfo, SemanticContextBase, SemanticContextLookupState, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
 export declare class SourceFileSemanticContext extends SemanticContextBase {
     readonly kind = "source-file";
     readonly outer: SemanticContext | undefined;
@@ -33,6 +33,7 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
     constructor(analyzer: Analyzer, node: tree.SourceFile);
     getContainingSubprogram(): SubprogramInfo | undefined;
     getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    getObjectVariableInfo(): ObjectVariableInfo | undefined;
     getSourceFile(): SourceFile;
     getPackage(): PackageEntity;
     getTryStatementContext(): TryStatementContextKind | undefined;
@@ -42,8 +43,8 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
     getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
     getOwnTypesOrContainersWithTypes(initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(name: Name, initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(initialContext: SemanticContext, _noInstanceMembers: boolean): NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarations(initialContext: SemanticContext, _noInstanceMembers: boolean, _lookupState: SemanticContextLookupState): NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, _noInstanceMembers: boolean, lookupResult: NamedDeclarationLookupResult): void;
     getOwnTypeExtensionsByType(type: TypeEntity, initialContext: SemanticContext): TypeExtensionEntity[];
     getTextTranslationEntityByTextKey(key: TextKey): readonly TextTranslationEntity[];
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;

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

@@ -18,7 +18,6 @@ export declare class SpecialLocalDeclarationsBuilder {
     static buildForFunctionLiteral(analyzer: Analyzer, node: tree.FunctionLiteral): readonly SpecialLocalDeclarationEntity[];
     static buildForConstructorDeclaration(analyzer: Analyzer, node: tree.ConstructorDeclaration): readonly SpecialLocalDeclarationEntity[];
     static buildForMethodDeclaration(analyzer: Analyzer, node: tree.MethodDeclaration): readonly SpecialLocalDeclarationEntity[];
-    static buildForOperatorDeclaration(analyzer: Analyzer, node: tree.OperatorDeclaration): readonly SpecialLocalDeclarationEntity[];
     static buildForTextTranslationFunctionDeclaration(analyzer: Analyzer, node: tree.TextTranslationFunctionDeclaration): readonly SpecialLocalDeclarationEntity[];
 }
 export {};

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

@@ -1,10 +1,11 @@
 import { Name } from '../../common/index.js';
+import { ParameterEntity } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { DereferencedVariableAccessorDeclaration, FieldAccessorDeclaration, FunctionDeclaration, IndexedElementAccessorDeclaration, PackageVariableAccessorDeclaration, RegularOrBlockFunctionLiteral } from '../NodeTypeUtils.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
-import { SubprogramInfo, TryStatementContextKind } from './SemanticContextBase.js';
+import { NamedDeclarationLookupResult, ObjectVariableInfo, SemanticContextLookupState, SubprogramInfo, TryStatementContextKind } from './SemanticContextBase.js';
 import { SemanticContextWithParent } from './SemanticContextWithParent.js';
 import { SourceFileSemanticContext } from './SourceFileSemanticContext.js';
 import { SemanticContextContainingTypeMember } from './TypeSemanticContext.js';
@@ -16,106 +17,115 @@ export type LastSemanticContextOfSubprogramParent = SemanticContext;
  */
 export declare abstract class OutermostSemanticContextOfSubprogram extends SemanticContextWithParent {
     readonly kind = "outermost-of-subprogram";
+    protected abstract readonly analyzer: Analyzer;
+    private readonly objectVariableInfo;
+    private readonly objectParameter_;
+    private readonly objectParameterMemberLookup_;
+    private get objectParameter();
+    private get objectParameterMemberLookup();
     abstract getContainingSubprogram(): SubprogramInfo;
+    protected abstract findObjectParameter(): ParameterEntity | undefined;
+    getObjectVariableInfo(): ObjectVariableInfo | undefined;
     getTryStatementContext(): TryStatementContextKind | undefined;
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean, lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean, lookupResult: NamedDeclarationLookupResult): void;
+    private convertNamedMember;
 }
 export declare class FunctionSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContext;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: FunctionDeclaration, outer: SemanticContext);
     getContainingSubprogram(): SubprogramInfo;
     isStatic(): boolean;
+    protected findObjectParameter(): ParameterEntity | undefined;
+    private getEntity;
 }
 export declare class PackageConstructorSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SourceFileSemanticContext;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: tree.PackageConstructorDeclaration, outer: SourceFileSemanticContext);
     getContainingSubprogram(): SubprogramInfo;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export declare class PackageEntryPointSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SourceFileSemanticContext;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: tree.PackageEntryPointDeclaration, outer: SourceFileSemanticContext);
     getContainingSubprogram(): SubprogramInfo;
-}
-export declare class OperatorSemanticContext extends OutermostSemanticContextOfSubprogram {
-    readonly outer: SemanticContextContainingTypeMember;
-    protected readonly asContext: SemanticContext;
-    private readonly analyzer;
-    private readonly node;
-    private readonly subprogramInfo;
-    constructor(analyzer: Analyzer, node: tree.OperatorDeclaration, outer: SemanticContextContainingTypeMember);
-    getContainingSubprogram(): SubprogramInfo;
-    isStatic(): boolean;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export declare class ConstructorSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContextContainingTypeMember;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: tree.ConstructorDeclaration, outer: SemanticContextContainingTypeMember);
     getContainingSubprogram(): SubprogramInfo;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export declare class DestructorSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContextContainingTypeMember;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: tree.DestructorDeclaration, outer: SemanticContextContainingTypeMember);
     getContainingSubprogram(): SubprogramInfo;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export type AccessorSemanticContextParent = SemanticContextContainingTypeMember | SourceFileSemanticContext;
 export type VariableAccessorDeclaration = PackageVariableAccessorDeclaration | FieldAccessorDeclaration | DereferencedVariableAccessorDeclaration;
 export declare class VariableAccessorSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: AccessorSemanticContextParent;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: VariableAccessorDeclaration, outer: AccessorSemanticContextParent);
     getContainingSubprogram(): SubprogramInfo;
     isStatic(): boolean;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export declare class IndexedElementAccessorSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: AccessorSemanticContextParent;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: IndexedElementAccessorDeclaration, outer: AccessorSemanticContextParent);
     getContainingSubprogram(): SubprogramInfo;
     isStatic(): boolean;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export declare class FunctionLiteralSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContext;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: RegularOrBlockFunctionLiteral, outer: SemanticContext);
     getContainingSubprogram(): SubprogramInfo;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }
 export declare class TextTranslationFunctionDeclarationSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContext;
     protected readonly asContext: SemanticContext;
-    private readonly analyzer;
+    protected readonly analyzer: Analyzer;
     private readonly node;
     private readonly subprogramInfo;
     constructor(analyzer: Analyzer, node: tree.TextTranslationFunctionDeclaration, outer: SemanticContext);
     getContainingSubprogram(): SubprogramInfo;
+    protected findObjectParameter(): ParameterEntity | undefined;
 }

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

@@ -1,13 +1,11 @@
 import { Name } from '../../common/index.js';
-import { OperatorKind } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
-import * as types from '../../types/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { FunctionTypeDeclaration, StructuredTypeDeclaration, TypeDeclaration, VariantTypeDeclaration } from '../NodeTypeUtils.js';
 import { TypeMemberLookup, TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
-import { SubprogramInfo, TypeOrTypeExtension } from './SemanticContextBase.js';
+import { NamedDeclarationLookupResult, ObjectVariableInfo, SemanticContextLookupState, SubprogramInfo, TypeOrTypeExtension } from './SemanticContextBase.js';
 import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
 import { SemanticContextWithParent } from './SemanticContextWithParent.js';
 import { SourceFileSemanticContext } from './SourceFileSemanticContext.js';
@@ -25,14 +23,15 @@ export declare class OutermostSemanticContextOfType extends SemanticContextWithP
     private readonly node;
     private readonly typeMemberLookupContext;
     constructor(analyzer: Analyzer, node: TypeDeclarationCreatingSemanticContext, outer: SemanticContext);
-    getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    getContainingTypeOrTypeExtension(): TypeOrTypeExtension;
+    getObjectVariableInfo(): ObjectVariableInfo | undefined;
     getContainingSubprogram(): SubprogramInfo | undefined;
     isStatic(): boolean;
     getTypeMemberLookupContext(): TypeMemberLookupContext;
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean, _lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean, _lookupResult: SemanticContextLookupState): void;
     private getContainingType;
 }
 type TypeDeclarationWithTypeParameters = TypeDeclaration & tree.TypeParameterClauseParent;
@@ -50,10 +49,8 @@ declare abstract class TypeOrExtensionBodySemanticContext extends SemanticContex
     protected abstract memberLookup: TypeMemberLookup;
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean): NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
-    getOwnOperators(initialContext: SemanticContext, noInstanceMembers?: boolean): readonly types.Operator[];
-    getOwnOperatorsByKind(kind: OperatorKind, initialContext: SemanticContext, noInstanceMembers?: boolean): readonly types.Operator[];
+    getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean, lookupState: SemanticContextLookupState): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean, lookupResult: NamedDeclarationLookupResult): void;
     private convertNamedMember;
 }
 export type SemanticContextContainingTypeMember = TypeBodySemanticContext | TypeExtensionBodySemanticContext;
@@ -80,7 +77,8 @@ export declare class TypeExtensionBodySemanticContext extends TypeOrExtensionBod
     private readonly typeMemberLookupContext;
     protected get memberLookup(): TypeMemberLookup;
     constructor(analyzer: Analyzer, node: tree.TypeExtensionDeclaration, outer: SourceFileSemanticContext);
-    getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    getContainingTypeOrTypeExtension(): TypeOrTypeExtension;
+    getObjectVariableInfo(): ObjectVariableInfo | undefined;
     getTypeMemberLookupContext(): TypeMemberLookupContext;
 }
 export type ParameterOfFunctionTypeSemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfType;

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

@@ -28,6 +28,7 @@ export declare const enum NameFlags {
     PreferKebabCase = 32
 }
 export declare class Name implements Displayable {
+    static readonly objectParameterNameKey = "-object";
     /**
      * Исходное имя без одиночных кавычек и без символов '\`' в конце.
      */
@@ -60,13 +61,13 @@ export declare class Name implements Displayable {
      * @param unescapedOriginalWithoutQuotes Исходное имя без апострофов, одиночных кавычек и экранирования.
      * @param flags Флаги имени (`NameFlags`). `NameFlags.None` по умолчанию.
      */
-    constructor(unescapedOriginalWithoutQuotes: string, flags?: NameFlags);
+    constructor(unescapedOriginalWithoutQuotes: string, flags?: NameFlags, specialKey?: string);
     toConflictResolvingParameterName(): Name;
     toBackingVariableName(): Name;
     considerEqual(other: Name, considerBackQuotes?: boolean): boolean;
     toString(): string;
     getPreferredUnescapedOriginal(flags: NameFlags): string;
     getDisplayText(): string;
-    static parse(original: string, initialFlags?: NameFlags): Name;
+    static parse(original: string, initialFlags?: NameFlags, specialKey?: string): Name;
     private static toUnescapedOriginal;
 }