@artel/artc 0.6.25259 → 0.6.25260
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 +28 -20
- package/build/api/ApiNodeJS.js +3 -3
- package/build/api/ApiServices.js +1266 -1217
- package/build/{chunk-GVYF4DV5.js → chunk-7FERF2MU.js} +11 -11
- package/build/{chunk-HE4MTX63.js → chunk-RIIOVQBM.js} +14371 -13456
- package/build/{chunk-VQI5PLBW.js → chunk-ZNXSVPQT.js} +1 -1
- package/build/types/analysis/AccessedFunction.d.ts +11 -11
- package/build/types/analysis/AnalyzedTranslationPackage.d.ts +28 -28
- package/build/types/analysis/Analyzer.d.ts +184 -168
- package/build/types/analysis/ArgumentToParameterMatchResult.d.ts +9 -9
- package/build/types/analysis/ArgumentsToParametersMatcher.d.ts +8 -8
- package/build/types/analysis/AssignmentChecker.d.ts +4 -4
- package/build/types/analysis/AutotypeCallExpressionMeaning.d.ts +8 -6
- package/build/types/analysis/BaseExpressionMeaning.d.ts +5 -5
- package/build/types/analysis/BaseMemberConflictsValidator.d.ts +7 -7
- package/build/types/analysis/CallExpressionMeaning.d.ts +4 -6
- package/build/types/analysis/ConstructorCallResolver.d.ts +1 -1
- package/build/types/analysis/DeclarationsUsageCounter.d.ts +5 -5
- package/build/types/analysis/DereferenceExpressionMeaning.d.ts +4 -4
- package/build/types/analysis/DiagnosticArgumentFactory.d.ts +2 -2
- package/build/types/analysis/DiagnosticCollector.d.ts +11 -9
- package/build/types/analysis/DisplayableEntity.d.ts +30 -30
- package/build/types/analysis/IdentifierExpressionMeaning.d.ts +7 -7
- package/build/types/analysis/ImportedPackageNameTree.d.ts +1 -1
- package/build/types/analysis/IndexedAccessExpressionMeaning.d.ts +4 -4
- package/build/types/analysis/InstanceFieldsInitializationValidator.d.ts +6 -6
- package/build/types/analysis/MemberAccessExpressionMeaning.d.ts +7 -7
- package/build/types/analysis/ModifierValidator.d.ts +3 -3
- package/build/types/analysis/NamedTypeResolver.d.ts +3 -3
- package/build/types/analysis/NamedTypeSpecifierResolver.d.ts +3 -3
- package/build/types/analysis/NodeTypeUtils.d.ts +1 -1
- package/build/types/analysis/ObjectExpressionMeaning.d.ts +2 -2
- package/build/types/analysis/OverloadResolver.d.ts +13 -13
- package/build/types/analysis/OwnAndBaseConstructorCallsChecker.d.ts +5 -5
- package/build/types/analysis/PackageAndStaticVariablesInitializationValidator.d.ts +5 -5
- package/build/types/analysis/PackageMemberLookup.d.ts +2 -2
- package/build/types/analysis/PackageMemberNameConflictsValidator.d.ts +7 -7
- package/build/types/analysis/ReturnTypeInferrer.d.ts +4 -4
- package/build/types/analysis/SourceFileMembers.d.ts +6 -6
- package/build/types/analysis/SourcePackageDependencyGraph.d.ts +3 -3
- package/build/types/analysis/SubstitutedFunction.d.ts +8 -8
- package/build/types/analysis/TagMeaning.d.ts +4 -4
- package/build/types/analysis/Tags.d.ts +8 -7
- package/build/types/analysis/{Localization.d.ts → Translation.d.ts} +1 -23
- package/build/types/analysis/TypeArgumentInferrer.d.ts +9 -9
- package/build/types/analysis/TypeInferrer.d.ts +4 -4
- package/build/types/analysis/TypeMemberConflictsValidator.d.ts +4 -4
- package/build/types/analysis/TypeMemberImplementationChecker.d.ts +3 -3
- package/build/types/analysis/TypeMemberLookup.d.ts +7 -7
- package/build/types/analysis/TypeNarrower.d.ts +7 -7
- package/build/types/analysis/UserDefinableBinaryOperatorResolver.d.ts +6 -6
- package/build/types/analysis/UserDefinableUnaryOperatorResolver.d.ts +3 -3
- package/build/types/analysis/Utils.d.ts +1 -2
- package/build/types/analysis/WellKnownDeclarations.d.ts +32 -32
- package/build/types/analysis/control-flow/GraphBuilder.d.ts +11 -11
- package/build/types/analysis/control-flow/NarrowableReference.d.ts +10 -10
- package/build/types/analysis/semantic-context/Declarations.d.ts +0 -24
- package/build/types/analysis/semantic-context/FieldWithInitializerSemanticContext.d.ts +2 -2
- package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +23 -22
- package/build/types/analysis/semantic-context/SemanticContextBasedEntityHidingMatcher.d.ts +4 -4
- package/build/types/analysis/semantic-context/SemanticContextBuilder.d.ts +25 -25
- package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +9 -9
- package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +8 -8
- package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +27 -27
- package/build/types/analysis/semantic-context/TypeSemanticContext.d.ts +9 -9
- package/build/types/api/Api.d.ts +2 -2
- package/build/types/common/Cached.d.ts +3 -3
- package/build/types/common/CancellationToken.d.ts +2 -2
- package/build/types/common/Delayed.d.ts +2 -2
- package/build/types/common/Displayable.d.ts +3 -3
- package/build/types/common/HelperPhrases.d.ts +2 -1
- package/build/types/common/Interner.d.ts +1 -1
- package/build/types/common/Lazy.d.ts +3 -3
- package/build/types/common/Option.d.ts +2 -2
- package/build/types/common/PerformanceMeasurement.d.ts +2 -2
- package/build/types/common/Query.d.ts +15 -0
- package/build/types/common/ThrottledCancellationToken.d.ts +6 -6
- package/build/types/common/TreeQuery.d.ts +2 -5
- package/build/types/diagnostic/DiagnosticCode.d.ts +142 -139
- package/build/types/diagnostic/DiagnosticData.d.ts +3 -3
- package/build/types/diagnostic/RangeDiagnostic.d.ts +3 -3
- package/build/types/emitter/DebugStack.d.ts +2 -2
- package/build/types/emitter/Emitter.d.ts +5 -5
- package/build/types/emitter/EmitterContext.d.ts +21 -21
- package/build/types/emitter/EntityMap.d.ts +8 -8
- package/build/types/emitter/GeneralLowering.d.ts +2 -2
- package/build/types/emitter/IrBuilder.d.ts +10 -10
- package/build/types/emitter/IrToJs.d.ts +5 -5
- package/build/types/emitter/Transformer.d.ts +5 -5
- package/build/types/emitter/ir/EmitOptions.d.ts +27 -13
- package/build/types/emitter/ir/Nodes.d.ts +28 -27
- package/build/types/emitter/ir/types.d.ts +2 -2
- package/build/types/entities/AliasTypeEntity.d.ts +15 -12
- package/build/types/entities/AliasedType.d.ts +2 -2
- package/build/types/entities/BaseAspectTypes.d.ts +31 -0
- package/build/types/entities/BaseEntityHidingMatcher.d.ts +1 -1
- package/build/types/entities/BaseObjectType.d.ts +31 -0
- package/build/types/entities/ConstructorEntity.d.ts +51 -38
- package/build/types/entities/DereferenceOperatorEntity.d.ts +19 -13
- package/build/types/entities/DestructorEntity.d.ts +21 -14
- package/build/types/entities/EntityHidingMatcherWithinTypeEntity.d.ts +2 -2
- package/build/types/entities/EntityLocalizationContext.d.ts +10 -10
- package/build/types/entities/FunctionEntity.d.ts +86 -70
- package/build/types/entities/FunctionTypeEntity.d.ts +37 -31
- package/build/types/entities/GetterEntity.d.ts +51 -30
- package/build/types/entities/IEntity.d.ts +12 -0
- package/build/types/entities/IndexerEntity.d.ts +24 -24
- package/build/types/entities/LocalizableTextEntity.d.ts +26 -21
- package/build/types/entities/OperatorEntity.d.ts +23 -16
- package/build/types/entities/PackageAliasEntity.d.ts +15 -9
- package/build/types/entities/PackageEntity.d.ts +15 -10
- package/build/types/entities/PackageMembers.d.ts +5 -5
- package/build/types/entities/SetterEntity.d.ts +50 -29
- package/build/types/entities/StructuredTypeEntity.d.ts +76 -115
- package/build/types/entities/TypeEntity.d.ts +2 -1
- package/build/types/entities/TypeEntityMembers.d.ts +11 -11
- package/build/types/entities/TypeExtensionEntity.d.ts +13 -8
- package/build/types/entities/TypeParameterEntity.d.ts +28 -21
- package/build/types/entities/VariableEntity.d.ts +236 -179
- package/build/types/entities/VariantTypeEntity.d.ts +28 -22
- package/build/types/entities/index.d.ts +5 -1
- package/build/types/entities/translated/TranslatedAliasTypeEntity.d.ts +18 -16
- package/build/types/entities/translated/TranslatedConstructorEntity.d.ts +15 -11
- package/build/types/entities/translated/TranslatedDereferenceOperatorEntity.d.ts +16 -12
- package/build/types/entities/translated/TranslatedDestructorEntity.d.ts +15 -11
- package/build/types/entities/translated/TranslatedFunctionEntity.d.ts +32 -27
- package/build/types/entities/translated/TranslatedFunctionTypeEntity.d.ts +33 -29
- package/build/types/entities/translated/TranslatedGetterEntity.d.ts +12 -8
- package/build/types/entities/translated/TranslatedIndexerEntity.d.ts +19 -15
- package/build/types/entities/translated/TranslatedOperatorEntity.d.ts +18 -14
- package/build/types/entities/translated/TranslatedPackageEntity.d.ts +10 -7
- package/build/types/entities/translated/TranslatedSetterEntity.d.ts +11 -7
- package/build/types/entities/translated/TranslatedStructuredTypeEntity.d.ts +41 -39
- package/build/types/entities/translated/TranslatedTypeExtensionEntity.d.ts +12 -9
- package/build/types/entities/translated/TranslatedTypeParameterEntity.d.ts +19 -16
- package/build/types/entities/translated/TranslatedVariableEntity.d.ts +44 -36
- package/build/types/entities/translated/TranslatedVariantTypeEntity.d.ts +28 -24
- package/build/types/executor/NodeCompiler.d.ts +3 -3
- package/build/types/executor/PhysicalTypeScriptLibrariesProvider.d.ts +2 -2
- package/build/types/parser/Parser.d.ts +1 -1
- package/build/types/parser/TriviaInterner.d.ts +3 -3
- package/build/types/project/Compilation.d.ts +3 -3
- package/build/types/project/CompilationLoader.d.ts +5 -5
- package/build/types/project/FileSystemTree.d.ts +6 -6
- package/build/types/project/SourceFile.d.ts +2 -2
- package/build/types/project/SourcePackage.d.ts +1 -1
- package/build/types/project/TextFile.d.ts +1 -1
- package/build/types/project/configuration/ConfigurationConverter.d.ts +1 -1
- package/build/types/project/configuration/ConfigurationFileParser.d.ts +1 -1
- package/build/types/services/AssignFieldService.d.ts +10 -0
- package/build/types/services/CodeActionsService.d.ts +1 -1
- package/build/types/services/CompletionService.d.ts +8 -8
- package/build/types/services/CustomCommand.d.ts +13 -7
- package/build/types/services/DefinitionService.d.ts +1 -1
- package/build/types/services/DisplayService.d.ts +76 -80
- package/build/types/services/DocumentHighlightsService.d.ts +1 -1
- package/build/types/services/HoverService.d.ts +3 -3
- package/build/types/services/LanguageServer.d.ts +32 -32
- package/build/types/services/NodeSemanticInfo.d.ts +9 -9
- package/build/types/services/ProjectItemsService.d.ts +1 -1
- package/build/types/services/RenameService.d.ts +1 -1
- package/build/types/services/SemanticTokensService.d.ts +1 -1
- package/build/types/services/SourceFileItemsService.d.ts +1 -1
- package/build/types/services/TranslationService.d.ts +1 -1
- package/build/types/services/signature-help/{ValueParametersSignatureHelpProvider.d.ts → ParametersSignatureHelpProvider.d.ts} +6 -6
- package/build/types/services/signature-help/{SignatureWithValueParameters.d.ts → SignatureWithParameters.d.ts} +34 -34
- package/build/types/services/signature-help/TypeParameterSignatureHelpProvider.d.ts +4 -4
- package/build/types/services/source-generation/EntityToSyntax.d.ts +4 -4
- package/build/types/services/source-generation/SourceGenerationService.d.ts +5 -5
- package/build/types/services/workspace/CompilationController.d.ts +22 -22
- package/build/types/services/workspace/FileSystemTreeProviderBasedOnWatchedFileSystem.d.ts +13 -13
- package/build/types/services/workspace/ManuallyUpdatedFileSystemTreeProvider.d.ts +4 -4
- package/build/types/services/workspace/Workspace.d.ts +7 -7
- package/build/types/services/workspace/WorkspaceFiles.d.ts +1 -1
- package/build/types/tree/BaseNode.d.ts +12 -3
- package/build/types/tree/NodeKind.d.ts +56 -57
- package/build/types/tree/Nodes.d.ts +18 -20
- package/build/types/tree/SyntaxToCode.d.ts +11 -11
- package/build/types/ts-interop/Entities.d.ts +326 -263
- package/build/types/ts-interop/TsInteropContext.d.ts +16 -14
- package/build/types/ts-interop/TsPackageContents.d.ts +16 -16
- package/build/types/ts-interop/TsPackageMembersCreator.d.ts +10 -10
- package/build/types/ts-interop/TsProgramLoader.d.ts +7 -7
- package/build/types/ts-interop/TsTypeMembersCreator.d.ts +9 -9
- package/build/types/types/AliasType.d.ts +6 -5
- package/build/types/types/FunctionType.d.ts +8 -7
- package/build/types/types/IntersectionType.d.ts +3 -2
- package/build/types/types/ParameterType.d.ts +5 -4
- package/build/types/types/StandardTypes.d.ts +21 -21
- package/build/types/types/StructuredType.d.ts +9 -10
- package/build/types/types/Substitutions.d.ts +1 -1
- package/build/types/types/Type.d.ts +1 -0
- package/build/types/types/TypeMembers.d.ts +42 -42
- package/build/types/types/UnionType.d.ts +3 -2
- package/build/types/types/UnresolvedType.d.ts +3 -2
- package/build/types/types/VariantType.d.ts +5 -4
- package/package.json +1 -1
- package/build/types/entities/TypeMemberContainer.d.ts +0 -23
- package/build/types/services/AddPropertyAssignmentService.d.ts +0 -8
|
@@ -2,9 +2,9 @@ import { PlatformKind, SourcePackage } from '../project/index.js';
|
|
|
2
2
|
import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
|
|
3
3
|
import { Analyzer } from './Analyzer.js';
|
|
4
4
|
export declare class SourcePackageDependencyGraph {
|
|
5
|
-
private readonly
|
|
6
|
-
private readonly
|
|
7
|
-
private readonly
|
|
5
|
+
private readonly analyzer;
|
|
6
|
+
private readonly rootPackages;
|
|
7
|
+
private readonly nodeByPackage;
|
|
8
8
|
constructor(analyzer: Analyzer, rootPackages?: readonly SourcePackage[]);
|
|
9
9
|
/**
|
|
10
10
|
* Перечислить все пакеты и их зависимости, включая транзитивные, начиная от корневых пакетов.
|
|
@@ -1,15 +1,15 @@
|
|
|
1
1
|
import { Name } from '../common/index.js';
|
|
2
2
|
import { FunctionEntity, PackageOrNestedFunctionEntity } from '../entities/index.js';
|
|
3
3
|
import * as types from '../types/index.js';
|
|
4
|
-
import {
|
|
4
|
+
import { AccessedFunctionParameter } from './AccessedFunction.js';
|
|
5
5
|
import { Analyzer } from './Analyzer.js';
|
|
6
6
|
export type SubstitutedFunction = SubstitutedFunction_entity | SubstitutedFunction_typeMember;
|
|
7
7
|
export declare class SubstitutedFunction_entity implements ISubstitutedFunction {
|
|
8
8
|
readonly entity: PackageOrNestedFunctionEntity;
|
|
9
9
|
readonly substitutions: types.Substitutions;
|
|
10
10
|
readonly kind = "entity";
|
|
11
|
-
private readonly
|
|
12
|
-
private readonly
|
|
11
|
+
private readonly signatureType;
|
|
12
|
+
private readonly parameters;
|
|
13
13
|
get debuggerDisplay(): string;
|
|
14
14
|
constructor(entity: PackageOrNestedFunctionEntity, substitutions: types.Substitutions);
|
|
15
15
|
getEntity(): PackageOrNestedFunctionEntity;
|
|
@@ -17,7 +17,7 @@ export declare class SubstitutedFunction_entity implements ISubstitutedFunction
|
|
|
17
17
|
getSignatureType(analyzer: Analyzer): types.FunctionType;
|
|
18
18
|
getSubstitutions(): types.Substitutions;
|
|
19
19
|
getOuterSubstitutions(): types.Substitutions | undefined;
|
|
20
|
-
|
|
20
|
+
getParameters(): readonly AccessedFunctionParameter[];
|
|
21
21
|
getReturnType(): types.Type;
|
|
22
22
|
isAsync(): boolean;
|
|
23
23
|
}
|
|
@@ -25,8 +25,8 @@ export declare class SubstitutedFunction_typeMember implements ISubstitutedFunct
|
|
|
25
25
|
readonly method: types.Method;
|
|
26
26
|
readonly substitutions: types.Substitutions;
|
|
27
27
|
readonly kind = "type-member";
|
|
28
|
-
private readonly
|
|
29
|
-
private readonly
|
|
28
|
+
private readonly signatureType;
|
|
29
|
+
private readonly parameters;
|
|
30
30
|
get debuggerDisplay(): string;
|
|
31
31
|
constructor(method: types.Method, substitutions: types.Substitutions);
|
|
32
32
|
getEntity(): FunctionEntity;
|
|
@@ -34,7 +34,7 @@ export declare class SubstitutedFunction_typeMember implements ISubstitutedFunct
|
|
|
34
34
|
getSignatureType(analyzer: Analyzer): types.FunctionType;
|
|
35
35
|
getSubstitutions(): types.Substitutions;
|
|
36
36
|
getOuterSubstitutions(): types.Substitutions | undefined;
|
|
37
|
-
|
|
37
|
+
getParameters(): readonly AccessedFunctionParameter[];
|
|
38
38
|
getReturnType(): types.Type;
|
|
39
39
|
isAsync(): boolean;
|
|
40
40
|
}
|
|
@@ -44,7 +44,7 @@ interface ISubstitutedFunction {
|
|
|
44
44
|
getSignatureType(analyzer: Analyzer): types.FunctionType;
|
|
45
45
|
getSubstitutions(): types.Substitutions;
|
|
46
46
|
getOuterSubstitutions(): types.Substitutions | undefined;
|
|
47
|
-
|
|
47
|
+
getParameters(): readonly AccessedFunctionParameter[];
|
|
48
48
|
getReturnType(): types.Type;
|
|
49
49
|
isAsync(): boolean;
|
|
50
50
|
}
|
|
@@ -7,11 +7,11 @@ import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
|
|
|
7
7
|
import { Analyzer } from './index.js';
|
|
8
8
|
import { EntityOrPackageNameTreeNode } from './Utils.js';
|
|
9
9
|
export declare class Resolver {
|
|
10
|
-
private readonly
|
|
11
|
-
private readonly
|
|
12
|
-
private readonly
|
|
10
|
+
private readonly analyzer;
|
|
11
|
+
private readonly node;
|
|
12
|
+
private readonly semanticContext_;
|
|
13
13
|
private get semanticContext();
|
|
14
|
-
constructor(
|
|
14
|
+
constructor(analyzer: Analyzer, node: Tag);
|
|
15
15
|
resolve(): ResolutionResult;
|
|
16
16
|
private resolveNameInScope;
|
|
17
17
|
private resolveNameInPackage;
|
|
@@ -1,23 +1,23 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { ParameterEntity } from '../entities/index.js';
|
|
2
2
|
import * as types from '../types/index.js';
|
|
3
3
|
import { AccessedFunction } from './AccessedFunction.js';
|
|
4
4
|
export type Tag = TagType | TagFunction;
|
|
5
5
|
declare abstract class TagBase {
|
|
6
|
-
readonly argumentByParameter: ReadonlyMap<
|
|
7
|
-
private readonly
|
|
8
|
-
get
|
|
9
|
-
constructor(argumentByParameter: ReadonlyMap<
|
|
6
|
+
readonly argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>;
|
|
7
|
+
private readonly argumentByNameKey_;
|
|
8
|
+
get argumentByNameKey(): ReadonlyMap<string, TagArgument>;
|
|
9
|
+
constructor(argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>);
|
|
10
10
|
}
|
|
11
11
|
export declare class TagType extends TagBase {
|
|
12
12
|
readonly kind = "type";
|
|
13
13
|
readonly type: types.Type;
|
|
14
14
|
readonly constructor_: types.Constructor;
|
|
15
|
-
constructor(type: types.Type, constructor_: types.Constructor, argumentByParameter: ReadonlyMap<
|
|
15
|
+
constructor(type: types.Type, constructor_: types.Constructor, argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>);
|
|
16
16
|
}
|
|
17
17
|
export declare class TagFunction extends TagBase {
|
|
18
18
|
readonly kind = "function";
|
|
19
19
|
readonly func: AccessedFunction;
|
|
20
|
-
constructor(func: AccessedFunction, argumentByParameter: ReadonlyMap<
|
|
20
|
+
constructor(func: AccessedFunction, argumentByParameter: ReadonlyMap<ParameterEntity, TagArgument>);
|
|
21
21
|
}
|
|
22
22
|
export type TagArgument = TagArgument_string | TagArgument_numeric | TagArgument_boolean | TagArgument_invalid;
|
|
23
23
|
export declare class TagArgument_string {
|
|
@@ -38,4 +38,5 @@ export declare class TagArgument_boolean {
|
|
|
38
38
|
export declare class TagArgument_invalid {
|
|
39
39
|
readonly kind = "invalid";
|
|
40
40
|
}
|
|
41
|
+
export declare const emptyTags: readonly Tag[];
|
|
41
42
|
export {};
|
|
@@ -1,33 +1,11 @@
|
|
|
1
1
|
import { PackageLocale } from '../common/index.js';
|
|
2
|
-
import { Entity } from '../entities/index.js';
|
|
3
2
|
import { TranslationPackage } from '../project/index.js';
|
|
4
3
|
import * as tree from '../tree/index.js';
|
|
5
4
|
import { AnalyzedTranslationPackage } from './AnalyzedTranslationPackage.js';
|
|
6
|
-
export type Localization = Localization.Original | Localization.Translated;
|
|
7
|
-
export declare namespace Localization {
|
|
8
|
-
export class Original implements ILocalization {
|
|
9
|
-
readonly locale: PackageLocale;
|
|
10
|
-
readonly kind = "original";
|
|
11
|
-
constructor(locale: PackageLocale);
|
|
12
|
-
equals(other: Localization): boolean;
|
|
13
|
-
static ofEntity(entity: Entity): Localization.Original;
|
|
14
|
-
}
|
|
15
|
-
export class Translated implements ILocalization {
|
|
16
|
-
readonly translation: Translation;
|
|
17
|
-
readonly kind = "translated";
|
|
18
|
-
get locale(): PackageLocale;
|
|
19
|
-
constructor(translation: Translation);
|
|
20
|
-
equals(other: Localization): boolean;
|
|
21
|
-
}
|
|
22
|
-
interface ILocalization {
|
|
23
|
-
readonly locale: PackageLocale;
|
|
24
|
-
equals(other: Localization): boolean;
|
|
25
|
-
}
|
|
26
|
-
export {};
|
|
27
|
-
}
|
|
28
5
|
export declare class Translation {
|
|
29
6
|
readonly translationPackage: AnalyzedTranslationPackage;
|
|
30
7
|
readonly definition: TranslationDefinition;
|
|
8
|
+
get locale(): PackageLocale;
|
|
31
9
|
constructor(translationPackage: AnalyzedTranslationPackage, definition: TranslationDefinition);
|
|
32
10
|
equals(other: Translation): boolean;
|
|
33
11
|
}
|
|
@@ -17,18 +17,18 @@ export declare class ArgumentWithTargetParameterInfo {
|
|
|
17
17
|
constructor(value: Argument, parameterType: types.Type);
|
|
18
18
|
}
|
|
19
19
|
export declare class TypeArgumentInferrer {
|
|
20
|
-
private readonly
|
|
21
|
-
private readonly
|
|
22
|
-
private readonly
|
|
23
|
-
private readonly
|
|
24
|
-
private readonly
|
|
25
|
-
private readonly
|
|
26
|
-
private readonly
|
|
20
|
+
private readonly analyzer;
|
|
21
|
+
private readonly typeParameters;
|
|
22
|
+
private readonly arguments;
|
|
23
|
+
private readonly analysisOptions;
|
|
24
|
+
private readonly returnType;
|
|
25
|
+
private readonly outerSubstitutions;
|
|
26
|
+
private readonly inferenceStates;
|
|
27
27
|
/**
|
|
28
28
|
* Специальный экземпляр типа, который используется как признак того, что вывод аргументов типа не удался.
|
|
29
29
|
*/
|
|
30
|
-
private readonly
|
|
31
|
-
private
|
|
30
|
+
private readonly unresolvedType;
|
|
31
|
+
private inferenceHasFailed;
|
|
32
32
|
constructor(analyzer: Analyzer, typeParameters: readonly TypeParameterEntity[], args: readonly ArgumentWithTargetParameterInfo[], analysisOptions: ExpressionAnalysisOptions, returnType: types.Type | undefined, outerTypeSubstitutions: types.Substitutions | undefined);
|
|
33
33
|
infer(): readonly types.Type[] | undefined;
|
|
34
34
|
private inferFirstStage;
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import * as types from '../types/index.js';
|
|
2
2
|
import { Analyzer } from './index.js';
|
|
3
3
|
export declare class TypeInferrer {
|
|
4
|
-
private readonly
|
|
5
|
-
private
|
|
6
|
-
private
|
|
7
|
-
private
|
|
4
|
+
private readonly analyzer;
|
|
5
|
+
private getType;
|
|
6
|
+
private typeInferringState;
|
|
7
|
+
private hasDetectedInferenceCycle_;
|
|
8
8
|
get hasDetectedInferenceCycle(): boolean;
|
|
9
9
|
constructor(analyzer: Analyzer, getType: () => types.Type);
|
|
10
10
|
inferType(): types.Type;
|
|
@@ -2,10 +2,10 @@ import { DiagnosticAcceptor } from '../diagnostic/Diagnostic.js';
|
|
|
2
2
|
import { TypeEntityMembers } from '../entities/TypeEntityMembers.js';
|
|
3
3
|
import { Analyzer } from './Analyzer.js';
|
|
4
4
|
export declare class TypeMemberConflictsValidator {
|
|
5
|
-
private readonly
|
|
6
|
-
private readonly
|
|
7
|
-
private readonly
|
|
8
|
-
constructor(
|
|
5
|
+
private readonly analyzer;
|
|
6
|
+
private readonly members;
|
|
7
|
+
private readonly diagnostics;
|
|
8
|
+
constructor(analyzer: Analyzer, members: TypeEntityMembers, diagnostics: DiagnosticAcceptor);
|
|
9
9
|
validate(): void;
|
|
10
10
|
private validateNamedMembers;
|
|
11
11
|
private validateNamedMembersWithoutIsStaticCheck;
|
|
@@ -3,9 +3,9 @@ import { TypeEntityWithMembers } from '../entities/index.js';
|
|
|
3
3
|
import * as types from '../types/index.js';
|
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
|
5
5
|
export declare class TypeMemberImplementationChecker {
|
|
6
|
-
private readonly
|
|
7
|
-
private readonly
|
|
8
|
-
constructor(
|
|
6
|
+
private readonly analyzer;
|
|
7
|
+
private readonly typeEntity;
|
|
8
|
+
constructor(analyzer: Analyzer, typeEntity: TypeEntityWithMembers);
|
|
9
9
|
check(): TypeMemberImplementationCheckResult;
|
|
10
10
|
}
|
|
11
11
|
export declare class TypeMemberImplementationCheckResult {
|
|
@@ -4,9 +4,9 @@ import * as types from '../types/index.js';
|
|
|
4
4
|
import { Analyzer } from './Analyzer.js';
|
|
5
5
|
import { SemanticContext } from './semantic-context/SemanticContext.js';
|
|
6
6
|
export declare class TypeMemberLookup {
|
|
7
|
-
private readonly
|
|
8
|
-
private readonly
|
|
9
|
-
private readonly
|
|
7
|
+
private readonly analyzer;
|
|
8
|
+
private readonly typeOrExtension;
|
|
9
|
+
private readonly contextLocale;
|
|
10
10
|
private constructor();
|
|
11
11
|
static ofType(analyzer: Analyzer, type: types.Type, contextLocale: PackageLocale | undefined): TypeMemberLookup;
|
|
12
12
|
static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, contextLocale: PackageLocale | undefined): TypeMemberLookup;
|
|
@@ -21,10 +21,10 @@ export declare class TypeMemberLookup {
|
|
|
21
21
|
getDereferenceOperators(options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.DereferenceOperator[];
|
|
22
22
|
}
|
|
23
23
|
export declare class BoundTypeMemberLookup {
|
|
24
|
-
private readonly
|
|
25
|
-
private readonly
|
|
26
|
-
private readonly
|
|
27
|
-
private readonly
|
|
24
|
+
private readonly lookup;
|
|
25
|
+
private readonly options;
|
|
26
|
+
private readonly hidingMatcher;
|
|
27
|
+
private readonly typeExtensionLookup;
|
|
28
28
|
private constructor();
|
|
29
29
|
static ofType(analyzer: Analyzer, type: types.Type, contextLocale: PackageLocale | undefined, options: TypeMemberLookupOptions | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: SemanticContext | undefined): BoundTypeMemberLookup;
|
|
30
30
|
static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, contextLocale: PackageLocale | undefined, options: TypeMemberLookupOptions | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: SemanticContext | undefined): BoundTypeMemberLookup;
|
|
@@ -4,13 +4,13 @@ import { Analyzer } from './Analyzer.js';
|
|
|
4
4
|
import * as controlFlow from './control-flow/index.js';
|
|
5
5
|
import { NarrowableReference } from './control-flow/index.js';
|
|
6
6
|
export declare class TypeNarrower {
|
|
7
|
-
private readonly
|
|
8
|
-
private readonly
|
|
9
|
-
private readonly
|
|
10
|
-
private readonly
|
|
11
|
-
private readonly
|
|
12
|
-
private readonly
|
|
13
|
-
private readonly
|
|
7
|
+
private readonly analyzer;
|
|
8
|
+
private readonly reference;
|
|
9
|
+
private readonly initialType;
|
|
10
|
+
private readonly locale;
|
|
11
|
+
private readonly controlFlowNode;
|
|
12
|
+
private readonly typeByNode;
|
|
13
|
+
private readonly isVariableAssignedInLoopCheckResults;
|
|
14
14
|
constructor(analyzer: Analyzer, reference: NarrowableReference, locale: PackageLocale, initialType: types.Type, controlFlowNode: controlFlow.Node);
|
|
15
15
|
static getTypeOfExpression(analyzer: Analyzer, referenceExpression: controlFlow.NarrowableReferenceExpression, initialType: types.Type, controlFlowNode: controlFlow.Node): types.Type;
|
|
16
16
|
getType(): types.Type;
|
|
@@ -21,12 +21,12 @@ import { Analyzer } from './index.js';
|
|
|
21
21
|
* 5. Если ни один оператор не подошёл - алгоритм завершается с соответствующим сообщением об ошибке.
|
|
22
22
|
*/
|
|
23
23
|
export declare class UserDefinableBinaryOperatorResolver {
|
|
24
|
-
private readonly
|
|
25
|
-
private readonly
|
|
26
|
-
private readonly
|
|
27
|
-
private readonly
|
|
28
|
-
private readonly
|
|
29
|
-
constructor(
|
|
24
|
+
private readonly analyzer;
|
|
25
|
+
private readonly left;
|
|
26
|
+
private readonly right;
|
|
27
|
+
private readonly operatorKind;
|
|
28
|
+
private readonly operatorNodeForDiagnostic;
|
|
29
|
+
constructor(analyzer: Analyzer, left: tree.Expression, right: tree.Expression, operatorKind: BinaryOperatorKind, operatorNodeForDiagnostic: tree.Node);
|
|
30
30
|
resolve(): WithDiagnostics<types.Operator>;
|
|
31
31
|
private chooseSuitableOperators;
|
|
32
32
|
}
|
|
@@ -14,9 +14,9 @@ import { Analyzer } from './index.js';
|
|
|
14
14
|
* Если не подошёл ни один - алгоритм завершается с соответствующим сообщением об ошибке.
|
|
15
15
|
*/
|
|
16
16
|
export declare class UserDefinableUnaryOperatorResolver {
|
|
17
|
-
private readonly
|
|
18
|
-
private readonly
|
|
17
|
+
private readonly analyzer;
|
|
18
|
+
private readonly node;
|
|
19
19
|
private get operatorKind();
|
|
20
|
-
constructor(
|
|
20
|
+
constructor(analyzer: Analyzer, node: tree.PrefixUnaryExpression);
|
|
21
21
|
resolve(): WithDiagnostics<types.Operator>;
|
|
22
22
|
}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { Entity, FunctionEntity,
|
|
1
|
+
import { Entity, FunctionEntity, StructuredTypeEntity, TypeParameterEntity, VariableEntity } from '../entities/index.js';
|
|
2
2
|
import * as tree from '../tree/index.js';
|
|
3
3
|
import * as types from '../types/index.js';
|
|
4
4
|
import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
|
|
@@ -11,7 +11,6 @@ export declare function getParentGenericSpecializationExpression(expression: tre
|
|
|
11
11
|
export declare function getGenericSpecializationExpressionOfCallee(callee: tree.Expression): tree.GenericSpecializationExpression | undefined;
|
|
12
12
|
export declare function unaliasType(type: types.Type): types.Type;
|
|
13
13
|
export declare function unaliasType(type: types.Type | undefined): types.Type | undefined;
|
|
14
|
-
export declare function getPackageContainingEntity(entity: Entity): PackageEntity;
|
|
15
14
|
export declare function findTag(tagTypeEntity: StructuredTypeEntity, tags: readonly Tag[]): TagType | undefined;
|
|
16
15
|
export declare function findTag(tagFunctionEntity: FunctionEntity, tags: readonly Tag[]): TagFunction | undefined;
|
|
17
16
|
export declare function getRequiredTypeParameterCount(typeParameters: readonly TypeParameterEntity[]): number;
|
|
@@ -38,38 +38,38 @@ export interface WellKnownDeclarations {
|
|
|
38
38
|
readonly javaScriptDecorator: StructuredTypeEntity;
|
|
39
39
|
}
|
|
40
40
|
export declare class LocalizedWellKnownDeclarations implements WellKnownDeclarations {
|
|
41
|
-
private readonly
|
|
42
|
-
private readonly
|
|
43
|
-
private
|
|
44
|
-
private
|
|
45
|
-
private
|
|
46
|
-
private
|
|
47
|
-
private
|
|
48
|
-
private
|
|
49
|
-
private
|
|
50
|
-
private
|
|
51
|
-
private
|
|
52
|
-
private
|
|
53
|
-
private
|
|
54
|
-
private
|
|
55
|
-
private
|
|
56
|
-
private
|
|
57
|
-
private
|
|
58
|
-
private
|
|
59
|
-
private
|
|
60
|
-
private
|
|
61
|
-
private
|
|
62
|
-
private
|
|
63
|
-
private
|
|
64
|
-
private
|
|
65
|
-
private
|
|
66
|
-
private
|
|
67
|
-
private
|
|
68
|
-
private
|
|
69
|
-
private
|
|
70
|
-
private
|
|
71
|
-
private
|
|
72
|
-
constructor(
|
|
41
|
+
private readonly analyzer;
|
|
42
|
+
private readonly locale;
|
|
43
|
+
private refObject_;
|
|
44
|
+
private plainObject_;
|
|
45
|
+
private number_;
|
|
46
|
+
private integer_;
|
|
47
|
+
private text_;
|
|
48
|
+
private textTemplate_;
|
|
49
|
+
private char_;
|
|
50
|
+
private yesNo_;
|
|
51
|
+
private null_;
|
|
52
|
+
private enumerable_;
|
|
53
|
+
private enumerator_;
|
|
54
|
+
private enumeratorMethod_;
|
|
55
|
+
private array_;
|
|
56
|
+
private readonlyArray_;
|
|
57
|
+
private map_;
|
|
58
|
+
private readonlyMap_;
|
|
59
|
+
private set_;
|
|
60
|
+
private readonlySet_;
|
|
61
|
+
private measure_;
|
|
62
|
+
private reference_;
|
|
63
|
+
private task_;
|
|
64
|
+
private error_;
|
|
65
|
+
private func_;
|
|
66
|
+
private parameterArray_;
|
|
67
|
+
private defaultImport_;
|
|
68
|
+
private realName_;
|
|
69
|
+
private builtIntoPlatform_;
|
|
70
|
+
private fieldProxy_;
|
|
71
|
+
private javaScriptDecorator_;
|
|
72
|
+
constructor(analyzer: Analyzer, locale: PackageLocale);
|
|
73
73
|
get refObject(): StructuredTypeEntity;
|
|
74
74
|
get plainObject(): StructuredTypeEntity;
|
|
75
75
|
get number(): StructuredTypeEntity;
|
|
@@ -4,17 +4,17 @@ import { SubprogramDeclarationOrLiteral } from '../NodeTypeUtils.js';
|
|
|
4
4
|
import { NarrowableReferenceExpression } from './NarrowableExpression.js';
|
|
5
5
|
import { Node } from './Nodes.js';
|
|
6
6
|
export declare class GraphBuilder {
|
|
7
|
-
private readonly
|
|
8
|
-
private readonly
|
|
9
|
-
private readonly
|
|
10
|
-
private readonly
|
|
11
|
-
private
|
|
12
|
-
private
|
|
13
|
-
private
|
|
14
|
-
private
|
|
15
|
-
private
|
|
16
|
-
private
|
|
17
|
-
private
|
|
7
|
+
private readonly sourceFile;
|
|
8
|
+
private readonly controlFlowNodeByReference;
|
|
9
|
+
private readonly controlFlowNodesEndingSubprogram;
|
|
10
|
+
private readonly unreachableCodeDiagnostics;
|
|
11
|
+
private isInRebuildingFinallyClauseGraphMode;
|
|
12
|
+
private currentPredecessor;
|
|
13
|
+
private currentContinueLoopTarget;
|
|
14
|
+
private currentBreakLoopTarget;
|
|
15
|
+
private currentErrorTarget;
|
|
16
|
+
private currentReturnTarget;
|
|
17
|
+
private currentRangeWithReportedUnreachableCodeDiagnostic;
|
|
18
18
|
constructor(sourceFile: SourceFile);
|
|
19
19
|
build(): GraphBuildResult;
|
|
20
20
|
private visitNode;
|
|
@@ -1,45 +1,45 @@
|
|
|
1
|
-
import { FieldEntity, LocalVariableEntity, PackageVariableEntity,
|
|
1
|
+
import { FieldEntity, LocalVariableEntity, PackageVariableEntity, ParameterEntity, TextTemplateParameterEntity } from '../../entities/VariableEntity.js';
|
|
2
2
|
import * as tree from '../../tree/index.js';
|
|
3
3
|
import { Analyzer } from '../Analyzer.js';
|
|
4
4
|
import { NarrowableReferenceExpression } from '../control-flow/NarrowableExpression.js';
|
|
5
5
|
export type NarrowableReference = NarrowableReference.LocalVariable | NarrowableReference.PackageVariable | NarrowableReference.InstanceField | NarrowableReference.StaticField | NarrowableReference.ObjectAutoVariable;
|
|
6
6
|
export declare namespace NarrowableReference {
|
|
7
7
|
export class LocalVariable implements INarrowableReference {
|
|
8
|
-
private readonly
|
|
9
|
-
readonly entity: LocalVariableEntity |
|
|
8
|
+
private readonly analyzer;
|
|
9
|
+
readonly entity: LocalVariableEntity | ParameterEntity | TextTemplateParameterEntity;
|
|
10
10
|
readonly kind = "local-variable";
|
|
11
|
-
constructor(
|
|
11
|
+
constructor(analyzer: Analyzer, entity: LocalVariableEntity | ParameterEntity | TextTemplateParameterEntity);
|
|
12
12
|
equals(other: NarrowableReference): boolean;
|
|
13
13
|
contains(_other: NarrowableReference): boolean;
|
|
14
14
|
equalsExpression(expression: NarrowableReferenceExpression): boolean;
|
|
15
15
|
containsExpression(_expression: NarrowableReferenceExpression): boolean;
|
|
16
16
|
}
|
|
17
17
|
export class PackageVariable implements INarrowableReference {
|
|
18
|
-
private readonly
|
|
18
|
+
private readonly analyzer;
|
|
19
19
|
readonly entity: PackageVariableEntity;
|
|
20
20
|
readonly kind = "package-variable";
|
|
21
|
-
constructor(
|
|
21
|
+
constructor(analyzer: Analyzer, entity: PackageVariableEntity);
|
|
22
22
|
equals(other: NarrowableReference): boolean;
|
|
23
23
|
contains(_other: NarrowableReference): boolean;
|
|
24
24
|
equalsExpression(expression: NarrowableReferenceExpression): boolean;
|
|
25
25
|
containsExpression(_expression: NarrowableReferenceExpression): boolean;
|
|
26
26
|
}
|
|
27
27
|
export class InstanceField implements INarrowableReference {
|
|
28
|
-
private readonly
|
|
28
|
+
private readonly analyzer;
|
|
29
29
|
readonly field: FieldEntity;
|
|
30
30
|
readonly receiver: NarrowableReference;
|
|
31
31
|
readonly kind = "instance-field";
|
|
32
|
-
constructor(
|
|
32
|
+
constructor(analyzer: Analyzer, field: FieldEntity, receiver: NarrowableReference);
|
|
33
33
|
equals(other: NarrowableReference): boolean;
|
|
34
34
|
contains(other: NarrowableReference): boolean;
|
|
35
35
|
equalsExpression(expression: NarrowableReferenceExpression): boolean;
|
|
36
36
|
containsExpression(expression: NarrowableReferenceExpression): boolean;
|
|
37
37
|
}
|
|
38
38
|
export class StaticField implements INarrowableReference {
|
|
39
|
-
private readonly
|
|
39
|
+
private readonly analyzer;
|
|
40
40
|
readonly field: FieldEntity;
|
|
41
41
|
readonly kind = "static-field";
|
|
42
|
-
constructor(
|
|
42
|
+
constructor(analyzer: Analyzer, field: FieldEntity);
|
|
43
43
|
equals(other: NarrowableReference): boolean;
|
|
44
44
|
contains(_other: NarrowableReference): boolean;
|
|
45
45
|
equalsExpression(expression: NarrowableReferenceExpression): boolean;
|
|
@@ -14,51 +14,27 @@ export declare class NamedDeclaration_function implements INamedDeclaration {
|
|
|
14
14
|
export type NamedDeclarationFunction = NamedDeclarationFunction_entity | NamedDeclarationFunction_typeMember;
|
|
15
15
|
export declare class NamedDeclarationFunction_entity implements INamedDeclarationFunction {
|
|
16
16
|
readonly kind = "entity";
|
|
17
|
-
private readonly _valueParameters;
|
|
18
17
|
readonly value: PackageOrNestedFunctionEntity;
|
|
19
18
|
constructor(value: PackageOrNestedFunctionEntity);
|
|
20
19
|
getName(): Name;
|
|
21
20
|
getEntity(): PackageOrNestedFunctionEntity;
|
|
22
21
|
getTypeParameterArity(): number;
|
|
23
22
|
isHidden(): EntityHidingLevel | undefined;
|
|
24
|
-
getValueParameters(): readonly ValueParameter[];
|
|
25
23
|
}
|
|
26
24
|
export declare class NamedDeclarationFunction_typeMember implements INamedDeclarationFunction {
|
|
27
25
|
readonly kind = "type-member";
|
|
28
|
-
private readonly _valueParameters;
|
|
29
26
|
readonly value: types.Method;
|
|
30
27
|
constructor(value: types.Method);
|
|
31
28
|
getName(): Name;
|
|
32
29
|
getEntity(): FunctionEntity;
|
|
33
30
|
getTypeParameterArity(): number;
|
|
34
31
|
isHidden(): EntityHidingLevel | undefined;
|
|
35
|
-
getValueParameters(): readonly ValueParameter[];
|
|
36
32
|
}
|
|
37
33
|
interface INamedDeclarationFunction {
|
|
38
34
|
getName(): Name;
|
|
39
35
|
getEntity(): FunctionEntity;
|
|
40
36
|
getTypeParameterArity(): number;
|
|
41
37
|
isHidden(): EntityHidingLevel | undefined;
|
|
42
|
-
getValueParameters(): readonly ValueParameter[];
|
|
43
|
-
}
|
|
44
|
-
export type ValueParameter = ValueParameter_entity | ValueParameter_typeMember;
|
|
45
|
-
export declare class ValueParameter_entity implements IValueParameter {
|
|
46
|
-
readonly value: VariableEntity;
|
|
47
|
-
readonly kind = "entity";
|
|
48
|
-
constructor(value: VariableEntity);
|
|
49
|
-
getName(): Name;
|
|
50
|
-
getType(): types.Type;
|
|
51
|
-
}
|
|
52
|
-
export declare class ValueParameter_typeMember implements IValueParameter {
|
|
53
|
-
readonly value: types.ValueParameter;
|
|
54
|
-
readonly kind = "type-member";
|
|
55
|
-
constructor(value: types.ValueParameter);
|
|
56
|
-
getName(): Name;
|
|
57
|
-
getType(): types.Type;
|
|
58
|
-
}
|
|
59
|
-
interface IValueParameter {
|
|
60
|
-
getName(): Name;
|
|
61
|
-
getType(): types.Type;
|
|
62
38
|
}
|
|
63
39
|
export declare class NamedDeclaration_variable implements INamedDeclaration {
|
|
64
40
|
readonly value: NamedDeclarationVariable;
|
|
@@ -10,8 +10,8 @@ export declare class FieldWithInitializerSemanticContext extends SemanticContext
|
|
|
10
10
|
readonly kind = "field-initializer";
|
|
11
11
|
readonly outer: SemanticContextContainingTypeMember;
|
|
12
12
|
protected readonly asContext: SemanticContext;
|
|
13
|
-
private readonly
|
|
14
|
-
private readonly
|
|
13
|
+
private readonly analyzer;
|
|
14
|
+
private readonly node;
|
|
15
15
|
constructor(analyzer: Analyzer, node: tree.FieldDeclaration, outer: SemanticContextContainingTypeMember);
|
|
16
16
|
isStatic(): boolean;
|
|
17
17
|
getOwnTypesOrContainersWithTypes(_hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
|