@artel/artc 0.6.25216 → 0.6.25218

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

@@ -4,10 +4,9 @@ import { Diagnostic, DiagnosticAcceptor, DiagnosticLocation } from '../diagnosti
 import { DiagnosticCode } from '../diagnostic/DiagnosticCode.js';
 import { DiagnosticFlags, DiagnosticKind } from '../diagnostic/DiagnosticData.js';
 import { BinaryOperatorKind } from '../entities/OperatorKind.js';
-import * as packageMembers from '../entities/PackageMembers.js';
+import { OriginalPackageMembers } from '../entities/PackageMembers.js';
 import { NamedTypeMemberEntity } from '../entities/TypeEntityMembers.js';
-import * as entities from '../entities/index.js';
-import { AliasTypeEntity, AnonymousMethodTypeEntity, AnonymousStructuredTypeEntity, AnonymousVariantTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, GetterEntity, IEntityHidingMatcher, LocalVariableEntity, MethodEntity, MethodTypeEntity, NamedTypeEntity, NestedMethodEntity, OperatorEntity, PackageAliasEntity, PackageEntity, PackageMethodEntity, PackageMethodTypeEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, SetterEntity, SourceIndexerEntity, StructuredTypeEntity, TypeEntity, TypeExtensionEntity, TypeMemberEntityContainer, TypeMethodEntity, TypeParameterEntity, TypeVariableEntity, VariableEntity, VariantEntity, VariantTypeEntity } from '../entities/index.js';
+import * as e from '../entities/index.js';
 import { ReservedIdentifierKind } from '../parser/ReservedIdentifierDictionary.js';
 import * as project from '../project/index.js';
 import { PackageName, PlatformKind, SourcePackage } from '../project/index.js';
@@ -17,9 +16,9 @@ import * as types from '../types/index.js';
 import { TypeFactory } from '../types/index.js';
 import { AccessedMethod } from './AccessedMethod.js';
 import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
+import { ArgumentToParameterMatchResult, MatchResultValueParameter } from './ArgumentToParameterMatchResult.js';
 import * as autotypeCallExpressionMeaning from './AutotypeCallExpressionMeaning.js';
 import * as baseExpressionMeaning from './BaseExpressionMeaning.js';
-import { CallArgumentToParameterMatchResult, MatchResultValueParameter } from './CallArgumentToParameterMatchResult.js';
 import * as callExpressionMeaning from './CallExpressionMeaning.js';
 import * as constructorOverloadResolver from './ConstructorOverloadResolver.js';
 import { DeclarationsUsageCountResult } from './DeclarationsUsageCounter.js';
@@ -37,12 +36,13 @@ import * as operationOverloadResolver from './OperationOverloadResolver.js';
 import * as propertyAccessExpressionResolution from './PropertyAccessExpressionMeaning.js';
 import * as scope from './Scope.js';
 import { SemanticContextBuilder } from './SemanticContextBuilder.js';
-import * as sourceFileMembers from './SourceFileMembers.js';
+import { SourceFileMembers as ActualSourceFileMembers } from './SourceFileMembers.js';
 import * as tagMeaning from './TagMeaning.js';
 import * as tags from './Tags.js';
 import { TargetTypeHint } from './TargetTypeHint.js';
 import * as typeOverloadResolver from './TypeOverloadResolver.js';
 import { WellKnownDeclarations } from './index.js';
+import { ModifierFlags } from './ModifierFlags.js';
 export declare class Analyzer {
     static readonly enumeratorMethodName = "\u043F\u0435\u0440\u0435\u0431\u043E\u0440";
     static readonly methodTypeInvokeMethodName = "\u0432\u044B\u043F\u043E\u043B\u043D\u0438\u0442\u044C";
@@ -50,7 +50,7 @@ export declare class Analyzer {
     /**
      * Пакет с именем 'Артель', содержащий стандартные типы.
      */
-    readonly systemPackage: PackageEntity;
+    readonly systemPackage: e.PackageEntity;
     readonly wellKnownDeclarations: WellKnownDeclarations;
     readonly standardTypes: types.StandardTypes;
     readonly typeFactory: TypeFactory;
@@ -58,12 +58,10 @@ export declare class Analyzer {
     readonly returnType: ReturnType;
     readonly entity: Entity;
     readonly resultLocalVariableEntity: ResultLocalVariableEntity;
-    readonly paramLocalVariableEntity: ParamLocalVariableEntity;
     readonly valueLocalVariableEntity: ValueLocalVariableEntity;
-    readonly destructuredParameterLocalVariableEntities: DestructuredParameterLocalVariableEntities;
     readonly scope: Scope;
     readonly semanticContext: SemanticContextBuilder;
-    readonly callArgumentToParameterMatchResult: CallArgumentToParameterMatchResult;
+    readonly argumentToParameterMatchResult: ArgumentToParameterMatchResult;
     readonly defaultConstructors: DefaultConstructors;
     readonly overriddenMember: OverriddenMember;
     readonly tags: Tags;
@@ -77,11 +75,11 @@ export declare class Analyzer {
     private readonly _propertyAccessExpressionResolutionResults;
     private readonly _sourceFileMembers;
     private readonly _callExpressionMeanings;
-    private readonly _indexedAccessExpressionMeanings;
+    private readonly _indexedAccessExpressionResolutionResults;
     private readonly _dereferenceExpressionMeanings;
     private readonly _autotypeCallExpressionMeanings;
     private readonly _identifierExpressionResolutionResults;
-    private readonly _tagMeanings;
+    private readonly _tagResolutionResults;
     private readonly _objectExpressionMeanings;
     private readonly _baseExpressionMeanings;
     private readonly _namedTypeSpecifierResolutionResults;
@@ -109,26 +107,25 @@ export declare class Analyzer {
     isTypeAssignableTo(source: types.Type, target: types.Type): boolean;
     checkStatementBlockInvokesAsyncMethods(node: tree.StatementBlock): boolean;
     getSyntacticAccessKind(node: tree.Expression): SyntacticAccessKind;
-    getTypeMemberEntityContainer(node: tree.TypeMemberDeclaration): TypeMemberEntityContainer;
+    getTypeMemberEntityContainer(node: tree.TypeMemberDeclaration): e.TypeMemberEntityContainer;
     getTargetTypeOfExpression(node: tree.Expression, hint?: TargetTypeHint): types.Type | undefined;
     getUnambiguousTargetMethodType(targetType: types.Type | undefined): types.MethodType | undefined;
-    getUnambiguousTargetVariantType(targetType: types.Type | undefined): types.VariantType | undefined;
     getUnambiguousTargetArrayType(targetType: types.Type | undefined): types.Type | undefined;
     getEnumeratorElementType(node: tree.Node): types.Type | undefined;
-    resolveMethodOverloadByCallExpression<TCandidate extends operationOverloadResolver.ICandidate<TValueParameter>, TValueParameter extends operationOverloadResolver.IValueParameter>(candidates: Iterable<TCandidate>, node: tree.CallExpression): Iterable<TCandidate>;
-    resolveMethodOverloadByTargetType<TCandidate extends operationOverloadResolver.ICandidate<TValueParameter>, TValueParameter extends operationOverloadResolver.IValueParameter>(candidates: Iterable<TCandidate>, targetType: types.MethodType): Iterable<TCandidate>;
-    resolveConstructorOverload<TCandidate extends constructorOverloadResolver.ICandidate<TValueParameter>, TValueParameter extends constructorOverloadResolver.IValueParameter>(candidates: Iterable<TCandidate>, callArguments: Iterable<tree.CallArgument>): Iterable<TCandidate>;
-    resolveTypeOverloadByArgumentCount<TCandidate extends typeOverloadResolver.ICandidate>(candidates: Iterable<TCandidate>, argumentCount: number): Iterable<TCandidate>;
+    resolveMethodOverloadByCallExpression<TCandidate extends operationOverloadResolver.ICandidate<TValueParameter>, TValueParameter extends operationOverloadResolver.IValueParameter>(candidates: readonly TCandidate[], node: tree.CallExpression): readonly TCandidate[];
+    resolveMethodOverloadByTargetType<TCandidate extends operationOverloadResolver.ICandidate<TValueParameter>, TValueParameter extends operationOverloadResolver.IValueParameter>(candidates: readonly TCandidate[], targetType: types.MethodType): readonly TCandidate[];
+    resolveConstructorOverload<TCandidate extends constructorOverloadResolver.ICandidate<TValueParameter>, TValueParameter extends constructorOverloadResolver.IValueParameter>(candidates: readonly TCandidate[], args: readonly tree.Argument[]): readonly TCandidate[];
+    resolveTypeOverloadByArgumentCount<TCandidate extends typeOverloadResolver.ICandidate>(candidates: readonly TCandidate[], argumentCount: number): readonly TCandidate[];
     resolvePropertyAccessExpression(node: tree.PropertyAccessExpression, targetTypeHint?: TargetTypeHint): propertyAccessExpressionResolution.ResolutionResult;
     enumeratePackageImports(packageImportDirectives: Iterable<tree.PackageImportDirective>): Iterable<tree.PackageImport>;
-    getSourceFileMembers(node: tree.SourceFile): sourceFileMembers.SourceFileMembers;
+    getSourceFileMembers(node: tree.SourceFile): ActualSourceFileMembers;
     getCallExpressionMeaning(node: tree.CallExpression): callExpressionMeaning.Meaning;
-    getRespectiveParameter(node: tree.CallArgument): MatchResultValueParameter | undefined;
-    getIndexedAccessExpressionMeaning(node: tree.IndexedAccessExpression): indexedAccessExpressionMeaning.Meaning;
+    getRespectiveParameter(node: tree.Argument): MatchResultValueParameter | undefined;
+    resolveIndexedAccessExpression(node: tree.IndexedAccessExpression): indexedAccessExpressionMeaning.ResolutionResult;
     getDereferenceExpressionMeaning(node: tree.DereferenceExpression): dereferenceExpressionMeaning.Meaning;
     getAutotypeCallExpressionMeaning(node: tree.AutotypeCallExpression, targetTypeHint?: TargetTypeHint): autotypeCallExpressionMeaning.Meaning;
     resolveIdentifierExpression(node: tree.IdentifierExpression, targetTypeHint?: TargetTypeHint): identifierExpressionResolution.ResolutionResult;
-    getTagMeaning(node: tree.Tag): tagMeaning.Meaning;
+    resolveTag(node: tree.Tag): tagMeaning.ResolutionResult;
     getObjectExpressionMeaning(node: tree.ObjectExpression): objectExpressionMeaning.Meaning;
     getBaseExpressionMeaning(node: tree.BaseExpression): baseExpressionMeaning.Meaning;
     checkExpressionOptionalChaining(node: tree.Expression): boolean;
@@ -140,7 +137,7 @@ export declare class Analyzer {
     createLocalizationContext(sourceFile: project.SourceFile): LocalizationContext;
     typeIsValidBaseObjectType(type: types.Type): boolean;
     typeIsValidBaseAspectType(type: types.Type): boolean;
-    getImplicitBaseTypeForStructuredType(entity: StructuredTypeEntity): types.StructuredType | undefined;
+    getImplicitBaseTypeForStructuredType(entity: e.StructuredTypeEntity): types.StructuredType | undefined;
     getImplicitBaseTypeForVariantType(): types.StructuredType;
     getImplicitBaseTypeForMethodType(): types.StructuredType;
     resolveNamedTypeSpecifier(node: tree.NamedTypeSpecifier): NamedTypeSpecifierResolutionResult;
@@ -148,7 +145,7 @@ export declare class Analyzer {
         type: types.Type | undefined;
     } | undefined;
     checkExpressionDenotesPackageAlias(expression: tree.Expression): {
-        packageAlias: PackageAliasEntity;
+        packageAlias: e.PackageAliasEntity;
     } | undefined;
     checkExpressionDenotesMethod(expression: tree.Expression): ExpressionDenotesMethodCheckResult | undefined;
     checkExpressionDenotesOperator(expression: tree.Expression): ExpressionDenotesOperatorCheckResult | undefined;
@@ -157,15 +154,15 @@ export declare class Analyzer {
     } | undefined;
     checkMethodBodyUsesYieldStatement(node: tree.StatementBlock): boolean;
     enumerateAspects(type: types.Type): Iterable<types.StructuredType>;
-    checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: StructuredTypeEntity): boolean;
+    checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: e.StructuredTypeEntity): boolean;
     resolvePrefixUnaryExpressionUserDefinableOperator(node: tree.PrefixUnaryExpression): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     resolveBinaryExpressionUserDefinableOperator(node: tree.BinaryExpression, operatorKind: BinaryOperatorKind): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     resolveCompoundAssignmentStatementOperator(node: tree.AssignmentStatement, operatorKind: BinaryOperatorKind): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     classifyBinaryExpressionOperator(operator: tree.BinaryExpressionOperator): BinaryExpressionOperatorClassificationResult;
     getBinaryOperatorKindIfCompoundAssignmentOperator(operator: tree.AssignmentStatementOperator): BinaryOperatorKind | undefined;
-    getPackageEntities(): readonly PackageEntity[];
-    getPackageEntity(name: PackageName): PackageEntity | undefined;
-    createMethodTypeInvokeMethod(entity: MethodTypeEntity): TypeMethodEntity;
+    getPackageEntities(): readonly e.PackageEntity[];
+    getPackageEntity(name: PackageName): e.PackageEntity | undefined;
+    createMethodTypeInvokeMethod(entity: e.MethodTypeEntity): e.TypeMethodEntity;
     /**
      * Преобразует тип таким образом, чтобы он не мог содержать значение `пусто`.
      * После преобразования метод `canTypeBeNone` вернёт `true` для полученного типа.
@@ -203,34 +200,34 @@ export declare class Analyzer {
      * - Т: Объект?    -> нет, поскольку в качестве конкретного типа, заменяющего параметр, может быть использован тип, исключающий `пусто`.
      */
     isNoneAssignableToType(type: types.Type): boolean;
-    isMethodValueParameterVariadic(entity: VariableEntity): boolean;
+    isMethodValueParameterVariadic(entity: e.VariableEntity): boolean;
     getDefaultTypeParameterConstraint(): types.Type;
-    getOriginalSignatureTypeOfMethodEntity(entity: MethodEntity): types.MethodType;
-    getMethodBlockLiteralValueParameters(node: tree.MethodBlockLiteral): readonly VariableEntity[];
-    getExtendedType(node: tree.TypeExtensionDeclaration): WithDiagnostics<NamedTypeEntity>;
+    getOriginalSignatureTypeOfMethodEntity(entity: e.MethodEntity): types.MethodType;
+    getMethodBlockLiteralValueParameters(node: tree.MethodBlockLiteral): readonly e.VariableEntity[];
+    getExtendedType(node: tree.TypeExtensionDeclaration): WithDiagnostics<e.NamedTypeEntity>;
     getAnalyzedTranslationPackageIfTargetResolved(package_: project.TranslationPackage): AnalyzedTranslationPackage | undefined;
-    getAnalyzedTranslationPackageForPackage(entity: PackageEntity, locale: PackageLocale): AnalyzedTranslationPackage | undefined;
+    getAnalyzedTranslationPackageForPackage(entity: e.PackageEntity, locale: PackageLocale): AnalyzedTranslationPackage | undefined;
     enumerateAnalyzedTranslationPackages(): Iterable<AnalyzedTranslationPackage>;
     getCommonObjectAndAspectTypesOfUnion(_unionType: types.UnionType): readonly types.StructuredType[];
-    getLinkedMultiPlatformPackagesByPlatform(entity: PackageEntity): ReadonlyMap<PlatformKind, LinkedMultiPlatformPackage> | undefined;
-    getLinkedMultiPlatformPackage(entity: PackageEntity, platform: PlatformKind): LinkedMultiPlatformPackage | undefined;
-    createPackageMembers(pkg: SourcePackage): packageMembers.OriginalPackageMembers;
-    instantiateType(entity: entities.TypeEntity, typeArguments?: readonly types.Type[]): types.Type;
-    instantiateTypeByIdentitySubstitution(entity: entities.TypeEntity): types.Type;
-    createPackageMemberHiding(node: tree.PackageMemberDeclaration): entities.EntityHidingLevel | undefined;
-    createTypeMemberHiding(node: tree.TypeMemberDeclaration): entities.EntityHidingLevel | undefined;
+    getLinkedMultiPlatformPackagesByPlatform(entity: e.PackageEntity): ReadonlyMap<PlatformKind, LinkedMultiPlatformPackage> | undefined;
+    getLinkedMultiPlatformPackage(entity: e.PackageEntity, platform: PlatformKind): LinkedMultiPlatformPackage | undefined;
+    createPackageMembers(pkg: SourcePackage): OriginalPackageMembers;
+    instantiateType(entity: e.TypeEntity, typeArguments?: readonly types.Type[]): types.Type;
+    instantiateTypeByIdentitySubstitution(entity: e.TypeEntity): types.Type;
+    createPackageMemberHiding(node: tree.PackageMemberDeclaration, modifierFlags: ModifierFlags): e.EntityHidingLevel | undefined;
+    createTypeMemberHiding(node: tree.TypeMemberDeclaration, modifierFlags: ModifierFlags): e.EntityHidingLevel | undefined;
     getDeclarationsUsageCount(sourceFile: tree.SourceFile, cancellationToken: CancellationToken | undefined): Promise<DeclarationsUsageCountResult>;
     isExpressionImplicitlyReturnedFromSubprogram(node: tree.ExpressionStatement): boolean;
-    createBackingPackageVariables(declaredVariables: readonly PackageVariableEntity[], pkg: PackageEntity): PackageVariableEntity[];
-    createBackingTypeVariables(declaredVariables: readonly TypeVariableEntity[], type: TypeEntity): TypeVariableEntity[];
+    createBackingPackageVariables(declaredMembers: readonly (e.NamedPackageMemberEntity | e.PackageAliasEntity)[], pkg: e.PackageEntity): e.PackageVariableEntity[];
+    createBackingTypeVariables(declaredMembers: readonly NamedTypeMemberEntity[], type: e.TypeEntity): e.TypeVariableEntity[];
     createNodeDiagnostic(code: DiagnosticCode, node: tree.Node, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): Diagnostic;
     createSourceFileRangeDiagnostic(code: DiagnosticCode, range: Range, nodeOrSourceFile: tree.Node | project.SourceFile, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): Diagnostic;
     createDiagnostic(code: DiagnosticCode, location: DiagnosticLocation | undefined, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): Diagnostic;
     createNodeDiagnosticLocation(node: tree.Node): DiagnosticLocation;
     getDeclaredTypeMemberEntities(node: tree.TypeMemberDeclarationBlock): DeclaredTypeMemberEntities;
-    getRedefinableMethodOfOriginalTypeForRedefinableMethodOfAliasType(entity: TypeMethodEntity): TypeMethodEntity | undefined;
+    getRedefinableMethodOfOriginalTypeForRedefinableMethodOfAliasType(entity: e.TypeMethodEntity): e.TypeMethodEntity | undefined;
     checkBodyOfRedefinableAliasTypeMethod(node: tree.TypeMethodDeclaration, diagnostics?: DiagnosticAcceptor): {
-        redefinableMethodOfOriginalType: TypeMethodEntity;
+        redefinableMethodOfOriginalType: e.TypeMethodEntity;
     } | undefined;
     private createTsInterop;
 }
@@ -340,52 +337,50 @@ declare class Entity {
     private readonly _destructorEntities;
     private readonly _getterEntities;
     private readonly _setterEntities;
-    private readonly _variantEntities;
     private readonly _typeExtensionEntities;
     private readonly _packageAliasEntities;
     constructor(_analyzer: Analyzer);
-    ofPackage(pkg: SourcePackage): PackageEntity;
-    ofPackageVariableDeclaration(node: tree.PackageVariableDeclaration): entities.PackageVariableEntity;
-    ofComputedPackageVariableDeclaration(node: PackageVariableAccessorDeclaration): entities.PackageVariableEntity;
-    ofTypeVariableDeclaration(node: tree.TypeVariableDeclaration): entities.TypeVariableEntity;
-    ofComputedTypeVariableDeclaration(node: TypeVariableAccessorDeclaration): entities.TypeVariableEntity;
-    ofLocalVariableDeclaration(node: tree.LocalVariableDeclaration): entities.LocalVariableEntity;
-    ofEnumerationVariableDeclaration(node: tree.EnumerationVariableDeclaration): entities.LocalVariableEntity;
-    ofErrorVariableDeclaration(node: tree.ErrorVariableDeclaration): entities.LocalVariableEntity;
-    ofParameterDeclaration(node: tree.ParameterDeclaration): entities.ParameterVariableEntity;
-    ofSetterParameterDeclaration(node: tree.SetterParameterDeclaration): entities.ParameterVariableEntity;
-    ofTypeParameterDeclaration(node: tree.TypeParameterDeclaration): TypeParameterEntity;
-    ofTypeIndexerDeclaration(node: TypeIndexedAccessorDeclaration): entities.SourceIndexerEntity;
-    ofTypeDereferenceOperatorDeclaration(node: TypeDereferencedVariableAccessorDeclaration): entities.DereferenceOperatorEntity;
-    ofPackageStructuredTypeDeclaration(node: tree.PackageStructuredTypeDeclaration): PackageStructuredTypeEntity;
-    ofAnonymousStructuredTypeDeclaration(node: tree.AnonymousStructuredTypeDeclaration): AnonymousStructuredTypeEntity;
-    ofStructuredTypeDeclaration(node: StructuredTypeDeclaration): StructuredTypeEntity;
-    ofPackageMethodTypeDeclaration(node: tree.PackageMethodTypeDeclaration): PackageMethodTypeEntity;
-    ofAnonymousMethodTypeDeclaration(node: tree.AnonymousMethodTypeDeclaration): AnonymousMethodTypeEntity;
-    ofMethodTypeDeclaration(node: MethodTypeDeclaration): MethodTypeEntity;
-    ofPackageVariantTypeDeclaration(node: tree.PackageVariantTypeDeclaration): PackageVariantTypeEntity;
-    ofAnonymousVariantTypeDeclaration(node: tree.AnonymousVariantTypeDeclaration): AnonymousVariantTypeEntity;
-    ofVariantTypeDeclaration(node: VariantTypeDeclaration): VariantTypeEntity;
-    ofPackageAliasTypeDeclaration(node: tree.PackageAliasTypeDeclaration): AliasTypeEntity;
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): PackageMethodEntity;
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): TypeMethodEntity;
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): NestedMethodEntity;
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): OperatorEntity;
-    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): GetterEntity;
-    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): GetterEntity;
-    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): GetterEntity;
-    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): GetterEntity;
-    ofGetterDeclaration(node: GetterDeclaration): GetterEntity;
-    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): SetterEntity;
-    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): SetterEntity;
-    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): SetterEntity;
-    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): SetterEntity;
-    ofSetterDeclaration(node: SetterDeclaration): SetterEntity;
-    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): ConstructorEntity;
-    ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): DestructorEntity;
-    ofVariantDeclaration(node: tree.VariantDeclaration): VariantEntity;
-    ofTypeExtensionDeclaration(node: tree.TypeExtensionDeclaration): TypeExtensionEntity;
-    ofPackageImport(node: tree.PackageImport): PackageAliasEntity;
+    ofPackage(pkg: SourcePackage): e.PackageEntity;
+    ofPackageVariableDeclaration(node: tree.PackageVariableDeclaration): e.PackageVariableEntity;
+    ofComputedPackageVariableDeclaration(node: PackageVariableAccessorDeclaration): e.PackageVariableEntity;
+    ofTypeVariableDeclaration(node: tree.TypeVariableDeclaration): e.TypeVariableEntity;
+    ofComputedTypeVariableDeclaration(node: TypeVariableAccessorDeclaration): e.TypeVariableEntity;
+    ofLocalVariableDeclaration(node: tree.LocalVariableDeclaration): e.LocalVariableEntity;
+    ofEnumerationVariableDeclaration(node: tree.EnumerationVariableDeclaration): e.LocalVariableEntity;
+    ofErrorVariableDeclaration(node: tree.ErrorVariableDeclaration): e.LocalVariableEntity;
+    ofParameterDeclaration(node: tree.ParameterDeclaration): e.ParameterVariableEntity;
+    ofTypeParameterDeclaration(node: tree.TypeParameterDeclaration): e.TypeParameterEntity;
+    ofTypeIndexerDeclaration(node: TypeIndexedAccessorDeclaration): e.SourceIndexerEntity;
+    ofTypeDereferenceOperatorDeclaration(node: TypeDereferencedVariableAccessorDeclaration): e.DereferenceOperatorEntity;
+    ofPackageStructuredTypeDeclaration(node: tree.PackageStructuredTypeDeclaration): e.PackageStructuredTypeEntity;
+    ofAnonymousStructuredTypeDeclaration(node: tree.AnonymousStructuredTypeDeclaration): e.AnonymousStructuredTypeEntity;
+    ofStructuredTypeDeclaration(node: StructuredTypeDeclaration): e.StructuredTypeEntity;
+    ofPackageMethodTypeDeclaration(node: tree.PackageMethodTypeDeclaration): e.PackageMethodTypeEntity;
+    ofAnonymousMethodTypeDeclaration(node: tree.AnonymousMethodTypeDeclaration): e.AnonymousMethodTypeEntity;
+    ofMethodTypeDeclaration(node: MethodTypeDeclaration): e.MethodTypeEntity;
+    ofPackageVariantTypeDeclaration(node: tree.PackageVariantTypeDeclaration): e.PackageVariantTypeEntity;
+    ofAnonymousVariantTypeDeclaration(node: tree.AnonymousVariantTypeDeclaration): e.AnonymousVariantTypeEntity;
+    ofVariantTypeDeclaration(node: VariantTypeDeclaration): e.VariantTypeEntity;
+    ofPackageAliasTypeDeclaration(node: tree.PackageAliasTypeDeclaration): e.AliasTypeEntity;
+    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): e.PackageMethodEntity;
+    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): e.TypeMethodEntity;
+    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): e.NestedMethodEntity;
+    ofOperatorDeclaration(node: tree.OperatorDeclaration): e.OperatorEntity;
+    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): e.GetterEntity;
+    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): e.GetterEntity;
+    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): e.GetterEntity;
+    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): e.GetterEntity;
+    ofGetterDeclaration(node: GetterDeclaration): e.GetterEntity;
+    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): e.SetterEntity;
+    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): e.SetterEntity;
+    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): e.SetterEntity;
+    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): e.SetterEntity;
+    ofSetterDeclaration(node: SetterDeclaration): e.SetterEntity;
+    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): e.ConstructorEntity;
+    ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): e.DestructorEntity;
+    ofVariantDeclaration(node: tree.VariantDeclaration): e.TypeVariableEntity;
+    ofTypeExtensionDeclaration(node: tree.TypeExtensionDeclaration): e.TypeExtensionEntity;
+    ofPackageImport(node: tree.PackageImport): e.PackageAliasEntity;
     private getContainingPackageLoadedFromDts;
     private createComputedTypeVariableEntities;
     private createTypeDereferenceOperatorEntities;
@@ -396,59 +391,26 @@ declare class ResultLocalVariableEntity {
     private readonly _analyzer;
     private readonly _entities;
     constructor(_analyzer: Analyzer);
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): LocalVariableEntity;
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): LocalVariableEntity;
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): LocalVariableEntity;
-    ofMethodLiteral(node: tree.MethodLiteral): LocalVariableEntity;
-    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): LocalVariableEntity;
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): LocalVariableEntity;
-    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): LocalVariableEntity;
-    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): LocalVariableEntity;
-    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): LocalVariableEntity;
-    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): LocalVariableEntity;
+    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): e.LocalVariableEntity;
+    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): e.LocalVariableEntity;
+    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): e.LocalVariableEntity;
+    ofMethodLiteral(node: tree.MethodLiteral): e.LocalVariableEntity;
+    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): e.LocalVariableEntity;
+    ofOperatorDeclaration(node: tree.OperatorDeclaration): e.LocalVariableEntity;
+    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): e.LocalVariableEntity;
+    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): e.LocalVariableEntity;
+    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): e.LocalVariableEntity;
+    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): e.LocalVariableEntity;
     private createResultLocalVariableEntity;
 }
-declare class ParamLocalVariableEntity {
-    private readonly _analyzer;
-    private readonly _optionalEntities;
-    private readonly _entities;
-    constructor(_analyzer: Analyzer);
-    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): VariableEntity;
-    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): VariableEntity;
-    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): VariableEntity;
-    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): VariableEntity;
-    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): VariableEntity;
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): VariableEntity | undefined;
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): VariableEntity | undefined;
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): VariableEntity | undefined;
-    ofMethodLiteral(node: tree.MethodLiteral): VariableEntity | undefined;
-    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): VariableEntity | undefined;
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): VariableEntity | undefined;
-    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): VariableEntity | undefined;
-    private createParamLocalVariableEntity;
-    private createAccessorParamLocalVariableEntity;
-}
 declare class ValueLocalVariableEntity {
     private readonly _analyzer;
     private readonly _entities;
     constructor(_analyzer: Analyzer);
-    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): VariableEntity | undefined;
-    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): VariableEntity | undefined;
-    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): VariableEntity | undefined;
-    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): VariableEntity | undefined;
-}
-declare class DestructuredParameterLocalVariableEntities {
-    private readonly _analyzer;
-    private readonly _entities;
-    constructor(_analyzer: Analyzer);
-    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): readonly VariableEntity[];
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): readonly VariableEntity[];
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): readonly VariableEntity[];
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): readonly VariableEntity[];
-    ofMethodLiteral(node: tree.MethodLiteral): readonly VariableEntity[];
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): readonly VariableEntity[];
-    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): readonly VariableEntity[];
-    private createVariableEntitiesBasedOnValueParameters;
+    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): e.VariableEntity;
+    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): e.VariableEntity;
+    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): e.VariableEntity;
+    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): e.VariableEntity;
 }
 declare class Scope {
     private readonly _analyzer;
@@ -463,7 +425,7 @@ declare class Scope {
     private readonly _methodLiteralScopes;
     private readonly _statementBlockScopes;
     private readonly _forEachStatementScopes;
-    private readonly _onErrorClauseScopes;
+    private readonly _catchClauseScopes;
     private readonly _packageStructuredTypeDeclarationTypeParametersScopes;
     private readonly _structuredTypeDeclarationBodyScopes;
     private readonly _packageMethodTypeDeclarationTypeParametersScopes;
@@ -477,7 +439,6 @@ declare class Scope {
     private readonly _structuredTypeDestructorDeclarationScopes;
     private readonly _typeIndexedAccessorDeclarationParametersScopes;
     private readonly _typeExtensionDeclarationScopes;
-    private readonly _setterParameterClauseScopes;
     constructor(_analyzer: Analyzer);
     ofSourceFile(node: tree.SourceFile): scope.IScope;
     ofMethodBlockLiteral(node: tree.MethodBlockLiteral): scope.IScope;
@@ -490,7 +451,7 @@ declare class Scope {
     ofMethodLiteral(node: tree.MethodLiteral): scope.IScope;
     ofStatementBlock(node: tree.StatementBlock): scope.IScope;
     ofForStatement(node: tree.ForStatement): scope.IScope;
-    ofOnErrorClause(node: tree.OnErrorClause): scope.IScope;
+    ofCatchClause(node: tree.CatchClause): scope.IScope;
     ofPackageStructuredTypeDeclarationTypeParameters(node: tree.PackageStructuredTypeDeclaration): scope.IScope;
     ofStructuredTypeDeclarationBody(node: tree.StructuredTypeDeclarationBody): scope.IScope;
     ofPackageMethodTypeDeclarationTypeParameters(node: tree.PackageMethodTypeDeclaration): scope.IScope;
@@ -504,30 +465,38 @@ declare class Scope {
     ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): scope.IScope;
     ofTypeIndexedAccessorDeclarationParameters(node: TypeIndexedAccessorDeclaration): scope.IScope;
     ofTypeExtensionDeclaration(node: tree.TypeExtensionDeclaration): scope.IScope;
-    ofSetterParameterClause(node: tree.SetterParameterClause): scope.IScope;
 }
 declare class DefaultConstructors {
     private readonly _analyzer;
     private readonly _defaultConstructorEntities;
     constructor(_analyzer: Analyzer);
-    ofStructuredType(type: StructuredTypeDeclaration): readonly ConstructorEntity[];
+    ofStructuredType(type: StructuredTypeDeclaration): readonly e.ConstructorEntity[];
     private createDefaultConstructors;
     private getPublicInstanceStoredVariables;
 }
 declare class OverriddenMember {
     private readonly _analyzer;
     constructor(_analyzer: Analyzer);
-    getOverriddenVariable(node: tree.TypeVariableDeclaration | TypeVariableAccessorDeclaration): types.Variable | undefined;
-    getTheMostBaseOverriddenVariable(variable: entities.TypeVariableEntity): types.Variable | undefined;
-    getOverriddenMethod(node: tree.TypeMethodDeclaration): types.Method | undefined;
-    getTheMostBaseOverriddenMethod(method: TypeMethodEntity): types.Method | undefined;
-    getOverriddenOperator(node: tree.OperatorDeclaration): types.Operator | undefined;
+    getOverriddenVariables(node: tree.TypeVariableDeclaration | TypeVariableAccessorDeclaration): types.Variable[];
+    getOverriddenMethods(node: tree.TypeMethodDeclaration): types.Method[];
+    getOverriddenOperators(node: tree.OperatorDeclaration): types.Operator[];
+    getOverriddenIndexers(node: TypeIndexedAccessorDeclaration): types.Indexer[];
+    getOverriddenDereferenceOperators(node: TypeDereferencedVariableAccessorDeclaration): types.DereferenceOperator[];
     private findOverriddenVariableInType;
     private findOverriddenMethodInType;
     private findOverriddenOperatorInType;
+    private findOverriddenIndexerInType;
+    private findOverriddenDereferenceOperatorInType;
     private checkVariableOverridesVariable;
     private checkMethodOverridesMethod;
     private checkOperatorOverridesOperator;
+    private checkIndexerOverridesIndexer;
+    private checkDereferenceOperatorOverridesDereferenceOperator;
+    private enumerateTypeMemberLookupsForOverriddenMember;
+    private enumerateTypesForOverriddenMemberLookup;
+    private entityCanOverride;
+    private entityCanBeOverridden;
+    private addTypeMemberIfUnique;
 }
 declare class Tags {
     readonly _analyzer: Analyzer;
@@ -535,41 +504,40 @@ declare class Tags {
     constructor(_analyzer: Analyzer);
     ofTagList(tagList: tree.TagList): readonly tags.Tag[];
     private createTags;
-    private callArgumentToTagArgument;
+    private argumentToTagArgument;
 }
 declare class LinkedEntity {
     private readonly _analyzer;
     constructor(_analyzer: Analyzer);
-    entityCanBeLinked(entity: entities.Entity): boolean;
-    ofType(entity: TypeEntity, platform: PlatformKind): TypeEntity | undefined;
-    ofTypeWithMembers(entity: entities.TypeEntityWithMembers, platform: PlatformKind): entities.TypeEntityWithMembers | undefined;
-    ofParameterType(entity: TypeParameterEntity, platform: PlatformKind): TypeParameterEntity | undefined;
-    ofPackageVariable(entity: PackageVariableEntity, platform: PlatformKind): PackageVariableEntity | undefined;
-    ofPackageMethod(entity: PackageMethodEntity, platform: PlatformKind): PackageMethodEntity | undefined;
-    ofTypeVariable(entity: entities.TypeVariableEntity, platform: PlatformKind): entities.TypeVariableEntity | undefined;
-    ofTypeMethod(entity: entities.TypeMethodEntity, platform: PlatformKind): entities.TypeMethodEntity | undefined;
-    ofOperator(entity: entities.OperatorEntity, platform: PlatformKind): entities.OperatorEntity | undefined;
-    ofConstructor(entity: entities.ConstructorEntity, platform: PlatformKind): entities.ConstructorEntity | undefined;
-    ofIndexer(entity: entities.IndexerEntity, platform: PlatformKind): entities.IndexerEntity | undefined;
-    ofDereferenceOperator(entity: entities.DereferenceOperatorEntity, platform: PlatformKind): entities.DereferenceOperatorEntity | undefined;
-    ofVariant(entity: VariantEntity, platform: PlatformKind): VariantEntity | undefined;
-    ofGetter(entity: entities.GetterEntity, platform: PlatformKind): entities.GetterEntity | undefined;
-    ofSetter(entity: entities.SetterEntity, platform: PlatformKind): entities.SetterEntity | undefined;
+    entityCanBeLinked(entity: e.Entity): boolean;
+    ofType(entity: e.TypeEntity, platform: PlatformKind): e.TypeEntity | undefined;
+    ofTypeWithMembers(entity: e.TypeEntityWithMembers, platform: PlatformKind): e.TypeEntityWithMembers | undefined;
+    ofParameterType(entity: e.TypeParameterEntity, platform: PlatformKind): e.TypeParameterEntity | undefined;
+    ofPackageVariable(entity: e.PackageVariableEntity, platform: PlatformKind): e.PackageVariableEntity | undefined;
+    ofPackageMethod(entity: e.PackageMethodEntity, platform: PlatformKind): e.PackageMethodEntity | undefined;
+    ofTypeVariable(entity: e.TypeVariableEntity, platform: PlatformKind): e.TypeVariableEntity | undefined;
+    ofTypeMethod(entity: e.TypeMethodEntity, platform: PlatformKind): e.TypeMethodEntity | undefined;
+    ofOperator(entity: e.OperatorEntity, platform: PlatformKind): e.OperatorEntity | undefined;
+    ofConstructor(entity: e.ConstructorEntity, platform: PlatformKind): e.ConstructorEntity | undefined;
+    ofIndexer(entity: e.IndexerEntity, platform: PlatformKind): e.IndexerEntity | undefined;
+    ofDereferenceOperator(entity: e.DereferenceOperatorEntity, platform: PlatformKind): e.DereferenceOperatorEntity | undefined;
+    ofGetter(entity: e.GetterEntity, platform: PlatformKind): e.GetterEntity | undefined;
+    ofSetter(entity: e.SetterEntity, platform: PlatformKind): e.SetterEntity | undefined;
 }
 export declare class LinkedMultiPlatformPackage {
     readonly analyzer: Analyzer;
-    readonly pkg: PackageEntity;
-    readonly implementationPackage: PackageEntity;
+    readonly pkg: e.PackageEntity;
+    readonly implementationPackage: e.PackageEntity;
     readonly targetPlatform: PlatformKind;
     private readonly _memberLookup;
     private readonly _linkedTypesWithMembers;
     private readonly _linkedParameterTypes;
     private get memberLookup();
-    constructor(analyzer: Analyzer, pkg: PackageEntity, implementationPackage: PackageEntity, targetPlatform: PlatformKind);
-    getLinkedVariable(entity: PackageVariableEntity): PackageVariableEntity | undefined;
-    getLinkedMethod(entity: PackageMethodEntity): PackageMethodEntity | undefined;
-    getLinkedTypeWithMembers(entity: entities.TypeEntityWithMembers): LinkedTypeWithMembers | undefined;
-    getLinkedParameterType(entity: TypeParameterEntity): TypeParameterEntity | undefined;
+    constructor(analyzer: Analyzer, pkg: e.PackageEntity, implementationPackage: e.PackageEntity, targetPlatform: PlatformKind);
+    getLinkedVariable(entity: e.PackageVariableEntity): e.PackageVariableEntity | undefined;
+    getLinkedMethod(entity: e.PackageMethodEntity): e.PackageMethodEntity | undefined;
+    getLinkedTypeWithMembers(entity: e.TypeEntityWithMembers): LinkedTypeWithMembers | undefined;
+    getLinkedParameterType(entity: e.TypeParameterEntity): e.TypeParameterEntity | undefined;
     /**
      * Используется для сравнения типов при связывании объявления из многоплатформенного пакета с объявлением из
      * реализационного пакета. В частности, при сравнении типов параметров для выбора правильной перегрузки
@@ -581,21 +549,18 @@ export declare class LinkedMultiPlatformPackage {
 }
 export declare class LinkedTypeWithMembers {
     readonly analyzer: Analyzer;
-    readonly externalType: entities.TypeEntityWithMembers;
-    readonly targetType: entities.TypeEntityWithMembers;
+    readonly externalType: e.TypeEntityWithMembers;
+    readonly targetType: e.TypeEntityWithMembers;
     readonly linkedPackage: LinkedMultiPlatformPackage;
     private readonly _memberLookup;
-    private readonly _variantLookup;
     private get memberLookup();
-    private get variantLookup();
-    constructor(analyzer: Analyzer, externalType: entities.TypeEntityWithMembers, targetType: entities.TypeEntityWithMembers, linkedPackage: LinkedMultiPlatformPackage);
-    getLinkedVariable(entity: entities.TypeVariableEntity): entities.TypeVariableEntity | undefined;
-    getLinkedMethod(entity: entities.TypeMethodEntity): entities.TypeMethodEntity | undefined;
-    getLinkedOperator(entity: entities.OperatorEntity): entities.OperatorEntity | undefined;
-    getLinkedConstructor(entity: entities.ConstructorEntity): entities.ConstructorEntity | undefined;
-    getLinkedIndexer(entity: entities.IndexerEntity): entities.IndexerEntity | undefined;
-    getLinkedDereferenceOperator(entity: entities.DereferenceOperatorEntity): entities.DereferenceOperatorEntity | undefined;
-    getLinkedVariant(entity: VariantEntity): VariantEntity | undefined;
+    constructor(analyzer: Analyzer, externalType: e.TypeEntityWithMembers, targetType: e.TypeEntityWithMembers, linkedPackage: LinkedMultiPlatformPackage);
+    getLinkedVariable(entity: e.TypeVariableEntity): e.TypeVariableEntity | undefined;
+    getLinkedMethod(entity: e.TypeMethodEntity): e.TypeMethodEntity | undefined;
+    getLinkedOperator(entity: e.OperatorEntity): e.OperatorEntity | undefined;
+    getLinkedConstructor(entity: e.ConstructorEntity): e.ConstructorEntity | undefined;
+    getLinkedIndexer(entity: e.IndexerEntity): e.IndexerEntity | undefined;
+    getLinkedDereferenceOperator(entity: e.DereferenceOperatorEntity): e.DereferenceOperatorEntity | undefined;
 }
 declare class OwningPlainObjectModificationCheck {
     private _analyzer;
@@ -621,10 +586,10 @@ declare class PackageImports {
     private getAutomaticallyImportedPackages;
 }
 export declare class AnalyzedPackageImport {
-    readonly entity: PackageEntity | undefined;
+    readonly entity: e.PackageEntity | undefined;
     readonly translationPackage: AnalyzedTranslationPackage | undefined;
-    readonly isAliasedImport: PackageAliasEntity | undefined;
-    constructor(entity: PackageEntity | undefined, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: PackageAliasEntity | undefined);
+    readonly isAliasedImport: e.PackageAliasEntity | undefined;
+    constructor(entity: e.PackageEntity | undefined, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: e.PackageAliasEntity | undefined);
 }
 export declare class AnalyzedPackageImports {
     readonly packageImportInfos: Map<tree.PackageImport, AnalyzedPackageImport>;
@@ -632,10 +597,10 @@ export declare class AnalyzedPackageImports {
     constructor(packageImportInfos: Map<tree.PackageImport, AnalyzedPackageImport>, diagnostics: readonly Diagnostic[]);
 }
 export declare class PackageImportInfo {
-    readonly entity: PackageEntity;
+    readonly entity: e.PackageEntity;
     readonly translationPackage: AnalyzedTranslationPackage | undefined;
-    readonly isAliasedImport: PackageAliasEntity | undefined;
-    constructor(entity: PackageEntity, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: PackageAliasEntity | undefined);
+    readonly isAliasedImport: e.PackageAliasEntity | undefined;
+    constructor(entity: e.PackageEntity, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: e.PackageAliasEntity | undefined);
 }
 export declare class ExpressionDenotesMethodCheckResult {
     readonly candidates: readonly WithLocalization<AccessedMethod>[];
@@ -649,18 +614,15 @@ export declare class ExpressionDenotesOperatorCheckResult {
     get singleSuitableOperator(): WithLocalization<types.Operator> | undefined;
     constructor(candidates: readonly WithLocalization<types.Operator>[], suitableOperators: readonly WithLocalization<types.Operator>[]);
 }
-export declare class NonHiddenEntityHidingMatcher implements IEntityHidingMatcher {
-    matches(_hiding: entities.EntityHidingLevel): boolean;
-}
 type AvailablePackage = AvailablePackage.Original | AvailablePackage.Translated;
 declare namespace AvailablePackage {
     export class Original implements IAvailablePackage {
-        readonly value: PackageEntity;
+        readonly value: e.PackageEntity;
         readonly kind = "original";
-        constructor(value: PackageEntity);
+        constructor(value: e.PackageEntity);
         getImportName(): PackageName;
         getLocale(): PackageLocale;
-        getEntity(): PackageEntity;
+        getEntity(): e.PackageEntity;
         getTranslationPackage(): AnalyzedTranslationPackage | undefined;
     }
     export class Translated implements IAvailablePackage {
@@ -669,26 +631,26 @@ declare namespace AvailablePackage {
         constructor(value: AnalyzedTranslationPackage);
         getImportName(): PackageName;
         getLocale(): PackageLocale;
-        getEntity(): PackageEntity;
+        getEntity(): e.PackageEntity;
         getTranslationPackage(): AnalyzedTranslationPackage | undefined;
     }
     interface IAvailablePackage {
         getImportName(): PackageName;
         getLocale(): PackageLocale;
-        getEntity(): PackageEntity;
+        getEntity(): e.PackageEntity;
         getTranslationPackage(): AnalyzedTranslationPackage | undefined;
     }
     export {};
 }
 export declare class DeclaredTypeMemberEntities {
-    readonly variables: readonly TypeVariableEntity[];
-    readonly methods: readonly TypeMethodEntity[];
-    readonly operators: readonly OperatorEntity[];
-    readonly constructors: readonly ConstructorEntity[];
-    readonly destructors: readonly DestructorEntity[];
-    readonly indexers: readonly SourceIndexerEntity[];
-    readonly dereferenceOperators: readonly DereferenceOperatorEntity[];
+    readonly variables: readonly e.TypeVariableEntity[];
+    readonly methods: readonly e.TypeMethodEntity[];
+    readonly operators: readonly e.OperatorEntity[];
+    readonly constructors: readonly e.ConstructorEntity[];
+    readonly destructors: readonly e.DestructorEntity[];
+    readonly indexers: readonly e.SourceIndexerEntity[];
+    readonly dereferenceOperators: readonly e.DereferenceOperatorEntity[];
     get namedMembers(): NamedTypeMemberEntity[];
-    constructor(variables: readonly TypeVariableEntity[], methods: readonly TypeMethodEntity[], operators: readonly OperatorEntity[], constructors: readonly ConstructorEntity[], destructors: readonly DestructorEntity[], indexers: readonly SourceIndexerEntity[], dereferenceOperators: readonly DereferenceOperatorEntity[]);
+    constructor(variables: readonly e.TypeVariableEntity[], methods: readonly e.TypeMethodEntity[], operators: readonly e.OperatorEntity[], constructors: readonly e.ConstructorEntity[], destructors: readonly e.DestructorEntity[], indexers: readonly e.SourceIndexerEntity[], dereferenceOperators: readonly e.DereferenceOperatorEntity[]);
 }
 export {};