@artel/artc 0.6.25244 → 0.6.25245
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 +30 -22
- package/build/api/ApiNodeJS.js +3 -3
- package/build/api/ApiServices.js +500 -916
- package/build/{chunk-C7RKXERX.js → chunk-FVBS6MPY.js} +1 -1
- package/build/{chunk-BAAUJYMH.js → chunk-T7WG4Z7I.js} +21018 -19022
- package/build/{chunk-V7EU2U6Y.js → chunk-TVZEHLXD.js} +2 -2
- package/build/types/analysis/AnalyzedTranslationPackage.d.ts +49 -80
- package/build/types/analysis/Analyzer.d.ts +59 -73
- package/build/types/analysis/ArgumentToParameterMatchResult.d.ts +8 -10
- package/build/types/analysis/AutotypeCallExpressionMeaning.d.ts +3 -4
- package/build/types/analysis/BaseExpressionMeaning.d.ts +3 -4
- package/build/types/analysis/BaseMemberConflictsValidator.d.ts +6 -6
- package/build/types/analysis/CallExpressionMeaning.d.ts +7 -9
- package/build/types/analysis/ConstructorOverloadResolver.d.ts +4 -7
- package/build/types/analysis/DeclarationsUsageCounter.d.ts +1 -2
- package/build/types/analysis/DereferenceExpressionMeaning.d.ts +2 -3
- package/build/types/analysis/DiagnosticCollector.d.ts +1 -0
- package/build/types/analysis/IdentifierExpressionMeaning.d.ts +16 -17
- package/build/types/analysis/ImportedPackageNameTree.d.ts +1 -7
- package/build/types/analysis/IndexedAccessExpressionMeaning.d.ts +4 -5
- package/build/types/analysis/Localization.d.ts +19 -25
- package/build/types/analysis/MemberAccessExpressionMeaning.d.ts +29 -31
- package/build/types/analysis/NamedTypeResolver.d.ts +6 -8
- package/build/types/analysis/NamedTypeSpecifierResolver.d.ts +3 -5
- package/build/types/analysis/ObjectExpressionMeaning.d.ts +3 -4
- package/build/types/analysis/PackageMemberLookup.d.ts +4 -9
- package/build/types/analysis/PackageMemberNameConflictsValidator.d.ts +2 -2
- package/build/types/analysis/SourceFileMembers.d.ts +3 -3
- package/build/types/analysis/TagMeaning.d.ts +18 -20
- package/build/types/analysis/Tags.d.ts +1 -1
- package/build/types/analysis/TypeMemberConflictsValidator.d.ts +2 -2
- package/build/types/analysis/TypeMemberLookup.d.ts +23 -31
- package/build/types/analysis/TypeNarrower.d.ts +1 -0
- package/build/types/analysis/UserDefinableBinaryOperatorResolver.d.ts +1 -2
- package/build/types/analysis/UserDefinableUnaryOperatorResolver.d.ts +1 -2
- package/build/types/analysis/WellKnownDeclarations.d.ts +100 -31
- package/build/types/analysis/semantic-context/FieldWithInitializerSemanticContext.d.ts +5 -6
- package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +11 -14
- package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +5 -6
- package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +5 -8
- package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +5 -6
- package/build/types/analysis/semantic-context/TypeSemanticContext.d.ts +11 -12
- package/build/types/api/Api.d.ts +0 -3
- package/build/types/common/Name.d.ts +9 -14
- package/build/types/common/TreeQuery.d.ts +2 -0
- package/build/types/common/index.d.ts +0 -1
- package/build/types/diagnostic/DiagnosticCode.d.ts +1 -1
- package/build/types/emitter/EntityMap.d.ts +1 -0
- package/build/types/entities/AliasTypeEntity.d.ts +9 -41
- package/build/types/entities/AliasedType.d.ts +62 -0
- package/build/types/entities/ConstructorEntity.d.ts +10 -2
- package/build/types/entities/DereferenceOperatorEntity.d.ts +5 -0
- package/build/types/entities/DestructorEntity.d.ts +6 -2
- package/build/types/entities/EntityLocalizationContext.d.ts +53 -0
- package/build/types/entities/FunctionEntity.d.ts +20 -0
- package/build/types/entities/FunctionTypeEntity.d.ts +15 -4
- package/build/types/entities/GetterEntity.d.ts +15 -2
- package/build/types/entities/IndexerEntity.d.ts +5 -0
- package/build/types/entities/OperatorEntity.d.ts +9 -3
- package/build/types/entities/PackageAliasEntity.d.ts +5 -0
- package/build/types/entities/PackageEntity.d.ts +8 -3
- package/build/types/entities/PackageMembers.d.ts +3 -2
- package/build/types/entities/SetterEntity.d.ts +15 -2
- package/build/types/entities/StructuredTypeEntity.d.ts +64 -15
- package/build/types/entities/TypeEntityMembers.d.ts +2 -5
- package/build/types/entities/TypeExtensionEntity.d.ts +9 -5
- package/build/types/entities/TypeMemberContainer.d.ts +2 -2
- package/build/types/entities/TypeParameterEntity.d.ts +26 -8
- package/build/types/entities/VariableEntity.d.ts +41 -1
- package/build/types/entities/VariantTypeEntity.d.ts +13 -4
- package/build/types/entities/index.d.ts +5 -4
- package/build/types/entities/translated/TranslatedAliasTypeEntity.d.ts +54 -0
- package/build/types/entities/translated/TranslatedConstructorEntity.d.ts +25 -0
- package/build/types/entities/translated/TranslatedDereferenceOperatorEntity.d.ts +34 -0
- package/build/types/entities/translated/TranslatedDestructorEntity.d.ts +24 -0
- package/build/types/entities/translated/TranslatedFunctionEntity.d.ts +75 -0
- package/build/types/entities/translated/TranslatedFunctionTypeEntity.d.ts +83 -0
- package/build/types/entities/translated/TranslatedGetterEntity.d.ts +25 -0
- package/build/types/entities/translated/TranslatedIndexerEntity.d.ts +37 -0
- package/build/types/entities/translated/TranslatedOperatorEntity.d.ts +35 -0
- package/build/types/entities/translated/TranslatedPackageEntity.d.ts +28 -0
- package/build/types/entities/translated/TranslatedSetterEntity.d.ts +22 -0
- package/build/types/entities/translated/TranslatedStructuredTypeEntity.d.ts +107 -0
- package/build/types/entities/translated/TranslatedTypeExtensionEntity.d.ts +28 -0
- package/build/types/entities/translated/TranslatedTypeParameterEntity.d.ts +46 -0
- package/build/types/entities/translated/TranslatedVariableEntity.d.ts +97 -0
- package/build/types/entities/translated/TranslatedVariantTypeEntity.d.ts +76 -0
- package/build/types/project/SourcePackage.d.ts +1 -0
- package/build/types/services/DefinitionService.d.ts +0 -1
- package/build/types/services/DisplayService.d.ts +39 -134
- package/build/types/services/NodeSemanticInfo.d.ts +7 -7
- package/build/types/services/ReferencesService.d.ts +5 -3
- package/build/types/services/signature-help/SignatureWithValueParameters.d.ts +7 -10
- package/build/types/services/source-generation/EntityToSyntax.d.ts +1 -3
- package/build/types/services/source-generation/SourceGenerationService.d.ts +1 -2
- package/build/types/tree/green/Token.d.ts +6 -7
- package/build/types/ts-interop/Entities.d.ts +64 -13
- package/build/types/ts-interop/TsInteropContext.d.ts +17 -5
- package/build/types/ts-interop/TsPackageContents.d.ts +2 -2
- package/build/types/ts-interop/TsPackageMembersCreator.d.ts +3 -3
- package/build/types/ts-interop/TsTypeMembersCreator.d.ts +4 -4
- package/build/types/types/StandardTypes.d.ts +3 -2
- package/build/types/types/Substitutions.d.ts +3 -0
- package/build/types/types/Type.d.ts +3 -0
- package/package.json +1 -1
- package/build/types/analysis/EntityLocalizationHelper.d.ts +0 -17
- package/build/types/analysis/FoundDeclaration.d.ts +0 -19
- package/build/types/analysis/LocalizationContext.d.ts +0 -15
- package/build/types/common/SearchName.d.ts +0 -14
- package/build/types/types/Internal.d.ts +0 -1
@@ -2,8 +2,6 @@ import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
|
2
2
|
import { CallExpression } from '../tree/index.js';
|
3
3
|
import * as types from '../types/index.js';
|
4
4
|
import { AccessedFunction } from './AccessedFunction.js';
|
5
|
-
import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
|
6
|
-
import { WithLocalization } from './Localization.js';
|
7
5
|
import { Analyzer } from './index.js';
|
8
6
|
export declare class Resolver {
|
9
7
|
private readonly _analyzer;
|
@@ -18,14 +16,14 @@ export declare class Resolver {
|
|
18
16
|
}
|
19
17
|
export type Meaning = Meaning_functionCall | Meaning_operatorCall | Meaning_objectFunctionCall | Meaning_constructorCall | Meaning_unresolved;
|
20
18
|
declare class Meaning_functionCall {
|
21
|
-
readonly func:
|
19
|
+
readonly func: AccessedFunction;
|
22
20
|
readonly kind = "function-call";
|
23
|
-
constructor(func:
|
21
|
+
constructor(func: AccessedFunction);
|
24
22
|
}
|
25
23
|
declare class Meaning_operatorCall {
|
26
|
-
readonly operator:
|
24
|
+
readonly operator: types.Operator;
|
27
25
|
readonly kind = "operator-call";
|
28
|
-
constructor(operator:
|
26
|
+
constructor(operator: types.Operator);
|
29
27
|
}
|
30
28
|
declare class Meaning_objectFunctionCall {
|
31
29
|
readonly type: types.FunctionType;
|
@@ -41,8 +39,8 @@ declare class Meaning_constructorCall {
|
|
41
39
|
* с ним совместим.
|
42
40
|
*/
|
43
41
|
readonly type: types.Type;
|
44
|
-
readonly candidates: readonly
|
45
|
-
readonly suitableConstructors: readonly
|
42
|
+
readonly candidates: readonly types.Constructor[];
|
43
|
+
readonly suitableConstructors: readonly types.Constructor[];
|
46
44
|
readonly kind = "constructor-call";
|
47
45
|
constructor(
|
48
46
|
/**
|
@@ -52,7 +50,7 @@ declare class Meaning_constructorCall {
|
|
52
50
|
* создаваемый найденным конструктором, будет отличаться от результирующего типа, хранимого в этом поле, но будет
|
53
51
|
* с ним совместим.
|
54
52
|
*/
|
55
|
-
type: types.Type, candidates: readonly
|
53
|
+
type: types.Type, candidates: readonly types.Constructor[], suitableConstructors: readonly types.Constructor[]);
|
56
54
|
}
|
57
55
|
declare class Meaning_unresolved {
|
58
56
|
readonly diagnostics: readonly Diagnostic[];
|
@@ -2,8 +2,6 @@ import { Name } from '../common/index.js';
|
|
2
2
|
import * as tree from '../tree/index.js';
|
3
3
|
import * as types from '../types/index.js';
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
5
|
-
import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
|
6
|
-
import { LocalizedName } from './Localization.js';
|
7
5
|
export declare class Resolver<TCandidate extends ICandidate<TValueParameter>, TValueParameter extends IValueParameter> {
|
8
6
|
private readonly _analyzer;
|
9
7
|
constructor(_analyzer: Analyzer);
|
@@ -17,16 +15,15 @@ export interface IValueParameter {
|
|
17
15
|
getType(): types.Type;
|
18
16
|
isOptional(): boolean;
|
19
17
|
}
|
20
|
-
export declare class
|
21
|
-
readonly value:
|
18
|
+
export declare class TypeMemberCandidate implements ICandidate<FoundTypeMemberCandidateValueParameter> {
|
19
|
+
readonly value: types.Constructor;
|
22
20
|
private readonly _valueParameters;
|
23
|
-
constructor(value:
|
21
|
+
constructor(value: types.Constructor);
|
24
22
|
getValueParameters(): readonly FoundTypeMemberCandidateValueParameter[];
|
25
23
|
}
|
26
24
|
declare class FoundTypeMemberCandidateValueParameter implements IValueParameter {
|
27
25
|
readonly value: types.ValueParameter;
|
28
|
-
|
29
|
-
constructor(value: types.ValueParameter, localizedName: LocalizedName);
|
26
|
+
constructor(value: types.ValueParameter);
|
30
27
|
getName(): Name;
|
31
28
|
getType(): types.Type;
|
32
29
|
isOptional(): boolean;
|
@@ -1,8 +1,7 @@
|
|
1
1
|
import { CancellationToken } from '../common/index.js';
|
2
|
-
import { Entity } from '../entities/index.js';
|
2
|
+
import { Entity, NamedEntity } from '../entities/index.js';
|
3
3
|
import * as tree from '../tree/index.js';
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
5
|
-
import { NamedEntity } from './LocalizationContext.js';
|
6
5
|
export declare class DeclarationsUsageCounter {
|
7
6
|
private readonly _analyzer;
|
8
7
|
private readonly _sourceFile;
|
@@ -2,7 +2,6 @@ import { AccessKind } from '../common/index.js';
|
|
2
2
|
import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
3
3
|
import { DereferenceExpression } from '../tree/index.js';
|
4
4
|
import * as types from '../types/index.js';
|
5
|
-
import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
|
6
5
|
import { Analyzer } from './index.js';
|
7
6
|
export declare class Resolver {
|
8
7
|
private readonly _analyzer;
|
@@ -15,10 +14,10 @@ export declare class Resolver {
|
|
15
14
|
}
|
16
15
|
export type Meaning = Meaning_resolved | Meaning_unresolved;
|
17
16
|
declare class Meaning_resolved {
|
18
|
-
readonly operator:
|
17
|
+
readonly operator: types.DereferenceOperator;
|
19
18
|
readonly accessKind: AccessKind;
|
20
19
|
readonly kind = "resolved";
|
21
|
-
constructor(operator:
|
20
|
+
constructor(operator: types.DereferenceOperator, accessKind: AccessKind);
|
22
21
|
}
|
23
22
|
declare class Meaning_unresolved {
|
24
23
|
readonly diagnostic: Diagnostic | undefined;
|
@@ -28,6 +28,7 @@ export declare class DiagnosticCollector {
|
|
28
28
|
private collectNotTranslatedPackageMembers;
|
29
29
|
private addNotTranslatedTypeMembersDiagnostics;
|
30
30
|
private collectNotTranslatedTypeMembers;
|
31
|
+
private isNotTranslatedEntity;
|
31
32
|
private createNotTranslatedEntitiesDiagnostic;
|
32
33
|
private checkAllDefaultConstructorArgumentsAreNamed;
|
33
34
|
private checkPackageFunctionDeclaration;
|
@@ -4,7 +4,6 @@ import { NamedTypeEntity, PackageAliasEntity, VariableEntity } from '../entities
|
|
4
4
|
import * as tree from '../tree/index.js';
|
5
5
|
import * as types from '../types/index.js';
|
6
6
|
import { AccessedFunction } from './AccessedFunction.js';
|
7
|
-
import { FoundAnonymousDeclaration, FoundNamedDeclaration } from './FoundDeclaration.js';
|
8
7
|
import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
|
9
8
|
import { Analyzer, TargetTypeHint } from './index.js';
|
10
9
|
import { NamedDeclaration } from './semantic-context/index.js';
|
@@ -36,24 +35,24 @@ export declare class ResolutionResult {
|
|
36
35
|
}
|
37
36
|
export type Meaning = Meaning_variableAccess | Meaning_functionAccess | Meaning_operatorAccess | Meaning_packageNameSegmentAccess | Meaning_packageAliasAccess | Meaning_typeAccess | Meaning_mixedAmbiguousAccess | Meaning_unresolved;
|
38
37
|
declare class Meaning_variableAccess {
|
39
|
-
readonly variable:
|
38
|
+
readonly variable: AccessedVariable;
|
40
39
|
readonly accessKind: AccessKind;
|
41
40
|
readonly kind = "variable-access";
|
42
|
-
constructor(variable:
|
41
|
+
constructor(variable: AccessedVariable, accessKind: AccessKind);
|
43
42
|
}
|
44
43
|
declare class Meaning_functionAccess {
|
45
|
-
readonly candidates: readonly
|
46
|
-
readonly suitableFunctions: readonly
|
44
|
+
readonly candidates: readonly AccessedFunction[];
|
45
|
+
readonly suitableFunctions: readonly AccessedFunction[];
|
47
46
|
readonly kind = "function-access";
|
48
|
-
get singleSuitableFunction():
|
49
|
-
constructor(candidates: readonly
|
47
|
+
get singleSuitableFunction(): AccessedFunction | undefined;
|
48
|
+
constructor(candidates: readonly AccessedFunction[], suitableFunctions: readonly AccessedFunction[]);
|
50
49
|
}
|
51
50
|
declare class Meaning_operatorAccess {
|
52
|
-
readonly candidates: readonly
|
53
|
-
readonly suitableOperators: readonly
|
51
|
+
readonly candidates: readonly types.Operator[];
|
52
|
+
readonly suitableOperators: readonly types.Operator[];
|
54
53
|
readonly kind = "operator-access";
|
55
|
-
get singleSuitableOperator():
|
56
|
-
constructor(candidates: readonly
|
54
|
+
get singleSuitableOperator(): types.Operator | undefined;
|
55
|
+
constructor(candidates: readonly types.Operator[], suitableOperators: readonly types.Operator[]);
|
57
56
|
}
|
58
57
|
declare class Meaning_packageAliasAccess {
|
59
58
|
readonly packageAlias: PackageAliasEntity;
|
@@ -66,16 +65,16 @@ declare class Meaning_packageNameSegmentAccess {
|
|
66
65
|
constructor(packageTreeNode: PackageNameTreeNode);
|
67
66
|
}
|
68
67
|
declare class Meaning_typeAccess {
|
69
|
-
readonly candidates: readonly
|
70
|
-
readonly suitableTypes: readonly
|
68
|
+
readonly candidates: readonly NamedTypeEntity[];
|
69
|
+
readonly suitableTypes: readonly types.Type[];
|
71
70
|
readonly kind = "type-access";
|
72
|
-
get singleSuitableType():
|
73
|
-
constructor(candidates: readonly
|
71
|
+
get singleSuitableType(): types.Type | undefined;
|
72
|
+
constructor(candidates: readonly NamedTypeEntity[], suitableTypes: readonly types.Type[]);
|
74
73
|
}
|
75
74
|
declare class Meaning_mixedAmbiguousAccess {
|
76
|
-
readonly declarations: readonly
|
75
|
+
readonly declarations: readonly NamedDeclaration[];
|
77
76
|
readonly kind = "mixed-ambiguous-access";
|
78
|
-
constructor(declarations: readonly
|
77
|
+
constructor(declarations: readonly NamedDeclaration[]);
|
79
78
|
}
|
80
79
|
declare class Meaning_unresolved {
|
81
80
|
readonly kind = "unresolved";
|
@@ -1,6 +1,5 @@
|
|
1
1
|
import { Name } from '../common/index.js';
|
2
2
|
import { PackageEntity } from '../entities/PackageEntity.js';
|
3
|
-
import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
|
4
3
|
import { PackageImportInfo } from './Analyzer.js';
|
5
4
|
export declare class ImportedPackageNameTree {
|
6
5
|
private readonly _rootNodes;
|
@@ -10,14 +9,9 @@ export declare class ImportedPackageNameTree {
|
|
10
9
|
}
|
11
10
|
export interface PackageNameTreeNode {
|
12
11
|
readonly name: Name;
|
13
|
-
readonly package:
|
12
|
+
readonly package: PackageEntity | undefined;
|
14
13
|
readonly parent: PackageNameTreeNode | undefined;
|
15
14
|
getChild(name: Name): PackageNameTreeNode | undefined;
|
16
15
|
hasChild(name: Name): boolean;
|
17
16
|
getChildren(): Iterable<PackageNameTreeNode>;
|
18
17
|
}
|
19
|
-
export declare class ImportedPackage {
|
20
|
-
readonly value: PackageEntity;
|
21
|
-
readonly translationPackage: AnalyzedTranslationPackage | undefined;
|
22
|
-
constructor(value: PackageEntity, translationPackage: AnalyzedTranslationPackage | undefined);
|
23
|
-
}
|
@@ -2,7 +2,6 @@ import { AccessKind, MaybeLazy } from '../common/index.js';
|
|
2
2
|
import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
3
3
|
import { IndexedAccessExpression } from '../tree/index.js';
|
4
4
|
import * as types from '../types/index.js';
|
5
|
-
import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
|
6
5
|
import { Analyzer } from './index.js';
|
7
6
|
export declare class Resolver {
|
8
7
|
private readonly _analyzer;
|
@@ -21,12 +20,12 @@ export declare class ResolutionResult {
|
|
21
20
|
}
|
22
21
|
export type Meaning = Meaning_resolved | Meaning_unresolved;
|
23
22
|
declare class Meaning_resolved {
|
24
|
-
readonly candidates: readonly
|
25
|
-
readonly suitableIndexers: readonly
|
23
|
+
readonly candidates: readonly types.Indexer[];
|
24
|
+
readonly suitableIndexers: readonly types.Indexer[];
|
26
25
|
readonly accessKind: AccessKind;
|
27
26
|
readonly kind = "resolved";
|
28
|
-
get singleSuitableIndexer():
|
29
|
-
constructor(candidates: readonly
|
27
|
+
get singleSuitableIndexer(): types.Indexer | undefined;
|
28
|
+
constructor(candidates: readonly types.Indexer[], suitableIndexers: readonly types.Indexer[], accessKind: AccessKind);
|
30
29
|
}
|
31
30
|
declare class Meaning_unresolved {
|
32
31
|
readonly kind = "unresolved";
|
@@ -1,5 +1,7 @@
|
|
1
|
-
import { PackageLocale
|
1
|
+
import { PackageLocale } from '../common/index.js';
|
2
2
|
import { Entity } from '../entities/index.js';
|
3
|
+
import { TranslationPackage } from '../project/index.js';
|
4
|
+
import * as tree from '../tree/index.js';
|
3
5
|
import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
|
4
6
|
export type Localization = Localization.Original | Localization.Translated;
|
5
7
|
export declare namespace Localization {
|
@@ -23,32 +25,24 @@ export declare namespace Localization {
|
|
23
25
|
}
|
24
26
|
export {};
|
25
27
|
}
|
26
|
-
export interface WithLocalization<T> {
|
27
|
-
readonly value: T;
|
28
|
-
readonly localization: Localization;
|
29
|
-
}
|
30
28
|
export declare class Translation {
|
31
29
|
readonly translationPackage: AnalyzedTranslationPackage;
|
32
|
-
|
30
|
+
readonly definition: TranslationDefinition;
|
31
|
+
constructor(translationPackage: AnalyzedTranslationPackage, definition: TranslationDefinition);
|
33
32
|
equals(other: Translation): boolean;
|
34
33
|
}
|
35
|
-
export type
|
36
|
-
export declare
|
37
|
-
|
38
|
-
|
39
|
-
|
40
|
-
|
41
|
-
|
42
|
-
|
43
|
-
|
44
|
-
|
45
|
-
|
46
|
-
|
47
|
-
|
48
|
-
|
49
|
-
interface ILocalizedName {
|
50
|
-
readonly value: Name;
|
51
|
-
readonly localization: Localization;
|
52
|
-
}
|
53
|
-
export {};
|
34
|
+
export type TranslationDefinition = SourceTranslationDefinition | IntrinsicTranslationDefinition;
|
35
|
+
export declare class SourceTranslationDefinition {
|
36
|
+
readonly nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode;
|
37
|
+
readonly translatedNameIdentifier: tree.Identifier | undefined;
|
38
|
+
readonly kind = "source";
|
39
|
+
constructor(nodeOrPackage: TranslationPackage | SourceTranslationDefinitionNode, translatedNameIdentifier: tree.Identifier | undefined);
|
40
|
+
equals(other: TranslationDefinition): boolean;
|
41
|
+
}
|
42
|
+
export type SourceTranslationDefinitionNode = tree.TopLevelTranslation | tree.TypeMemberTranslation;
|
43
|
+
export declare class IntrinsicTranslationDefinition {
|
44
|
+
readonly isMissingTranslationReplacement: boolean;
|
45
|
+
readonly kind = "intrinsic";
|
46
|
+
constructor(isMissingTranslationReplacement?: boolean);
|
47
|
+
equals(other: TranslationDefinition): boolean;
|
54
48
|
}
|
@@ -4,16 +4,14 @@ import { Entity, PackageTypeEntity, PackageVariableEntity } from '../entities/in
|
|
4
4
|
import * as tree from '../tree/index.js';
|
5
5
|
import * as types from '../types/index.js';
|
6
6
|
import { AccessedFunction } from './AccessedFunction.js';
|
7
|
-
import { FoundAnonymousDeclaration, FoundNamedDeclaration } from './FoundDeclaration.js';
|
8
7
|
import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
|
9
8
|
import { Analyzer, TargetTypeHint } from './index.js';
|
10
|
-
import { WithLocalization } from './Localization.js';
|
11
9
|
export declare class Resolver {
|
12
10
|
private readonly _semanticContext;
|
13
11
|
private readonly _analyzer;
|
14
12
|
private readonly _node;
|
15
13
|
private readonly _targetTypeHint;
|
16
|
-
private get
|
14
|
+
private get memberName();
|
17
15
|
private get semanticContext();
|
18
16
|
private get receiver();
|
19
17
|
constructor(analyzer: Analyzer, node: tree.MemberAccessExpression, targetTypeHint: TargetTypeHint | undefined);
|
@@ -44,24 +42,24 @@ export declare class ResolutionResult {
|
|
44
42
|
}
|
45
43
|
export type Meaning = Meaning_packageVariableAccess | Meaning_packageFunctionAccess | Meaning_packageTypeAccess | Meaning_packageNameSegmentAccess | Meaning_staticFieldAccess | Meaning_staticMethodAccess | Meaning_instanceFieldAccess | Meaning_instanceMethodAccess | Meaning_operatorAccess | Meaning_mixedAmbiguousAccess | Meaning_unresolved;
|
46
44
|
declare class Meaning_packageVariableAccess {
|
47
|
-
readonly variable:
|
45
|
+
readonly variable: PackageVariableEntity;
|
48
46
|
readonly accessKind: AccessKind;
|
49
47
|
readonly kind = "package-variable-access";
|
50
|
-
constructor(variable:
|
48
|
+
constructor(variable: PackageVariableEntity, accessKind: AccessKind);
|
51
49
|
}
|
52
50
|
declare class Meaning_packageFunctionAccess {
|
53
|
-
readonly candidates: readonly
|
54
|
-
readonly suitableFunctions: readonly
|
51
|
+
readonly candidates: readonly AccessedFunction[];
|
52
|
+
readonly suitableFunctions: readonly AccessedFunction[];
|
55
53
|
readonly kind = "package-function-access";
|
56
|
-
get singleSuitableFunction():
|
57
|
-
constructor(candidates: readonly
|
54
|
+
get singleSuitableFunction(): AccessedFunction | undefined;
|
55
|
+
constructor(candidates: readonly AccessedFunction[], suitableFunctions: readonly AccessedFunction[]);
|
58
56
|
}
|
59
57
|
declare class Meaning_packageTypeAccess {
|
60
|
-
readonly candidates: readonly
|
61
|
-
readonly suitableTypes: readonly
|
58
|
+
readonly candidates: readonly PackageTypeEntity[];
|
59
|
+
readonly suitableTypes: readonly types.Type[];
|
62
60
|
readonly kind = "package-type-access";
|
63
|
-
get singleSuitableType():
|
64
|
-
constructor(candidates: readonly
|
61
|
+
get singleSuitableType(): types.Type | undefined;
|
62
|
+
constructor(candidates: readonly PackageTypeEntity[], suitableTypes: readonly types.Type[]);
|
65
63
|
}
|
66
64
|
declare class Meaning_packageNameSegmentAccess {
|
67
65
|
readonly packageTreeNode: PackageNameTreeNode;
|
@@ -70,43 +68,43 @@ declare class Meaning_packageNameSegmentAccess {
|
|
70
68
|
}
|
71
69
|
declare class Meaning_staticFieldAccess {
|
72
70
|
readonly type: types.Type;
|
73
|
-
readonly field:
|
71
|
+
readonly field: types.Field;
|
74
72
|
readonly accessKind: AccessKind;
|
75
73
|
readonly kind = "static-field-access";
|
76
|
-
constructor(type: types.Type, field:
|
74
|
+
constructor(type: types.Type, field: types.Field, accessKind: AccessKind);
|
77
75
|
}
|
78
76
|
declare class Meaning_staticMethodAccess {
|
79
77
|
readonly type: types.Type;
|
80
|
-
readonly candidates: readonly
|
81
|
-
readonly suitableFunctions: readonly
|
78
|
+
readonly candidates: readonly AccessedFunction[];
|
79
|
+
readonly suitableFunctions: readonly AccessedFunction[];
|
82
80
|
readonly kind = "static-method-access";
|
83
|
-
get singleSuitableFunction():
|
84
|
-
constructor(type: types.Type, candidates: readonly
|
81
|
+
get singleSuitableFunction(): AccessedFunction | undefined;
|
82
|
+
constructor(type: types.Type, candidates: readonly AccessedFunction[], suitableFunctions: readonly AccessedFunction[]);
|
85
83
|
}
|
86
84
|
declare class Meaning_instanceFieldAccess {
|
87
|
-
readonly field:
|
85
|
+
readonly field: types.Field;
|
88
86
|
readonly accessKind: AccessKind;
|
89
87
|
readonly kind = "instance-field-access";
|
90
|
-
constructor(field:
|
88
|
+
constructor(field: types.Field, accessKind: AccessKind);
|
91
89
|
}
|
92
90
|
declare class Meaning_instanceMethodAccess {
|
93
|
-
readonly candidates: readonly
|
94
|
-
readonly suitableFunctions: readonly
|
91
|
+
readonly candidates: readonly AccessedFunction[];
|
92
|
+
readonly suitableFunctions: readonly AccessedFunction[];
|
95
93
|
readonly kind = "instance-method-access";
|
96
|
-
get singleSuitableFunction():
|
97
|
-
constructor(candidates: readonly
|
94
|
+
get singleSuitableFunction(): AccessedFunction | undefined;
|
95
|
+
constructor(candidates: readonly AccessedFunction[], suitableFunctions: readonly AccessedFunction[]);
|
98
96
|
}
|
99
97
|
declare class Meaning_operatorAccess {
|
100
|
-
readonly candidates: readonly
|
101
|
-
readonly suitableOperators: readonly
|
98
|
+
readonly candidates: readonly types.Operator[];
|
99
|
+
readonly suitableOperators: readonly types.Operator[];
|
102
100
|
readonly kind = "operator-access";
|
103
|
-
get singleSuitableOperator():
|
104
|
-
constructor(candidates: readonly
|
101
|
+
get singleSuitableOperator(): types.Operator | undefined;
|
102
|
+
constructor(candidates: readonly types.Operator[], suitableOperators: readonly types.Operator[]);
|
105
103
|
}
|
106
104
|
declare class Meaning_mixedAmbiguousAccess {
|
107
|
-
readonly entities: readonly
|
105
|
+
readonly entities: readonly Entity[];
|
108
106
|
readonly kind = "mixed-ambiguous-access";
|
109
|
-
constructor(entities: readonly
|
107
|
+
constructor(entities: readonly Entity[]);
|
110
108
|
}
|
111
109
|
declare class Meaning_unresolved {
|
112
110
|
readonly kind = "unresolved";
|
@@ -3,9 +3,7 @@ import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
|
3
3
|
import { NamedTypeEntity, PackageAliasEntity } from '../entities/index.js';
|
4
4
|
import { QualifiedName } from '../tree/index.js';
|
5
5
|
import { Analyzer } from './Analyzer.js';
|
6
|
-
import { FoundNamedDeclaration } from './FoundDeclaration.js';
|
7
6
|
import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
|
8
|
-
import { WithLocalization } from './Localization.js';
|
9
7
|
import { EntityOrPackageNameTreeNode } from './Utils.js';
|
10
8
|
export declare class NamedTypeResolver {
|
11
9
|
private readonly _analyzer;
|
@@ -22,11 +20,11 @@ export declare class NamedTypeResolver {
|
|
22
20
|
private createAmbiguousAccessDiagnostic;
|
23
21
|
}
|
24
22
|
export declare class NamedTypeResolutionResult {
|
25
|
-
readonly types: readonly
|
23
|
+
readonly types: readonly NamedTypeEntity[];
|
26
24
|
readonly resolvedQualifiers: readonly ResolvedQualifier[];
|
27
25
|
readonly diagnostics: readonly MaybeLazy<Diagnostic>[];
|
28
|
-
readonly ambiguousDeclarations: readonly
|
29
|
-
constructor(types: readonly
|
26
|
+
readonly ambiguousDeclarations: readonly EntityOrPackageNameTreeNode[] | undefined;
|
27
|
+
constructor(types: readonly NamedTypeEntity[], resolvedQualifiers: readonly ResolvedQualifier[], diagnostics: readonly MaybeLazy<Diagnostic>[], ambiguousDeclarations: readonly EntityOrPackageNameTreeNode[] | undefined);
|
30
28
|
}
|
31
29
|
export type ResolvedQualifier = ResolvedQualifier_packageNameSegment | ResolvedQualifier_packageAlias | ResolvedQualifier_type;
|
32
30
|
export declare class ResolvedQualifier_packageNameSegment {
|
@@ -40,8 +38,8 @@ export declare class ResolvedQualifier_packageAlias {
|
|
40
38
|
constructor(packageAlias: PackageAliasEntity);
|
41
39
|
}
|
42
40
|
export declare class ResolvedQualifier_type {
|
43
|
-
readonly candidates: readonly
|
44
|
-
readonly suitableTypes: readonly
|
41
|
+
readonly candidates: readonly NamedTypeEntity[];
|
42
|
+
readonly suitableTypes: readonly NamedTypeEntity[];
|
45
43
|
readonly kind = "type";
|
46
|
-
constructor(candidates: readonly
|
44
|
+
constructor(candidates: readonly NamedTypeEntity[], suitableTypes: readonly NamedTypeEntity[]);
|
47
45
|
}
|
@@ -3,8 +3,6 @@ import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
|
3
3
|
import { NamedTypeSpecifier } from '../tree/index.js';
|
4
4
|
import * as types from '../types/index.js';
|
5
5
|
import { Analyzer } from './Analyzer.js';
|
6
|
-
import { FoundNamedDeclaration } from './FoundDeclaration.js';
|
7
|
-
import { WithLocalization } from './Localization.js';
|
8
6
|
import { ResolvedQualifier } from './NamedTypeResolver.js';
|
9
7
|
import { EntityOrPackageNameTreeNode } from './Utils.js';
|
10
8
|
export declare class NamedTypeSpecifierResolver {
|
@@ -15,9 +13,9 @@ export declare class NamedTypeSpecifierResolver {
|
|
15
13
|
private resolveTypeOverload;
|
16
14
|
}
|
17
15
|
export declare class NamedTypeSpecifierResolutionResult {
|
18
|
-
readonly type:
|
16
|
+
readonly type: types.Type | undefined;
|
19
17
|
readonly resolvedQualifiers: readonly ResolvedQualifier[];
|
20
18
|
readonly diagnostics: readonly MaybeLazy<Diagnostic>[];
|
21
|
-
readonly ambiguousDeclarations: readonly
|
22
|
-
constructor(type:
|
19
|
+
readonly ambiguousDeclarations: readonly EntityOrPackageNameTreeNode[] | undefined;
|
20
|
+
constructor(type: types.Type | undefined, resolvedQualifiers: readonly ResolvedQualifier[], diagnostics: readonly MaybeLazy<Diagnostic>[], ambiguousDeclarations: readonly EntityOrPackageNameTreeNode[] | undefined);
|
23
21
|
}
|
@@ -2,7 +2,6 @@ import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
|
2
2
|
import * as tree from '../tree/index.js';
|
3
3
|
import * as types from '../types/index.js';
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
5
|
-
import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
|
6
5
|
/**
|
7
6
|
* "объект" может использоваться только в следующих конструкциях:
|
8
7
|
* 1. объект() - в конструкторе для вызова другого собственного конструктора.
|
@@ -28,8 +27,8 @@ declare class Meaning_ownConstructorAccess {
|
|
28
27
|
* с ним совместим.
|
29
28
|
*/
|
30
29
|
readonly type: types.Type;
|
31
|
-
readonly candidates: readonly
|
32
|
-
readonly suitableConstructors: readonly
|
30
|
+
readonly candidates: readonly types.Constructor[];
|
31
|
+
readonly suitableConstructors: readonly types.Constructor[];
|
33
32
|
readonly kind = "own-constructor-access";
|
34
33
|
constructor(
|
35
34
|
/**
|
@@ -39,7 +38,7 @@ declare class Meaning_ownConstructorAccess {
|
|
39
38
|
* создаваемый найденным конструктором, будет отличаться от результирующего типа, хранимого в этом поле, но будет
|
40
39
|
* с ним совместим.
|
41
40
|
*/
|
42
|
-
type: types.Type, candidates: readonly
|
41
|
+
type: types.Type, candidates: readonly types.Constructor[], suitableConstructors: readonly types.Constructor[]);
|
43
42
|
}
|
44
43
|
declare class Meaning_objectAccess {
|
45
44
|
readonly type: types.Type;
|
@@ -1,14 +1,9 @@
|
|
1
|
-
import {
|
1
|
+
import { Name } from '../common/index.js';
|
2
2
|
import { IEntityHidingMatcher, NamedPackageMemberEntity, PackageEntity, TypeEntity, TypeExtensionEntity } from '../entities/index.js';
|
3
|
-
import { FoundNamedDeclaration } from './FoundDeclaration.js';
|
4
|
-
import { LocalizationContext } from './LocalizationContext.js';
|
5
3
|
export declare class PackageMemberLookup {
|
6
4
|
private readonly _package;
|
7
|
-
|
8
|
-
|
9
|
-
|
10
|
-
constructor(_package: PackageEntity, _localizationContext: LocalizationContext | undefined);
|
11
|
-
getNamedMembers(hidingMatcher?: IEntityHidingMatcher): readonly FoundNamedDeclaration<NamedPackageMemberEntity>[];
|
12
|
-
getNamedMembersByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher): readonly FoundNamedDeclaration<NamedPackageMemberEntity>[];
|
5
|
+
constructor(_package: PackageEntity);
|
6
|
+
getNamedMembers(hidingMatcher?: IEntityHidingMatcher): readonly NamedPackageMemberEntity[];
|
7
|
+
getNamedMembersByName(name: Name, hidingMatcher?: IEntityHidingMatcher): readonly NamedPackageMemberEntity[];
|
13
8
|
getTypeExtensions(type: TypeEntity, hidingMatcher?: IEntityHidingMatcher): readonly TypeExtensionEntity[];
|
14
9
|
}
|
@@ -1,12 +1,12 @@
|
|
1
1
|
import { Diagnostic } from '../diagnostic/Diagnostic.js';
|
2
|
-
import {
|
2
|
+
import { PackageEntityMembers } from '../entities/PackageMembers.js';
|
3
3
|
import { ProgramPackage } from '../project/SourcePackage.js';
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
5
5
|
export declare class PackageMemberNameConflictsValidator {
|
6
6
|
private readonly _analyzer;
|
7
7
|
private readonly _members;
|
8
8
|
private readonly _diagnostics;
|
9
|
-
constructor(_analyzer: Analyzer, _members:
|
9
|
+
constructor(_analyzer: Analyzer, _members: PackageEntityMembers);
|
10
10
|
validate(): readonly Diagnostic[];
|
11
11
|
private validateFunctionNameConflicts;
|
12
12
|
private validateTypeNameConflicts;
|
@@ -1,4 +1,4 @@
|
|
1
|
-
import {
|
1
|
+
import { Name } from '../common/index.js';
|
2
2
|
import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
|
3
3
|
import { PackageAliasEntity, PackageFunctionEntity, PackageTypeEntity, PackageVariableEntity, TypeExtensionEntity } from '../entities/index.js';
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
@@ -10,9 +10,9 @@ export declare class SourceFileMembers {
|
|
10
10
|
get declarationsByName(): ReadonlyMap<string, readonly NamedSourceFileMemberEntity[]>;
|
11
11
|
constructor(analyzer: Analyzer, namedMembers: readonly NamedSourceFileMemberEntity[], typeExtensions: readonly TypeExtensionEntity[]);
|
12
12
|
getNamedDeclarations(): readonly NamedSourceFileMemberEntity[];
|
13
|
-
getNamedDeclarationsByName(name:
|
13
|
+
getNamedDeclarationsByName(name: Name): readonly NamedSourceFileMemberEntity[];
|
14
14
|
getPackageAliases(): readonly PackageAliasEntity[];
|
15
|
-
getPackageAliasesByName(name:
|
15
|
+
getPackageAliasesByName(name: Name): readonly PackageAliasEntity[];
|
16
16
|
getTypeExtensions(): readonly TypeExtensionEntity[];
|
17
17
|
validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
|
18
18
|
private getDiagnosticLocation;
|
@@ -4,10 +4,8 @@ import { FunctionEntity, NamedTypeEntity, PackageAliasEntity } from '../entities
|
|
4
4
|
import { Tag } from '../tree/index.js';
|
5
5
|
import * as types from '../types/index.js';
|
6
6
|
import { AccessedFunction } from './AccessedFunction.js';
|
7
|
-
import { FoundAnonymousDeclaration, FoundNamedDeclaration } from './FoundDeclaration.js';
|
8
7
|
import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
|
9
8
|
import { Analyzer } from './index.js';
|
10
|
-
import { WithLocalization } from './Localization.js';
|
11
9
|
import { EntityOrPackageNameTreeNode } from './Utils.js';
|
12
10
|
export declare class Resolver {
|
13
11
|
private readonly _analyzer;
|
@@ -28,24 +26,24 @@ export declare class ResolutionResult {
|
|
28
26
|
readonly meaning: Meaning;
|
29
27
|
readonly resolvedQualifiers: readonly ResolvedQualifier[];
|
30
28
|
readonly diagnostic?: MaybeLazy<Diagnostic> | undefined;
|
31
|
-
readonly ambiguousDeclarations?: readonly
|
32
|
-
constructor(meaning: Meaning, resolvedQualifiers: readonly ResolvedQualifier[], diagnostic?: MaybeLazy<Diagnostic> | undefined, ambiguousDeclarations?: readonly
|
29
|
+
readonly ambiguousDeclarations?: readonly EntityOrPackageNameTreeNode[] | undefined;
|
30
|
+
constructor(meaning: Meaning, resolvedQualifiers: readonly ResolvedQualifier[], diagnostic?: MaybeLazy<Diagnostic> | undefined, ambiguousDeclarations?: readonly EntityOrPackageNameTreeNode[] | undefined);
|
33
31
|
}
|
34
32
|
export type Meaning = Meaning_tagType | Meaning_tagFunction | Meaning_unresolved;
|
35
33
|
declare class Meaning_tagType {
|
36
34
|
readonly type: types.Type;
|
37
|
-
readonly candidates: readonly
|
38
|
-
readonly suitableConstructors: readonly
|
35
|
+
readonly candidates: readonly types.Constructor[];
|
36
|
+
readonly suitableConstructors: readonly types.Constructor[];
|
39
37
|
readonly kind = "tag-type";
|
40
|
-
get singleSuitableConstructor():
|
41
|
-
constructor(type: types.Type, candidates: readonly
|
38
|
+
get singleSuitableConstructor(): types.Constructor | undefined;
|
39
|
+
constructor(type: types.Type, candidates: readonly types.Constructor[], suitableConstructors: readonly types.Constructor[]);
|
42
40
|
}
|
43
41
|
declare class Meaning_tagFunction {
|
44
|
-
readonly candidates: readonly
|
45
|
-
readonly suitableFunctions: readonly
|
42
|
+
readonly candidates: readonly AccessedFunction[];
|
43
|
+
readonly suitableFunctions: readonly AccessedFunction[];
|
46
44
|
readonly kind = "tag-function";
|
47
|
-
get singleSuitableFunction():
|
48
|
-
constructor(candidates: readonly
|
45
|
+
get singleSuitableFunction(): AccessedFunction | undefined;
|
46
|
+
constructor(candidates: readonly AccessedFunction[], suitableFunctions: readonly AccessedFunction[]);
|
49
47
|
}
|
50
48
|
declare class Meaning_unresolved {
|
51
49
|
readonly kind = "unresolved";
|
@@ -62,17 +60,17 @@ export declare class ResolvedQualifier_packageAlias {
|
|
62
60
|
constructor(packageAlias: PackageAliasEntity);
|
63
61
|
}
|
64
62
|
export declare class ResolvedQualifier_type {
|
65
|
-
readonly candidates: readonly
|
66
|
-
readonly suitableTypes: readonly
|
63
|
+
readonly candidates: readonly NamedTypeEntity[];
|
64
|
+
readonly suitableTypes: readonly NamedTypeEntity[];
|
67
65
|
readonly kind = "type";
|
68
|
-
get singleSuitableType():
|
69
|
-
constructor(candidates: readonly
|
66
|
+
get singleSuitableType(): NamedTypeEntity | undefined;
|
67
|
+
constructor(candidates: readonly NamedTypeEntity[], suitableTypes: readonly NamedTypeEntity[]);
|
70
68
|
}
|
71
69
|
export declare class ResolvedQualifier_function {
|
72
|
-
readonly candidates: readonly
|
73
|
-
readonly suitableFunctions: readonly
|
70
|
+
readonly candidates: readonly FunctionEntity[];
|
71
|
+
readonly suitableFunctions: readonly FunctionEntity[];
|
74
72
|
readonly kind = "function";
|
75
|
-
get singleSuitableFunction():
|
76
|
-
constructor(candidates: readonly
|
73
|
+
get singleSuitableFunction(): FunctionEntity | undefined;
|
74
|
+
constructor(candidates: readonly FunctionEntity[], suitableFunctions: readonly FunctionEntity[]);
|
77
75
|
}
|
78
76
|
export {};
|