@artel/artc 0.6.25282 → 0.6.25284

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.
Files changed (156) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +28 -20
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +1836 -1590
  5. package/build/{chunk-VVFLEWSA.js → chunk-CGOSDN2E.js} +18023 -15286
  6. package/build/{chunk-DURHSZYF.js → chunk-OBX375YX.js} +1 -1
  7. package/build/{chunk-3DN3M64Y.js → chunk-ZV3UW5X6.js} +2 -2
  8. package/build/types/analysis/AccessibilityCheck.d.ts +20 -0
  9. package/build/types/analysis/Analyzer.d.ts +53 -78
  10. package/build/types/analysis/BaseMemberConflictsValidator.d.ts +2 -4
  11. package/build/types/analysis/ConstructorCallResolver.d.ts +3 -4
  12. package/build/types/analysis/MemberAccessExpressionMeaning.d.ts +2 -1
  13. package/build/types/analysis/ModifierValidator.d.ts +17 -15
  14. package/build/types/analysis/NodeTypeUtils.d.ts +3 -3
  15. package/build/types/analysis/PackageMemberLookup.d.ts +11 -4
  16. package/build/types/analysis/ReachabilityChecker.d.ts +27 -0
  17. package/build/types/analysis/ReductionSourceMemberFinder.d.ts +20 -0
  18. package/build/types/analysis/ReservedNameDictionary.d.ts +14 -0
  19. package/build/types/analysis/ResolvedImplementationPackage.d.ts +48 -0
  20. package/build/types/analysis/SourceFileAnalyzer.d.ts +3 -0
  21. package/build/types/analysis/TypeArgumentInferrer.d.ts +1 -0
  22. package/build/types/analysis/TypeMemberLookup.d.ts +36 -22
  23. package/build/types/analysis/Utils.d.ts +2 -0
  24. package/build/types/analysis/WellKnownDeclarations.d.ts +11 -7
  25. package/build/types/analysis/control-flow/GraphBuilder.d.ts +4 -1
  26. package/build/types/analysis/semantic-context/FieldWithInitializerSemanticContext.d.ts +6 -5
  27. package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +8 -7
  28. package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +4 -5
  29. package/build/types/analysis/semantic-context/SemanticContextWithParent.d.ts +2 -0
  30. package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +11 -6
  31. package/build/types/analysis/semantic-context/SubprogramBodyAndParametersSemanticContext.d.ts +5 -5
  32. package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +4 -5
  33. package/build/types/analysis/semantic-context/TypeSemanticContext.d.ts +18 -15
  34. package/build/types/api/Api.d.ts +1 -1
  35. package/build/types/common/HelperPhrases.d.ts +2 -1
  36. package/build/types/common/LocalizationHelper.d.ts +8 -6
  37. package/build/types/common/index.d.ts +0 -1
  38. package/build/types/diagnostic/DiagnosticCode.d.ts +154 -131
  39. package/build/types/emitter/Entities.d.ts +5 -4
  40. package/build/types/emitter/EntityMap.d.ts +5 -1
  41. package/build/types/emitter/IrBuilder.d.ts +1 -0
  42. package/build/types/emitter/ir/Nodes.d.ts +11 -2
  43. package/build/types/entities/Entity.d.ts +9 -18
  44. package/build/types/entities/EntityHiding.d.ts +1 -4
  45. package/build/types/entities/EntityLocalizationContext.d.ts +3 -3
  46. package/build/types/entities/IEntity.d.ts +2 -1
  47. package/build/types/entities/OperatorKind.d.ts +6 -3
  48. package/build/types/entities/TypeEntity.d.ts +7 -6
  49. package/build/types/entities/index.d.ts +0 -2
  50. package/build/types/entities/interfaces/AliasTypeEntity.d.ts +1 -6
  51. package/build/types/entities/interfaces/ConstructorEntity.d.ts +3 -5
  52. package/build/types/entities/interfaces/DereferenceOperatorEntity.d.ts +2 -5
  53. package/build/types/entities/interfaces/DestructorEntity.d.ts +4 -5
  54. package/build/types/entities/interfaces/FunctionEntity.d.ts +3 -8
  55. package/build/types/entities/interfaces/FunctionTypeEntity.d.ts +0 -8
  56. package/build/types/entities/interfaces/GetterEntity.d.ts +0 -4
  57. package/build/types/entities/interfaces/IndexerEntity.d.ts +2 -5
  58. package/build/types/entities/interfaces/OperatorEntity.d.ts +3 -5
  59. package/build/types/entities/interfaces/PackageAliasEntity.d.ts +0 -5
  60. package/build/types/entities/interfaces/PackageEntity.d.ts +1 -9
  61. package/build/types/entities/interfaces/ReducedTypeEntity.d.ts +99 -0
  62. package/build/types/entities/interfaces/SetterEntity.d.ts +0 -4
  63. package/build/types/entities/interfaces/StructuredTypeEntity.d.ts +0 -8
  64. package/build/types/entities/interfaces/TextTranslationEntity.d.ts +1 -0
  65. package/build/types/entities/interfaces/TypeExtensionEntity.d.ts +1 -7
  66. package/build/types/entities/interfaces/TypeParameterEntity.d.ts +2 -4
  67. package/build/types/entities/interfaces/VariableEntity.d.ts +2 -11
  68. package/build/types/entities/interfaces/VariantTypeEntity.d.ts +1 -8
  69. package/build/types/entities/interfaces/index.d.ts +1 -0
  70. package/build/types/entities/intrinsic/IntrinsicConstructorEntity.d.ts +3 -1
  71. package/build/types/entities/intrinsic/IntrinsicFunctionEntity.d.ts +2 -1
  72. package/build/types/entities/intrinsic/IntrinsicFunctionTypeEntity.d.ts +3 -3
  73. package/build/types/entities/intrinsic/IntrinsicStructuredTypeEntity.d.ts +3 -3
  74. package/build/types/entities/intrinsic/IntrinsicTypeParameterEntity.d.ts +2 -4
  75. package/build/types/entities/intrinsic/IntrinsicVariableEntity.d.ts +2 -1
  76. package/build/types/entities/source/SourceAliasTypeEntity.d.ts +1 -2
  77. package/build/types/entities/source/SourceConstructorEntity.d.ts +6 -2
  78. package/build/types/entities/source/SourceDereferenceOperatorEntity.d.ts +3 -1
  79. package/build/types/entities/source/SourceDestructorEntity.d.ts +6 -1
  80. package/build/types/entities/source/SourceFunctionEntity.d.ts +5 -1
  81. package/build/types/entities/source/SourceFunctionTypeEntity.d.ts +1 -3
  82. package/build/types/entities/source/SourceIndexerEntity.d.ts +3 -1
  83. package/build/types/entities/source/SourceOperatorEntity.d.ts +5 -1
  84. package/build/types/entities/source/SourceReducedTypeEntity.d.ts +44 -0
  85. package/build/types/entities/source/SourceStructuredTypeEntity.d.ts +1 -3
  86. package/build/types/entities/source/SourceTextTranslationEntity.d.ts +1 -0
  87. package/build/types/entities/source/SourceTypeExtensionEntity.d.ts +1 -2
  88. package/build/types/entities/source/SourceTypeParameterEntity.d.ts +1 -2
  89. package/build/types/entities/source/SourceVariableEntity.d.ts +7 -1
  90. package/build/types/entities/source/SourceVariantTypeEntity.d.ts +1 -3
  91. package/build/types/entities/source/index.d.ts +1 -0
  92. package/build/types/entities/translated/TranslatedAliasTypeEntity.d.ts +1 -3
  93. package/build/types/entities/translated/TranslatedConstructorEntity.d.ts +9 -4
  94. package/build/types/entities/translated/TranslatedDereferenceOperatorEntity.d.ts +3 -1
  95. package/build/types/entities/translated/TranslatedDestructorEntity.d.ts +4 -1
  96. package/build/types/entities/translated/TranslatedFunctionEntity.d.ts +3 -1
  97. package/build/types/entities/translated/TranslatedFunctionTypeEntity.d.ts +1 -5
  98. package/build/types/entities/translated/TranslatedIndexerEntity.d.ts +3 -1
  99. package/build/types/entities/translated/TranslatedOperatorEntity.d.ts +3 -1
  100. package/build/types/entities/translated/TranslatedReducedTypeEntity.d.ts +59 -0
  101. package/build/types/entities/translated/TranslatedStructuredTypeEntity.d.ts +1 -5
  102. package/build/types/entities/translated/TranslatedTypeExtensionEntity.d.ts +1 -3
  103. package/build/types/entities/translated/TranslatedTypeParameterEntity.d.ts +1 -3
  104. package/build/types/entities/translated/TranslatedVariableEntity.d.ts +3 -1
  105. package/build/types/entities/translated/TranslatedVariantTypeEntity.d.ts +1 -5
  106. package/build/types/entities/translated/index.d.ts +1 -0
  107. package/build/types/parser/KeywordDictionary.d.ts +10 -2
  108. package/build/types/parser/TokenKind.d.ts +46 -44
  109. package/build/types/project/SourceFile.d.ts +3 -1
  110. package/build/types/services/CompletionService.d.ts +5 -4
  111. package/build/types/services/CustomRequests.d.ts +17 -6
  112. package/build/types/services/DisplayService.d.ts +78 -3
  113. package/build/types/services/LanguageServer.d.ts +3 -4
  114. package/build/types/services/ScriptEditingService.d.ts +25 -0
  115. package/build/types/services/TranslationService.d.ts +1 -1
  116. package/build/types/services/Types.d.ts +6 -0
  117. package/build/types/services/source-generation/EntityToSyntax.d.ts +16 -0
  118. package/build/types/tree/BaseNode.d.ts +56 -2
  119. package/build/types/tree/KeywordFlags.d.ts +28 -0
  120. package/build/types/tree/KeywordKind.d.ts +57 -54
  121. package/build/types/tree/NodeKind.d.ts +142 -140
  122. package/build/types/tree/Nodes.d.ts +55 -29
  123. package/build/types/tree/NodesDebug.d.ts +9 -0
  124. package/build/types/tree/OperatorKind.d.ts +6 -3
  125. package/build/types/tree/SyntaxFactory.d.ts +33 -29
  126. package/build/types/tree/SyntaxToCode.d.ts +4 -0
  127. package/build/types/tree/TokenFlags.d.ts +15 -0
  128. package/build/types/tree/TokenKind.d.ts +58 -44
  129. package/build/types/tree/Utils.d.ts +2 -2
  130. package/build/types/tree/index.d.ts +2 -1
  131. package/build/types/ts-interop/Entities.d.ts +11 -12
  132. package/build/types/ts-interop/TsInteropContext.d.ts +1 -2
  133. package/build/types/ts-interop/TsPackageMembersCreator.d.ts +1 -1
  134. package/build/types/types/AliasType.d.ts +0 -1
  135. package/build/types/types/FunctionType.d.ts +0 -1
  136. package/build/types/types/IntersectionType.d.ts +0 -1
  137. package/build/types/types/ParameterType.d.ts +0 -1
  138. package/build/types/types/ReducedType.d.ts +24 -0
  139. package/build/types/types/StructuredType.d.ts +1 -2
  140. package/build/types/types/SubstitutionStubType.d.ts +21 -0
  141. package/build/types/types/Type.d.ts +5 -3
  142. package/build/types/types/TypeFactory.d.ts +4 -2
  143. package/build/types/types/UnionType.d.ts +0 -1
  144. package/build/types/types/UnresolvedType.d.ts +0 -1
  145. package/build/types/types/VariantType.d.ts +0 -1
  146. package/build/types/types/index.d.ts +3 -1
  147. package/package.json +1 -1
  148. package/build/types/analysis/semantic-context/SemanticContextBasedEntityHidingMatcher.d.ts +0 -14
  149. package/build/types/entities/BaseEntityHidingMatcher.d.ts +0 -11
  150. package/build/types/entities/EntityHidingMatcherWithinTypeEntity.d.ts +0 -10
  151. package/build/types/parser/ReservedIdentifierDictionary.d.ts +0 -11
  152. package/build/types/services/AddBlockToScriptService.d.ts +0 -17
  153. package/build/types/services/AssignFieldService.d.ts +0 -10
  154. package/build/types/services/DeleteBlockFromScriptService.d.ts +0 -6
  155. package/build/types/tree/Token.d.ts +0 -58
  156. /package/build/types/services/{ProjectItemsService.d.ts → WorkspaceItemsService.d.ts} +0 -0
@@ -6,7 +6,7 @@ import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
6
6
  import * as tree from '../../tree/index.js';
7
7
  import * as types from '../../types/index.js';
8
8
  import { EntityHidingLevel } from '../EntityHiding.js';
9
- import { EntityKind, EntityNaming, TypeWithMembersOrExtensionEntity } from '../index.js';
9
+ import { EntityKind, EntityNaming, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
10
10
  import type { MethodEntity, PackageFunctionEntity } from '../interfaces/FunctionEntity.js';
11
11
  import { FunctionEntityDefinition } from '../interfaces/FunctionEntity.js';
12
12
  import { PackageEntity } from '../interfaces/PackageEntity.js';
@@ -53,6 +53,7 @@ export declare abstract class TranslatedMethodEntity implements MethodEntity {
53
53
  protected readonly containingEntity: TypeWithMembersOrExtensionEntity;
54
54
  private readonly returnType;
55
55
  private readonly overriddenMembers;
56
+ private readonly isPreservedReducedTypeMember_;
56
57
  constructor(analyzer: Analyzer, originalEntity: MethodEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
57
58
  abstract getTypeParameters(): readonly TypeParameterEntity[];
58
59
  abstract getParameters(): readonly ParameterEntity[];
@@ -73,6 +74,7 @@ export declare abstract class TranslatedMethodEntity implements MethodEntity {
73
74
  isModifyingOwningPlainObject(): boolean;
74
75
  isFunctionTypeInvokeMethod(): boolean;
75
76
  getOverriddenMembers(): readonly types.Method[];
77
+ isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
76
78
  isAsync(): boolean;
77
79
  isHidden(): EntityHidingLevel | undefined;
78
80
  getTags(): readonly Tag[];
@@ -7,7 +7,7 @@ import * as types from '../../types/Type.js';
7
7
  import { BaseObjectType } from '../BaseObjectType.js';
8
8
  import { EntityHidingLevel } from '../EntityHiding.js';
9
9
  import { EntityNaming } from '../EntityNaming.js';
10
- import { EntityContext, EntityKind } from '../index.js';
10
+ import { EntityKind } from '../index.js';
11
11
  import type { AnonymousFunctionTypeEntity, PackageFunctionTypeEntity } from '../interfaces/FunctionTypeEntity.js';
12
12
  import { FunctionTypeEntityDefinition } from '../interfaces/FunctionTypeEntity.js';
13
13
  import { PackageEntity } from '../interfaces/PackageEntity.js';
@@ -30,7 +30,6 @@ export declare class TranslatedPackageFunctionTypeEntity implements PackageFunct
30
30
  private readonly returnType;
31
31
  private readonly members;
32
32
  private readonly baseObjectType;
33
- private readonly context;
34
33
  constructor(originalEntity: PackageFunctionTypeEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, node: tree.FunctionTypeTranslationDeclaration | undefined);
35
34
  getName(): Name;
36
35
  getContainingPackage(): PackageEntity;
@@ -50,7 +49,6 @@ export declare class TranslatedPackageFunctionTypeEntity implements PackageFunct
50
49
  getTags(): readonly Tag[];
51
50
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
52
51
  getBaseObjectType(): BaseObjectType;
53
- getContext(): EntityContext;
54
52
  }
55
53
  export declare class TranslatedAnonymousFunctionTypeEntity implements AnonymousFunctionTypeEntity {
56
54
  readonly kind = EntityKind.Type;
@@ -63,7 +61,6 @@ export declare class TranslatedAnonymousFunctionTypeEntity implements AnonymousF
63
61
  private readonly returnType;
64
62
  private readonly members;
65
63
  private readonly baseObjectType;
66
- private readonly context;
67
64
  constructor(originalEntity: AnonymousFunctionTypeEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage);
68
65
  getContainingPackage(): PackageEntity;
69
66
  getTranslation(): Translation | undefined;
@@ -82,5 +79,4 @@ export declare class TranslatedAnonymousFunctionTypeEntity implements AnonymousF
82
79
  getTags(): readonly Tag[];
83
80
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
84
81
  getBaseObjectType(): BaseObjectType;
85
- getContext(): EntityContext;
86
82
  }
@@ -5,7 +5,7 @@ import { PackageDialect, PackageLocale } from '../../common/index.js';
5
5
  import * as tree from '../../tree/index.js';
6
6
  import * as types from '../../types/index.js';
7
7
  import { EntityHidingLevel } from '../EntityHiding.js';
8
- import { EntityKind, GetterEntity, PackageEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
8
+ import { EntityKind, GetterEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
9
9
  import type { IndexerEntity, IndexerEntityDefinition } from '../interfaces/IndexerEntity.js';
10
10
  import { ParameterEntity } from '../interfaces/VariableEntity.js';
11
11
  export declare abstract class TranslatedIndexerEntity implements IndexerEntity {
@@ -18,6 +18,7 @@ export declare abstract class TranslatedIndexerEntity implements IndexerEntity {
18
18
  private readonly getter;
19
19
  private readonly setter;
20
20
  private readonly overriddenMembers;
21
+ private readonly isPreservedReducedTypeMember_;
21
22
  constructor(originalEntity: IndexerEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
22
23
  abstract getParameters(): readonly ParameterEntity[];
23
24
  getContainingEntity(): TypeWithMembersOrExtensionEntity;
@@ -36,6 +37,7 @@ export declare abstract class TranslatedIndexerEntity implements IndexerEntity {
36
37
  isOverride(): boolean;
37
38
  markedBasic(): boolean;
38
39
  getOverriddenMembers(): readonly types.Indexer[];
40
+ isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Indexer> | undefined;
39
41
  ensureAllDiagnosticsReported?(): void;
40
42
  getTags(): readonly Tag[];
41
43
  }
@@ -6,7 +6,7 @@ import { PackageDialect, PackageLocale } from '../../common/index.js';
6
6
  import * as tree from '../../tree/index.js';
7
7
  import * as types from '../../types/index.js';
8
8
  import { EntityHidingLevel } from '../EntityHiding.js';
9
- import { EntityKind, OperatorKind, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
9
+ import { EntityKind, OperatorKind, PackageEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
10
10
  import type { OperatorEntity, OperatorEntityDefinition } from '../interfaces/OperatorEntity.js';
11
11
  import { ParameterEntity } from '../interfaces/VariableEntity.js';
12
12
  export declare abstract class TranslatedOperatorEntity implements OperatorEntity {
@@ -18,6 +18,7 @@ export declare abstract class TranslatedOperatorEntity implements OperatorEntity
18
18
  protected readonly containingEntity: TypeWithMembersOrExtensionEntity;
19
19
  private readonly returnType;
20
20
  private readonly overriddenMembers;
21
+ private readonly isPreservedReducedTypeMember_;
21
22
  constructor(analyzer: Analyzer, originalEntity: OperatorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
22
23
  abstract getParameters(): readonly ParameterEntity[];
23
24
  getContainingEntity(): TypeWithMembersOrExtensionEntity;
@@ -34,6 +35,7 @@ export declare abstract class TranslatedOperatorEntity implements OperatorEntity
34
35
  markedBasic(): boolean;
35
36
  markedAbstract(): boolean;
36
37
  getOverriddenMembers(): readonly types.Operator[];
38
+ isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Operator> | undefined;
37
39
  isHidden(): EntityHidingLevel | undefined;
38
40
  getTags(): readonly Tag[];
39
41
  }
@@ -0,0 +1,59 @@
1
+ import { AnalyzedTranslationPackage } from '../../analysis/AnalyzedTranslationPackage.js';
2
+ import { Tag } from '../../analysis/Tag.js';
3
+ import { Translation } from '../../analysis/Translation.js';
4
+ import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
5
+ import * as tree from '../../tree/index.js';
6
+ import * as types from '../../types/index.js';
7
+ import { BaseAspectTypes } from '../BaseAspectTypes.js';
8
+ import { BaseObjectType } from '../BaseObjectType.js';
9
+ import { EntityHidingLevel } from '../EntityHiding.js';
10
+ import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
11
+ import type { ReducedTypeEntity, ReducedTypeEntityDefinition } from '../index.js';
12
+ import { CycleFreeReductionSourceResolutionResult, EntityKind, ReductionSource } from '../index.js';
13
+ import { PackageEntity, TypeParameterEntity } from '../interfaces/index.js';
14
+ import { SubstitutionApplicationMode } from '../SubstitutionApplicationMode.js';
15
+ import { TypeEntityKind } from '../TypeEntity.js';
16
+ import { TypeEntityMembers } from '../TypeEntityMembers.js';
17
+ export declare class TranslatedReducedTypeEntity implements ReducedTypeEntity {
18
+ readonly kind = EntityKind.Type;
19
+ readonly typeEntityKind = TypeEntityKind.Reduced;
20
+ readonly subkind = "package";
21
+ private readonly originalEntity;
22
+ private readonly translation;
23
+ private readonly name;
24
+ private readonly translationPackage;
25
+ private readonly node;
26
+ private readonly typeParameters;
27
+ private readonly members;
28
+ private readonly reductionSource;
29
+ private readonly baseObjectType;
30
+ private readonly baseAspectTypes;
31
+ constructor(originalEntity: ReducedTypeEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, node: tree.TypeTranslationDeclaration | undefined);
32
+ getName(): Name;
33
+ getContainingPackage(): PackageEntity;
34
+ getTranslation(): Translation | undefined;
35
+ getLocale(): PackageLocale;
36
+ getDialect(): PackageDialect;
37
+ getOriginalEntity(): ReducedTypeEntity;
38
+ getReductionSource(): ReductionSource;
39
+ getTypeParameters(): readonly TypeParameterEntity[];
40
+ getMembers(): TypeEntityMembers;
41
+ getDefinition(): ReducedTypeEntityDefinition;
42
+ getArity(): number;
43
+ getBaseObjectType(): BaseObjectType;
44
+ getBaseAspectTypes(): BaseAspectTypes;
45
+ isHidden(): EntityHidingLevel | undefined;
46
+ getTags(): readonly Tag[];
47
+ getSubstitutionApplicationMode(): SubstitutionApplicationMode;
48
+ }
49
+ export declare class LocalizedReductionSource extends ReductionSource {
50
+ private readonly original;
51
+ private readonly localizationContext;
52
+ private readonly declared_;
53
+ private readonly cycleFree_;
54
+ get declared(): types.Type;
55
+ get cycleFree(): types.Type;
56
+ get causesCycle(): boolean;
57
+ constructor(original: ReductionSource, localizationContext: EntityLocalizationContext);
58
+ resolveReductionSource(circularityTrackingStack: boolean[]): CycleFreeReductionSourceResolutionResult;
59
+ }
@@ -9,7 +9,7 @@ import { BaseObjectType, CycleFreeBaseObjectTypeResolutionResult } from '../Base
9
9
  import { EntityHidingLevel } from '../EntityHiding.js';
10
10
  import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
11
11
  import { EntityNaming } from '../EntityNaming.js';
12
- import { EntityContext, EntityKind } from '../index.js';
12
+ import { EntityKind } from '../index.js';
13
13
  import { PackageEntity } from '../interfaces/PackageEntity.js';
14
14
  import type { AnonymousStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntityDefinition, StructuredTypeKind } from '../interfaces/StructuredTypeEntity.js';
15
15
  import { TypeParameterEntity } from '../interfaces/TypeParameterEntity.js';
@@ -29,7 +29,6 @@ export declare class TranslatedPackageStructuredTypeEntity implements PackageStr
29
29
  private readonly members;
30
30
  private readonly baseObjectType;
31
31
  private readonly baseAspectTypes;
32
- private readonly context;
33
32
  constructor(originalEntity: PackageStructuredTypeEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, node: tree.TypeTranslationDeclaration | undefined);
34
33
  getName(): Name;
35
34
  getContainingPackage(): PackageEntity;
@@ -50,7 +49,6 @@ export declare class TranslatedPackageStructuredTypeEntity implements PackageStr
50
49
  isHidden(): EntityHidingLevel | undefined;
51
50
  getTags(): readonly Tag[];
52
51
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
53
- getContext(): EntityContext;
54
52
  }
55
53
  export declare class TranslatedAnonymousStructuredTypeEntity implements AnonymousStructuredTypeEntity {
56
54
  readonly kind = EntityKind.Type;
@@ -62,7 +60,6 @@ export declare class TranslatedAnonymousStructuredTypeEntity implements Anonymou
62
60
  private readonly members;
63
61
  private readonly baseObjectType;
64
62
  private readonly baseAspectTypes;
65
- private readonly context;
66
63
  constructor(originalEntity: AnonymousStructuredTypeEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage);
67
64
  getContainingPackage(): PackageEntity;
68
65
  getTranslation(): Translation | undefined;
@@ -82,7 +79,6 @@ export declare class TranslatedAnonymousStructuredTypeEntity implements Anonymou
82
79
  isHidden(): EntityHidingLevel | undefined;
83
80
  getTags(): readonly Tag[];
84
81
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
85
- getContext(): EntityContext;
86
82
  }
87
83
  export declare class LocalizedBaseObjectType extends BaseObjectType {
88
84
  private readonly original;
@@ -3,7 +3,7 @@ import { Tag } from '../../analysis/Tag.js';
3
3
  import { Translation } from '../../analysis/Translation.js';
4
4
  import { PackageDialect, PackageLocale } from '../../common/index.js';
5
5
  import { EntityHidingLevel } from '../EntityHiding.js';
6
- import { EntityContext, EntityKind, NamedTypeEntity } from '../index.js';
6
+ import { EntityKind, NamedTypeEntity } from '../index.js';
7
7
  import { PackageEntity } from '../interfaces/PackageEntity.js';
8
8
  import type { TypeExtensionEntity, TypeExtensionEntityDefinition } from '../interfaces/TypeExtensionEntity.js';
9
9
  import { TypeEntityMembers } from '../TypeEntityMembers.js';
@@ -14,7 +14,6 @@ export declare class TranslatedTypeExtensionEntity implements TypeExtensionEntit
14
14
  private readonly translationPackage;
15
15
  private readonly members;
16
16
  private readonly extendedTypeEntity;
17
- private readonly context;
18
17
  constructor(originalEntity: TypeExtensionEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage);
19
18
  getMembers(): TypeEntityMembers;
20
19
  getContainingPackage(): PackageEntity;
@@ -22,7 +21,6 @@ export declare class TranslatedTypeExtensionEntity implements TypeExtensionEntit
22
21
  getDefinition(): TypeExtensionEntityDefinition;
23
22
  isHidden(): EntityHidingLevel | undefined;
24
23
  getTags(): readonly Tag[];
25
- getContext(): EntityContext;
26
24
  getTranslation(): Translation | undefined;
27
25
  getLocale(): PackageLocale;
28
26
  getDialect(): PackageDialect;
@@ -5,7 +5,7 @@ import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
5
5
  import * as types from '../../types/index.js';
6
6
  import { EntityHidingLevel } from '../EntityHiding.js';
7
7
  import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
8
- import { EntityContext, EntityKind, PackageEntity } from '../index.js';
8
+ import { EntityKind, PackageEntity } from '../index.js';
9
9
  import type { EntityContainingTypeParameter, TypeParameterEntity } from '../interfaces/TypeParameterEntity.js';
10
10
  import { CycleFreeConstraintResolutionResult, TypeParameterConstraint, TypeParameterEntityDefinition } from '../interfaces/TypeParameterEntity.js';
11
11
  import { TypeEntityKind } from '../TypeEntity.js';
@@ -19,7 +19,6 @@ export declare class TranslatedTypeParameterEntity implements TypeParameterEntit
19
19
  private readonly containingEntity;
20
20
  private readonly defaultType;
21
21
  private readonly constraint;
22
- private readonly context;
23
22
  constructor(originalEntity: TypeParameterEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: EntityContainingTypeParameter);
24
23
  getName(): Name;
25
24
  getConstraint(): TypeParameterConstraint;
@@ -34,7 +33,6 @@ export declare class TranslatedTypeParameterEntity implements TypeParameterEntit
34
33
  getLocale(): PackageLocale;
35
34
  getDialect(): PackageDialect;
36
35
  getOriginalEntity(): TypeParameterEntity;
37
- getContext(): EntityContext;
38
36
  getTags(): readonly Tag[];
39
37
  }
40
38
  export declare class LocalizedTypeParameterConstraint extends TypeParameterConstraint {
@@ -4,7 +4,7 @@ import { Translation } from '../../analysis/Translation.js';
4
4
  import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
5
5
  import * as types from '../../types/index.js';
6
6
  import { EntityHidingLevel } from '../EntityHiding.js';
7
- import { EntityKind, TypeWithMembersOrExtensionEntity } from '../index.js';
7
+ import { EntityKind, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
8
8
  import { GetterEntity } from '../interfaces/GetterEntity.js';
9
9
  import { PackageEntity } from '../interfaces/PackageEntity.js';
10
10
  import { SetterEntity } from '../interfaces/SetterEntity.js';
@@ -49,6 +49,7 @@ export declare class TranslatedFieldEntity implements FieldEntity {
49
49
  private readonly getter;
50
50
  private readonly setter;
51
51
  private readonly overriddenMembers;
52
+ private readonly isPreservedReducedTypeMember_;
52
53
  constructor(originalEntity: FieldEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
53
54
  getContainingEntity(): TypeWithMembersOrExtensionEntity;
54
55
  getContainingPackage(): PackageEntity;
@@ -64,6 +65,7 @@ export declare class TranslatedFieldEntity implements FieldEntity {
64
65
  markedBasic(): boolean;
65
66
  markedAbstract(): boolean;
66
67
  getOverriddenMembers(): readonly types.Field[];
68
+ isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
67
69
  isVariant(): boolean;
68
70
  getGetter(): GetterEntity | undefined;
69
71
  getSetter(): SetterEntity | undefined;
@@ -7,7 +7,7 @@ import * as types from '../../types/Type.js';
7
7
  import { BaseObjectType } from '../BaseObjectType.js';
8
8
  import { EntityHidingLevel } from '../EntityHiding.js';
9
9
  import { EntityNaming } from '../EntityNaming.js';
10
- import { EntityContext, EntityKind } from '../index.js';
10
+ import { EntityKind } from '../index.js';
11
11
  import { PackageEntity } from '../interfaces/PackageEntity.js';
12
12
  import { TypeParameterEntity } from '../interfaces/TypeParameterEntity.js';
13
13
  import type { AnonymousVariantTypeEntity, PackageVariantTypeEntity } from '../interfaces/VariantTypeEntity.js';
@@ -28,7 +28,6 @@ export declare class TranslatedPackageVariantTypeEntity implements PackageVarian
28
28
  private readonly underlyingType;
29
29
  private readonly members;
30
30
  private readonly baseObjectType;
31
- private readonly context;
32
31
  constructor(originalEntity: PackageVariantTypeEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, node: tree.TypeTranslationDeclaration | undefined);
33
32
  getName(): Name;
34
33
  getContainingPackage(): PackageEntity;
@@ -46,7 +45,6 @@ export declare class TranslatedPackageVariantTypeEntity implements PackageVarian
46
45
  getTags(): readonly Tag[];
47
46
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
48
47
  getBaseObjectType(): BaseObjectType;
49
- getContext(): EntityContext;
50
48
  }
51
49
  export declare class TranslatedAnonymousVariantTypeEntity implements AnonymousVariantTypeEntity {
52
50
  readonly kind = EntityKind.Type;
@@ -58,7 +56,6 @@ export declare class TranslatedAnonymousVariantTypeEntity implements AnonymousVa
58
56
  private readonly underlyingType;
59
57
  private readonly members;
60
58
  private readonly baseObjectType;
61
- private readonly context;
62
59
  constructor(originalEntity: AnonymousVariantTypeEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage);
63
60
  getContainingPackage(): PackageEntity;
64
61
  getTranslation(): Translation | undefined;
@@ -75,5 +72,4 @@ export declare class TranslatedAnonymousVariantTypeEntity implements AnonymousVa
75
72
  getTags(): readonly Tag[];
76
73
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
77
74
  getBaseObjectType(): BaseObjectType;
78
- getContext(): EntityContext;
79
75
  }
@@ -8,6 +8,7 @@ export * from './TranslatedGetterEntity.js';
8
8
  export * from './TranslatedIndexerEntity.js';
9
9
  export * from './TranslatedOperatorEntity.js';
10
10
  export * from './TranslatedPackageEntity.js';
11
+ export * from './TranslatedReducedTypeEntity.js';
11
12
  export * from './TranslatedSetterEntity.js';
12
13
  export * from './TranslatedStructuredTypeEntity.js';
13
14
  export * from './TranslatedTypeExtensionEntity.js';
@@ -1,12 +1,20 @@
1
1
  import { PackageDialect, PackageLocale } from '../common/index.js';
2
+ import { KeywordFlags } from '../tree/KeywordFlags.js';
2
3
  import { KeywordKind } from '../tree/KeywordKind.js';
3
4
  export type KeywordDictionary = Map<string, KeywordPart>;
4
- export type KeywordKindDictionary = Map<KeywordKind, Array<string>>;
5
+ export type KeywordKindDictionary = Map<KeywordKind, Array<Keyword>>;
5
6
  export declare class KeywordPart {
6
- value: string;
7
+ readonly value: string;
7
8
  keywordKind: KeywordKind;
9
+ flags: KeywordFlags;
8
10
  subsequentParts?: KeywordDictionary;
9
11
  constructor(value: string);
10
12
  }
13
+ export declare class Keyword {
14
+ readonly value: string;
15
+ readonly kind: KeywordKind;
16
+ readonly flags: KeywordFlags;
17
+ constructor(value: string, kind: KeywordKind, flags: KeywordFlags);
18
+ }
11
19
  export declare function getOrCreateKeywordDictionary(locale: PackageLocale, dialect: PackageDialect): KeywordDictionary;
12
20
  export declare function getOrCreateKeywordKindDictionary(locale: PackageLocale, dialect: PackageDialect): KeywordKindDictionary;
@@ -27,48 +27,50 @@ export declare enum TokenKind {
27
27
  BackQuote = 25,
28
28
  Bar = 26,
29
29
  BarBar = 27,
30
- Caret = 28,
31
- RightBrace = 29,
32
- RightParenthesis = 30,
33
- RightSquareBracket = 31,
34
- Colon = 32,
35
- Comma = 33,
36
- CommercialAt = 34,
37
- Dot = 35,
38
- DoublePeriod = 36,
39
- Ellipsis = 37,
40
- EqualsEquals = 38,
41
- EqualsRightAngle = 39,
42
- Exclamation = 40,
43
- ExclamationEquals = 41,
44
- RightAngle = 42,
45
- RightAngleEquals = 43,
46
- HashSign = 44,
47
- LeftAngle = 45,
48
- LeftAngleEquals = 46,
49
- LeftAngleMinus = 47,
50
- Minus = 48,
51
- MinusMinus = 49,
52
- MinusEquals = 50,
53
- MinusRightAngle = 51,
54
- LeftBrace = 52,
55
- LeftParenthesis = 53,
56
- LeftSquareBracket = 54,
57
- Plus = 55,
58
- PlusPlus = 56,
59
- PlusEquals = 57,
60
- Question = 58,
61
- QuestionQuestion = 59,
62
- Semicolon = 60,
63
- Slash = 61,
64
- SlashEquals = 62,
65
- Tilde = 63,
66
- TildeTilde = 64,
67
- Underscore = 65,
68
- Equals = 66,
69
- Percent = 67,
70
- PercentPercent = 68,
71
- BackSlash = 69,
72
- BackSlashEquals = 70,
73
- BackSlashBackSlash = 71
30
+ BarEquals = 28,
31
+ BarBarEquals = 29,
32
+ Caret = 30,
33
+ RightBrace = 31,
34
+ RightParenthesis = 32,
35
+ RightSquareBracket = 33,
36
+ Colon = 34,
37
+ Comma = 35,
38
+ CommercialAt = 36,
39
+ Dot = 37,
40
+ DoublePeriod = 38,
41
+ Ellipsis = 39,
42
+ EqualsEquals = 40,
43
+ Exclamation = 41,
44
+ ExclamationEquals = 42,
45
+ RightAngle = 43,
46
+ RightAngleRightAngle = 44,
47
+ RightAngleRightAngleRightAngle = 45,
48
+ HashSign = 46,
49
+ LeftAngle = 47,
50
+ LeftAngleLeftAngle = 48,
51
+ LeftAngleMinus = 49,
52
+ Minus = 50,
53
+ MinusMinus = 51,
54
+ MinusEquals = 52,
55
+ MinusRightAngle = 53,
56
+ LeftBrace = 54,
57
+ LeftParenthesis = 55,
58
+ LeftSquareBracket = 56,
59
+ Plus = 57,
60
+ PlusPlus = 58,
61
+ PlusEquals = 59,
62
+ Question = 60,
63
+ QuestionQuestion = 61,
64
+ Semicolon = 62,
65
+ Slash = 63,
66
+ SlashEquals = 64,
67
+ Tilde = 65,
68
+ TildeTilde = 66,
69
+ Underscore = 67,
70
+ Equals = 68,
71
+ Percent = 69,
72
+ PercentPercent = 70,
73
+ BackSlash = 71,
74
+ BackSlashEquals = 72,
75
+ BackSlashBackSlash = 73
74
76
  }
@@ -1,4 +1,4 @@
1
- import { Uri } from '../common/index.js';
1
+ import { PackageDialect, PackageLocale, Uri } from '../common/index.js';
2
2
  import * as tree from '../tree/index.js';
3
3
  import { SourcePackage } from './SourcePackage.js';
4
4
  import { TextFile } from './TextFile.js';
@@ -7,6 +7,8 @@ export declare class SourceFile extends TextFile {
7
7
  private package_;
8
8
  private readonly node;
9
9
  get package(): SourcePackage;
10
+ get locale(): PackageLocale;
11
+ get dialect(): PackageDialect;
10
12
  private constructor();
11
13
  static create(text: string, uri: Uri, version: number): SourceFile;
12
14
  /**
@@ -87,10 +87,11 @@ export declare const enum CompletionItemKind {
87
87
  TypeParameter = 17,
88
88
  FunctionType = 18,
89
89
  AliasType = 19,
90
- InvalidType = 20,
91
- Keyword = 21,
92
- TargetSignatureParameter = 22,
93
- OperatorName = 23
90
+ ReducedType = 20,
91
+ InvalidType = 21,
92
+ Keyword = 22,
93
+ TargetSignatureParameter = 23,
94
+ OperatorName = 24
94
95
  }
95
96
  export type ResolutionResult = ResolutionResult_item | ResolutionResult_notInCache;
96
97
  export declare class ResolutionResult_item {
@@ -12,7 +12,8 @@ export declare const customRequests: {
12
12
  deleteSourceFile: CustomRequestType<DeleteSourceFileParams, void>;
13
13
  getNodeRange: CustomRequestType<GetNodeRangeParams, ls.Range | null>;
14
14
  assignField: CustomRequestType<AssignFieldParams, void>;
15
- addBlockToScript: CustomRequestType<AddBlockToScriptParams, void>;
15
+ addBlocksToScript: CustomRequestType<AddBlocksToScriptParams, void>;
16
+ canDeleteBlocksFromScript: CustomRequestType<CanDeleteBlocksFromScriptParams, boolean>;
16
17
  deleteBlocksFromScript: CustomRequestType<DeleteBlocksFromScriptParams, void>;
17
18
  };
18
19
  export type GetLocalesAvailableForTranslationParams = {
@@ -74,7 +75,7 @@ export type AssignFieldParams = {
74
75
  /**
75
76
  * Путь к узлу функции, в котором нужно расположить присваивание.
76
77
  */
77
- functionNodeUri: SyntaxNodeUri;
78
+ scriptFunctionUri: SyntaxNodeUri;
78
79
  /**
79
80
  * Имя поля.
80
81
  */
@@ -90,15 +91,25 @@ export type AssignFieldParams = {
90
91
  */
91
92
  lastAssignmentNodeUri?: SyntaxNodeUri;
92
93
  };
93
- export type AddBlockToScriptParams = {
94
- functionNodeUri: SyntaxNodeUri;
94
+ export type AddBlocksToScriptParams = ScriptBlocksAddedToOuterScript[];
95
+ export type ScriptBlocksAddedToOuterScript = {
96
+ outerScriptFunctionUri: SyntaxNodeUri;
97
+ values: AddedScriptBlock[];
98
+ };
99
+ export type AddedScriptBlock = {
95
100
  name: string;
96
101
  key: string;
97
- elementProperties: {
102
+ areaIndex?: string;
103
+ elementProperties?: {
98
104
  [T in string]: string;
99
105
  };
106
+ nestedBlocks?: AddedScriptBlock[];
107
+ };
108
+ export type CanDeleteBlocksFromScriptParams = {
109
+ outerScriptFunctionUri: SyntaxNodeUri;
110
+ scriptFunctionUris: SyntaxNodeUri[];
100
111
  };
101
112
  export type DeleteBlocksFromScriptParams = {
102
- functionNodeUris: SyntaxNodeUri[];
113
+ scriptFunctionUris: SyntaxNodeUri[];
103
114
  };
104
115
  export {};