@artel/artc 0.6.25239 → 0.6.25240

package/build/types/ts-interop/Entities.d.ts

@@ -1,12 +1,12 @@
 import ts from 'typescript';
 import { Tag } from '../analysis/Tags.js';
-import { Lazy, Name, PackageLocale } from '../common/index.js';
+import { Lazy, Name, PackageDialect, PackageLocale } from '../common/index.js';
 import type { PackageEntity } from '../entities/PackageEntity.js';
 import { PackageEntityDefinition } from '../entities/PackageEntity.js';
 import { OriginalPackageMembers } from '../entities/PackageMembers.js';
 import { OriginalTypeEntityMembers } from '../entities/TypeEntityMembers.js';
-import type { EntityContainingTypeParameter, EntityContainingValueParameter, EntityOwningGetter, TypeEntityWithMembers, VariantTypeEntity } from '../entities/index.js';
-import { AliasTypeEntity, AliasTypeEntityDefinition, AliasedType, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, BaseAspectTypes, BaseObjectType, ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, EntityHidingLevel, EntityKind, EntityNaming, EntityOwningSetter, FunctionEntityDefinition, GetterEntity, GetterEntityDefinition, IndexerEntity, IndexerEntityDefinition, InterfacePackageEntityInfo, MethodEntity, FunctionTypeEntityDefinition, PackageFunctionEntity, PackageFunctionTypeEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterVariableEntity, ParameterVariableEntityContainer, SetterEntity, SetterEntityDefinition, SpecialVariableEntityInfo, StructuredTypeEntityDefinition, SubstitutionApplicationMode, TypeEntityKind, TypeMemberEntityContainer, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition, FieldEntity, VariableEntityDefinition, VariantTypeEntityDefinition } from '../entities/index.js';
+import type { EntityContainingTypeParameter, EntityContainingValueParameter, EntityContext, EntityOwningGetter, TypeEntityWithMembers, VariantTypeEntity } from '../entities/index.js';
+import { AliasTypeEntity, AliasTypeEntityDefinition, AliasedType, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, BaseAspectTypes, BaseObjectType, ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, EntityHidingLevel, EntityKind, EntityNaming, EntityOwningSetter, FieldEntity, FunctionEntityDefinition, FunctionTypeEntityDefinition, GetterEntity, GetterEntityDefinition, IndexerEntity, IndexerEntityDefinition, InterfacePackageEntityInfo, MethodEntity, PackageFunctionEntity, PackageFunctionTypeEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterVariableEntity, ParameterVariableEntityContainer, SetterEntity, SetterEntityDefinition, SpecialVariableEntityInfo, StructuredTypeEntityDefinition, SubstitutionApplicationMode, TypeEntityKind, TypeMemberEntityContainer, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition, VariableEntityDefinition, VariantTypeEntityDefinition } from '../entities/index.js';
 import { JavaScriptImplementationConfig, PackageName, PlatformKind, ProgramPackage } from '../project/index.js';
 import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
@@ -21,6 +21,7 @@ export declare class TsPackageEntity implements PackageEntity {
     constructor(_tsctx: TsInteropContext, name: PackageName, locale: PackageLocale, contents: Lazy<TsPackageContents>, interfacePackageInfo: InterfacePackageEntityInfo);
     getName(): PackageName;
     getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
     getMembers(): OriginalPackageMembers;
     isInterface(): InterfacePackageEntityInfo | undefined;
     getImplementedInterfacePackage(): PackageEntity | undefined;
@@ -36,6 +37,7 @@ export declare class SourcePackageLoadedFromDtsEntity implements PackageEntity {
     constructor(tsctx: TsInteropContext, sourcePackage: ProgramPackage, implementationConfig: JavaScriptImplementationConfig, contents: Lazy<TsPackageContents>);
     getName(): PackageName;
     getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
     getMembers(): OriginalPackageMembers;
     isInterface(): InterfacePackageEntityInfo | undefined;
     getImplementedInterfacePackage(): PackageEntity | undefined;
@@ -166,6 +168,7 @@ export declare class TsGlobalClassOrInterfaceEntity implements PackageStructured
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
     private getDeclaration;
     private isClassOrInterfaceAndVariableMerge;
 }
@@ -197,6 +200,7 @@ export declare class SourceAndTsGlobalClassOrInterfaceMergeEntity implements Pac
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
 }
 export declare class TsTypeLiteralEntity implements AnonymousStructuredTypeEntity {
     private readonly _tsctx;
@@ -225,6 +229,7 @@ export declare class TsTypeLiteralEntity implements AnonymousStructuredTypeEntit
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
+    getContext(): EntityContext;
 }
 export declare class TsNamedTypeLiteralEntity implements PackageStructuredTypeEntity {
     private readonly _tsctx;
@@ -259,6 +264,7 @@ export declare class TsNamedTypeLiteralEntity implements PackageStructuredTypeEn
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
 }
 export declare class SourceAndTsNamedTypeLiteralMergeEntity implements PackageStructuredTypeEntity {
     private readonly _tsctx;
@@ -288,6 +294,7 @@ export declare class SourceAndTsNamedTypeLiteralMergeEntity implements PackageSt
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
 }
 export declare class TsPropertyEntity implements FieldEntity {
     private readonly _tsctx;
@@ -476,6 +483,7 @@ export declare class TsTypeParameterEntity implements TypeParameterEntity {
     getContainingEntity(): EntityContainingTypeParameter;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    getContext(): EntityContext;
     private getDeclaration;
 }
 export declare class TsIndexSignatureEntity implements IndexerEntity {
@@ -560,6 +568,7 @@ export declare class TsEnumEntity implements PackageVariantTypeEntity {
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }
 export declare class TsEnumMemberEntity implements FieldEntity {
     private readonly _tsctx;
@@ -606,6 +615,7 @@ export declare class TsTypeAliasEntity implements AliasTypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getContext(): EntityContext;
     private getDeclaration;
 }
 export declare class TsAnonymousFunctionTypeEntity implements AnonymousFunctionTypeEntity {
@@ -634,6 +644,7 @@ export declare class TsAnonymousFunctionTypeEntity implements AnonymousFunctionT
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }
 /**
  * Представляет объявления следующего вида:
@@ -678,4 +689,5 @@ export declare class TsNamedFunctionTypeEntity implements PackageFunctionTypeEnt
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
+    getContext(): EntityContext;
 }

package/build/types/ts-interop/TsInteropContext.d.ts

@@ -1,8 +1,8 @@
 import ts from 'typescript';
 import { Analyzer } from '../analysis/index.js';
 import { Tag } from '../analysis/Tags.js';
-import { Name, PackageLocale } from '../common/index.js';
-import { EntityHidingLevel, EntityKind, InterfacePackageEntityInfo, TypeEntity, TypeEntityWithMembers } from '../entities/index.js';
+import { Name, PackageDialect, PackageLocale } from '../common/index.js';
+import { EntityContext, EntityHidingLevel, EntityKind, InterfacePackageEntityInfo, TypeEntity, TypeEntityWithMembers } from '../entities/index.js';
 import { PackageEntity, PackageEntityDefinition } from '../entities/PackageEntity.js';
 import { OriginalPackageMembers } from '../entities/PackageMembers.js';
 import { JavaScriptImplementationConfig, PackageName, PlatformKind, ProgramPackage } from '../project/index.js';
@@ -34,6 +34,7 @@ export declare class TsInteropContext {
     ifTypeCanBeExpressedByFunctionTypeThenCallSignature(symbol: ts.Symbol): ts.Symbol | undefined;
     getName(original: string, ownerKind: 'type' | 'variable' | 'method'): Name;
     createDefaultExportTag(): Tag;
+    createTypeEntityContext(entity: TypeEntity): EntityContext;
     private getPackagesCreationResult;
     private createPackages;
     private collectSubModulesInFilesRecursively;
@@ -171,6 +172,7 @@ declare class TsPackageEntityForSymbolsWithUnknownOrigin implements PackageEntit
     readonly kind = EntityKind.Package;
     getName(): PackageName;
     getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
     getMembers(): OriginalPackageMembers;
     isInterface(): InterfacePackageEntityInfo | undefined;
     getImplementedInterfacePackage(): PackageEntity | undefined;

package/build/types/types/TypeMembers.d.ts

@@ -27,6 +27,7 @@ export declare class Method implements ITypeMember {
     isAsync(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
+    isOverride(): boolean;
     applySubstitutions(substitutions: Substitutions): Method;
     getTypeParametersArity(): number;
     equals(other: TypeMember): boolean;
@@ -56,6 +57,7 @@ export declare class Field implements ITypeMember {
     isConstant(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
+    isOverride(): boolean;
     isVariant(): boolean;
     applySubstitutions(substitutions: Substitutions): Field;
     equals(other: TypeMember): boolean;
@@ -78,22 +80,25 @@ export declare class Operator implements ITypeMember {
     getSignatureType(): FunctionType;
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
+    isOverride(): boolean;
     applySubstitutions(substitutions: Substitutions): Operator;
     equals(other: TypeMember): boolean;
 }
 export declare class Constructor implements ITypeMember {
+    private readonly _analyzer;
     private readonly _entity;
     private readonly _substitutions;
     readonly kind = "constructor";
     private readonly _valueParameters;
     get debuggerDisplay(): string;
-    constructor(_entity: ConstructorEntity, _substitutions: Substitutions);
+    constructor(_analyzer: Analyzer, _entity: ConstructorEntity, _substitutions: Substitutions);
     getValueParameters(): readonly ValueParameter[];
     getEntity(): ConstructorEntity;
     getSubstitutions(): Substitutions;
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
     applySubstitutions(substitutions: Substitutions): TypeMember;
+    getConstructedType(): Type;
     equals(other: TypeMember): boolean;
     toString(): string;
 }
@@ -126,6 +131,7 @@ export declare class Indexer implements ITypeMember {
     getSubstitutions(): Substitutions;
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
+    isOverride(): boolean;
     applySubstitutions(substitutions: Substitutions): Indexer;
     equals(other: TypeMember): boolean;
     toString(): string;
@@ -141,6 +147,7 @@ export declare class DereferenceOperator implements ITypeMember {
     getSubstitutions(): Substitutions;
     isHidden(): EntityHidingLevel | undefined;
     isStatic(): boolean;
+    isOverride(): boolean;
     applySubstitutions(substitutions: Substitutions): DereferenceOperator;
     equals(other: TypeMember): boolean;
     toString(): string;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25239",
+  "version": "0.6.25240",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",
@@ -41,7 +41,7 @@
     "@babel/types": "7.27.3",
     "@vscode/l10n": "0.0.18",
     "jsonc-parser": "3.3.1",
-    "reactronic": "^0.93.25025",
+    "reactronic": "^0.93.25026",
     "typescript": "5.8.2",
     "vscode-json-languageservice": "5.4.2",
     "vscode-languageserver": "9.0.1",

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

@@ -1,13 +0,0 @@
-import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
-import { TypeEntityWithMembers } from '../entities/index.js';
-import { DisplayService } from '../services/DisplayService.js';
-import { Analyzer } from './Analyzer.js';
-export declare class TypeMemberImplementationValidator {
-    private readonly _analyzer;
-    private readonly _typeEntity;
-    private readonly _displayService;
-    private readonly _diagnostics;
-    constructor(_analyzer: Analyzer, _typeEntity: TypeEntityWithMembers, _displayService: DisplayService, _diagnostics: DiagnosticAcceptor);
-    validate(): void;
-    private getDiagnosticLocation;
-}