@artel/artc 0.6.25244 → 0.6.25246

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 (136) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +36 -22
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +651 -1065
  5. package/build/{chunk-V7EU2U6Y.js → chunk-BGCXIMTW.js} +2 -2
  6. package/build/{chunk-C7RKXERX.js → chunk-CNAUD5P6.js} +1 -1
  7. package/build/{chunk-BAAUJYMH.js → chunk-RIWU6SF4.js} +24430 -21532
  8. package/build/types/analysis/AnalyzedTranslationPackage.d.ts +49 -81
  9. package/build/types/analysis/Analyzer.d.ts +82 -91
  10. package/build/types/analysis/ArgumentToParameterMatchResult.d.ts +8 -10
  11. package/build/types/analysis/AutotypeCallExpressionMeaning.d.ts +3 -4
  12. package/build/types/analysis/BaseExpressionMeaning.d.ts +12 -8
  13. package/build/types/analysis/BaseMemberConflictsValidator.d.ts +8 -10
  14. package/build/types/analysis/CallExpressionMeaning.d.ts +8 -9
  15. package/build/types/analysis/ConstructorOverloadResolver.d.ts +4 -7
  16. package/build/types/analysis/DeclarationsUsageCounter.d.ts +1 -2
  17. package/build/types/analysis/DereferenceExpressionMeaning.d.ts +2 -3
  18. package/build/types/analysis/DiagnosticArgumentFactory.d.ts +18 -0
  19. package/build/types/analysis/DiagnosticCollector.d.ts +3 -3
  20. package/build/types/analysis/DisplayableEntity.d.ts +46 -0
  21. package/build/types/analysis/IdentifierExpressionMeaning.d.ts +19 -20
  22. package/build/types/analysis/ImportedPackageNameTree.d.ts +1 -7
  23. package/build/types/analysis/IndexedAccessExpressionMeaning.d.ts +7 -8
  24. package/build/types/analysis/InstanceFieldsInitializationValidator.d.ts +18 -0
  25. package/build/types/analysis/Localization.d.ts +19 -25
  26. package/build/types/analysis/MemberAccessExpressionMeaning.d.ts +32 -34
  27. package/build/types/analysis/NamedTypeResolver.d.ts +7 -10
  28. package/build/types/analysis/NamedTypeSpecifierResolver.d.ts +4 -7
  29. package/build/types/analysis/NodeTypeUtils.d.ts +1 -0
  30. package/build/types/analysis/ObjectExpressionMeaning.d.ts +12 -8
  31. package/build/types/analysis/OwnAndBaseConstructorCallsChecker.d.ts +23 -0
  32. package/build/types/analysis/PackageAndStaticVariablesInitializationValidator.d.ts +17 -0
  33. package/build/types/analysis/PackageMemberLookup.d.ts +4 -9
  34. package/build/types/analysis/PackageMemberNameConflictsValidator.d.ts +2 -2
  35. package/build/types/analysis/SourceFileMembers.d.ts +3 -3
  36. package/build/types/analysis/TagMeaning.d.ts +19 -22
  37. package/build/types/analysis/Tags.d.ts +1 -1
  38. package/build/types/analysis/TypeMemberConflictsValidator.d.ts +2 -2
  39. package/build/types/analysis/TypeMemberLookup.d.ts +23 -31
  40. package/build/types/analysis/TypeNarrower.d.ts +1 -0
  41. package/build/types/analysis/UserDefinableBinaryOperatorResolver.d.ts +1 -2
  42. package/build/types/analysis/UserDefinableUnaryOperatorResolver.d.ts +1 -2
  43. package/build/types/analysis/WellKnownDeclarations.d.ts +100 -31
  44. package/build/types/analysis/control-flow/NarrowableReference.d.ts +5 -6
  45. package/build/types/analysis/semantic-context/FieldWithInitializerSemanticContext.d.ts +5 -6
  46. package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +13 -14
  47. package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +5 -6
  48. package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +8 -9
  49. package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +5 -6
  50. package/build/types/analysis/semantic-context/TypeSemanticContext.d.ts +11 -12
  51. package/build/types/api/Api.d.ts +0 -3
  52. package/build/types/common/Displayable.d.ts +13 -0
  53. package/build/types/common/FormatString.d.ts +2 -1
  54. package/build/types/common/HelperPhrases.d.ts +2 -1
  55. package/build/types/common/Name.d.ts +9 -14
  56. package/build/types/common/TreeQuery.d.ts +6 -4
  57. package/build/types/common/WithDiagnostics.d.ts +3 -4
  58. package/build/types/common/index.d.ts +1 -1
  59. package/build/types/diagnostic/DiagnosticCode.d.ts +131 -125
  60. package/build/types/diagnostic/DiagnosticData.d.ts +7 -3
  61. package/build/types/emitter/EntityMap.d.ts +1 -0
  62. package/build/types/emitter/Transformer.d.ts +4 -2
  63. package/build/types/emitter/ir/EmitOptions.d.ts +14 -0
  64. package/build/types/emitter/ir/Nodes.d.ts +41 -25
  65. package/build/types/emitter/ir/types.d.ts +1 -1
  66. package/build/types/entities/AliasTypeEntity.d.ts +9 -41
  67. package/build/types/entities/AliasedType.d.ts +62 -0
  68. package/build/types/entities/BaseEntityHidingMatcher.d.ts +1 -1
  69. package/build/types/entities/ConstructorEntity.d.ts +10 -2
  70. package/build/types/entities/DereferenceOperatorEntity.d.ts +5 -0
  71. package/build/types/entities/DestructorEntity.d.ts +6 -2
  72. package/build/types/entities/EntityHiding.d.ts +1 -1
  73. package/build/types/entities/EntityLocalizationContext.d.ts +53 -0
  74. package/build/types/entities/FunctionEntity.d.ts +20 -0
  75. package/build/types/entities/FunctionTypeEntity.d.ts +15 -4
  76. package/build/types/entities/GetterEntity.d.ts +15 -2
  77. package/build/types/entities/IndexerEntity.d.ts +5 -0
  78. package/build/types/entities/OperatorEntity.d.ts +9 -3
  79. package/build/types/entities/PackageAliasEntity.d.ts +5 -0
  80. package/build/types/entities/PackageEntity.d.ts +8 -3
  81. package/build/types/entities/PackageMembers.d.ts +3 -2
  82. package/build/types/entities/SetterEntity.d.ts +15 -2
  83. package/build/types/entities/StructuredTypeEntity.d.ts +64 -15
  84. package/build/types/entities/TypeEntityMembers.d.ts +2 -5
  85. package/build/types/entities/TypeExtensionEntity.d.ts +9 -5
  86. package/build/types/entities/TypeMemberContainer.d.ts +2 -2
  87. package/build/types/entities/TypeParameterEntity.d.ts +26 -8
  88. package/build/types/entities/VariableEntity.d.ts +41 -1
  89. package/build/types/entities/VariantTypeEntity.d.ts +13 -4
  90. package/build/types/entities/index.d.ts +5 -4
  91. package/build/types/entities/translated/TranslatedAliasTypeEntity.d.ts +54 -0
  92. package/build/types/entities/translated/TranslatedConstructorEntity.d.ts +25 -0
  93. package/build/types/entities/translated/TranslatedDereferenceOperatorEntity.d.ts +34 -0
  94. package/build/types/entities/translated/TranslatedDestructorEntity.d.ts +24 -0
  95. package/build/types/entities/translated/TranslatedFunctionEntity.d.ts +75 -0
  96. package/build/types/entities/translated/TranslatedFunctionTypeEntity.d.ts +83 -0
  97. package/build/types/entities/translated/TranslatedGetterEntity.d.ts +25 -0
  98. package/build/types/entities/translated/TranslatedIndexerEntity.d.ts +37 -0
  99. package/build/types/entities/translated/TranslatedOperatorEntity.d.ts +35 -0
  100. package/build/types/entities/translated/TranslatedPackageEntity.d.ts +28 -0
  101. package/build/types/entities/translated/TranslatedSetterEntity.d.ts +22 -0
  102. package/build/types/entities/translated/TranslatedStructuredTypeEntity.d.ts +107 -0
  103. package/build/types/entities/translated/TranslatedTypeExtensionEntity.d.ts +28 -0
  104. package/build/types/entities/translated/TranslatedTypeParameterEntity.d.ts +46 -0
  105. package/build/types/entities/translated/TranslatedVariableEntity.d.ts +97 -0
  106. package/build/types/entities/translated/TranslatedVariantTypeEntity.d.ts +76 -0
  107. package/build/types/project/FileSystemTree.d.ts +2 -2
  108. package/build/types/project/SourcePackage.d.ts +1 -0
  109. package/build/types/services/DefinitionService.d.ts +0 -1
  110. package/build/types/services/DisplayService.d.ts +39 -134
  111. package/build/types/services/NodeSemanticInfo.d.ts +7 -7
  112. package/build/types/services/ReferencesService.d.ts +5 -3
  113. package/build/types/services/signature-help/SignatureWithValueParameters.d.ts +7 -10
  114. package/build/types/services/source-generation/EntityToSyntax.d.ts +1 -3
  115. package/build/types/services/source-generation/SourceGenerationService.d.ts +3 -4
  116. package/build/types/services/workspace/ClientTrackedSourceFiles.d.ts +5 -5
  117. package/build/types/services/workspace/CompilationController.d.ts +3 -3
  118. package/build/types/services/workspace/FileSystemTreeProviderBasedOnWatchedFileSystem.d.ts +4 -4
  119. package/build/types/services/workspace/ManuallyUpdatedFileSystemTreeProvider.d.ts +4 -4
  120. package/build/types/services/workspace/Workspace.d.ts +3 -3
  121. package/build/types/services/workspace/WorkspaceFiles.d.ts +7 -7
  122. package/build/types/tree/green/Token.d.ts +6 -7
  123. package/build/types/ts-interop/Entities.d.ts +64 -13
  124. package/build/types/ts-interop/TsInteropContext.d.ts +17 -5
  125. package/build/types/ts-interop/TsPackageContents.d.ts +2 -2
  126. package/build/types/ts-interop/TsPackageMembersCreator.d.ts +3 -3
  127. package/build/types/ts-interop/TsTypeMembersCreator.d.ts +4 -4
  128. package/build/types/types/StandardTypes.d.ts +3 -2
  129. package/build/types/types/Substitutions.d.ts +3 -0
  130. package/build/types/types/Type.d.ts +3 -0
  131. package/package.json +2 -2
  132. package/build/types/analysis/EntityLocalizationHelper.d.ts +0 -17
  133. package/build/types/analysis/FoundDeclaration.d.ts +0 -19
  134. package/build/types/analysis/LocalizationContext.d.ts +0 -15
  135. package/build/types/common/SearchName.d.ts +0 -14
  136. package/build/types/types/Internal.d.ts +0 -1
@@ -0,0 +1,97 @@
1
+ import { Localization, Translation } from '../../analysis/Localization.js';
2
+ import { Tag } from '../../analysis/Tags.js';
3
+ import { Name } from '../../common/index.js';
4
+ import * as types from '../../types/index.js';
5
+ import { EntityHidingLevel } from '../EntityHiding.js';
6
+ import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
7
+ import { GetterEntity } from '../GetterEntity.js';
8
+ import { EntityKind, TypeMemberEntityContainer } from '../index.js';
9
+ import { PackageEntity } from '../PackageEntity.js';
10
+ import { SetterEntity } from '../SetterEntity.js';
11
+ import type { FieldEntity, PackageVariableEntity, ParameterVariableEntity } from '../VariableEntity.js';
12
+ import { ParameterVariableEntityContainer, SpecialVariableEntityInfo, VariableEntityDefinition } from '../VariableEntity.js';
13
+ export declare class TranslatedPackageVariableEntity implements PackageVariableEntity {
14
+ readonly kind = EntityKind.Variable;
15
+ readonly subkind = "package";
16
+ private readonly _originalEntity;
17
+ private readonly _translation;
18
+ private readonly _name;
19
+ private readonly _localizationContext;
20
+ private readonly _containingPackage;
21
+ private readonly _type;
22
+ private readonly _getter;
23
+ private readonly _setter;
24
+ constructor(originalEntity: PackageVariableEntity, translation: Translation, name: Name, localizationContext: EntityLocalizationContext);
25
+ getContainingPackage(): PackageEntity;
26
+ getLocalization(): Localization;
27
+ getOriginalEntity(): PackageVariableEntity;
28
+ getName(): Name;
29
+ getType(): types.Type;
30
+ getDefinition(): VariableEntityDefinition;
31
+ getGetter(): GetterEntity | undefined;
32
+ getSetter(): SetterEntity | undefined;
33
+ isConstant(): boolean;
34
+ isHidden(): EntityHidingLevel | undefined;
35
+ isSpecial(): SpecialVariableEntityInfo | undefined;
36
+ getTags(): readonly Tag[];
37
+ ensureAllDiagnosticsReported?(): void;
38
+ }
39
+ export declare class TranslatedFieldEntity implements FieldEntity {
40
+ readonly kind = EntityKind.Variable;
41
+ readonly subkind = "field";
42
+ private readonly _originalEntity;
43
+ private readonly _translation;
44
+ private readonly _name;
45
+ private readonly _localizationContext;
46
+ private readonly _container;
47
+ private readonly _type;
48
+ private readonly _getter;
49
+ private readonly _setter;
50
+ private readonly _overriddenMembers;
51
+ constructor(originalEntity: FieldEntity, translation: Translation, name: Name, localizationContext: EntityLocalizationContext);
52
+ getContainer(): TypeMemberEntityContainer;
53
+ getLocalization(): Localization;
54
+ getOriginalEntity(): FieldEntity;
55
+ getName(): Name;
56
+ getType(): types.Type;
57
+ getDefinition(): VariableEntityDefinition;
58
+ isStatic(): boolean;
59
+ isOverride(): boolean;
60
+ markedBasic(): boolean;
61
+ markedAbstract(): boolean;
62
+ getOverriddenMembers(): readonly types.Field[];
63
+ isVariant(): boolean;
64
+ getGetter(): GetterEntity | undefined;
65
+ getSetter(): SetterEntity | undefined;
66
+ isConstant(): boolean;
67
+ isHidden(): EntityHidingLevel | undefined;
68
+ isSpecial(): SpecialVariableEntityInfo | undefined;
69
+ getTags(): readonly Tag[];
70
+ ensureAllDiagnosticsReported?(): void;
71
+ }
72
+ export declare class TranslatedParameterVariableEntity implements ParameterVariableEntity {
73
+ readonly kind = EntityKind.Variable;
74
+ readonly subkind = "parameter";
75
+ private readonly _originalEntity;
76
+ private readonly _translation;
77
+ private readonly _name;
78
+ private readonly _localizationContext;
79
+ private readonly _container;
80
+ private readonly _type;
81
+ constructor(originalEntity: ParameterVariableEntity, translation: Translation, name: Name, localizationContext: EntityLocalizationContext);
82
+ getContainer(): ParameterVariableEntityContainer;
83
+ isOptional(): boolean;
84
+ isVariadic(): boolean;
85
+ getLocalization(): Localization;
86
+ getOriginalEntity(): ParameterVariableEntity;
87
+ getName(): Name;
88
+ getType(): types.Type;
89
+ getDefinition(): VariableEntityDefinition;
90
+ getGetter(): GetterEntity | undefined;
91
+ getSetter(): SetterEntity | undefined;
92
+ isConstant(): boolean;
93
+ isHidden(): EntityHidingLevel | undefined;
94
+ isSpecial(): SpecialVariableEntityInfo | undefined;
95
+ getTags(): readonly Tag[];
96
+ ensureAllDiagnosticsReported?(): void;
97
+ }
@@ -0,0 +1,76 @@
1
+ import { Localization, Translation } from '../../analysis/Localization.js';
2
+ import { Tag } from '../../analysis/Tags.js';
3
+ import { Name } from '../../common/index.js';
4
+ import * as types from '../../types/Type.js';
5
+ import { EntityHidingLevel } from '../EntityHiding.js';
6
+ import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
7
+ import { EntityNaming } from '../EntityNaming.js';
8
+ import { EntityContext, EntityKind } from '../index.js';
9
+ import { PackageEntity } from '../PackageEntity.js';
10
+ import { BaseObjectType } from '../StructuredTypeEntity.js';
11
+ import { SubstitutionApplicationMode } from '../SubstitutionApplicationMode.js';
12
+ import { TypeEntityKind } from '../TypeEntity.js';
13
+ import { TypeEntityMembers } from '../TypeEntityMembers.js';
14
+ import { TypeParameterEntity } from '../TypeParameterEntity.js';
15
+ import type { AnonymousVariantTypeEntity, PackageVariantTypeEntity } from '../VariantTypeEntity.js';
16
+ import { VariantTypeEntityDefinition } from '../VariantTypeEntity.js';
17
+ export declare class TranslatedPackageVariantTypeEntity implements PackageVariantTypeEntity {
18
+ readonly kind = EntityKind.Type;
19
+ readonly typeEntityKind = TypeEntityKind.Variant;
20
+ readonly subkind = "package";
21
+ private readonly _originalEntity;
22
+ private readonly _translation;
23
+ private readonly _name;
24
+ private readonly _localizationContext;
25
+ private readonly _containingPackage;
26
+ private readonly _typeParameters;
27
+ private readonly _underlyingType;
28
+ private readonly _members;
29
+ private readonly _baseObjectType;
30
+ private readonly _context;
31
+ constructor(originalEntity: PackageVariantTypeEntity, translation: Translation, name: Name, localizationContext: EntityLocalizationContext);
32
+ getName(): Name;
33
+ getContainingPackage(): PackageEntity;
34
+ getLocalization(): Localization;
35
+ getOriginalEntity(): PackageVariantTypeEntity;
36
+ getNaming(): EntityNaming;
37
+ getTypeParameters(): readonly TypeParameterEntity[];
38
+ getUnderlyingType(): types.Type;
39
+ getMembers(): TypeEntityMembers;
40
+ getDefinition(): VariantTypeEntityDefinition;
41
+ getArity(): number;
42
+ isHidden(): EntityHidingLevel | undefined;
43
+ getTags(): readonly Tag[];
44
+ getSubstitutionApplicationMode(): SubstitutionApplicationMode;
45
+ getBaseObjectType(): BaseObjectType;
46
+ getContext(): EntityContext;
47
+ }
48
+ export declare class TranslatedAnonymousVariantTypeEntity implements AnonymousVariantTypeEntity {
49
+ readonly kind = EntityKind.Type;
50
+ readonly typeEntityKind = TypeEntityKind.Variant;
51
+ readonly subkind = "anonymous";
52
+ private readonly _originalEntity;
53
+ private readonly _translation;
54
+ private readonly _localizationContext;
55
+ private readonly _containingPackage;
56
+ private readonly _typeParameters;
57
+ private readonly _underlyingType;
58
+ private readonly _members;
59
+ private readonly _baseObjectType;
60
+ private readonly _context;
61
+ constructor(originalEntity: AnonymousVariantTypeEntity, translation: Translation, localizationContext: EntityLocalizationContext);
62
+ getContainingPackage(): PackageEntity;
63
+ getLocalization(): Localization;
64
+ getOriginalEntity(): AnonymousVariantTypeEntity;
65
+ getNaming(): EntityNaming;
66
+ getTypeParameters(): readonly TypeParameterEntity[];
67
+ getUnderlyingType(): types.Type;
68
+ getMembers(): TypeEntityMembers;
69
+ getDefinition(): VariantTypeEntityDefinition;
70
+ getArity(): number;
71
+ isHidden(): EntityHidingLevel | undefined;
72
+ getTags(): readonly Tag[];
73
+ getSubstitutionApplicationMode(): SubstitutionApplicationMode;
74
+ getBaseObjectType(): BaseObjectType;
75
+ getContext(): EntityContext;
76
+ }
@@ -1,6 +1,6 @@
1
- import { TriggeringObject } from 'reactronic';
1
+ import { ObservableObject } from 'reactronic';
2
2
  import { Uri } from '../common/index.js';
3
- export declare class FileSystemTree extends TriggeringObject implements ReadonlyFileSystemTree {
3
+ export declare class FileSystemTree extends ObservableObject implements ReadonlyFileSystemTree {
4
4
  private readonly _handleInconsistentRequestsWithoutErrors;
5
5
  private readonly _deleteEmptyDirectories;
6
6
  private readonly _rootsByScheme;
@@ -75,6 +75,7 @@ export declare class ProgramPackageConfiguration {
75
75
  }
76
76
  export declare class PackageName {
77
77
  readonly segments: ReadonlyNonEmptyArray<Name>;
78
+ get key(): string;
78
79
  constructor(segments: ReadonlyNonEmptyArray<Name>);
79
80
  static parse(name: string): PackageName;
80
81
  considerEqual(name: PackageName): boolean;
@@ -10,7 +10,6 @@ export declare class DefinitionService {
10
10
  private getDefinitionOfReference;
11
11
  private getReferenceTargetSourceLocation;
12
12
  private getReferenceTargetEntity;
13
- private createLocalizationContextForSourceGeneration;
14
13
  private getSourceLocationsOfVariableEntity;
15
14
  private getSourceLocationsOfSpecialVariable;
16
15
  private getSourceLocationOfSubprogramNode;