@artel/artc 0.8.26001 → 0.9.26002
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/build/Cli.js +3 -3
- package/build/api/Api.js +2 -2
- package/build/api/ApiNodeJS.js +3 -3
- package/build/api/ApiServices.js +44 -58
- package/build/{chunk-6XVQ7FTB.js → chunk-6SZZ3VZ6.js} +2 -2
- package/build/{chunk-55LNCV63.js → chunk-LGYFTSDE.js} +478 -529
- package/build/{chunk-PUDLDJ7V.js → chunk-QHIZWFJU.js} +1 -1
- package/build/types/analysis/a/Analyzer.d.ts +6 -6
- package/build/types/analysis/m/Analyzer.d.ts +6 -6
- package/build/types/emitter/EmitterContext.d.ts +4 -4
- package/build/types/emitter/IrBuilderM.d.ts +1 -1
- package/build/types/entities/interfaces/StructuredTypeEntity.d.ts +1 -1
- package/build/types/entities/source/a/SourceStructuredTypeEntity.d.ts +5 -5
- package/build/types/entities/source/m/SourceStructuredTypeEntity.d.ts +6 -6
- package/build/types/entities/translated/TranslatedStructuredTypeEntity.d.ts +4 -4
- package/build/types/services/m/NodeSemanticInfo.d.ts +1 -1
- package/build/types/ts-interop/TypeEntities.d.ts +5 -5
- package/build/types/types/AliasType.d.ts +2 -4
- package/build/types/types/FunctionType.d.ts +2 -4
- package/build/types/types/IntersectionType.d.ts +2 -2
- package/build/types/types/ParameterType.d.ts +2 -3
- package/build/types/types/ReducedType.d.ts +2 -4
- package/build/types/types/StructuredType.d.ts +3 -5
- package/build/types/types/SubstitutionStubType.d.ts +2 -2
- package/build/types/types/Type.d.ts +2 -2
- package/build/types/types/UnionType.d.ts +2 -2
- package/build/types/types/UnresolvedType.d.ts +2 -2
- package/build/types/types/VariantType.d.ts +2 -4
- package/package.json +2 -2
|
@@ -263,18 +263,18 @@ declare class Type {
|
|
|
263
263
|
/**
|
|
264
264
|
* По умолчанию литерал шаблона текста имеет тип Текст.
|
|
265
265
|
*
|
|
266
|
-
* Литерал шаблона текста имеет тип
|
|
267
|
-
* - если он присваивается в переменную, имеющую тип
|
|
268
|
-
* - если он присваивается в переменную, имеющую
|
|
266
|
+
* Литерал шаблона текста имеет тип ТекстШаблонный в следующих случаях:
|
|
267
|
+
* - если он присваивается в переменную, имеющую тип ТекстШаблонный;
|
|
268
|
+
* - если он присваивается в переменную, имеющую множественный тип, содержащий тип ТекстШаблонный
|
|
269
269
|
* и не содержащий тип Текст.
|
|
270
270
|
*/
|
|
271
271
|
private ofTextTemplateLiteral;
|
|
272
272
|
/**
|
|
273
273
|
* По умолчанию литерал шаблона текста имеет тип Текст.
|
|
274
274
|
*
|
|
275
|
-
* Литерал переводимого шаблона текста имеет тип
|
|
276
|
-
* - если он присваивается в переменную, имеющую тип
|
|
277
|
-
* - если он присваивается в переменную, имеющую
|
|
275
|
+
* Литерал переводимого шаблона текста имеет тип ТекстПереводимый в следующих случаях:
|
|
276
|
+
* - если он присваивается в переменную, имеющую тип ТекстПереводимый;
|
|
277
|
+
* - если он присваивается в переменную, имеющую множественный тип, содержащий тип ТекстПереводимый
|
|
278
278
|
* и не содержащий тип Текст.
|
|
279
279
|
*/
|
|
280
280
|
private ofLocalizableTextTemplateLiteral;
|
|
@@ -250,18 +250,18 @@ declare class Type {
|
|
|
250
250
|
/**
|
|
251
251
|
* По умолчанию литерал шаблона текста имеет тип Текст.
|
|
252
252
|
*
|
|
253
|
-
* Литерал шаблона текста имеет тип
|
|
254
|
-
* - если он присваивается в переменную, имеющую тип
|
|
255
|
-
* - если он присваивается в переменную, имеющую
|
|
253
|
+
* Литерал шаблона текста имеет тип ТекстШаблонный в следующих случаях:
|
|
254
|
+
* - если он присваивается в переменную, имеющую тип ТекстШаблонный;
|
|
255
|
+
* - если он присваивается в переменную, имеющую множественный тип, содержащий тип ТекстШаблонный
|
|
256
256
|
* и не содержащий тип Текст.
|
|
257
257
|
*/
|
|
258
258
|
private ofTextTemplateLiteral;
|
|
259
259
|
/**
|
|
260
260
|
* По умолчанию литерал шаблона текста имеет тип Текст.
|
|
261
261
|
*
|
|
262
|
-
* Литерал переводимого шаблона текста имеет тип
|
|
263
|
-
* - если он присваивается в переменную, имеющую тип
|
|
264
|
-
* - если он присваивается в переменную, имеющую
|
|
262
|
+
* Литерал переводимого шаблона текста имеет тип ТекстПереводимый в следующих случаях:
|
|
263
|
+
* - если он присваивается в переменную, имеющую тип ТекстПереводимый;
|
|
264
|
+
* - если он присваивается в переменную, имеющую множественный тип, содержащий тип ТекстПереводимый
|
|
265
265
|
* и не содержащий тип Текст.
|
|
266
266
|
*/
|
|
267
267
|
private ofLocalizableTextTemplateLiteral;
|
|
@@ -30,10 +30,10 @@ export declare class WellKnownDeclarationKeys {
|
|
|
30
30
|
static readonly fieldProxyReadMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u043E\u0441\u0440\u0435\u0434\u043D\u0438\u043A\u041F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439\u041E\u0431\u044A\u0435\u043A\u0442\u0430.\u043F\u0440\u043E\u0447\u0438\u0442\u0430\u0442\u044C";
|
|
31
31
|
static readonly fieldProxyWriteMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u041F\u043E\u0441\u0440\u0435\u0434\u043D\u0438\u043A\u041F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439\u041E\u0431\u044A\u0435\u043A\u0442\u0430.\u0437\u0430\u043F\u0438\u0441\u0430\u0442\u044C";
|
|
32
32
|
static readonly referenceConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0420\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F.\u0414\u0436\u0430\u0432\u0430\u0421\u043A\u0440\u0438\u043F\u0442.\u0421\u0441\u044B\u043B\u043A\u0430";
|
|
33
|
-
static readonly textTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\
|
|
34
|
-
static readonly textTemplateToTextMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0428\u0430\u0431\u043B\u043E\u043D\
|
|
35
|
-
static readonly localizableTextTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\
|
|
36
|
-
static readonly localizableTextTemplateTranslateMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\
|
|
33
|
+
static readonly textTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u0428\u0430\u0431\u043B\u043E\u043D\u043D\u044B\u0439(\u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442\u044B,\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F)";
|
|
34
|
+
static readonly textTemplateToTextMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u0428\u0430\u0431\u043B\u043E\u043D\u043D\u044B\u0439.\u0432-\u0442\u0435\u043A\u0441\u0442()";
|
|
35
|
+
static readonly localizableTextTemplateConstructor = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439(\u0444\u0440\u0430\u0433\u043C\u0435\u043D\u0442\u044B,\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F,\u043A\u043B\u044E\u0447,\u043F\u0430\u043A\u0435\u0442)";
|
|
36
|
+
static readonly localizableTextTemplateTranslateMethod = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0422\u0435\u043A\u0441\u0442\u041F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u044B\u0439.\u043F\u0435\u0440\u0435\u0432\u0435\u0441\u0442\u0438()";
|
|
37
37
|
static readonly symbolIteratorField = "\u0432\u0441\u0435\u043E\u0431\u0449\u0435\u0435 Platform.JavaScript.Symbol.iterator";
|
|
38
38
|
static readonly inlineJsFunction = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0412\u0437\u0430\u0438\u043C\u043E\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435.\u043F\u043E\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044C-\u0440\u043E\u0434\u043D\u043E\u0439-\u043A\u043E\u0434";
|
|
39
39
|
static readonly numberIsIntegerFunction = "\u0410\u0440\u0442\u0435\u043B\u044C.\u0420\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u044F.\u0414\u0436\u0430\u0432\u0430\u0421\u043A\u0440\u0438\u043F\u0442.\u0447\u0438\u0441\u043B\u043E-\u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F-\u0446\u0435\u043B\u044B\u043C";
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { Analyzer } from '../analysis/m/Analyzer.js';
|
|
2
1
|
import { DeclarationsUsageMap } from '../analysis/DeclarationsUsageMap.js';
|
|
2
|
+
import { Analyzer } from '../analysis/m/Analyzer.js';
|
|
3
3
|
import { SourceFile, SourcePackageM } from '../project/index.js';
|
|
4
4
|
import * as commonTree from '../tree/index.js';
|
|
5
5
|
import { EmitterContext } from './EmitterContext.js';
|
|
@@ -9,13 +9,13 @@ export type StructuredTypeEntity = NamedStructuredTypeEntity | AnonymousStructur
|
|
|
9
9
|
interface IStructuredTypeEntity extends ITypeEntity {
|
|
10
10
|
readonly kind: EntityKind.Type;
|
|
11
11
|
readonly typeEntityKind: TypeEntityKind.Structured;
|
|
12
|
+
readonly structuredTypeKind: StructuredTypeKind;
|
|
12
13
|
getNaming(): EntityNaming;
|
|
13
14
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
14
15
|
getMembers(): TypeEntityMembers;
|
|
15
16
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
16
17
|
markedBasic(): boolean;
|
|
17
18
|
isAbstract(): boolean;
|
|
18
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
19
19
|
getArity(): number;
|
|
20
20
|
/**
|
|
21
21
|
* При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
|
|
@@ -8,6 +8,7 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
|
|
|
8
8
|
readonly subkind = "package";
|
|
9
9
|
private readonly node;
|
|
10
10
|
private readonly data;
|
|
11
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
11
12
|
constructor(analyzer: Analyzer, node: tree.PackageStructuredTypeDeclaration);
|
|
12
13
|
getNaming(): EntityNaming;
|
|
13
14
|
getName(): Name;
|
|
@@ -17,7 +18,6 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
|
|
|
17
18
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
18
19
|
markedBasic(): boolean;
|
|
19
20
|
isAbstract(): boolean;
|
|
20
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
21
21
|
getArity(): number;
|
|
22
22
|
getBaseObjectType(): BaseObjectType;
|
|
23
23
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
@@ -35,6 +35,7 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
|
|
|
35
35
|
readonly subkind = "anonymous";
|
|
36
36
|
private readonly node;
|
|
37
37
|
private readonly data;
|
|
38
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
38
39
|
constructor(analyzer: Analyzer, node: tree.AnonymousStructuredTypeDeclaration);
|
|
39
40
|
getNaming(): EntityNaming;
|
|
40
41
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
@@ -43,7 +44,6 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
|
|
|
43
44
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
44
45
|
markedBasic(): boolean;
|
|
45
46
|
isAbstract(): boolean;
|
|
46
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
47
47
|
getBaseObjectType(): BaseObjectType;
|
|
48
48
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
49
49
|
isHidden(): EntityHidingLevel | undefined;
|
|
@@ -62,8 +62,8 @@ export declare abstract class SourceStructuredTypeDeclarationData {
|
|
|
62
62
|
protected abstract get memberBlock(): tree.TypeMemberDeclarationBlock;
|
|
63
63
|
protected abstract get extendsClause(): tree.ExtendsClause | undefined;
|
|
64
64
|
protected abstract get entity(): StructuredTypeEntity;
|
|
65
|
+
abstract get structuredTypeKind(): StructuredTypeKind;
|
|
65
66
|
constructor(analyzer: Analyzer);
|
|
66
|
-
abstract getStructuredTypeKind(): StructuredTypeKind;
|
|
67
67
|
getContainingPackage(): PackageEntity;
|
|
68
68
|
getMembers(): TypeEntityMembers;
|
|
69
69
|
getBaseObjectType(): BaseObjectType;
|
|
@@ -78,6 +78,7 @@ export declare class SourcePackageStructuredTypeDeclarationData extends SourceSt
|
|
|
78
78
|
private readonly typeParameters;
|
|
79
79
|
private readonly hiding;
|
|
80
80
|
private modifierFlags_;
|
|
81
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
81
82
|
protected get memberBlock(): tree.TypeMemberDeclarationBlock;
|
|
82
83
|
protected get extendsClause(): tree.ExtendsClause | undefined;
|
|
83
84
|
private get modifierFlags();
|
|
@@ -92,11 +93,11 @@ export declare class SourcePackageStructuredTypeDeclarationData extends SourceSt
|
|
|
92
93
|
isHidden(): EntityHidingLevel | undefined;
|
|
93
94
|
getTags(): readonly Tag[];
|
|
94
95
|
getSubstitutionApplicationMode(): SubstitutionApplicationMode;
|
|
95
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
96
96
|
}
|
|
97
97
|
export declare class SourceAnonymousStructuredTypeDeclarationData extends SourceStructuredTypeDeclarationData {
|
|
98
98
|
protected readonly entity: AnonymousStructuredTypeEntity;
|
|
99
99
|
private readonly node;
|
|
100
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
100
101
|
protected get memberBlock(): tree.TypeMemberDeclarationBlock;
|
|
101
102
|
protected get extendsClause(): tree.ExtendsClause | undefined;
|
|
102
103
|
constructor(analyzer: Analyzer, node: tree.AnonymousStructuredTypeDeclaration, entity: AnonymousStructuredTypeEntity);
|
|
@@ -105,5 +106,4 @@ export declare class SourceAnonymousStructuredTypeDeclarationData extends Source
|
|
|
105
106
|
getArity(): number;
|
|
106
107
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
107
108
|
getSubstitutionApplicationMode(): SubstitutionApplicationMode;
|
|
108
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
109
109
|
}
|
|
@@ -10,6 +10,7 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
|
|
|
10
10
|
readonly subkind = "package";
|
|
11
11
|
private readonly node;
|
|
12
12
|
private readonly data;
|
|
13
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
13
14
|
constructor(analyzer: Analyzer, node: tree.PackageTypeDeclaration);
|
|
14
15
|
getNaming(): EntityNaming;
|
|
15
16
|
getName(): Name;
|
|
@@ -19,7 +20,6 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
|
|
|
19
20
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
20
21
|
markedBasic(): boolean;
|
|
21
22
|
isAbstract(): boolean;
|
|
22
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
23
23
|
getArity(): number;
|
|
24
24
|
getBaseObjectType(): BaseObjectType;
|
|
25
25
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
@@ -37,6 +37,7 @@ export declare class LocalStructuredTypeDeclarationEntity implements LocalStruct
|
|
|
37
37
|
readonly subkind = "local";
|
|
38
38
|
private readonly node;
|
|
39
39
|
private readonly data;
|
|
40
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
40
41
|
constructor(analyzer: Analyzer, node: tree.LocalStructuredTypeDeclaration);
|
|
41
42
|
getNaming(): EntityNaming;
|
|
42
43
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
@@ -45,7 +46,6 @@ export declare class LocalStructuredTypeDeclarationEntity implements LocalStruct
|
|
|
45
46
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
46
47
|
markedBasic(): boolean;
|
|
47
48
|
isAbstract(): boolean;
|
|
48
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
49
49
|
getBaseObjectType(): BaseObjectType;
|
|
50
50
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
51
51
|
isHidden(): EntityHidingLevel | undefined;
|
|
@@ -64,6 +64,7 @@ export declare abstract class SourceStructuredTypeDeclarationData {
|
|
|
64
64
|
private readonly members;
|
|
65
65
|
protected abstract get typeNode(): tree.PackageTypeDeclaration | tree.LocalStructuredTypeDeclaration;
|
|
66
66
|
protected abstract get entity(): StructuredTypeEntity;
|
|
67
|
+
abstract get structuredTypeKind(): StructuredTypeKind;
|
|
67
68
|
constructor(analyzer: Analyzer);
|
|
68
69
|
getContainingPackage(): PackageEntity;
|
|
69
70
|
getMembers(): TypeEntityMembers;
|
|
@@ -71,16 +72,16 @@ export declare abstract class SourceStructuredTypeDeclarationData {
|
|
|
71
72
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
72
73
|
private getBaseTypes;
|
|
73
74
|
private validateBaseTypeListAndCreateBaseTypes;
|
|
74
|
-
abstract getStructuredTypeKind(): StructuredTypeKind;
|
|
75
75
|
}
|
|
76
76
|
export declare class SourcePackageStructuredTypeDeclarationData extends SourceStructuredTypeDeclarationData {
|
|
77
77
|
protected readonly entity: PackageStructuredTypeEntity;
|
|
78
78
|
private readonly node;
|
|
79
79
|
private readonly name;
|
|
80
80
|
private readonly typeParameters;
|
|
81
|
-
private readonly
|
|
81
|
+
private readonly structuredTypeKind_;
|
|
82
82
|
private readonly hiding;
|
|
83
83
|
private modifierFlags_;
|
|
84
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
84
85
|
protected get typeNode(): tree.PackageTypeDeclaration;
|
|
85
86
|
private get modifierFlags();
|
|
86
87
|
constructor(analyzer: Analyzer, node: tree.PackageTypeDeclaration, entity: PackageStructuredTypeEntity);
|
|
@@ -93,12 +94,12 @@ export declare class SourcePackageStructuredTypeDeclarationData extends SourceSt
|
|
|
93
94
|
isHidden(): EntityHidingLevel | undefined;
|
|
94
95
|
getTags(): readonly Tag[];
|
|
95
96
|
getSubstitutionApplicationMode(): SubstitutionApplicationMode;
|
|
96
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
97
97
|
}
|
|
98
98
|
export declare class SourceLocalStructuredTypeDeclarationData extends SourceStructuredTypeDeclarationData {
|
|
99
99
|
protected readonly entity: LocalStructuredTypeEntity;
|
|
100
100
|
private readonly node;
|
|
101
101
|
private readonly name;
|
|
102
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
102
103
|
protected get typeNode(): tree.LocalStructuredTypeDeclaration;
|
|
103
104
|
constructor(analyzer: Analyzer, node: tree.LocalStructuredTypeDeclaration, entity: LocalStructuredTypeEntity);
|
|
104
105
|
getNaming(): EntityNaming;
|
|
@@ -106,6 +107,5 @@ export declare class SourceLocalStructuredTypeDeclarationData extends SourceStru
|
|
|
106
107
|
getArity(): number;
|
|
107
108
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
108
109
|
getSubstitutionApplicationMode(): SubstitutionApplicationMode;
|
|
109
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
110
110
|
getName(): Name;
|
|
111
111
|
}
|
|
@@ -5,7 +5,7 @@ import { BaseObjectType, CycleFreeBaseObjectTypeResolutionResult } from '../Base
|
|
|
5
5
|
import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
|
|
6
6
|
import { EntityHidingLevel, EntityKind, EntityNaming, Tag, Translation, TypeEntityMembers } from '../index.js';
|
|
7
7
|
import { PackageEntity } from '../interfaces/PackageEntity.js';
|
|
8
|
-
import { AnonymousStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntityDefinition, StructuredTypeKind
|
|
8
|
+
import { AnonymousStructuredTypeEntity, LocalStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntityDefinition, StructuredTypeKind } from '../interfaces/StructuredTypeEntity.js';
|
|
9
9
|
import { TypeParameterEntity } from '../interfaces/TypeParameterEntity.js';
|
|
10
10
|
import { SubstitutionApplicationMode } from '../SubstitutionApplicationMode.js';
|
|
11
11
|
import { TypeEntityKind } from '../TypeEntity.js';
|
|
@@ -19,6 +19,7 @@ export declare abstract class TranslatedPackageStructuredTypeEntity implements P
|
|
|
19
19
|
private readonly containingPackage;
|
|
20
20
|
private readonly baseObjectType;
|
|
21
21
|
private readonly baseAspectTypes;
|
|
22
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
22
23
|
private get localizationContext();
|
|
23
24
|
constructor(originalEntity: PackageStructuredTypeEntity, translation: Translation, name: Name);
|
|
24
25
|
abstract getTypeParameters(): readonly TypeParameterEntity[];
|
|
@@ -33,7 +34,6 @@ export declare abstract class TranslatedPackageStructuredTypeEntity implements P
|
|
|
33
34
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
34
35
|
markedBasic(): boolean;
|
|
35
36
|
isAbstract(): boolean;
|
|
36
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
37
37
|
getArity(): number;
|
|
38
38
|
getBaseObjectType(): BaseObjectType;
|
|
39
39
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
@@ -50,6 +50,7 @@ export declare abstract class TranslatedAnonymousStructuredTypeEntity implements
|
|
|
50
50
|
private readonly containingPackage;
|
|
51
51
|
private readonly baseObjectType;
|
|
52
52
|
private readonly baseAspectTypes;
|
|
53
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
53
54
|
private get localizationContext();
|
|
54
55
|
constructor(originalEntity: AnonymousStructuredTypeEntity, translation: Translation);
|
|
55
56
|
abstract getMembers(): TypeEntityMembers;
|
|
@@ -63,7 +64,6 @@ export declare abstract class TranslatedAnonymousStructuredTypeEntity implements
|
|
|
63
64
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
64
65
|
markedBasic(): boolean;
|
|
65
66
|
isAbstract(): boolean;
|
|
66
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
67
67
|
getArity(): number;
|
|
68
68
|
getBaseObjectType(): BaseObjectType;
|
|
69
69
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
@@ -81,6 +81,7 @@ export declare abstract class TranslatedLocalStructuredTypeEntity implements Loc
|
|
|
81
81
|
private readonly containingPackage;
|
|
82
82
|
private readonly baseObjectType;
|
|
83
83
|
private readonly baseAspectTypes;
|
|
84
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
84
85
|
private get localizationContext();
|
|
85
86
|
getName(): Name;
|
|
86
87
|
constructor(originalEntity: LocalStructuredTypeEntity, translation: Translation, name: Name);
|
|
@@ -95,7 +96,6 @@ export declare abstract class TranslatedLocalStructuredTypeEntity implements Loc
|
|
|
95
96
|
getDefinition(): StructuredTypeEntityDefinition;
|
|
96
97
|
markedBasic(): boolean;
|
|
97
98
|
isAbstract(): boolean;
|
|
98
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
99
99
|
getArity(): number;
|
|
100
100
|
getBaseObjectType(): BaseObjectType;
|
|
101
101
|
getBaseAspectTypes(): BaseAspectTypes;
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { Analyzer } from '../../analysis/m/Analyzer.js';
|
|
2
2
|
import * as tree from '../../tree/m/index.js';
|
|
3
|
-
import { TokenOrKeyword } from '../m/TreeUtils.js';
|
|
4
3
|
import { NodeSemanticInfo } from '../common/node-semantic-info/Types.js';
|
|
4
|
+
import { TokenOrKeyword } from '../m/TreeUtils.js';
|
|
5
5
|
export declare class NodeSemanticInfoServiceM {
|
|
6
6
|
static ofTokenOrKeyword(analyzer: Analyzer, tokenOrKeyword: TokenOrKeyword, options: NodeSemanticInfoServiceOptions): NodeSemanticInfo | undefined;
|
|
7
7
|
static ofRegularOrBlockFunctionLiteral(analyzer: Analyzer, node: tree.RegularOrBlockFunctionLiteral): NodeSemanticInfo | undefined;
|
|
@@ -58,6 +58,7 @@ export declare class TsGlobalClassOrInterfaceEntity implements e.PackageStructur
|
|
|
58
58
|
private readonly baseObjectType;
|
|
59
59
|
private readonly baseAspectTypes;
|
|
60
60
|
private readonly hiding;
|
|
61
|
+
get structuredTypeKind(): e.StructuredTypeKind;
|
|
61
62
|
constructor(tsctx: TsInteropContext, symbol: ts.Symbol, isDefaultExport: boolean, containingPackage: e.PackageEntity, forceHiddenInPackage: boolean);
|
|
62
63
|
getNaming(): e.EntityNaming;
|
|
63
64
|
getName(): Name;
|
|
@@ -67,7 +68,6 @@ export declare class TsGlobalClassOrInterfaceEntity implements e.PackageStructur
|
|
|
67
68
|
getDefinition(): e.StructuredTypeEntityDefinition;
|
|
68
69
|
markedBasic(): boolean;
|
|
69
70
|
isAbstract(): boolean;
|
|
70
|
-
getStructuredTypeKind(): e.StructuredTypeKind;
|
|
71
71
|
getArity(): number;
|
|
72
72
|
getBaseObjectType(): e.BaseObjectType;
|
|
73
73
|
getBaseAspectTypes(): e.BaseAspectTypes;
|
|
@@ -91,6 +91,7 @@ export declare class SourceAndTsGlobalClassOrInterfaceMergeEntity implements e.P
|
|
|
91
91
|
readonly subkind = "package";
|
|
92
92
|
private readonly sourceData;
|
|
93
93
|
private readonly members;
|
|
94
|
+
get structuredTypeKind(): e.StructuredTypeKind;
|
|
94
95
|
constructor(tsctx: TsInteropContext, symbol: ts.Symbol, isDefaultExport: boolean, node: tree.PackageStructuredTypeDeclaration);
|
|
95
96
|
getNaming(): e.EntityNaming;
|
|
96
97
|
getName(): Name;
|
|
@@ -100,7 +101,6 @@ export declare class SourceAndTsGlobalClassOrInterfaceMergeEntity implements e.P
|
|
|
100
101
|
getDefinition(): e.StructuredTypeEntityDefinition;
|
|
101
102
|
markedBasic(): boolean;
|
|
102
103
|
isAbstract(): boolean;
|
|
103
|
-
getStructuredTypeKind(): e.StructuredTypeKind;
|
|
104
104
|
getArity(): number;
|
|
105
105
|
getBaseObjectType(): e.BaseObjectType;
|
|
106
106
|
getBaseAspectTypes(): e.BaseAspectTypes;
|
|
@@ -122,6 +122,7 @@ export declare class TsTypeLiteralEntity implements e.AnonymousStructuredTypeEnt
|
|
|
122
122
|
private readonly baseObjectType;
|
|
123
123
|
private readonly baseAspectTypes;
|
|
124
124
|
private readonly members;
|
|
125
|
+
get structuredTypeKind(): e.StructuredTypeKind;
|
|
125
126
|
constructor(tsctx: TsInteropContext, symbol: ts.Symbol, containingPackage: e.PackageEntity);
|
|
126
127
|
getNaming(): e.EntityNaming;
|
|
127
128
|
getTypeParameters(): readonly e.TypeParameterEntity[];
|
|
@@ -129,7 +130,6 @@ export declare class TsTypeLiteralEntity implements e.AnonymousStructuredTypeEnt
|
|
|
129
130
|
getDefinition(): e.StructuredTypeEntityDefinition;
|
|
130
131
|
markedBasic(): boolean;
|
|
131
132
|
isAbstract(): boolean;
|
|
132
|
-
getStructuredTypeKind(): e.StructuredTypeKind;
|
|
133
133
|
getArity(): number;
|
|
134
134
|
getBaseObjectType(): e.BaseObjectType;
|
|
135
135
|
getBaseAspectTypes(): e.BaseAspectTypes;
|
|
@@ -159,6 +159,7 @@ export declare class TsNamedTypeLiteralEntity implements e.PackageStructuredType
|
|
|
159
159
|
private readonly baseAspectTypes;
|
|
160
160
|
private readonly members;
|
|
161
161
|
private readonly hiding;
|
|
162
|
+
get structuredTypeKind(): e.StructuredTypeKind;
|
|
162
163
|
constructor(tsctx: TsInteropContext, symbol: ts.Symbol, owningNamedSymbol: ts.Symbol, isDefaultExport: boolean, owningDeclarationWithTypeParameters: ts.DeclarationWithTypeParameterChildren, containingPackage: e.PackageEntity, forceHiddenInPackage: boolean);
|
|
163
164
|
getNaming(): e.EntityNaming;
|
|
164
165
|
getName(): Name;
|
|
@@ -168,7 +169,6 @@ export declare class TsNamedTypeLiteralEntity implements e.PackageStructuredType
|
|
|
168
169
|
getDefinition(): e.StructuredTypeEntityDefinition;
|
|
169
170
|
markedBasic(): boolean;
|
|
170
171
|
isAbstract(): boolean;
|
|
171
|
-
getStructuredTypeKind(): e.StructuredTypeKind;
|
|
172
172
|
getArity(): number;
|
|
173
173
|
getBaseObjectType(): e.BaseObjectType;
|
|
174
174
|
getBaseAspectTypes(): e.BaseAspectTypes;
|
|
@@ -190,6 +190,7 @@ export declare class SourceAndTsNamedTypeLiteralMergeEntity implements e.Package
|
|
|
190
190
|
readonly subkind = "package";
|
|
191
191
|
private readonly sourceData;
|
|
192
192
|
private readonly members;
|
|
193
|
+
get structuredTypeKind(): e.StructuredTypeKind;
|
|
193
194
|
constructor(tsctx: TsInteropContext, symbol: ts.Symbol, isDefaultExport: boolean, node: tree.PackageStructuredTypeDeclaration);
|
|
194
195
|
getNaming(): e.EntityNaming;
|
|
195
196
|
getName(): Name;
|
|
@@ -199,7 +200,6 @@ export declare class SourceAndTsNamedTypeLiteralMergeEntity implements e.Package
|
|
|
199
200
|
getDefinition(): e.StructuredTypeEntityDefinition;
|
|
200
201
|
markedBasic(): boolean;
|
|
201
202
|
isAbstract(): boolean;
|
|
202
|
-
getStructuredTypeKind(): e.StructuredTypeKind;
|
|
203
203
|
getArity(): number;
|
|
204
204
|
getBaseObjectType(): e.BaseObjectType;
|
|
205
205
|
getBaseAspectTypes(): e.BaseAspectTypes;
|
|
@@ -4,15 +4,13 @@ import { Substitutions } from './Substitutions.js';
|
|
|
4
4
|
import { BaseType, Type } from './Type.js';
|
|
5
5
|
export declare class AliasType extends BaseType {
|
|
6
6
|
readonly kind = "alias";
|
|
7
|
-
|
|
8
|
-
|
|
7
|
+
readonly entity: AliasTypeEntity;
|
|
8
|
+
readonly substitutions: Substitutions;
|
|
9
9
|
private readonly aliasedType;
|
|
10
10
|
protected get asType(): Type;
|
|
11
11
|
constructor(analyzer: Analyzer, entity: AliasTypeEntity, substitutions: Substitutions);
|
|
12
12
|
getAliasedType(): Type;
|
|
13
13
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
14
|
-
getSubstitutions(): Substitutions;
|
|
15
14
|
applySubstitutions(substitutions: Substitutions): Type;
|
|
16
15
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
17
|
-
getEntity(): AliasTypeEntity;
|
|
18
16
|
}
|
|
@@ -5,16 +5,14 @@ import { BaseType, Type } from './Type.js';
|
|
|
5
5
|
import { Parameter } from './TypeMembers.js';
|
|
6
6
|
export declare class FunctionType extends BaseType {
|
|
7
7
|
readonly kind = "function";
|
|
8
|
-
|
|
9
|
-
|
|
8
|
+
readonly entity: FunctionTypeEntity;
|
|
9
|
+
readonly substitutions: Substitutions;
|
|
10
10
|
private readonly parameters;
|
|
11
11
|
protected get asType(): Type;
|
|
12
12
|
constructor(analyzer: Analyzer, entity: FunctionTypeEntity, substitutions: Substitutions);
|
|
13
13
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
14
|
-
getSubstitutions(): Substitutions;
|
|
15
14
|
applySubstitutions(substitutions: Substitutions): FunctionType;
|
|
16
15
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
17
|
-
getEntity(): FunctionTypeEntity;
|
|
18
16
|
isAsync(): boolean;
|
|
19
17
|
getReturnType(): Type;
|
|
20
18
|
getParameters(): readonly Parameter[];
|
|
@@ -6,12 +6,12 @@ export declare class IntersectionType extends BaseType {
|
|
|
6
6
|
readonly kind = "intersection";
|
|
7
7
|
readonly originalTypes: readonly Type[];
|
|
8
8
|
private readonly unaliasedFlattenedTypes_;
|
|
9
|
+
get entity(): TypeEntity | undefined;
|
|
10
|
+
get substitutions(): Substitutions;
|
|
9
11
|
get unaliasedFlattenedTypes(): readonly Type[];
|
|
10
12
|
protected get asType(): Type;
|
|
11
13
|
constructor(analyzer: Analyzer, originalTypes: readonly Type[]);
|
|
12
14
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
13
|
-
getSubstitutions(): Substitutions;
|
|
14
15
|
applySubstitutions(substitutions: Substitutions): Type;
|
|
15
|
-
getEntity(): TypeEntity | undefined;
|
|
16
16
|
private unaliasAndFlattenTypes;
|
|
17
17
|
}
|
|
@@ -5,16 +5,15 @@ import { BaseType, Type } from './Type.js';
|
|
|
5
5
|
export declare class ParameterType extends BaseType {
|
|
6
6
|
readonly kind = "parameter";
|
|
7
7
|
readonly isNullExcluded: boolean;
|
|
8
|
-
|
|
8
|
+
readonly entity: TypeParameterEntity;
|
|
9
9
|
private readonly constraint_;
|
|
10
|
+
get substitutions(): Substitutions;
|
|
10
11
|
/**
|
|
11
12
|
* Ограничение параметра типа с учётом флага {@link isNullExcluded}.
|
|
12
13
|
*/
|
|
13
14
|
get constraint(): Type | undefined;
|
|
14
15
|
protected get asType(): Type;
|
|
15
16
|
constructor(analyzer: Analyzer, entity: TypeParameterEntity, isNullExcluded: boolean);
|
|
16
|
-
getSubstitutions(): Substitutions;
|
|
17
|
-
getEntity(): TypeParameterEntity;
|
|
18
17
|
applySubstitutions(substitutions: Substitutions): Type;
|
|
19
18
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
20
19
|
}
|
|
@@ -4,8 +4,8 @@ import { Substitutions } from './Substitutions.js';
|
|
|
4
4
|
import { BaseType, Type } from './Type.js';
|
|
5
5
|
export declare class ReducedType extends BaseType {
|
|
6
6
|
readonly kind = "reduced";
|
|
7
|
-
|
|
8
|
-
|
|
7
|
+
readonly entity: ReducedTypeEntity;
|
|
8
|
+
readonly substitutions: Substitutions;
|
|
9
9
|
private readonly reductionSource;
|
|
10
10
|
private readonly baseObjectType;
|
|
11
11
|
private readonly baseAspectTypes;
|
|
@@ -15,8 +15,6 @@ export declare class ReducedType extends BaseType {
|
|
|
15
15
|
getBaseObjectType(): Type | undefined;
|
|
16
16
|
getBaseAspectTypes(): readonly Type[];
|
|
17
17
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
18
|
-
getSubstitutions(): Substitutions;
|
|
19
18
|
applySubstitutions(substitutions: Substitutions): Type;
|
|
20
19
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
21
|
-
getEntity(): ReducedTypeEntity;
|
|
22
20
|
}
|
|
@@ -5,24 +5,22 @@ import { Substitutions } from './Substitutions.js';
|
|
|
5
5
|
import { BaseType, Type } from './Type.js';
|
|
6
6
|
export declare class StructuredType extends BaseType {
|
|
7
7
|
readonly kind = "structured";
|
|
8
|
-
|
|
9
|
-
|
|
8
|
+
readonly entity: StructuredTypeEntity;
|
|
9
|
+
readonly substitutions: Substitutions;
|
|
10
10
|
private readonly baseObjectType;
|
|
11
11
|
private readonly baseAspectTypes;
|
|
12
|
+
get structuredTypeKind(): StructuredTypeKind;
|
|
12
13
|
get isNullType(): boolean;
|
|
13
14
|
protected get asType(): Type;
|
|
14
15
|
constructor(analyzer: Analyzer, entity: StructuredTypeEntity, substitutions: Substitutions);
|
|
15
|
-
getSubstitutions(): Substitutions;
|
|
16
16
|
getTypeParameters(): readonly TypeParameterEntity[];
|
|
17
17
|
applySubstitutions(substitutions: Substitutions): StructuredType;
|
|
18
|
-
getStructuredTypeKind(): StructuredTypeKind;
|
|
19
18
|
isClass(): boolean;
|
|
20
19
|
isStructure(): boolean;
|
|
21
20
|
isAspect(): boolean;
|
|
22
21
|
markedBasic(): boolean;
|
|
23
22
|
isAbstract(): boolean;
|
|
24
23
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
25
|
-
getEntity(): StructuredTypeEntity;
|
|
26
24
|
getBaseObjectType(): Type | undefined;
|
|
27
25
|
getBaseAspectTypes(): readonly Type[];
|
|
28
26
|
}
|
|
@@ -9,10 +9,10 @@ import { BaseType, Type } from './Type.js';
|
|
|
9
9
|
export declare class SubstitutionStubType extends BaseType {
|
|
10
10
|
readonly kind = "substitution-stub";
|
|
11
11
|
readonly index: number;
|
|
12
|
+
get entity(): TypeEntity | undefined;
|
|
13
|
+
get substitutions(): Substitutions;
|
|
12
14
|
protected get asType(): Type;
|
|
13
15
|
constructor(analyzer: Analyzer, index: number);
|
|
14
16
|
equals(other: Type, _considerLocale?: boolean): boolean;
|
|
15
|
-
getSubstitutions(): Substitutions;
|
|
16
17
|
applySubstitutions(_substitutions: Substitutions): Type;
|
|
17
|
-
getEntity(): TypeEntity | undefined;
|
|
18
18
|
}
|
|
@@ -15,13 +15,13 @@ export type Type = StructuredType | VariantType | FunctionType | AliasType | Unr
|
|
|
15
15
|
export declare abstract class BaseType {
|
|
16
16
|
protected abstract asType: Type;
|
|
17
17
|
protected readonly analyzer: Analyzer;
|
|
18
|
+
abstract readonly entity: TypeEntity | undefined;
|
|
19
|
+
abstract readonly substitutions: Substitutions;
|
|
18
20
|
get isNullType(): boolean;
|
|
19
21
|
get debuggerDisplay(): string;
|
|
20
22
|
constructor(analyzer: Analyzer);
|
|
21
|
-
abstract getSubstitutions(): Substitutions;
|
|
22
23
|
abstract applySubstitutions(substitutions: Substitutions): Type;
|
|
23
24
|
abstract equals(other: Type, considerLocale: boolean): boolean;
|
|
24
|
-
abstract getEntity(): TypeEntity | undefined;
|
|
25
25
|
unalias(): Type;
|
|
26
26
|
unaliasAndGetReductionSource(): Type;
|
|
27
27
|
isPossiblyAliasedOrReducedStructure(): boolean;
|
|
@@ -6,12 +6,12 @@ export declare class UnionType extends BaseType {
|
|
|
6
6
|
readonly kind = "union";
|
|
7
7
|
readonly originalTypes: readonly Type[];
|
|
8
8
|
private readonly unaliasedFlattenedTypes_;
|
|
9
|
+
get entity(): TypeEntity | undefined;
|
|
10
|
+
get substitutions(): Substitutions;
|
|
9
11
|
get unaliasedFlattenedTypes(): readonly Type[];
|
|
10
12
|
protected get asType(): Type;
|
|
11
13
|
constructor(analyzer: Analyzer, originalTypes: readonly Type[]);
|
|
12
14
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
13
|
-
getSubstitutions(): Substitutions;
|
|
14
15
|
applySubstitutions(substitutions: Substitutions): Type;
|
|
15
|
-
getEntity(): TypeEntity | undefined;
|
|
16
16
|
private unaliasAndFlattenTypes;
|
|
17
17
|
}
|
|
@@ -4,10 +4,10 @@ import { Substitutions } from './Substitutions.js';
|
|
|
4
4
|
import { BaseType, Type } from './Type.js';
|
|
5
5
|
export declare class UnresolvedType extends BaseType {
|
|
6
6
|
readonly kind = "unresolved";
|
|
7
|
+
get entity(): TypeEntity | undefined;
|
|
8
|
+
get substitutions(): Substitutions;
|
|
7
9
|
protected get asType(): Type;
|
|
8
10
|
constructor(analyzer: Analyzer);
|
|
9
11
|
equals(other: Type, _considerLocale?: boolean): boolean;
|
|
10
|
-
getSubstitutions(): Substitutions;
|
|
11
12
|
applySubstitutions(_substitutions: Substitutions): Type;
|
|
12
|
-
getEntity(): TypeEntity | undefined;
|
|
13
13
|
}
|
|
@@ -5,12 +5,10 @@ import { BaseType, Type } from './Type.js';
|
|
|
5
5
|
export declare class VariantType extends BaseType {
|
|
6
6
|
readonly kind = "variant";
|
|
7
7
|
protected get asType(): Type;
|
|
8
|
-
|
|
9
|
-
|
|
8
|
+
readonly entity: VariantTypeEntity;
|
|
9
|
+
readonly substitutions: Substitutions;
|
|
10
10
|
constructor(analyzer: Analyzer, entity: VariantTypeEntity, substitutions: Substitutions);
|
|
11
|
-
getSubstitutions(): Substitutions;
|
|
12
11
|
applySubstitutions(substitutions: Substitutions): Type;
|
|
13
|
-
getEntity(): VariantTypeEntity;
|
|
14
12
|
equals(other: Type, considerLocale?: boolean): boolean;
|
|
15
13
|
getUnderlyingType(): Type;
|
|
16
14
|
getBaseType(): Type | undefined;
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@artel/artc",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.9.26002",
|
|
4
4
|
"description": "Артель Компилятор | Artel Compiler",
|
|
5
5
|
"author": "Nezaboodka Team <contact@nezaboodka.com>",
|
|
6
6
|
"license": "Apache-2.0",
|
|
@@ -44,7 +44,7 @@
|
|
|
44
44
|
"@babel/types": "7.27.3",
|
|
45
45
|
"@vscode/l10n": "0.0.18",
|
|
46
46
|
"jsonc-parser": "3.3.1",
|
|
47
|
-
"reactronic": "^0.96.
|
|
47
|
+
"reactronic": "^0.96.26029",
|
|
48
48
|
"typescript": "5.9.3",
|
|
49
49
|
"vscode-json-languageservice": "5.4.2",
|
|
50
50
|
"vscode-languageserver": "9.0.1",
|