@artel/artc 0.6.25283 → 0.6.25285

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 (97) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +26 -14
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +828 -700
  5. package/build/{chunk-2Q4QKW7T.js → chunk-IQ4WP3GU.js} +20378 -18371
  6. package/build/{chunk-MJ2ZVHII.js → chunk-NYUW7OAM.js} +1 -1
  7. package/build/{chunk-7RAZAZE6.js → chunk-YQATIDSS.js} +2 -2
  8. package/build/types/analysis/AccessibilityCheck.d.ts +20 -0
  9. package/build/types/analysis/Analyzer.d.ts +16 -8
  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/SourceFileAnalyzer.d.ts +3 -0
  20. package/build/types/analysis/TypeArgumentInferrer.d.ts +1 -0
  21. package/build/types/analysis/TypeMemberLookup.d.ts +36 -22
  22. package/build/types/analysis/Utils.d.ts +2 -0
  23. package/build/types/analysis/WellKnownDeclarations.d.ts +11 -7
  24. package/build/types/analysis/control-flow/GraphBuilder.d.ts +4 -1
  25. package/build/types/analysis/semantic-context/FieldWithInitializerSemanticContext.d.ts +4 -2
  26. package/build/types/analysis/semantic-context/SemanticContextBase.d.ts +6 -5
  27. package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts +2 -2
  28. package/build/types/analysis/semantic-context/SemanticContextWithParent.d.ts +2 -0
  29. package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts +9 -4
  30. package/build/types/analysis/semantic-context/SubprogramBodyAndParametersSemanticContext.d.ts +5 -5
  31. package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts +2 -2
  32. package/build/types/analysis/semantic-context/TypeSemanticContext.d.ts +14 -11
  33. package/build/types/api/Api.d.ts +1 -1
  34. package/build/types/common/LocalizationHelper.d.ts +2 -2
  35. package/build/types/common/index.d.ts +0 -1
  36. package/build/types/diagnostic/DiagnosticCode.d.ts +154 -141
  37. package/build/types/emitter/Entities.d.ts +5 -4
  38. package/build/types/emitter/EntityMap.d.ts +4 -0
  39. package/build/types/emitter/IrBuilder.d.ts +1 -0
  40. package/build/types/entities/Entity.d.ts +9 -6
  41. package/build/types/entities/EntityHiding.d.ts +1 -4
  42. package/build/types/entities/EntityLocalizationContext.d.ts +3 -2
  43. package/build/types/entities/TypeEntity.d.ts +4 -3
  44. package/build/types/entities/index.d.ts +0 -2
  45. package/build/types/entities/interfaces/AliasTypeEntity.d.ts +2 -2
  46. package/build/types/entities/interfaces/ConstructorEntity.d.ts +3 -1
  47. package/build/types/entities/interfaces/DereferenceOperatorEntity.d.ts +2 -1
  48. package/build/types/entities/interfaces/DestructorEntity.d.ts +4 -1
  49. package/build/types/entities/interfaces/FunctionEntity.d.ts +3 -1
  50. package/build/types/entities/interfaces/IndexerEntity.d.ts +2 -1
  51. package/build/types/entities/interfaces/OperatorEntity.d.ts +3 -1
  52. package/build/types/entities/interfaces/ReducedTypeEntity.d.ts +99 -0
  53. package/build/types/entities/interfaces/TypeParameterEntity.d.ts +2 -2
  54. package/build/types/entities/interfaces/VariableEntity.d.ts +2 -1
  55. package/build/types/entities/interfaces/index.d.ts +1 -0
  56. package/build/types/entities/intrinsic/IntrinsicConstructorEntity.d.ts +3 -1
  57. package/build/types/entities/intrinsic/IntrinsicFunctionEntity.d.ts +2 -1
  58. package/build/types/entities/intrinsic/IntrinsicVariableEntity.d.ts +2 -1
  59. package/build/types/entities/source/SourceConstructorEntity.d.ts +6 -2
  60. package/build/types/entities/source/SourceDereferenceOperatorEntity.d.ts +3 -1
  61. package/build/types/entities/source/SourceDestructorEntity.d.ts +6 -1
  62. package/build/types/entities/source/SourceFunctionEntity.d.ts +5 -1
  63. package/build/types/entities/source/SourceIndexerEntity.d.ts +3 -1
  64. package/build/types/entities/source/SourceOperatorEntity.d.ts +5 -1
  65. package/build/types/entities/source/SourceReducedTypeEntity.d.ts +44 -0
  66. package/build/types/entities/source/SourceVariableEntity.d.ts +7 -1
  67. package/build/types/entities/source/index.d.ts +1 -0
  68. package/build/types/entities/translated/TranslatedConstructorEntity.d.ts +9 -4
  69. package/build/types/entities/translated/TranslatedDereferenceOperatorEntity.d.ts +3 -1
  70. package/build/types/entities/translated/TranslatedDestructorEntity.d.ts +4 -1
  71. package/build/types/entities/translated/TranslatedFunctionEntity.d.ts +3 -1
  72. package/build/types/entities/translated/TranslatedIndexerEntity.d.ts +3 -1
  73. package/build/types/entities/translated/TranslatedOperatorEntity.d.ts +3 -1
  74. package/build/types/entities/translated/TranslatedReducedTypeEntity.d.ts +59 -0
  75. package/build/types/entities/translated/TranslatedVariableEntity.d.ts +3 -1
  76. package/build/types/entities/translated/index.d.ts +1 -0
  77. package/build/types/project/SourceFile.d.ts +3 -1
  78. package/build/types/services/CompletionService.d.ts +5 -4
  79. package/build/types/services/DisplayService.d.ts +70 -3
  80. package/build/types/services/TranslationService.d.ts +1 -1
  81. package/build/types/services/source-generation/EntityToSyntax.d.ts +4 -0
  82. package/build/types/tree/KeywordKind.d.ts +57 -56
  83. package/build/types/tree/NodeKind.d.ts +142 -140
  84. package/build/types/tree/Nodes.d.ts +51 -11
  85. package/build/types/tree/SyntaxFactory.d.ts +2 -0
  86. package/build/types/tree/SyntaxToCode.d.ts +1 -0
  87. package/build/types/ts-interop/Entities.d.ts +10 -1
  88. package/build/types/ts-interop/TsPackageMembersCreator.d.ts +1 -1
  89. package/build/types/types/ReducedType.d.ts +24 -0
  90. package/build/types/types/Type.d.ts +2 -1
  91. package/build/types/types/TypeFactory.d.ts +3 -2
  92. package/build/types/types/index.d.ts +1 -0
  93. package/package.json +1 -1
  94. package/build/types/analysis/semantic-context/SemanticContextBasedEntityHidingMatcher.d.ts +0 -14
  95. package/build/types/entities/BaseEntityHidingMatcher.d.ts +0 -11
  96. package/build/types/entities/EntityHidingMatcherWithinTypeEntity.d.ts +0 -10
  97. package/build/types/parser/ReservedIdentifierDictionary.d.ts +0 -11
@@ -1,5 +1,4 @@
1
1
  import { Name } from '../../common/index.js';
2
- import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
3
2
  import { ConstructorEntity, OperatorKind, PackageEntity, TextTranslationEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity } from '../../entities/index.js';
4
3
  import { SourceFile } from '../../project/SourceFile.js';
5
4
  import * as tree from '../../tree/index.js';
@@ -7,7 +6,9 @@ import * as types from '../../types/index.js';
7
6
  import { Analyzer } from '../Analyzer.js';
8
7
  import { DiagnosticArgumentFactory } from '../DiagnosticArgumentFactory.js';
9
8
  import { FunctionDeclaration, GetterDeclaration, RegularOrBlockFunctionLiteral, SetterDeclaration, SubprogramDeclarationOrLiteral } from '../NodeTypeUtils.js';
9
+ import { PackageMemberLookupContext } from '../PackageMemberLookup.js';
10
10
  import { TextKey } from '../TextIdentity.js';
11
+ import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
11
12
  import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
12
13
  import { SemanticContext } from './SemanticContext.js';
13
14
  export declare abstract class SemanticContextBase {
@@ -15,21 +16,21 @@ export declare abstract class SemanticContextBase {
15
16
  protected static readonly emptyNamedDeclarations: readonly NamedDeclaration[];
16
17
  protected static readonly emptyOperators: readonly types.Operator[];
17
18
  protected static readonly emptyTypeExtensions: readonly TypeExtensionEntity[];
18
- private hidingMatcher;
19
19
  abstract readonly outer: SemanticContext | undefined;
20
20
  protected abstract readonly asContext: SemanticContext;
21
21
  abstract getContainingSubprogram(): SubprogramInfo | undefined;
22
22
  abstract getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
23
23
  abstract getTryStatementContext(): TryStatementContextKind | undefined;
24
24
  abstract isStatic(): boolean;
25
+ abstract getTypeMemberLookupContext(): TypeMemberLookupContext;
25
26
  abstract getOwnTypesOrContainersWithTypes(initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
26
27
  abstract getOwnTypesOrContainersWithTypesByName(name: Name, initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
27
- abstract getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers?: boolean): readonly NamedDeclaration[];
28
- abstract getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers?: boolean): readonly NamedDeclaration[];
28
+ abstract getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
29
+ abstract getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
29
30
  getContainingSourceFile(): SourceFile;
30
31
  getContainingPackage(): PackageEntity;
31
- getHidingMatcher(): IEntityHidingMatcher;
32
32
  getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
33
+ getPackageMemberLookupContext(): PackageMemberLookupContext;
33
34
  getTypesOrContainersWithTypes(): readonly TypeOrContainerWithTypes[];
34
35
  getTypesOrContainersWithTypesByName(name: Name): readonly TypeOrContainerWithTypes[];
35
36
  getNamedDeclarations(noInstanceMembers?: boolean): readonly NamedDeclaration[];
@@ -29,8 +29,8 @@ export declare abstract class SemanticContextValidatingNameConflictsBase extends
29
29
  protected abstract createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
30
30
  getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
31
31
  getOwnTypesOrContainersWithTypesByName(name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
32
- getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
33
- getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
32
+ getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
33
+ getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
34
34
  validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
35
35
  private getMemberEntityDictionary;
36
36
  private validateNestedFunctionsConflicts;
@@ -1,3 +1,4 @@
1
+ import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
1
2
  import { SemanticContext } from './SemanticContext.js';
2
3
  import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
3
4
  export declare abstract class SemanticContextWithParent extends SemanticContextBase {
@@ -6,4 +7,5 @@ export declare abstract class SemanticContextWithParent extends SemanticContextB
6
7
  getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
7
8
  getTryStatementContext(): TryStatementContextKind | undefined;
8
9
  isStatic(): boolean;
10
+ getTypeMemberLookupContext(): TypeMemberLookupContext;
9
11
  }
@@ -1,12 +1,13 @@
1
1
  import { Name } from '../../common/index.js';
2
2
  import { DiagnosticAcceptor } from '../../diagnostic/Diagnostic.js';
3
- import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
4
3
  import { PackageEntity, TextTranslationEntity, TypeEntity, TypeExtensionEntity } from '../../entities/index.js';
5
4
  import { SourceFile } from '../../project/SourceFile.js';
6
5
  import * as tree from '../../tree/index.js';
7
6
  import { Analyzer } from '../Analyzer.js';
8
7
  import { DiagnosticArgumentFactory } from '../DiagnosticArgumentFactory.js';
8
+ import { PackageMemberLookupContext } from '../PackageMemberLookup.js';
9
9
  import { TextKey } from '../TextIdentity.js';
10
+ import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
10
11
  import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
11
12
  import { SemanticContext } from './SemanticContext.js';
12
13
  import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
@@ -24,6 +25,8 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
24
25
  private readonly packageNameSegmentsByNameKey_;
25
26
  private readonly diagnosticArgumentFactory;
26
27
  private readonly primaryTextTranslationPackage_;
28
+ private readonly packageMemberLookupContext;
29
+ private readonly typeMemberLookupContext;
27
30
  private get packageAliasesByNameKey();
28
31
  private get packageNameSegmentsByNameKey();
29
32
  private get primaryTextTranslationPackage();
@@ -34,12 +37,14 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
34
37
  getPackage(): PackageEntity;
35
38
  getTryStatementContext(): TryStatementContextKind | undefined;
36
39
  isStatic(): boolean;
40
+ getPackageMemberLookupContext(): PackageMemberLookupContext;
41
+ getTypeMemberLookupContext(): TypeMemberLookupContext;
37
42
  getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
38
43
  getOwnTypesOrContainersWithTypes(initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
39
44
  getOwnTypesOrContainersWithTypesByName(name: Name, initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
40
- getOwnNamedDeclarations(initialContext: SemanticContext, _noInstanceMembers?: boolean): NamedDeclaration[];
41
- getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
42
- getOwnTypeExtensionsByType(type: TypeEntity, hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
45
+ getOwnNamedDeclarations(initialContext: SemanticContext, _noInstanceMembers: boolean): NamedDeclaration[];
46
+ getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
47
+ getOwnTypeExtensionsByType(type: TypeEntity, initialContext: SemanticContext): TypeExtensionEntity[];
43
48
  getTextTranslationEntityByTextKey(key: TextKey): readonly TextTranslationEntity[];
44
49
  validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
45
50
  private convertPackageMemberToNamedDeclaration;
@@ -1,8 +1,8 @@
1
1
  import { DiagnosticAcceptor } from '../../diagnostic/Diagnostic.js';
2
2
  import { ParameterEntity } from '../../entities/index.js';
3
- import { ReservedIdentifierKind } from '../../parser/ReservedIdentifierDictionary.js';
4
3
  import * as tree from '../../tree/index.js';
5
4
  import { Analyzer } from '../Analyzer.js';
5
+ import { ReservedNameKind } from '../ReservedNameDictionary.js';
6
6
  import { SemanticContext } from './SemanticContext.js';
7
7
  import { TryStatementContextKind } from './SemanticContextBase.js';
8
8
  import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
@@ -26,7 +26,7 @@ export declare abstract class SubprogramParameterListSemanticContext extends Sem
26
26
  constructor(analyzer: Analyzer, outer: SubprogramParameterListSemanticContextParent);
27
27
  protected abstract get isSetterParameterList(): boolean;
28
28
  protected abstract getParameterEntities(): readonly ParameterEntity[];
29
- protected abstract getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
29
+ protected abstract getSpecialVariableKinds(): readonly ReservedNameKind[];
30
30
  validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
31
31
  }
32
32
  export declare class ExplicitSubprogramParameterListSemanticContext extends SubprogramParameterListSemanticContext {
@@ -35,7 +35,7 @@ export declare class ExplicitSubprogramParameterListSemanticContext extends Subp
35
35
  constructor(analyzer: Analyzer, node: tree.ParameterList, outer: SubprogramParameterListSemanticContextParent);
36
36
  protected get isSetterParameterList(): boolean;
37
37
  protected getParameterEntities(): readonly ParameterEntity[];
38
- protected getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
38
+ protected getSpecialVariableKinds(): readonly ReservedNameKind[];
39
39
  protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
40
40
  protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
41
41
  }
@@ -45,7 +45,7 @@ export declare class FunctionBlockLiteralParameterListSemanticContext extends Su
45
45
  constructor(analyzer: Analyzer, node: tree.FunctionBlockLiteral, outer: SubprogramParameterListSemanticContextParent);
46
46
  protected get isSetterParameterList(): boolean;
47
47
  protected getParameterEntities(): readonly ParameterEntity[];
48
- protected getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
48
+ protected getSpecialVariableKinds(): readonly ReservedNameKind[];
49
49
  protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
50
50
  protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
51
51
  }
@@ -55,7 +55,7 @@ export declare class TranslationTextTemplateParameterListSemanticContext extends
55
55
  constructor(analyzer: Analyzer, node: tree.TranslationTextTemplate, outer: SubprogramParameterListSemanticContextParent);
56
56
  protected get isSetterParameterList(): boolean;
57
57
  protected getParameterEntities(): readonly ParameterEntity[];
58
- protected getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
58
+ protected getSpecialVariableKinds(): readonly ReservedNameKind[];
59
59
  protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
60
60
  protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
61
61
  }
@@ -20,8 +20,8 @@ export declare abstract class OutermostSemanticContextOfSubprogram extends Seman
20
20
  getTryStatementContext(): TryStatementContextKind | undefined;
21
21
  getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
22
22
  getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
23
- getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
24
- getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
23
+ getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
24
+ getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
25
25
  }
26
26
  export declare class FunctionSemanticContext extends OutermostSemanticContextOfSubprogram {
27
27
  readonly outer: SemanticContext;
@@ -1,18 +1,17 @@
1
1
  import { Name } from '../../common/index.js';
2
- import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
3
2
  import { OperatorKind } from '../../entities/index.js';
4
3
  import * as tree from '../../tree/index.js';
5
4
  import * as types from '../../types/index.js';
6
5
  import { Analyzer } from '../Analyzer.js';
7
6
  import { FunctionTypeDeclaration, StructuredTypeDeclaration, VariantTypeDeclaration } from '../NodeTypeUtils.js';
8
- import { TypeMemberLookup } from '../TypeMemberLookup.js';
7
+ import { TypeMemberLookup, TypeMemberLookupContext } from '../TypeMemberLookup.js';
9
8
  import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
10
9
  import { SemanticContext } from './SemanticContext.js';
11
10
  import { SubprogramInfo, TypeOrTypeExtension } from './SemanticContextBase.js';
12
11
  import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
13
12
  import { SemanticContextWithParent } from './SemanticContextWithParent.js';
14
13
  import { SourceFileSemanticContext } from './SourceFileSemanticContext.js';
15
- export type TypeDeclarationCreatingSemanticContext = StructuredTypeDeclaration | VariantTypeDeclaration | FunctionTypeDeclaration | tree.PackageAliasTypeDeclaration;
14
+ export type TypeDeclarationCreatingSemanticContext = StructuredTypeDeclaration | VariantTypeDeclaration | FunctionTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.PackageReducedTypeDeclaration;
16
15
  /**
17
16
  * Завершающий семантический контекст типа.
18
17
  * Поскольку контекст с параметрами типа является опциональным, необходим
@@ -24,17 +23,19 @@ export declare class OutermostSemanticContextOfType extends SemanticContextWithP
24
23
  protected readonly asContext: SemanticContext;
25
24
  private readonly analyzer;
26
25
  private readonly node;
26
+ private readonly typeMemberLookupContext;
27
27
  constructor(analyzer: Analyzer, node: TypeDeclarationCreatingSemanticContext, outer: SemanticContext);
28
28
  getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
29
29
  getContainingSubprogram(): SubprogramInfo | undefined;
30
30
  isStatic(): boolean;
31
+ getTypeMemberLookupContext(): TypeMemberLookupContext;
31
32
  getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
32
33
  getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
33
- getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
34
- getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
34
+ getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
35
+ getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
35
36
  private getContainingType;
36
37
  }
37
- type TypeDeclarationWithTypeParameters = tree.PackageStructuredTypeDeclaration | tree.PackageVariantTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.PackageFunctionTypeDeclaration;
38
+ type TypeDeclarationWithTypeParameters = tree.PackageStructuredTypeDeclaration | tree.PackageVariantTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.PackageReducedTypeDeclaration | tree.PackageFunctionTypeDeclaration;
38
39
  export declare class TypeParametersOfTypeSemanticContext extends SemanticContextValidatingNameConflictsBase {
39
40
  readonly kind = "type-parameter-of-type";
40
41
  readonly outer: OutermostSemanticContextOfType;
@@ -49,13 +50,13 @@ declare abstract class TypeOrExtensionBodySemanticContext extends SemanticContex
49
50
  protected abstract memberLookup: TypeMemberLookup;
50
51
  getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
51
52
  getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
52
- getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers?: boolean): NamedDeclaration[];
53
- getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers?: boolean): readonly NamedDeclaration[];
54
- getOwnOperators(noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly types.Operator[];
55
- getOwnOperatorsByKind(kind: OperatorKind, noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly types.Operator[];
53
+ getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean): NamedDeclaration[];
54
+ getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
55
+ getOwnOperators(initialContext: SemanticContext, noInstanceMembers?: boolean): readonly types.Operator[];
56
+ getOwnOperatorsByKind(kind: OperatorKind, initialContext: SemanticContext, noInstanceMembers?: boolean): readonly types.Operator[];
56
57
  private convertNamedMember;
57
58
  }
58
- export type TypeDeclarationWithMembersBody = tree.StructuredTypeDeclarationBody | tree.VariantTypeDeclarationBody | tree.AliasTypeDeclarationBody;
59
+ export type TypeDeclarationWithMembersBody = tree.StructuredTypeDeclarationBody | tree.VariantTypeDeclarationBody | tree.AliasTypeDeclarationBody | tree.ReducedTypeDeclarationBody;
59
60
  export type SemanticContextContainingTypeMember = TypeBodySemanticContext | TypeExtensionBodySemanticContext;
60
61
  export type TypeBodySemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfType;
61
62
  export declare class TypeBodySemanticContext extends TypeOrExtensionBodySemanticContext {
@@ -76,9 +77,11 @@ export declare class TypeExtensionBodySemanticContext extends TypeOrExtensionBod
76
77
  private readonly analyzer;
77
78
  private readonly node;
78
79
  private readonly memberLookup_;
80
+ private readonly typeMemberLookupContext;
79
81
  protected get memberLookup(): TypeMemberLookup;
80
82
  constructor(analyzer: Analyzer, node: tree.TypeExtensionDeclaration, outer: SourceFileSemanticContext);
81
83
  getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
84
+ getTypeMemberLookupContext(): TypeMemberLookupContext;
82
85
  }
83
86
  export type ParameterOfFunctionTypeSemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfType;
84
87
  export declare class ParametersOfFunctionTypeSemanticContext extends SemanticContextValidatingNameConflictsBase {
@@ -14,6 +14,7 @@ export type { Meaning as MemberAccessExpressionMeaning } from '../analysis/Membe
14
14
  export * from '../analysis/NodeTypeUtils.js';
15
15
  export type { Meaning as ObjectExpressionMeaning } from '../analysis/ObjectExpressionMeaning.js';
16
16
  export * from '../analysis/PackageMemberLookup.js';
17
+ export * from '../analysis/ReservedNameDictionary.js';
17
18
  export * as semanticContext from '../analysis/semantic-context/index.js';
18
19
  export * from '../analysis/SourceFileAnalyzer.js';
19
20
  export * from '../analysis/SourcePackageDependencyGraph.js';
@@ -36,7 +37,6 @@ export * from '../parser/CharacterCodes.js';
36
37
  export * from '../parser/KeywordDictionary.js';
37
38
  export * from '../parser/ParseNumber.js';
38
39
  export * from '../parser/Parser.js';
39
- export * from '../parser/ReservedIdentifierDictionary.js';
40
40
  export * from '../parser/Scanner.js';
41
41
  export { TokenKind as ScannerTokenKind } from '../parser/TokenKind.js';
42
42
  export * from '../parser/UnescapeText.js';
@@ -1,6 +1,6 @@
1
+ import { ReservedNameKind } from '../analysis/ReservedNameDictionary.js';
1
2
  import { OperatorKind } from '../entities/OperatorKind.js';
2
3
  import { Keyword } from '../parser/KeywordDictionary.js';
3
- import { ReservedIdentifierKind } from '../parser/ReservedIdentifierDictionary.js';
4
4
  import * as tree from '../tree/index.js';
5
5
  import { HelperPhraseKind } from './HelperPhrases.js';
6
6
  import { PackageDialect, PackageLocale } from './index.js';
@@ -8,7 +8,7 @@ export declare class LocalizationHelper {
8
8
  static localizeKeyword(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): readonly Keyword[];
9
9
  static localizeKeywordAndTakeFirst(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): string;
10
10
  static localizeKeywordAndTakeBest(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect, preferredFlags?: tree.KeywordFlags): string;
11
- static localizeReservedIdentifier(kind: ReservedIdentifierKind, locale: PackageLocale): string;
11
+ static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): string;
12
12
  static localizeHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;
13
13
  static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
14
14
  static localizeSyntacticalOperatorKind(kind: tree.OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
@@ -11,7 +11,6 @@ export * from './FormatString.js';
11
11
  export * from './HelperPhrases.js';
12
12
  export * from './Interner.js';
13
13
  export * from './JavaScriptIdentifier.js';
14
- export * from './L10nConfig.js';
15
14
  export * from './Lazy.js';
16
15
  export * from './LocalizationHelper.js';
17
16
  export * from './Logger.js';
@@ -100,147 +100,160 @@ export declare enum DiagnosticCode {
100
100
  MembersOfAspectTypeMustNotHaveBody = 2061,
101
101
  AspectTypeFieldsMustBeAbstract = 2062,
102
102
  DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 2063,
103
- AbstractFieldsMustNotHaveInitializers = 2064,
104
- PackageIsAlreadyImported = 2065,
105
- OnlySubprogramsWithReturnTypeCanReturnValue = 2066,
106
- FunctionsUsingYieldStatementCannotReturnValue = 2067,
107
- YieldStatementCannotBeUsedInAnonymousFunctions = 2068,
108
- YieldStatementCannotBeUsedHere = 2069,
109
- FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 2070,
110
- YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 2071,
111
- YieldStatementCannotBeUsedInFinallyClause = 2072,
112
- SubprogramMustReturnValue = 2073,
113
- ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 2074,
114
- TypeAliasReferencesItself = 2075,
115
- TypeParameterHasCircularConstraint = 2076,
116
- BaseTypeCausesInheritanceCycle = 2077,
117
- OnlyGenericTypesAndFunctionsCanBeSpecialized = 2078,
118
- Expected0TypeArguments = 2079,
119
- ExpectedFrom0To1TypeArguments = 2080,
120
- Type0IsNotAssignableToConstraint1 = 2081,
121
- VariableIsDeclaredButItsValueIsNeverRead = 2082,
122
- FunctionIsDeclaredButNotUsed = 2083,
123
- TypeParameterIsDeclaredButNotUsed = 2084,
124
- DefaultConstructorArgumentsMustBeNamed = 2085,
125
- IncorrectBodyOfBasicAliasTypeMethod = 2086,
126
- TheFollowingDeclarationsAreNotTranslated0 = 2087,
127
- TheFollowingDeclarationsAreNotTranslated0And1More = 2088,
128
- TheFollowingTextsAreNotTranslated0 = 2089,
129
- TheFollowingTextsAreNotTranslated0And1More = 2090,
130
- OperatorFunction0MustNotHaveParameters = 2091,
131
- OperatorFunction0MustHaveOneParameter = 2092,
132
- OperatorFunction0MustHaveNoMoreThanOneParameter = 2093,
133
- CorrespondingBasicTypeMemberNotFound = 2094,
134
- AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2095,
135
- TagNotFound = 2096,
136
- TypeOrFunctionNameExpected = 2097,
137
- PackageNameOrAliasExpected = 2098,
138
- ExpressionCanBeNull = 2099,
139
- TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2100,
140
- UnreachableCode = 2101,
141
- RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2102,
142
- RecursionOccurredWhileInferringTheTypeOfTheVariable = 2103,
143
- ScopeAlreadyContainsDeclarationWithTheSameName = 2104,
144
- ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2105,
145
- ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2106,
146
- PackageAlreadyContainsDeclarationWithTheSameName = 2107,
147
- PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2108,
148
- PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2109,
149
- PackageAliasWithTheSameNameAlreadyExits = 2110,
150
- TypeAlreadyContainsDeclarationWithTheSameName = 2111,
151
- TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2112,
152
- TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2113,
153
- TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 2114,
154
- TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2115,
155
- TypeCanHaveOnlyOneDestructor = 2116,
156
- TypeCanHaveOnlyOneDereferenceOperator = 2117,
157
- VariableIsUsedBeforeItsDeclaration = 2118,
158
- VariableMayNotHasBeenAssignedBeforeUsage = 2119,
159
- NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2120,
160
- WriteFunctionHasNoCorrespondingReadFunction = 2121,
161
- TypeCannotHaveMultipleBaseObjectTypes = 2122,
162
- TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2123,
163
- PlainObjectTypeCannotBeUsedAsBaseType = 2124,
164
- ThisTypeIsAlreadyListedInBaseTypeList = 2125,
165
- OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2126,
166
- PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 2127,
167
- AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2128,
168
- ModifierListAlreadyContains0Modifier = 2129,
169
- ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2130,
170
- _0ModifierIsNotAllowedHere = 2131,
171
- DeclarationCannotBePlacedInGroupHaving0Modifier = 2132,
172
- PackageConstructorDeclarationCannotHaveModifiers = 2133,
173
- PackageEntryPointDeclarationCannotHaveModifiers = 2134,
174
- TranslationsCannotHaveModifiers = 2135,
175
- AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2136,
176
- BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2137,
177
- OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2138,
178
- _0ModifierCannotBeUsedWith1Modifier = 2139,
179
- VariantValueCannotBeHidden = 2140,
180
- BasicModifierCanOnlyBeAppliedToObjectTypes = 2141,
181
- AbstractModifierCanOnlyBeAppliedToObjectTypes = 2142,
182
- NotBasicObjectTypesCannotHaveBasicMembers = 2143,
183
- BasicModifierCannotBeAppliedToAspectTypeFields = 2144,
184
- WriteFunctionMustHaveTheSameModifiersAsReadFunction = 2145,
185
- WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 2146,
186
- DeclarationConflictsWithBaseTypeMember0 = 2147,
187
- DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2148,
188
- DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2149,
189
- DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2150,
190
- DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2151,
191
- OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2152,
192
- OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2153,
193
- OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2154,
194
- OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 2155,
195
- OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2156,
196
- TypeDoesNotImplementMember0 = 2157,
197
- TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2158,
198
- TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2159,
199
- TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2160,
200
- TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 2161,
201
- TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2162,
202
- CannotAccessAbstractMemberOfBaseType = 2163,
203
- TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2164,
204
- TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2165,
205
- TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2166,
206
- ThisCallCausesOwnConstructorCallCycle = 2167,
207
- OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2168,
208
- BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2169,
209
- Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2170,
210
- Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2171,
211
- Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2172,
212
- ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2173,
213
- ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2174,
214
- CannotInferTypeArguments = 2175,
215
- CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2176,
216
- ConstantVariablesBustBeInitialized = 2177,
217
- VariableTypeIsNotSpecified = 2178,
218
- CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2179,
219
- TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2180,
220
- RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2181,
221
- RequiredParametersCannotFollowOptionalParameters = 2182,
222
- ExpressionCannotBeReferenced = 2183,
223
- TextIsMissingAmongPrimaryTextTranslationDefinitions = 2184,
224
- DeclarationHasAlreadyBeenTranslated = 2185,
225
- TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2186,
226
- TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2187,
227
- TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName = 2188,
228
- TranslationOfFunctionTypeMustIncludeParameterList = 2189,
229
- OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2190,
230
- Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2191,
231
- TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2192,
232
- TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2193,
233
- TextTranslationAlreadyExistsInTheTextTranslationPackage = 2194,
234
- PackageDoesNotContainImplementationOf0 = 2195,
235
- TypeDoesNotContainImplementationOf0 = 2196,
236
- ImplementationVariableMustNotBeConstOrHaveWriteFunctionToMatchInterfacePackageVariable0 = 2197,
237
- ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2198,
238
- ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2199,
239
- ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2200,
240
- ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2201,
241
- ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2202,
242
- ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2203,
243
- ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2204,
103
+ ReducedTypeMembersMustNotHaveBody = 2064,
104
+ AbstractFieldsMustNotHaveInitializers = 2065,
105
+ ReducedTypeFieldsMustNotHaveInitializers = 2066,
106
+ PackageIsAlreadyImported = 2067,
107
+ OnlySubprogramsWithReturnTypeCanReturnValue = 2068,
108
+ FunctionsUsingYieldStatementCannotReturnValue = 2069,
109
+ YieldStatementCannotBeUsedInAnonymousFunctions = 2070,
110
+ YieldStatementCannotBeUsedHere = 2071,
111
+ FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 2072,
112
+ YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 2073,
113
+ YieldStatementCannotBeUsedInFinallyBlock = 2074,
114
+ SubprogramMustReturnValue = 2075,
115
+ ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 2076,
116
+ TypeAliasReferencesItself = 2077,
117
+ ReducedTypeReferencesItself = 2078,
118
+ TypeParameterHasCircularConstraint = 2079,
119
+ BaseTypeCausesInheritanceCycle = 2080,
120
+ OnlyGenericTypesAndFunctionsCanBeSpecialized = 2081,
121
+ Expected0TypeArguments = 2082,
122
+ ExpectedFrom0To1TypeArguments = 2083,
123
+ Type0IsNotAssignableToConstraint1 = 2084,
124
+ VariableIsDeclaredButItsValueIsNeverRead = 2085,
125
+ FunctionIsDeclaredButNotUsed = 2086,
126
+ TypeParameterIsDeclaredButNotUsed = 2087,
127
+ DefaultConstructorArgumentsMustBeNamed = 2088,
128
+ IncorrectBodyOfBasicAliasTypeMethod = 2089,
129
+ TheFollowingDeclarationsAreNotTranslated0 = 2090,
130
+ TheFollowingDeclarationsAreNotTranslated0And1More = 2091,
131
+ TheFollowingTextsAreNotTranslated0 = 2092,
132
+ TheFollowingTextsAreNotTranslated0And1More = 2093,
133
+ OperatorFunction0MustNotHaveParameters = 2094,
134
+ OperatorFunction0MustHaveOneParameter = 2095,
135
+ OperatorFunction0MustHaveNoMoreThanOneParameter = 2096,
136
+ CorrespondingBasicTypeMemberNotFound = 2097,
137
+ AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2098,
138
+ TagNotFound = 2099,
139
+ TypeOrFunctionNameExpected = 2100,
140
+ PackageNameOrAliasExpected = 2101,
141
+ ExpressionCanBeNull = 2102,
142
+ TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2103,
143
+ UnreachableCode = 2104,
144
+ RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2105,
145
+ RecursionOccurredWhileInferringTheTypeOfTheVariable = 2106,
146
+ ScopeAlreadyContainsDeclarationWithTheSameName = 2107,
147
+ ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2108,
148
+ ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2109,
149
+ PackageAlreadyContainsDeclarationWithTheSameName = 2110,
150
+ PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2111,
151
+ PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2112,
152
+ PackageAliasWithTheSameNameAlreadyExits = 2113,
153
+ TypeAlreadyContainsDeclarationWithTheSameName = 2114,
154
+ TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2115,
155
+ TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2116,
156
+ TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 2117,
157
+ TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2118,
158
+ TypeCanHaveOnlyOneDestructor = 2119,
159
+ TypeCanHaveOnlyOneDereferenceOperator = 2120,
160
+ VariableIsUsedBeforeItsDeclaration = 2121,
161
+ VariableMayNotHasBeenAssignedBeforeUsage = 2122,
162
+ NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2123,
163
+ WriteFunctionHasNoCorrespondingReadFunction = 2124,
164
+ TypeCannotHaveMultipleBaseObjectTypes = 2125,
165
+ TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2126,
166
+ PlainObjectTypeCannotBeUsedAsBaseType = 2127,
167
+ ThisTypeIsAlreadyListedInBaseTypeList = 2128,
168
+ OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2129,
169
+ PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 2130,
170
+ AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2131,
171
+ ModifierListAlreadyContains0Modifier = 2132,
172
+ ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2133,
173
+ _0ModifierIsNotAllowedHere = 2134,
174
+ DeclarationCannotBePlacedInGroupHaving0Modifier = 2135,
175
+ PackageConstructorDeclarationCannotHaveModifiers = 2136,
176
+ PackageEntryPointDeclarationCannotHaveModifiers = 2137,
177
+ TranslationsCannotHaveModifiers = 2138,
178
+ AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2139,
179
+ BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2140,
180
+ OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2141,
181
+ _0ModifierCannotBeUsedWith1Modifier = 2142,
182
+ VariantValueCannotBeHidden = 2143,
183
+ BasicModifierCanOnlyBeAppliedToObjectTypes = 2144,
184
+ AbstractModifierCanOnlyBeAppliedToObjectTypes = 2145,
185
+ NotBasicObjectTypesCannotHaveBasicMembers = 2146,
186
+ BasicModifierCannotBeAppliedToAspectTypeFields = 2147,
187
+ WriteFunctionMustHaveTheSameModifiersAsReadFunction = 2148,
188
+ WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 2149,
189
+ DeclarationConflictsWithBaseTypeMember0 = 2150,
190
+ DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2151,
191
+ DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2152,
192
+ DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2153,
193
+ DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2154,
194
+ OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2155,
195
+ OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2156,
196
+ OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2157,
197
+ OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 2158,
198
+ OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2159,
199
+ TypeDoesNotImplementMember0 = 2160,
200
+ TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2161,
201
+ TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2162,
202
+ TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2163,
203
+ TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 2164,
204
+ TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2165,
205
+ CannotAccessAbstractMemberOfBaseType = 2166,
206
+ TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2167,
207
+ TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2168,
208
+ TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2169,
209
+ ThisCallCausesOwnConstructorCallCycle = 2170,
210
+ OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2171,
211
+ BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2172,
212
+ Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2173,
213
+ Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2174,
214
+ Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2175,
215
+ ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2176,
216
+ ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2177,
217
+ CannotInferTypeArguments = 2178,
218
+ CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2179,
219
+ ConstantVariablesBustBeInitialized = 2180,
220
+ VariableTypeIsNotSpecified = 2181,
221
+ CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2182,
222
+ TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2183,
223
+ RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2184,
224
+ RequiredParametersCannotFollowOptionalParameters = 2185,
225
+ ExpressionCannotBeReferenced = 2186,
226
+ TextIsMissingAmongPrimaryTextTranslationDefinitions = 2187,
227
+ DeclarationHasAlreadyBeenTranslated = 2188,
228
+ TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2189,
229
+ TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2190,
230
+ TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName = 2191,
231
+ TranslationOfFunctionTypeMustIncludeParameterList = 2192,
232
+ OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2193,
233
+ Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2194,
234
+ TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2195,
235
+ TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2196,
236
+ TextTranslationAlreadyExistsInTheTextTranslationPackage = 2197,
237
+ PackageDoesNotContainImplementationOf0 = 2198,
238
+ TypeDoesNotContainImplementationOf0 = 2199,
239
+ ImplementationVariableMustNotBeConstOrHaveWriteFunctionToMatchInterfacePackageVariable0 = 2200,
240
+ ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2201,
241
+ ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2202,
242
+ ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2203,
243
+ ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2204,
244
+ ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2205,
245
+ ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2206,
246
+ ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2207,
247
+ BreakLoopAndContinueLoopStatementsCanOnlyBeUsedInsideALoop = 2208,
248
+ BreakLoopAndContinueLoopStatementsCannotBeUsedInFinallyBlock = 2209,
249
+ TheCodeWasExpectedToBeUnreachable = 2210,
250
+ CorrespondingReductionSourceTypeMemberNotFound = 2211,
251
+ OnlyTypesPresentInBaseTypeListOrReductionSourceCanBeSpecified = 2212,
252
+ ReducedTypeMemberMustHaveTheSameHidingLevelAsReductionSourceMember = 2213,
253
+ ReducedTypeFieldMustBeConstOrHaveNoWriteFunctionToMatchReductionSourceField = 2214,
254
+ ReducedTypeMethodMustBeAsyncToMatchReductionSourceMethod = 2215,
255
+ ReducedTypeMethodMustNotBeAsyncToMatchReductionSourceMethod = 2216,
256
+ ReducedTypeMemberMustHaveNoWriteFunctionToMatchReductionSourceMember = 2217,
244
257
  CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
245
258
  SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
246
259
  ProgramWithoutMainPackageCannotBeCompiled = 3002,
@@ -118,10 +118,11 @@ export declare class TypeOrExtensionEntityDetails {
118
118
  export declare enum TypeOrExtensionEntityKind {
119
119
  StructuredType = 0,
120
120
  AliasType = 1,
121
- VariantType = 2,
122
- FunctionType = 3,
123
- ParameterType = 4,
124
- TypeExtension = 5
121
+ ReducedType = 2,
122
+ VariantType = 3,
123
+ FunctionType = 4,
124
+ ParameterType = 5,
125
+ TypeExtension = 6
125
126
  }
126
127
  export declare enum StructuredTypeKind {
127
128
  RefObject = 0,