@artel/artc 0.6.25239 → 0.6.25240

package/build/{chunk-UOGTFZ6X.js → chunk-VCSRWNJI.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-TPCKKHPK.js";
+} from "./chunk-7PUGFDV6.js";
 import {
   ArtelVersion,
   Cached,
@@ -14,7 +14,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-3VRPBHJN.js";
+} from "./chunk-TMFKLPML.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

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

@@ -33,12 +33,13 @@ import { LocalizationContext } from './LocalizationContext.js';
 import * as memberAccessExpressionResolution from './MemberAccessExpressionMeaning.js';
 import { ModifierFlags } from './ModifierFlags.js';
 import { NamedTypeSpecifierResolutionResult } from './NamedTypeSpecifierResolver.js';
-import { DereferencedVariableAccessorDeclaration, FieldAccessorDeclaration, FunctionTypeDeclaration, GetterDeclaration, IndexedElementAccessorDeclaration, PackageVariableAccessorDeclaration, SetterDeclaration, StructuredTypeDeclaration, VariantTypeDeclaration } from './NodeTypeUtils.js';
+import { DereferencedVariableAccessorDeclaration, FieldAccessorDeclaration, FunctionTypeDeclaration, GetterDeclaration, IndexedElementAccessorDeclaration, PackageVariableAccessorDeclaration, SetterDeclaration, StructuredTypeDeclaration, TypeDeclaration, VariantTypeDeclaration } from './NodeTypeUtils.js';
 import * as objectExpressionMeaning from './ObjectExpressionMeaning.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 { TypeMemberImplementationCheckResult } from './TypeMemberImplementationChecker.js';
 import * as typeOverloadResolver from './TypeOverloadResolver.js';
 import * as controlFlow from './control-flow/index.js';
 import { WellKnownDeclarations } from './index.js';
@@ -98,7 +99,8 @@ export declare class Analyzer {
     private readonly _diagnosticsComputedLazily;
     private readonly _diagnosticsComputedLazilyAcceptor;
     private readonly _sourcePackageMemberConflictsDiagnostics;
-    private readonly _notImplementedAbstractTypeMembers;
+    private readonly _notExplicitlyImplementedAbstractTypeMembers;
+    private readonly _typeMemberImplementationCheckResults;
     get tsInterop(): TsInteropContext;
     constructor(compilation: project.Compilation, tsInteropInputs: TsInteropInputs);
     getProjectSourceFile(node: tree.SourceFile): project.SourceFile;
@@ -248,7 +250,14 @@ export declare class Analyzer {
     getLinkedMultiPlatformPackage(entity: e.PackageEntity, platform: PlatformKind): LinkedMultiPlatformPackage | undefined;
     createPackageMembers(pkg: SourcePackage): OriginalPackageMembers;
     instantiateType(entity: e.TypeEntity, typeArguments?: readonly types.Type[]): types.Type;
+    instantiateType(entity: e.TypeEntity, substitutions?: types.Substitutions): types.Type;
     instantiateTypeByIdentitySubstitution(entity: e.TypeEntity): types.Type;
+    instantiateTypeMemberByIdentitySubstitution(entity: e.FieldEntity): types.Field;
+    instantiateTypeMemberByIdentitySubstitution(entity: e.MethodEntity): types.Method;
+    instantiateTypeMemberByIdentitySubstitution(entity: e.OperatorEntity): types.Operator;
+    instantiateTypeMemberByIdentitySubstitution(entity: e.IndexerEntity): types.Indexer;
+    instantiateTypeMemberByIdentitySubstitution(entity: e.DereferenceOperatorEntity): types.DereferenceOperator;
+    instantiateTypeMemberByIdentitySubstitution(entity: e.TypeMemberEntity): types.TypeMember;
     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>;
@@ -279,7 +288,10 @@ export declare class Analyzer {
     getSourceFileDiagnosticsComputedLazily(sourceFile: project.SourceFile): readonly Diagnostic[];
     getDiagnosticsWithoutLocationComputedLazily(): readonly Diagnostic[];
     validateSourcePackageMemberConflicts(pkg: project.ProgramPackage): readonly Diagnostic[];
-    getNotImplementedAbstractMembers(typeEntity: e.TypeEntityWithMembers): readonly types.TypeMember[];
+    getNotExplicitlyImplementedAbstractMembers(typeEntity: e.TypeEntityWithMembers): readonly types.TypeMember[];
+    getTypeMemberImplementationCheckResult(typeEntity: e.TypeEntityWithMembers): TypeMemberImplementationCheckResult;
+    createEntityContextForTypeDeclaration(node: TypeDeclaration): e.EntityContext;
+    isFunctionBlockWithImplicitlyReturnedExpression(node: tree.FunctionBlock): boolean;
     private createTsInterop;
 }
 export declare class TsInteropInputs {
@@ -504,8 +516,8 @@ declare class OverriddenMember {
     getOverriddenAndShadowedIndexers(node: IndexedElementAccessorDeclaration): OverriddenAndShadowedMembers<types.Indexer>;
     getOverriddenAndShadowedDereferenceOperators(node: DereferencedVariableAccessorDeclaration): OverriddenAndShadowedMembers<types.DereferenceOperator>;
     entityCanBeOverridden(entity: OverridableTypeMemberEntity): boolean;
-    getEntityTypeOrReturnType(entity: OverridableTypeMemberEntity): types.Type;
-    getMemberTypeOrReturnType(member: OverridableTypeMember): types.Type;
+    getMemberTypeOrReturnType(member: types.TypeMember): types.Type;
+    findMatchingMembersInType(member: types.TypeMember, type: types.Type): readonly types.TypeMember[];
     private findOverriddenMembers;
     private findOverriddenOrShadowedNamedMembersInType;
     private findOverriddenOrShadowedOperatorsInType;
@@ -520,7 +532,7 @@ declare class OverriddenMember {
 }
 export declare enum ShadowReason {
     BaseMemberHasDifferentKind = 0,
-    BaseMemberCanNotBeOverridden = 1,
+    BaseMemberCannotBeOverridden = 1,
     NoOverrideModifier = 2,
     NoOverrideModifierAndTypeOrReturnTypeMismatch = 3,
     TypeOrReturnTypeMismatch = 4
@@ -665,6 +677,7 @@ declare class TypeUtils {
     removeBaseTypesInPlace(types: types.Type[]): void;
     removeDerivedTypesInPlace(types: types.Type[]): void;
     getBaseOrAliasedTypes(type: types.Type): readonly types.Type[];
+    getPossiblyAliasedBaseObjectType(type: types.Type): types.Type | undefined;
     getBaseAndAliasedTypesRecursively(type: types.Type): readonly types.Type[];
     private collectBaseAndAliasedTypesRecursively;
     private getBaseTypesForCommonTypesSearch;

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

@@ -79,9 +79,10 @@ export declare class DiagnosticCollector {
     private checkIfNestedFunctionIsUnused;
     private checkIfTypeParameterIsUnused;
     private checkAllCodePathsReturnOrResultVariableIsAssigned;
-    private checkTypeMemberIncorrectlyOverridesOrShadowsBaseMember;
+    private checkTypeMemberCorrectlyOverridesBaseMember;
     private isReceiverBaseAutoVariableAccess;
     private overridingMemberHasCorrectHiding;
+    private attachNodeLocationAndAddDiagnostics;
     private addDiagnostic;
     private addDiagnostics;
     private addMaybeLazyDiagnostic;

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

@@ -71,8 +71,8 @@ export declare class ModifierValidator {
     private typeMemberAllowsStaticModifier;
     private reportDuplicateModifier;
     private reportDuplicateHiddenModifier;
-    private reportDeclarationCanNotBePlacedInGroupWithModifier;
-    private reportModifierCanNotBeUsedWithAnotherModifier;
+    private reportDeclarationCannotBePlacedInGroupWithModifier;
+    private reportModifierCannotBeUsedWithAnotherModifier;
     private reportModifierIsNotAllowedHere;
     private findModifier;
     private displayModifierNode;

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

@@ -0,0 +1,21 @@
+import { DiagnosticData } from '../diagnostic/DiagnosticData.js';
+import { TypeEntityWithMembers } from '../entities/index.js';
+import * as types from '../types/index.js';
+import { Analyzer } from './Analyzer.js';
+export declare class TypeMemberImplementationChecker {
+    private readonly _analyzer;
+    private readonly _typeEntity;
+    constructor(_analyzer: Analyzer, _typeEntity: TypeEntityWithMembers);
+    check(): TypeMemberImplementationCheckResult;
+}
+export declare class TypeMemberImplementationCheckResult {
+    readonly notImplementedAbstractMembers: readonly types.TypeMember[];
+    readonly implicitImplementations: readonly ImplicitAbstractMemberImplementationInfo[];
+    readonly diagnosticsData: readonly DiagnosticData[];
+    constructor(notImplementedAbstractMembers: readonly types.TypeMember[], implicitImplementations: readonly ImplicitAbstractMemberImplementationInfo[], diagnosticsData: readonly DiagnosticData[]);
+}
+export declare class ImplicitAbstractMemberImplementationInfo {
+    readonly abstractMember: types.TypeMember;
+    readonly implementingMember: types.TypeMember;
+    constructor(abstractMember: types.TypeMember, implementingMember: types.TypeMember);
+}

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

@@ -1,14 +1,15 @@
-import { EntityHidingLevel, IEntityHidingMatcher } from '../../entities/EntityHiding.js';
+import { BaseEntityHidingMatcher } from '../../entities/BaseEntityHidingMatcher.js';
+import { PackageEntity } from '../../entities/PackageEntity.js';
+import { TypeEntity } from '../../entities/TypeEntity.js';
+import { SourceFile } from '../../project/SourceFile.js';
 import { SemanticContext } from './SemanticContext.js';
-export declare class SemanticContextBasedEntityHidingMatcher implements IEntityHidingMatcher {
+export declare class SemanticContextBasedEntityHidingMatcher extends BaseEntityHidingMatcher {
     private readonly _semanticContext;
     private readonly _sourceFile;
-    private readonly _type;
+    private readonly _typeEntity;
     private readonly _package;
-    private get sourceFile();
-    private get package();
-    private get type();
+    protected get sourceFile(): SourceFile;
+    protected get package(): PackageEntity;
+    protected get typeEntity(): TypeEntity | undefined;
     constructor(semanticContext: SemanticContext);
-    matches(hiding: EntityHidingLevel): boolean;
-    private collectBaseTypesRecursively;
 }

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

@@ -10,4 +10,5 @@ export declare class SearchName {
      * Это имя, допускающее объявления только на языке оригинала? (прим.: ~имя)
      */
     isStrictlyOriginal: boolean);
+    static fromName(name: Name): SearchName;
 }

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

@@ -149,9 +149,9 @@ export declare enum DiagnosticCode {
     VariableMayNotHasBeenAssignedBeforeUsage = 310,
     NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 311,
     WriteFunctionHasNoCorrespondingReadFunction = 312,
-    TypeCanNotHaveMultipleBaseObjectTypes = 313,
-    TypeThatIsNotMarkedAsBasicCanNotBeUsedAsBaseType = 314,
-    PlainObjectTypeCanNotBeUsedAsBaseType = 315,
+    TypeCannotHaveMultipleBaseObjectTypes = 313,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 314,
+    PlainObjectTypeCannotBeUsedAsBaseType = 315,
     ThisTypeIsAlreadyListedInBaseTypeList = 316,
     OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 317,
     PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 318,
@@ -159,34 +159,41 @@ export declare enum DiagnosticCode {
     ModifierListAlreadyContains0Modifier = 320,
     ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 321,
     _0ModifierIsNotAllowedHere = 322,
-    DeclarationCanNotBePlacedInGroupHaving0Modifier = 323,
-    PackageConstructorDeclarationCanNotHaveModifiers = 324,
-    PackageEntryPointDeclarationCanNotHaveModifiers = 325,
-    TranslationsCanNotHaveModifiers = 326,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 323,
+    PackageConstructorDeclarationCannotHaveModifiers = 324,
+    PackageEntryPointDeclarationCannotHaveModifiers = 325,
+    TranslationsCannotHaveModifiers = 326,
     AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 327,
     BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 328,
     OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 329,
-    _0ModifierCanNotBeUsedWith1Modifier = 330,
-    VariantDeclarationCanNotHaveHiddenModifier = 331,
+    _0ModifierCannotBeUsedWith1Modifier = 330,
+    VariantDeclarationCannotHaveHiddenModifier = 331,
     BasicModifierCanOnlyBeAppliedToObjectTypes = 332,
     AbstractModifierCanOnlyBeAppliedToObjectTypes = 333,
-    NotBasicObjectTypesCanNotHaveBasicMembers = 334,
-    BasicModifierCanNotBeAppliedToAspectTypeFields = 335,
+    NotBasicObjectTypesCannotHaveBasicMembers = 334,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 335,
     WriteFunctionMustHaveTheSameModifiersAsReadFunction = 336,
     WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 337,
     DeclarationConflictsWithBaseTypeMember0 = 338,
     DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 339,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCanNotBeOverridden = 340,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 340,
     DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 341,
     DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 342,
     OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 343,
     OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 344,
     OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 345,
     OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 346,
-    TypeDoesNotImplementMember0 = 347,
-    CanNotAccessAbstractMemberOfBaseType = 348,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 349,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 350,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 347,
+    TypeDoesNotImplementMember0 = 348,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 349,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 350,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 351,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 352,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 353,
+    CannotAccessAbstractMemberOfBaseType = 354,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 355,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 356,
+    OnlyIdentifierOrIntegerLiteralIsAllowedAsParameterOfTextTemplateLiteralInTranslations = 357,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

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

@@ -69,6 +69,7 @@ export declare class VariableEntityDetails implements TypeMemberEntityDetails {
     isAbstract: boolean;
     isTypeExtensionMemberAddedToPrototype: boolean;
     isStatic: boolean;
+    isConst: boolean;
 }
 export interface ProxiedFieldInfo {
     readonly tagType: TypeOrExtensionEntity;
@@ -110,6 +111,7 @@ export declare class TypeOrExtensionEntityDetails {
      * актуальную для них самих информацию, и анализ переопределённых членов типа не требуется.
      */
     areOwnComputedNamesOfMembersResolved: boolean;
+    implicitlyImplementedAbstractMembersByImplementingMember: ReadonlyMap<TypeMemberEntity, readonly TypeMemberEntity[]>;
 }
 export declare enum TypeOrExtensionEntityKind {
     StructuredType = 0,

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

@@ -39,4 +39,6 @@ export declare class EntityMap {
     private getNameText;
     private isDefaultExport;
     private unaliasTypeEntity;
+    private static readonly implicitImplementationMemberKindsMismatchErrorMessage;
+    private createImplicitAbstractMemberImplementationInfo;
 }

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

@@ -4,7 +4,7 @@ import { Name } from '../common/index.js';
 import { PackageAliasTypeDeclaration } from '../tree/index.js';
 import * as types from '../types/index.js';
 import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
+import { DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export interface AliasTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Alias;
@@ -85,4 +85,5 @@ export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntit
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
 }

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

@@ -0,0 +1,11 @@
+import { SourceFile } from '../project/SourceFile.js';
+import { EntityHidingLevel, IEntityHidingMatcher } from './EntityHiding.js';
+import { PackageEntity } from './PackageEntity.js';
+import { TypeEntity } from './TypeEntity.js';
+export declare abstract class BaseEntityHidingMatcher implements IEntityHidingMatcher {
+    protected abstract typeEntity: TypeEntity | undefined;
+    protected abstract sourceFile: SourceFile | undefined;
+    protected abstract package: PackageEntity;
+    matches(hiding: EntityHidingLevel): boolean;
+    private collectBaseTypesRecursively;
+}

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

@@ -0,0 +1,10 @@
+import { SourceFile } from '../project/SourceFile.js';
+import { BaseEntityHidingMatcher } from './BaseEntityHidingMatcher.js';
+import { PackageEntity, TypeEntity } from './index.js';
+export declare class EntityHidingMatcherWithinTypeEntity extends BaseEntityHidingMatcher {
+    private readonly _typeEntity;
+    protected sourceFile: SourceFile | undefined;
+    protected get typeEntity(): TypeEntity | undefined;
+    protected get package(): PackageEntity;
+    constructor(_typeEntity: TypeEntity);
+}

package/build/types/entities/FunctionTypeEntity.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 { BaseObjectType, DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, ParameterVariableEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
+import { BaseObjectType, DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, ParameterVariableEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export type FunctionTypeEntity = PackageFunctionTypeEntity | AnonymousFunctionTypeEntity;
 export interface PackageFunctionTypeEntity extends IFunctionTypeEntity {
     readonly subkind: 'package';
@@ -71,6 +71,7 @@ export declare class PackageFunctionTypeDeclarationEntity implements PackageFunc
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }
 export declare class AnonymousFunctionTypeDeclarationEntity implements AnonymousFunctionTypeEntity {
     private readonly _analyzer;
@@ -95,17 +96,18 @@ export declare class AnonymousFunctionTypeDeclarationEntity implements Anonymous
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }
 export declare class UnfinishedIntrinsicAnonymousFunctionTypeEntity {
     private readonly _unfinishedValue;
     get unfinishedValue(): AnonymousFunctionTypeEntity;
-    constructor(analyzer: Analyzer, returnType: types.Type, isAsync: boolean, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined);
+    constructor(analyzer: Analyzer, returnType: types.Type, isAsync: boolean, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined, context: EntityContext | undefined);
     finish(typeParameters: readonly TypeParameterEntity[], valueParameters: readonly ParameterVariableEntity[]): AnonymousFunctionTypeEntity;
 }
 export declare class UnfinishedIntrinsicPackageFunctionTypeEntity {
     private readonly _unfinishedValue;
     get unfinishedValue(): PackageFunctionTypeEntity;
-    constructor(analyzer: Analyzer, name: Name, returnType: types.Type, isAsync: boolean, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined);
+    constructor(analyzer: Analyzer, name: Name, returnType: types.Type, isAsync: boolean, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined, context: EntityContext | undefined);
     finish(typeParameters: readonly TypeParameterEntity[], valueParameters: readonly ParameterVariableEntity[]): PackageFunctionTypeEntity;
 }
 export {};

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

@@ -1,5 +1,5 @@
 import { Analyzer } from '../analysis/index.js';
-import { PackageLocale } from '../common/index.js';
+import { PackageDialect, PackageLocale } from '../common/index.js';
 import type { JavaScriptImplementationConfig, SourcePackage } from '../project/index.js';
 import { PackageName, PlatformKind } from '../project/index.js';
 import { DefinitionKind, EntityKind } from './index.js';
@@ -8,6 +8,7 @@ export interface PackageEntity {
     readonly kind: EntityKind.Package;
     getName(): PackageName;
     getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
     getMembers(): OriginalPackageMembers;
     isInterface(): InterfacePackageEntityInfo | undefined;
     getImplementedInterfacePackage(): PackageEntity | undefined;
@@ -48,6 +49,7 @@ export declare class SourcePackageEntity implements PackageEntity {
     constructor(_analyzer: Analyzer, _package: SourcePackage);
     getName(): PackageName;
     getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
     getMembers(): OriginalPackageMembers;
     isInterface(): InterfacePackageEntityInfo | undefined;
     getImplementedInterfacePackage(): PackageEntity | undefined;

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

@@ -6,7 +6,7 @@ import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
 import { NamedTypeMemberEntity, OriginalTypeEntityMembers } from './TypeEntityMembers.js';
 import type { PackageEntity } from './index.js';
-import { ConstructorEntity, DefinitionKind, DereferenceOperatorEntity, DestructorEntity, EntityHidingLevel, EntityKind, IndexerEntity, ITypeEntity, OperatorEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
+import { ConstructorEntity, DefinitionKind, DereferenceOperatorEntity, DestructorEntity, EntityContext, EntityHidingLevel, EntityKind, IndexerEntity, ITypeEntity, OperatorEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export type StructuredTypeEntity = PackageStructuredTypeEntity | AnonymousStructuredTypeEntity;
 export interface PackageStructuredTypeEntity extends IStructuredTypeEntity {
     readonly subkind: 'package';
@@ -140,6 +140,7 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
 }
 export declare class SourcePackageStructuredTypeDeclarationData {
     private readonly _analyzer;
@@ -195,18 +196,19 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
+    getContext(): EntityContext;
     private getBaseTypes;
 }
 export declare class UnfinishedIntrinsicPackageStructuredTypeEntity {
     private readonly _unfinishedValue;
     get unfinishedValue(): PackageStructuredTypeEntity;
-    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);
+    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, context: EntityContext | undefined);
     finish(ownNamedMembers: readonly NamedTypeMemberEntity[], ownOperators: readonly OperatorEntity[], ownConstructors: readonly ConstructorEntity[], ownDestructors: readonly DestructorEntity[], ownIndexers: readonly IndexerEntity[], ownDereferenceOperators: readonly DereferenceOperatorEntity[]): PackageStructuredTypeEntity;
 }
 export declare class UnfinishedIntrinsicAnonymousStructuredTypeEntity {
     private readonly _unfinishedValue;
     get unfinishedValue(): AnonymousStructuredTypeEntity;
-    constructor(analyzer: Analyzer, typeParameters: readonly TypeParameterEntity[], isAspect: boolean, isRefObject: boolean, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity);
+    constructor(analyzer: Analyzer, typeParameters: readonly TypeParameterEntity[], isAspect: boolean, isRefObject: boolean, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, context: EntityContext | undefined);
     finish(ownNamedMembers: readonly NamedTypeMemberEntity[], ownOperators: readonly OperatorEntity[], ownConstructors: readonly ConstructorEntity[], ownDestructors: readonly DestructorEntity[], ownIndexers: readonly IndexerEntity[], ownDereferenceOperators: readonly DereferenceOperatorEntity[]): AnonymousStructuredTypeEntity;
 }
 export {};

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

@@ -1,5 +1,5 @@
 import { Tag } from '../analysis/Tags.js';
-import { AliasTypeEntity, EntityKind, FunctionTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
+import { AliasTypeEntity, EntityContext, EntityKind, FunctionTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
 export type TypeEntity = StructuredTypeEntity | FunctionTypeEntity | VariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
 export declare namespace TypeEntity {
     function isAbstract(entity: TypeEntity): boolean;
@@ -7,6 +7,7 @@ export declare namespace TypeEntity {
 export interface ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind;
+    getContext(): EntityContext;
     getTags(): readonly Tag[];
 }
 export declare enum TypeEntityKind {

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

@@ -2,7 +2,7 @@ import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { TypeExtensionDeclaration } from '../tree/index.js';
 import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, NamedTypeEntity, PackageEntity } from './index.js';
+import { DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, NamedTypeEntity, PackageEntity } from './index.js';
 export interface TypeExtensionEntity {
     readonly kind: EntityKind.TypeExtension;
     getMembers(): OriginalTypeEntityMembers;
@@ -11,6 +11,7 @@ export interface TypeExtensionEntity {
     getDefinition(): TypeExtensionEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getContext(): EntityContext;
 }
 type TypeExtensionEntityDefinition = {
     kind: DefinitionKind.Source;
@@ -30,5 +31,6 @@ export declare class SourceTypeExtensionEntity implements TypeExtensionEntity {
     getDefinition(): TypeExtensionEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getContext(): EntityContext;
 }
 export {};

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

@@ -3,7 +3,7 @@ import { Tag } from '../analysis/Tags.js';
 import { Name } from '../common/index.js';
 import { TypeParameterDeclaration } from '../tree/index.js';
 import * as types from '../types/index.js';
-import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, FunctionEntity, FunctionTypeEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from './index.js';
+import { AliasTypeEntity, DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, ITypeEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from './index.js';
 export interface TypeParameterEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Parameter;
@@ -77,6 +77,7 @@ export declare class SourceTypeParameterEntity implements TypeParameterEntity {
     getContainingEntity(): EntityContainingTypeParameter;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getContext(): EntityContext;
 }
 export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity {
     private readonly _name;
@@ -86,7 +87,8 @@ export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity
     readonly kind = EntityKind.Type;
     readonly typeEntityKind = TypeEntityKind.Parameter;
     private readonly _typeParameterConstraint;
-    constructor(_name: Name, _constraint: types.Type | undefined, _defaultValue: types.Type | undefined, _containingEntity: EntityContainingTypeParameter);
+    private readonly _context;
+    constructor(_name: Name, _constraint: types.Type | undefined, _defaultValue: types.Type | undefined, _containingEntity: EntityContainingTypeParameter, context: EntityContext | undefined);
     getName(): Name;
     getConstraint(): TypeParameterConstraint;
     getDefaultType(): types.Type | undefined;
@@ -96,4 +98,5 @@ export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity
     getContainingEntity(): EntityContainingTypeParameter;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getContext(): EntityContext;
 }

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

@@ -5,7 +5,7 @@ import { AnonymousVariantTypeDeclaration, PackageVariantTypeDeclaration } from '
 import * as types from '../types/index.js';
 import { EntityNaming } from './EntityNaming.js';
 import { OriginalTypeEntityMembers } from './TypeEntityMembers.js';
-import { BaseObjectType, DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
+import { BaseObjectType, DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from './index.js';
 export type VariantTypeEntity = PackageVariantTypeEntity | AnonymousVariantTypeEntity;
 export interface PackageVariantTypeEntity extends IVariantTypeEntity {
     readonly subkind: 'package';
@@ -64,6 +64,7 @@ export declare class PackageVariantTypeDeclarationEntity implements PackageVaria
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }
 export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousVariantTypeEntity {
     private readonly _analyzer;
@@ -86,5 +87,6 @@ export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousV
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }
 export {};

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

@@ -1,9 +1,13 @@
 import { Analyzer } from '../analysis/Analyzer.js';
+import { LocalizationContext } from '../analysis/LocalizationContext.js';
+import { SemanticContext } from '../analysis/semantic-context/SemanticContext.js';
+import { PackageDialect, PackageLocale } from '../common/index.js';
 import * as types from '../types/index.js';
 import { AliasTypeEntity } from './AliasTypeEntity.js';
 import { ConstructorEntity } from './ConstructorEntity.js';
 import { DereferenceOperatorEntity } from './DereferenceOperatorEntity.js';
 import { DestructorEntity } from './DestructorEntity.js';
+import { IEntityHidingMatcher } from './EntityHiding.js';
 import { FunctionEntity, MethodEntity, PackageFunctionEntity } from './FunctionEntity.js';
 import { FunctionTypeEntity, PackageFunctionTypeEntity } from './FunctionTypeEntity.js';
 import { GetterEntity } from './GetterEntity.js';
@@ -80,10 +84,8 @@ export declare function isEntityWithTags(entity: Entity): entity is EntityWithTa
 export type TypeMemberEntity = FieldEntity | MethodEntity | OperatorEntity | ConstructorEntity | DestructorEntity | IndexerEntity | DereferenceOperatorEntity;
 export declare function isTypeMemberEntity(entity: Entity): entity is TypeMemberEntity;
 export declare namespace TypeMemberEntity {
-    /**
-     * Возвращает `true`, если это член аспектного типа.
-     */
     function isAspectTypeMember(entity: TypeMemberEntity): boolean;
+    function isRefObjectTypeMember(entity: TypeMemberEntity): boolean;
     /**
      * Возвращает `true`, если объявление является всеобщим (помечено модификатором "всеобщее").
      */
@@ -104,6 +106,16 @@ export declare namespace TypeMemberEntity {
     function getOverriddenMembers(entity: TypeMemberEntity): readonly types.TypeMember[];
     function instantiate(analyzer: Analyzer, entity: TypeMemberEntity, substitutions: types.Substitutions): types.TypeMember;
 }
+export declare class EntityContext {
+    readonly containingPackage: PackageEntity;
+    readonly hidingMatcher: IEntityHidingMatcher;
+    readonly localizationContext: LocalizationContext | undefined;
+    readonly typeExtensionLookup: SemanticContext | undefined;
+    get lctxOrLocale(): LocalizationContext | PackageLocale;
+    get packageDialect(): PackageDialect;
+    constructor(containingPackage: PackageEntity, hidingMatcher: IEntityHidingMatcher, localizationContext: LocalizationContext | undefined, typeExtensionLookup: SemanticContext | undefined);
+    static fromSemanticContext(semanticContext: SemanticContext): EntityContext;
+}
 export declare function entityToStringDecorator<T extends {
     new (...args: any[]): Entity;
 }>(constructor: T): void;