@artel/artc 0.6.25283 → 0.6.25285

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

@@ -58,7 +58,7 @@ export declare class TsPackageMembersCreator {
     private createReplacementSourceEntities;
     private getSourceEntity;
 }
-export type NamedPackageMemberDeclaration = tree.PackageAliasTypeDeclaration | tree.PackageFunctionDeclaration | tree.PackageFunctionTypeDeclaration | tree.PackageStructuredTypeDeclaration | tree.PackageVariableDeclaration | tree.PackageVariableGetterDeclaration | tree.PackageVariableSetterDeclaration | tree.PackageVariantTypeDeclaration;
+export type NamedPackageMemberDeclaration = tree.PackageAliasTypeDeclaration | tree.PackageReducedTypeDeclaration | tree.PackageFunctionDeclaration | tree.PackageFunctionTypeDeclaration | tree.PackageStructuredTypeDeclaration | tree.PackageVariableDeclaration | tree.PackageVariableGetterDeclaration | tree.PackageVariableSetterDeclaration | tree.PackageVariantTypeDeclaration;
 export declare class TsPackageMembersCreationResult {
     readonly members: PackageEntityMembers;
     readonly typeEntityBySymbol: ReadonlyMap<ts.Symbol, TypeEntity>;

package/build/types/types/ReducedType.d.ts

@@ -0,0 +1,24 @@
+import { Analyzer } from '../analysis/index.js';
+import { ReducedTypeEntity, TypeParameterEntity } from '../entities/index.js';
+import { IType, Substitutions, Type } from './index.js';
+export declare class ReducedType implements IType {
+    private readonly analyzer;
+    private readonly entity;
+    private readonly substitutions;
+    readonly kind = "reduced";
+    private readonly reductionSource;
+    private readonly baseObjectType;
+    private readonly baseAspectTypes;
+    get isNullType(): boolean;
+    get debuggerDisplay(): string;
+    constructor(analyzer: Analyzer, entity: ReducedTypeEntity, substitutions: Substitutions);
+    getReductionSource(): Type;
+    getBaseObjectType(): Type | undefined;
+    getBaseAspectTypes(): readonly Type[];
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getSubstitutions(): Substitutions;
+    applySubstitutions(substitutions: Substitutions): Type;
+    equals(other: Type, considerLocale?: boolean): boolean;
+    getEntity(): ReducedTypeEntity;
+    toString(): string;
+}

package/build/types/types/Type.d.ts

@@ -3,13 +3,14 @@ import { AliasType } from './AliasType.js';
 import { FunctionType } from './FunctionType.js';
 import { IntersectionType } from './IntersectionType.js';
 import { ParameterType } from './ParameterType.js';
+import { ReducedType } from './ReducedType.js';
 import { StructuredType } from './StructuredType.js';
 import { Substitutions } from './Substitutions.js';
 import { SubstitutionStubType } from './SubstitutionStubType.js';
 import { UnionType } from './UnionType.js';
 import { UnresolvedType } from './UnresolvedType.js';
 import { VariantType } from './VariantType.js';
-export type Type = StructuredType | VariantType | FunctionType | AliasType | UnresolvedType | ParameterType | UnionType | IntersectionType | SubstitutionStubType;
+export type Type = StructuredType | VariantType | FunctionType | AliasType | UnresolvedType | ParameterType | UnionType | IntersectionType | SubstitutionStubType | ReducedType;
 export interface IType {
     readonly isNullType: boolean;
     getSubstitutions(): Substitutions;

package/build/types/types/TypeFactory.d.ts

@@ -1,6 +1,6 @@
 import { Analyzer } from '../analysis/index.js';
-import { AliasTypeEntity, FunctionTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from '../entities/index.js';
-import { AliasType, FunctionType, ParameterType, StructuredType, Substitutions, SubstitutionStubType, Type, UnresolvedType, VariantType } from './index.js';
+import { AliasTypeEntity, FunctionTypeEntity, ReducedTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from '../entities/index.js';
+import { AliasType, FunctionType, ParameterType, ReducedType, StructuredType, Substitutions, SubstitutionStubType, Type, UnresolvedType, VariantType } from './index.js';
 export declare class TypeFactory {
     readonly analyzer: Analyzer;
     constructor(analyzer: Analyzer);
@@ -9,6 +9,7 @@ export declare class TypeFactory {
     getVariantType(entity: VariantTypeEntity, substitutions: Substitutions): VariantType;
     getFunctionType(entity: FunctionTypeEntity, substitutions: Substitutions): FunctionType;
     getAliasType(entity: AliasTypeEntity, substitutions: Substitutions): AliasType;
+    getReducedType(entity: ReducedTypeEntity, substitutions: Substitutions): ReducedType;
     getUnionType(types: readonly Type[], reduce?: boolean): Type;
     getIntersectionType(types: readonly Type[], reduce?: boolean): Type;
     getUnresolvedType(): UnresolvedType;

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

@@ -2,6 +2,7 @@ export * from './AliasType.js';
 export * from './FunctionType.js';
 export * from './IntersectionType.js';
 export * from './ParameterType.js';
+export * from './ReducedType.js';
 export * from './StandardTypes.js';
 export * from './StructuredType.js';
 export * from './Substitutions.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25283",
+  "version": "0.6.25285",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",

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

@@ -1,14 +0,0 @@
-import { BaseEntityHidingMatcher, PackageEntity } from '../../entities/index.js';
-import { TypeEntity } from '../../entities/TypeEntity.js';
-import { SourceFile } from '../../project/SourceFile.js';
-import { SemanticContext } from './SemanticContext.js';
-export declare class SemanticContextBasedEntityHidingMatcher extends BaseEntityHidingMatcher {
-    private readonly semanticContext;
-    private readonly typeEntity_;
-    private sourceFile_;
-    private package_;
-    protected get sourceFile(): SourceFile;
-    protected get package(): PackageEntity;
-    protected get typeEntity(): TypeEntity | undefined;
-    constructor(semanticContext: SemanticContext);
-}

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

@@ -1,11 +0,0 @@
-import { SourceFile } from '../project/SourceFile.js';
-import { EntityHidingLevel, IEntityHidingMatcher } from './EntityHiding.js';
-import { PackageEntity } from './interfaces/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 | undefined): boolean;
-    private isDerivedFromOrEquals;
-}

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

@@ -1,10 +0,0 @@
-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/parser/ReservedIdentifierDictionary.d.ts

@@ -1,11 +0,0 @@
-import { PackageLocale } from '../common/index.js';
-export declare const enum ReservedIdentifierKind {
-    Result = 0,
-    Value = 1
-}
-export declare const reservedIdentifiersByLocale: {
-    [T in PackageLocale]: {
-        [T in ReservedIdentifierKind]: string;
-    };
-};
-export declare const reservedIdentifiersKindByValue: { [T in PackageLocale]: ReadonlyMap<string, ReservedIdentifierKind>; };