@artel/artc 0.6.25282 → 0.6.25284

package/build/types/entities/interfaces/ConstructorEntity.d.ts

@@ -1,9 +1,7 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity } from '../index.js';
 export interface ConstructorEntity extends IEntity {
     readonly kind: EntityKind.Constructor;
@@ -13,9 +11,9 @@ export interface ConstructorEntity extends IEntity {
     isDefault(): DefaultConstructorEntityInfo | undefined;
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
-    getTags(): readonly Tag[];
-    getTranslation(): Translation | undefined;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getOriginalEntity(): ConstructorEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export declare class DefaultConstructorEntityInfo {
     readonly baseConstructor: types.Constructor | undefined;

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

@@ -1,9 +1,7 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface DereferenceOperatorEntity extends IEntity {
     readonly kind: EntityKind.DereferenceOperator;
     getType(): types.Type;
@@ -16,9 +14,8 @@ export interface DereferenceOperatorEntity extends IEntity {
     isOverride(): boolean;
     markedBasic(): boolean;
     markedAbstract(): boolean;
-    getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
-    getTranslation(): Translation | undefined;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.DereferenceOperator> | undefined;
     getOriginalEntity(): DereferenceOperatorEntity;
     ensureAllDiagnosticsReported?(): void;
 }

package/build/types/entities/interfaces/DestructorEntity.d.ts

@@ -1,8 +1,7 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface DestructorEntity extends IEntity {
     readonly kind: EntityKind.Destructor;
     getParameters(): readonly ParameterEntity[];
@@ -10,9 +9,9 @@ export interface DestructorEntity extends IEntity {
     getDefinition(): DestructorEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
-    getTags(): readonly Tag[];
-    getTranslation(): Translation | undefined;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Destructor> | undefined;
     getOriginalEntity(): DestructorEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export type DestructorEntityDefinition = {
     kind: DefinitionKind.Source;

package/build/types/entities/interfaces/FunctionEntity.d.ts

@@ -1,10 +1,9 @@
-import { Tag } from '../../analysis/Tag.js';
 import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { EntityNaming, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { EntityNaming, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export type FunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity | AnonymousFunctionEntity;
 interface IFunctionEntity extends IEntity {
@@ -16,7 +15,6 @@ interface IFunctionEntity extends IEntity {
     getDefinition(): FunctionEntityDefinition;
     isAsync(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
     getTypeParametersArity(): number;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getTranslation(): Translation | undefined;
@@ -24,8 +22,6 @@ interface IFunctionEntity extends IEntity {
 export interface PackageFunctionEntity extends IFunctionEntity {
     readonly subkind: 'package';
     getName(): Name;
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageFunctionEntity;
 }
 export interface MethodEntity extends IFunctionEntity {
@@ -39,23 +35,22 @@ export interface MethodEntity extends IFunctionEntity {
     isModifyingOwningPlainObject(): boolean;
     isFunctionTypeInvokeMethod(): boolean;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getOriginalEntity(): MethodEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export interface NestedFunctionEntity extends IFunctionEntity {
     readonly subkind: 'nested';
     getName(): Name;
-    getContainingPackage(): PackageEntity;
     getOriginalEntity(): NestedFunctionEntity;
 }
 export interface NestedFunctionEntity extends IFunctionEntity {
     readonly subkind: 'nested';
     getName(): Name;
-    getContainingPackage(): PackageEntity;
     getOriginalEntity(): NestedFunctionEntity;
 }
 export interface AnonymousFunctionEntity extends IFunctionEntity {
     readonly subkind: 'anonymous';
-    getContainingPackage(): PackageEntity;
     getOriginalEntity(): AnonymousFunctionEntity;
 }
 export type FunctionEntityDefinition = {

package/build/types/entities/interfaces/FunctionTypeEntity.d.ts

@@ -1,12 +1,9 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { EntityNaming } from '../EntityNaming.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import type { PackageEntity } from '../index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, ParameterEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export type FunctionTypeEntity = PackageFunctionTypeEntity | AnonymousFunctionTypeEntity;
 interface IFunctionTypeEntity extends ITypeEntity {
@@ -21,7 +18,6 @@ interface IFunctionTypeEntity extends ITypeEntity {
     isAsync(): boolean;
     getArity(): number;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     /**
      * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
@@ -32,14 +28,10 @@ interface IFunctionTypeEntity extends ITypeEntity {
 export interface PackageFunctionTypeEntity extends IFunctionTypeEntity {
     readonly subkind: 'package';
     getName(): Name;
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageFunctionTypeEntity;
 }
 export interface AnonymousFunctionTypeEntity extends IFunctionTypeEntity {
     readonly subkind: 'anonymous';
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): AnonymousFunctionTypeEntity;
 }
 export type FunctionTypeEntityDefinition = {

package/build/types/entities/interfaces/GetterEntity.d.ts

@@ -1,6 +1,4 @@
 import { GetterDeclaration } from '../../analysis/NodeTypeUtils.js';
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, DereferenceOperatorEntity, EntityHidingLevel, EntityKind, FieldEntity, IndexerEntity, PackageVariableEntity } from '../index.js';
@@ -11,8 +9,6 @@ export interface GetterEntity extends IEntity {
     isModifyingOwningPlainObject(): boolean;
     getOwningEntity(): EntityOwningGetter;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): GetterEntity;
 }
 export type GetterEntityDefinition = {

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

@@ -1,9 +1,7 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, ParameterEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface IndexerEntity extends IEntity {
     readonly kind: EntityKind.Indexer;
     getParameters(): readonly ParameterEntity[];
@@ -17,9 +15,8 @@ export interface IndexerEntity extends IEntity {
     isOverride(): boolean;
     markedBasic(): boolean;
     markedAbstract(): boolean;
-    getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
-    getTranslation(): Translation | undefined;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Indexer> | undefined;
     getOriginalEntity(): IndexerEntity;
     ensureAllDiagnosticsReported?(): void;
 }

package/build/types/entities/interfaces/OperatorEntity.d.ts

@@ -1,9 +1,7 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, OperatorKind, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, OperatorKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface OperatorEntity extends IEntity {
     readonly kind: EntityKind.Operator;
     getOperatorKind(): OperatorKind;
@@ -16,10 +14,10 @@ export interface OperatorEntity extends IEntity {
     markedBasic(): boolean;
     markedAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Operator[];
-    getTranslation(): Translation | undefined;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Operator> | undefined;
     getOriginalEntity(): OperatorEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export type OperatorEntityDefinition = {
     kind: DefinitionKind.Source;

package/build/types/entities/interfaces/PackageAliasEntity.d.ts

@@ -1,5 +1,3 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import { IEntity } from '../IEntity.js';
@@ -10,10 +8,7 @@ export interface PackageAliasEntity extends IEntity {
     getDefinition(): PackageAliasEntityDefinition;
     getPackage(): PackageEntity | undefined;
     isHidden(): EntityHidingLevel | undefined;
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageAliasEntity;
-    getTags(): readonly Tag[];
 }
 export type PackageAliasEntityDefinition = {
     kind: DefinitionKind.Source;

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

@@ -1,23 +1,15 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
-import { PackageDialect, PackageLocale } from '../../common/index.js';
-import type { JavaScriptImplementationConfig, SourcePackage } from '../../project/index.js';
-import { PackageName, PlatformKind } from '../../project/index.js';
+import { JavaScriptImplementationConfig, PackageName, PlatformKind, SourcePackage } from '../../project/index.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, EntityKind, PackageEntityMembers } from '../index.js';
 export interface PackageEntity extends IEntity {
     readonly kind: EntityKind.Package;
     getName(): PackageName;
-    getLocale(): PackageLocale;
-    getDialect(): PackageDialect;
     getMembers(): PackageEntityMembers;
     getInterfacePackageInfo(): InterfacePackageEntityInfo | undefined;
     getImplementedInterfacePackage(): PackageEntity | undefined;
     getSupportedPlatforms(): readonly PlatformKind[];
     getDefinition(): PackageEntityDefinition;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageEntity;
-    getTags(): readonly Tag[];
     getTextTranslationPackageInfo(): TextTranslationPackageEntityInfo | undefined;
     ensureAllDiagnosticsReported?(): void;
 }

package/build/types/entities/interfaces/ReducedTypeEntity.d.ts

@@ -0,0 +1,99 @@
+import { Analyzer } from '../../analysis/index.js';
+import { Name } from '../../common/index.js';
+import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
+import { TypeEntityMembers } from '../TypeEntityMembers.js';
+import { BaseAspectTypes, BaseObjectType, DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+export interface ReducedTypeEntity extends ITypeEntity {
+    readonly kind: EntityKind.Type;
+    readonly typeEntityKind: TypeEntityKind.Reduced;
+    getName(): Name;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса ReductionSource.
+     */
+    getReductionSource(): ReductionSource;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
+     */
+    getBaseObjectType(): BaseObjectType;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseAspectTypes.
+     */
+    getBaseAspectTypes(): BaseAspectTypes;
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getDefinition(): ReducedTypeEntityDefinition;
+    getMembers(): TypeEntityMembers;
+    getArity(): number;
+    isHidden(): EntityHidingLevel | undefined;
+    getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getOriginalEntity(): ReducedTypeEntity;
+    ensureAllDiagnosticsReported?(): void;
+}
+export type ReducedTypeEntityDefinition = {
+    kind: DefinitionKind.Source;
+    node: tree.PackageReducedTypeDeclaration;
+};
+export declare class PreservedReducedTypeEntityMemberInfo<T extends types.TypeMember = types.TypeMember> {
+    readonly reductionSourceMember: T | undefined;
+    constructor(reductionSourceMember: T | undefined);
+}
+/**
+* Класс позволяет работать с правой частью сокращённого типа, исключая циклы.
+*
+* Пример цикла:
+* ```artel
+* тип А = сокращённый объект Б { }
+* тип Б = сокращённый объект А { }
+* ```
+*
+* Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - тип `unresolved`, чтобы разорвать цикл,
+* созданный типами `А` и `Б`.
+*/
+export declare abstract class ReductionSource {
+    /**
+     * Правая часть сокращённого типа, указанная пользователем.
+     */
+    abstract readonly declared: types.Type;
+    /**
+     * Правая часть сокращённого типа, указанная пользователем, либо тип `unresolved`,
+     * если указанный тип приводит к циклу.
+     */
+    abstract readonly cycleFree: types.Type;
+    /**
+     * Приводит ли указанная пользователем правая часть сокращённого типа к циклу?
+     */
+    abstract readonly causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveReductionSource(circularityTrackingStack: boolean[]): CycleFreeReductionSourceResolutionResult;
+}
+export declare class OriginalReductionSource extends ReductionSource {
+    /**
+     * Правая часть тождественного типа, указанная пользователем.
+     */
+    readonly declared: types.Type;
+    private readonly analyzer;
+    private state;
+    /**
+     * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
+     * если указанный тип приводит к циклу.
+     */
+    get cycleFree(): types.Type;
+    /**
+     * Приводит ли указанная пользователем правая часть тождественного типа к циклу?
+     */
+    get causesCycle(): boolean;
+    constructor(analyzer: Analyzer, declared: types.Type);
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    resolveReductionSource(circularityTrackingStack: boolean[]): CycleFreeReductionSourceResolutionResult;
+    private getAliasedTypeResolutionResult;
+    private checkIfTypeFormsCycle;
+}
+export declare class CycleFreeReductionSourceResolutionResult {
+    readonly type: types.Type;
+    readonly causesCycle: boolean;
+    constructor(type: types.Type, causesCycle: boolean);
+}

package/build/types/entities/interfaces/SetterEntity.d.ts

@@ -1,6 +1,4 @@
 import { SetterDeclaration } from '../../analysis/NodeTypeUtils.js';
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { IEntity } from '../IEntity.js';
 import { DefinitionKind, DereferenceOperatorEntity, EntityHidingLevel, EntityKind, FieldEntity, IndexerEntity, PackageVariableEntity } from '../index.js';
 export interface SetterEntity extends IEntity {
@@ -9,8 +7,6 @@ export interface SetterEntity extends IEntity {
     isModifyingOwningPlainObject(): boolean;
     getOwningEntity(): EntityOwningSetter;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): SetterEntity;
 }
 export type SetterEntityDefinition = {

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

@@ -1,12 +1,9 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import { BaseAspectTypes } from '../BaseAspectTypes.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { EntityNaming } from '../EntityNaming.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import type { PackageEntity } from '../index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export type StructuredTypeEntity = PackageStructuredTypeEntity | AnonymousStructuredTypeEntity;
 interface IStructuredTypeEntity extends ITypeEntity {
@@ -29,21 +26,16 @@ interface IStructuredTypeEntity extends ITypeEntity {
      */
     getBaseAspectTypes(): BaseAspectTypes;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     ensureAllDiagnosticsReported?(): void;
 }
 export interface PackageStructuredTypeEntity extends IStructuredTypeEntity {
     readonly subkind: 'package';
     getName(): Name;
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageStructuredTypeEntity;
 }
 export interface AnonymousStructuredTypeEntity extends IStructuredTypeEntity {
     readonly subkind: 'anonymous';
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): AnonymousStructuredTypeEntity;
 }
 export declare enum StructuredTypeKind {

package/build/types/entities/interfaces/TextTranslationEntity.d.ts

@@ -12,6 +12,7 @@ export interface TextTranslationEntity extends IEntity {
     getParameters(): readonly ParameterEntity[];
     getDefinition(): TextTranslationEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
+    getOriginalEntity(): TextTranslationEntity;
 }
 export type TextTranslationEntityDefinition = {
     kind: DefinitionKind.Source;

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

@@ -1,19 +1,13 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import * as tree from '../../tree/index.js';
 import { IEntity } from '../IEntity.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { DefinitionKind, EntityContext, EntityHidingLevel, EntityKind, NamedTypeEntity, PackageEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, NamedTypeEntity } from '../index.js';
 export interface TypeExtensionEntity extends IEntity {
     readonly kind: EntityKind.TypeExtension;
     getMembers(): TypeEntityMembers;
-    getContainingPackage(): PackageEntity;
     getExtendedTypeEntity(): NamedTypeEntity | undefined;
     getDefinition(): TypeExtensionEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
-    getContext(): EntityContext;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): TypeExtensionEntity;
     ensureAllDiagnosticsReported?(): void;
 }

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

@@ -1,8 +1,7 @@
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
-import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, FunctionTypeEntity, ITypeEntity, NamedFunctionEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from '../index.js';
+import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, FunctionTypeEntity, ITypeEntity, NamedFunctionEntity, ReducedTypeEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from '../index.js';
 export interface TypeParameterEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Parameter;
@@ -17,7 +16,6 @@ export interface TypeParameterEntity extends ITypeEntity {
     getTypeParameters(): readonly TypeParameterEntity[];
     getContainingEntity(): EntityContainingTypeParameter;
     isHidden(): EntityHidingLevel | undefined;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): TypeParameterEntity;
 }
 export type TypeParameterEntityDefinition = {
@@ -28,7 +26,7 @@ export type TypeParameterEntityDefinition = {
 } | {
     kind: DefinitionKind.TypeScript;
 };
-export type EntityContainingTypeParameter = VariantTypeEntity | NamedFunctionEntity | FunctionTypeEntity | StructuredTypeEntity | AliasTypeEntity;
+export type EntityContainingTypeParameter = VariantTypeEntity | NamedFunctionEntity | FunctionTypeEntity | StructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 /**
  * Класс позволяет работать с ограничением параметра шаблона, исключая циклы.
  *

package/build/types/entities/interfaces/VariableEntity.d.ts

@@ -1,12 +1,9 @@
 import { SetterDeclaration, SubprogramDeclarationOrLiteral } from '../../analysis/NodeTypeUtils.js';
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { IndexerEntity, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
-import { ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, OperatorEntity, SetterEntity } from '../index.js';
+import { ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, OperatorEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export type VariableEntity = PackageVariableEntity | FieldEntity | ParameterEntity | LocalVariableEntity;
 interface IVariableEntity extends IEntity {
     readonly kind: EntityKind.Variable;
@@ -18,13 +15,10 @@ interface IVariableEntity extends IEntity {
     isConstant(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
-    getTags(): readonly Tag[];
     ensureAllDiagnosticsReported?(): void;
 }
 export interface PackageVariableEntity extends IVariableEntity {
     readonly subkind: 'package';
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageVariableEntity;
 }
 export interface FieldEntity extends IVariableEntity {
@@ -36,7 +30,7 @@ export interface FieldEntity extends IVariableEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
-    getTranslation(): Translation | undefined;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     getOriginalEntity(): FieldEntity;
 }
 export interface ParameterEntity extends IVariableEntity {
@@ -44,14 +38,11 @@ export interface ParameterEntity extends IVariableEntity {
     getContainingEntity(): EntityContainingParameter;
     isOptional(): boolean;
     isVariadic(): boolean;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): ParameterEntity;
 }
 export interface LocalVariableEntity extends IVariableEntity {
     readonly subkind: 'local';
     getLocalVariableKind(): LocalVariableKind;
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): LocalVariableEntity;
 }
 export declare enum LocalVariableKind {

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

@@ -1,12 +1,10 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { EntityNaming } from '../EntityNaming.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export type VariantTypeEntity = PackageVariantTypeEntity | AnonymousVariantTypeEntity;
 interface IVariantTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
@@ -18,7 +16,6 @@ interface IVariantTypeEntity extends ITypeEntity {
     getArity(): number;
     getTypeParameters(): readonly TypeParameterEntity[];
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     /**
      * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
@@ -29,14 +26,10 @@ interface IVariantTypeEntity extends ITypeEntity {
 export interface PackageVariantTypeEntity extends IVariantTypeEntity {
     readonly subkind: 'package';
     getName(): Name;
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): PackageVariantTypeEntity;
 }
 export interface AnonymousVariantTypeEntity extends IVariantTypeEntity {
     readonly subkind: 'anonymous';
-    getContainingPackage(): PackageEntity;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): AnonymousVariantTypeEntity;
 }
 export type VariantTypeEntityDefinition = {

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

@@ -9,6 +9,7 @@ export * from './IndexerEntity.js';
 export * from './OperatorEntity.js';
 export * from './PackageAliasEntity.js';
 export * from './PackageEntity.js';
+export * from './ReducedTypeEntity.js';
 export * from './SetterEntity.js';
 export * from './StructuredTypeEntity.js';
 export * from './TextTranslationEntity.js';

package/build/types/entities/intrinsic/IntrinsicConstructorEntity.d.ts

@@ -3,7 +3,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { Analyzer } from '../../analysis/index.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
-import type { PackageEntity, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { PackageEntity, PreservedReducedTypeEntityMemberInfo, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity } from '../index.js';
 export declare class IntrinsicConstructorEntity implements ConstructorEntity {
     private readonly parameters;
@@ -21,6 +21,7 @@ export declare class IntrinsicConstructorEntity implements ConstructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -42,6 +43,7 @@ export declare class DefaultConstructorEntity implements ConstructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

package/build/types/entities/intrinsic/IntrinsicFunctionEntity.d.ts

@@ -2,7 +2,7 @@ import { Tag } from '../../analysis/Tag.js';
 import { Translation } from '../../analysis/Translation.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
-import type { EntityNaming, FunctionEntityDefinition, MethodEntity, PackageEntity, PackageFunctionEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { EntityNaming, FunctionEntityDefinition, MethodEntity, PackageEntity, PackageFunctionEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export declare class IntrinsicPackageFunctionEntity implements PackageFunctionEntity {
     private readonly name;
@@ -72,6 +72,7 @@ export declare class IntrinsicMethodEntity implements MethodEntity {
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

package/build/types/entities/intrinsic/IntrinsicFunctionTypeEntity.d.ts

@@ -2,16 +2,16 @@ import { Analyzer } from '../../analysis/index.js';
 import { Name } from '../../common/index.js';
 import * as types from '../../types/index.js';
 import type { AnonymousFunctionTypeEntity, PackageEntity, PackageFunctionTypeEntity } from '../index.js';
-import { EntityContext, EntityHidingLevel, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
+import { EntityHidingLevel, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export declare class UnfinishedIntrinsicAnonymousFunctionTypeEntity {
     private readonly unfinishedValue_;
     get unfinishedValue(): AnonymousFunctionTypeEntity;
-    constructor(analyzer: Analyzer, returnType: types.Type, isAsync: boolean, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined, context: EntityContext | undefined);
+    constructor(analyzer: Analyzer, returnType: types.Type, isAsync: boolean, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined);
     finish(typeParameters: readonly TypeParameterEntity[], parameters: readonly ParameterEntity[]): 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, context: EntityContext | undefined);
+    constructor(analyzer: Analyzer, name: Name, returnType: types.Type, isAsync: boolean, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, isHidden: EntityHidingLevel | undefined);
     finish(typeParameters: readonly TypeParameterEntity[], parameters: readonly ParameterEntity[]): PackageFunctionTypeEntity;
 }