@artel/artc 0.6.25224 → 0.6.25226

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 (84) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +81 -79
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +995 -1001
  5. package/build/{chunk-62KHK23H.js → chunk-MHPX52MT.js} +3 -3
  6. package/build/{chunk-24QZJOMF.js → chunk-VRQPLLYS.js} +5414 -5323
  7. package/build/{chunk-Y6DODJCG.js → chunk-YNR2KYMJ.js} +3 -3
  8. package/build/types/analysis/AccessedFunction.d.ts +53 -0
  9. package/build/types/analysis/AnalyzedTranslationPackage.d.ts +15 -15
  10. package/build/types/analysis/Analyzer.d.ts +133 -124
  11. package/build/types/analysis/CallExpressionMeaning.d.ts +10 -10
  12. package/build/types/analysis/DiagnosticCollector.d.ts +16 -16
  13. package/build/types/analysis/EntityLocalizationHelper.d.ts +6 -6
  14. package/build/types/analysis/IdentifierExpressionMeaning.d.ts +10 -10
  15. package/build/types/analysis/LocalizationContext.d.ts +2 -2
  16. package/build/types/analysis/{PropertyAccessExpressionMeaning.d.ts → MemberAccessExpressionMeaning.d.ts} +20 -20
  17. package/build/types/analysis/NodeTypeUtils.d.ts +13 -13
  18. package/build/types/analysis/OperationOverloadResolver.d.ts +1 -1
  19. package/build/types/analysis/Scope.d.ts +15 -15
  20. package/build/types/analysis/SemanticContext.d.ts +29 -29
  21. package/build/types/analysis/SemanticContextBuilder.d.ts +22 -22
  22. package/build/types/analysis/SourceFileMembers.d.ts +2 -2
  23. package/build/types/analysis/StatementBlockScopeBuilder.d.ts +12 -12
  24. package/build/types/analysis/{SubstitutedMethod.d.ts → SubstitutedFunction.d.ts} +14 -14
  25. package/build/types/analysis/TagMeaning.d.ts +19 -19
  26. package/build/types/analysis/Tags.d.ts +6 -6
  27. package/build/types/analysis/Utils.d.ts +3 -3
  28. package/build/types/analysis/WellKnownDeclarations.d.ts +4 -4
  29. package/build/types/analysis/control-flow/NarrowableExpression.d.ts +1 -1
  30. package/build/types/api/Api.d.ts +3 -3
  31. package/build/types/diagnostic/DiagnosticCode.d.ts +125 -126
  32. package/build/types/emitter/EmitPhaseName.d.ts +8 -8
  33. package/build/types/emitter/Emitter.d.ts +4 -4
  34. package/build/types/emitter/EmitterContext.d.ts +2 -2
  35. package/build/types/emitter/Entities.d.ts +26 -25
  36. package/build/types/emitter/EntityMap.d.ts +8 -8
  37. package/build/types/emitter/IrBuilder.d.ts +18 -18
  38. package/build/types/emitter/IrToJs.d.ts +9 -9
  39. package/build/types/emitter/Transformer.d.ts +37 -37
  40. package/build/types/emitter/ir/AccessedEntities.d.ts +5 -5
  41. package/build/types/emitter/ir/ComputedAccess.d.ts +5 -5
  42. package/build/types/emitter/ir/EmitOptions.d.ts +41 -27
  43. package/build/types/emitter/ir/Nodes.d.ts +140 -139
  44. package/build/types/emitter/ir/types.d.ts +8 -8
  45. package/build/types/entities/ConstructorEntity.d.ts +9 -9
  46. package/build/types/entities/DereferenceOperatorEntity.d.ts +4 -4
  47. package/build/types/entities/DestructorEntity.d.ts +4 -4
  48. package/build/types/entities/{MethodEntity.d.ts → FunctionEntity.d.ts} +36 -36
  49. package/build/types/entities/{MethodTypeEntity.d.ts → FunctionTypeEntity.d.ts} +23 -23
  50. package/build/types/entities/GetterEntity.d.ts +9 -9
  51. package/build/types/entities/IndexerEntity.d.ts +4 -4
  52. package/build/types/entities/SetterEntity.d.ts +9 -9
  53. package/build/types/entities/TypeEntity.d.ts +3 -3
  54. package/build/types/entities/TypeEntityMembers.d.ts +3 -3
  55. package/build/types/entities/TypeParameterEntity.d.ts +2 -2
  56. package/build/types/entities/VariableEntity.d.ts +32 -32
  57. package/build/types/entities/index.d.ts +14 -14
  58. package/build/types/services/CompletionService.d.ts +8 -8
  59. package/build/types/services/DisplayService.d.ts +62 -62
  60. package/build/types/services/HoverService.d.ts +1 -1
  61. package/build/types/services/NodeSemanticInfo.d.ts +17 -17
  62. package/build/types/services/SemanticTokensService.d.ts +6 -6
  63. package/build/types/services/SourceFileItemsService.d.ts +11 -11
  64. package/build/types/services/TypeDefinitionService.d.ts +2 -2
  65. package/build/types/services/signature-help/SignatureWithValueParameters.d.ts +10 -10
  66. package/build/types/services/signature-help/TypeParameterSignatureHelpProvider.d.ts +1 -1
  67. package/build/types/services/source-generation/EntityToSyntax.d.ts +9 -9
  68. package/build/types/tree/NodeKind.d.ts +146 -148
  69. package/build/types/tree/green/Nodes.d.ts +119 -139
  70. package/build/types/tree/green/SyntaxFactory.d.ts +19 -19
  71. package/build/types/tree/green/SyntaxToCode.d.ts +20 -22
  72. package/build/types/tree/red/Nodes.d.ts +165 -189
  73. package/build/types/ts-interop/Entities.d.ts +28 -28
  74. package/build/types/ts-interop/TsInteropContext.d.ts +1 -1
  75. package/build/types/ts-interop/TsPackageMembersCreator.d.ts +1 -1
  76. package/build/types/ts-interop/TsTypeMembersCreator.d.ts +1 -1
  77. package/build/types/types/{MethodType.d.ts → FunctionType.d.ts} +6 -6
  78. package/build/types/types/StandardTypes.d.ts +2 -2
  79. package/build/types/types/Type.d.ts +2 -2
  80. package/build/types/types/TypeFactory.d.ts +6 -7
  81. package/build/types/types/TypeMembers.d.ts +8 -8
  82. package/build/types/types/index.d.ts +1 -1
  83. package/package.json +1 -1
  84. package/build/types/analysis/AccessedMethod.d.ts +0 -53
@@ -1,5 +1,5 @@
1
1
  import { SearchName } from '../common/index.js';
2
- import { PackageAliasEntity, PackageMethodEntity, PackageTypeEntity, PackageVariableEntity, TypeExtensionEntity } from '../entities/index.js';
2
+ import { PackageAliasEntity, PackageFunctionEntity, PackageTypeEntity, PackageVariableEntity, TypeExtensionEntity } from '../entities/index.js';
3
3
  export declare class SourceFileMembers {
4
4
  private readonly _namedMembers;
5
5
  private readonly _typeExtensions;
@@ -12,4 +12,4 @@ export declare class SourceFileMembers {
12
12
  getPackageAliasesByName(name: SearchName): readonly PackageAliasEntity[];
13
13
  getTypeExtensions(): readonly TypeExtensionEntity[];
14
14
  }
15
- export type NamedSourceFileMemberEntity = PackageTypeEntity | PackageVariableEntity | PackageMethodEntity | PackageAliasEntity;
15
+ export type NamedSourceFileMemberEntity = PackageTypeEntity | PackageVariableEntity | PackageFunctionEntity | PackageAliasEntity;
@@ -6,20 +6,20 @@ export declare class StatementBlockScopeBuilder {
6
6
  static buildStatementBlockScope(analyzer: Analyzer, node: tree.StatementBlock): IScope;
7
7
  static buildGenericScopeForFunctionBlock(analyzer: Analyzer, node: tree.FunctionBlock): IScope;
8
8
  static buildGenericScopeForStatementBlock(analyzer: Analyzer, node: tree.StatementBlock): IScope;
9
- static buildScopeForMethodBlockLiteral(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.MethodBlockLiteral): IScope;
10
- static buildScopeForPackageMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageMethodDeclaration): IScope;
11
- static buildScopeForTypeVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeVariableGetterDeclaration): IScope;
12
- static buildScopeForTypeVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeVariableSetterDeclaration): IScope;
9
+ static buildScopeForFunctionBlockLiteral(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.FunctionBlockLiteral): IScope;
10
+ static buildScopeForPackageFunctionDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageFunctionDeclaration): IScope;
11
+ static buildScopeForFieldGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.FieldGetterDeclaration): IScope;
12
+ static buildScopeForFieldSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.FieldSetterDeclaration): IScope;
13
13
  static buildScopeForPackageVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageVariableGetterDeclaration): IScope;
14
14
  static buildScopeForPackageVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageVariableSetterDeclaration): IScope;
15
- static buildScopeForTypeIndexedGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeIndexedGetterDeclaration): IScope;
16
- static buildScopeForTypeIndexedSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeIndexedSetterDeclaration): IScope;
17
- static buildScopeForTypeDereferencedVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeDereferencedVariableGetterDeclaration): IScope;
18
- static buildScopeForTypeDereferencedVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeDereferencedVariableSetterDeclaration): IScope;
19
- static buildScopeForNestedMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.NestedMethodDeclaration): IScope;
20
- static buildScopeForMethodLiteral(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.MethodLiteral): IScope;
21
- static buildScopeForTypeConstructorDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeConstructorDeclaration): IScope;
22
- static buildScopeForTypeMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeMethodDeclaration): IScope;
15
+ static buildScopeForIndexedElementGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.IndexedElementGetterDeclaration): IScope;
16
+ static buildScopeForIndexedElementSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.IndexedElementSetterDeclaration): IScope;
17
+ static buildScopeForDereferencedVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.DereferencedVariableGetterDeclaration): IScope;
18
+ static buildScopeForDereferencedVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.DereferencedVariableSetterDeclaration): IScope;
19
+ static buildScopeForNestedFunctionDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.NestedFunctionDeclaration): IScope;
20
+ static buildScopeForFunctionLiteral(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.FunctionLiteral): IScope;
21
+ static buildScopeForConstructorDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.ConstructorDeclaration): IScope;
22
+ static buildScopeForMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.MethodDeclaration): IScope;
23
23
  static buildScopeForOperatorDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.OperatorDeclaration): IScope;
24
24
  private static getLocalNamedDeclarationsOfFunctionBlock;
25
25
  private static getLocalNamedDeclarations;
@@ -1,17 +1,17 @@
1
1
  import { Name } from '../common/index.js';
2
- import { MethodEntity, ParameterVariableEntity } from '../entities/index.js';
2
+ import { FunctionEntity, ParameterVariableEntity } from '../entities/index.js';
3
3
  import * as types from '../types/index.js';
4
- export type SubstitutedMethod = SubstitutedMethod_entity | SubstitutedMethod_typeMember;
5
- export declare class SubstitutedMethod_entity implements ISubstitutedMethod {
6
- readonly entity: MethodEntity;
7
- readonly entitySignatureType: types.MethodType;
4
+ export type SubstitutedFunction = SubstitutedFunction_entity | SubstitutedFunction_typeMember;
5
+ export declare class SubstitutedFunction_entity implements ISubstitutedFunction {
6
+ readonly entity: FunctionEntity;
7
+ readonly entitySignatureType: types.FunctionType;
8
8
  readonly substitutions: types.Substitutions;
9
9
  readonly kind = "entity";
10
10
  private readonly _signatureType;
11
- constructor(entity: MethodEntity, entitySignatureType: types.MethodType, substitutions: types.Substitutions);
12
- getEntity(): MethodEntity;
11
+ constructor(entity: FunctionEntity, entitySignatureType: types.FunctionType, substitutions: types.Substitutions);
12
+ getEntity(): FunctionEntity;
13
13
  getName(): Name;
14
- getSignatureType(): types.MethodType;
14
+ getSignatureType(): types.FunctionType;
15
15
  getSubstitutions(): types.Substitutions;
16
16
  getValueParameters(): readonly {
17
17
  entity: ParameterVariableEntity;
@@ -19,15 +19,15 @@ export declare class SubstitutedMethod_entity implements ISubstitutedMethod {
19
19
  }[];
20
20
  isAsync(): boolean;
21
21
  }
22
- export declare class SubstitutedMethod_typeMember implements ISubstitutedMethod {
22
+ export declare class SubstitutedFunction_typeMember implements ISubstitutedFunction {
23
23
  readonly method: types.Method;
24
24
  readonly substitutions: types.Substitutions;
25
25
  readonly kind = "type-member";
26
26
  private readonly _signatureType;
27
27
  constructor(method: types.Method, substitutions: types.Substitutions);
28
- getEntity(): MethodEntity;
28
+ getEntity(): FunctionEntity;
29
29
  getName(): Name;
30
- getSignatureType(): types.MethodType;
30
+ getSignatureType(): types.FunctionType;
31
31
  getSubstitutions(): types.Substitutions;
32
32
  getValueParameters(): readonly {
33
33
  entity: ParameterVariableEntity;
@@ -35,10 +35,10 @@ export declare class SubstitutedMethod_typeMember implements ISubstitutedMethod
35
35
  }[];
36
36
  isAsync(): boolean;
37
37
  }
38
- interface ISubstitutedMethod {
39
- getEntity(): MethodEntity;
38
+ interface ISubstitutedFunction {
39
+ getEntity(): FunctionEntity;
40
40
  getName(): Name;
41
- getSignatureType(): types.MethodType;
41
+ getSignatureType(): types.FunctionType;
42
42
  getSubstitutions(): types.Substitutions;
43
43
  getValueParameters(): readonly {
44
44
  entity: ParameterVariableEntity;
@@ -1,8 +1,8 @@
1
1
  import { Diagnostic } from '../diagnostic/Diagnostic.js';
2
- import { MethodEntity, NamedTypeEntity, PackageAliasEntity } from '../entities/index.js';
2
+ import { FunctionEntity, NamedTypeEntity, PackageAliasEntity } from '../entities/index.js';
3
3
  import { Tag } from '../tree/index.js';
4
4
  import * as types from '../types/index.js';
5
- import { AccessedMethod } from './AccessedMethod.js';
5
+ import { AccessedFunction } from './AccessedFunction.js';
6
6
  import { FoundAnonymousDeclaration, FoundNamedDeclaration } from './FoundDeclaration.js';
7
7
  import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
8
8
  import { Analyzer } from './index.js';
@@ -19,9 +19,9 @@ export declare class Resolver {
19
19
  private resolveNameInPackage;
20
20
  private resolveTypeOverload;
21
21
  private resolveTagType;
22
- private resolveTagMethod;
23
- private createAccessedMethod;
24
- private resolveMethodOverload;
22
+ private resolveTagFunction;
23
+ private createAccessedFunction;
24
+ private resolveFunctionOverload;
25
25
  }
26
26
  export declare class ResolutionResult {
27
27
  readonly meaning: Meaning;
@@ -30,7 +30,7 @@ export declare class ResolutionResult {
30
30
  readonly ambiguousDeclarations?: readonly WithLocalization<EntityOrPackageNameTreeNode>[] | undefined;
31
31
  constructor(meaning: Meaning, resolvedQualifiers: readonly ResolvedQualifier[], diagnostic?: Diagnostic | undefined, ambiguousDeclarations?: readonly WithLocalization<EntityOrPackageNameTreeNode>[] | undefined);
32
32
  }
33
- export type Meaning = Meaning_tagType | Meaning_tagMethod | Meaning_unresolved;
33
+ export type Meaning = Meaning_tagType | Meaning_tagFunction | Meaning_unresolved;
34
34
  declare class Meaning_tagType {
35
35
  readonly type: types.Type;
36
36
  readonly candidates: readonly FoundAnonymousDeclaration<types.Constructor>[];
@@ -39,17 +39,17 @@ declare class Meaning_tagType {
39
39
  get singleSuitableConstructor(): FoundAnonymousDeclaration<types.Constructor> | undefined;
40
40
  constructor(type: types.Type, candidates: readonly FoundAnonymousDeclaration<types.Constructor>[], suitableConstructors: readonly FoundAnonymousDeclaration<types.Constructor>[]);
41
41
  }
42
- declare class Meaning_tagMethod {
43
- readonly candidates: readonly FoundNamedDeclaration<AccessedMethod>[];
44
- readonly suitableMethods: readonly FoundNamedDeclaration<AccessedMethod>[];
45
- readonly kind = "tag-method";
46
- get singleSuitableMethod(): FoundNamedDeclaration<AccessedMethod> | undefined;
47
- constructor(candidates: readonly FoundNamedDeclaration<AccessedMethod>[], suitableMethods: readonly FoundNamedDeclaration<AccessedMethod>[]);
42
+ declare class Meaning_tagFunction {
43
+ readonly candidates: readonly FoundNamedDeclaration<AccessedFunction>[];
44
+ readonly suitableFunctions: readonly FoundNamedDeclaration<AccessedFunction>[];
45
+ readonly kind = "tag-function";
46
+ get singleSuitableFunction(): FoundNamedDeclaration<AccessedFunction> | undefined;
47
+ constructor(candidates: readonly FoundNamedDeclaration<AccessedFunction>[], suitableFunctions: readonly FoundNamedDeclaration<AccessedFunction>[]);
48
48
  }
49
49
  declare class Meaning_unresolved {
50
50
  readonly kind = "unresolved";
51
51
  }
52
- export type ResolvedQualifier = ResolvedQualifier_packageNameSegment | ResolvedQualifier_packageAlias | ResolvedQualifier_type | ResolvedQualifier_method;
52
+ export type ResolvedQualifier = ResolvedQualifier_packageNameSegment | ResolvedQualifier_packageAlias | ResolvedQualifier_type | ResolvedQualifier_function;
53
53
  export declare class ResolvedQualifier_packageNameSegment {
54
54
  readonly packageTreeNode: PackageNameTreeNode;
55
55
  readonly kind = "package-name-segment";
@@ -67,11 +67,11 @@ export declare class ResolvedQualifier_type {
67
67
  get singleSuitableType(): FoundNamedDeclaration<NamedTypeEntity> | undefined;
68
68
  constructor(candidates: readonly FoundNamedDeclaration<NamedTypeEntity>[], suitableTypes: readonly FoundNamedDeclaration<NamedTypeEntity>[]);
69
69
  }
70
- export declare class ResolvedQualifier_method {
71
- readonly candidates: readonly FoundNamedDeclaration<MethodEntity>[];
72
- readonly suitableMethods: readonly FoundNamedDeclaration<MethodEntity>[];
73
- readonly kind = "method";
74
- get singleSuitableMethod(): FoundNamedDeclaration<MethodEntity> | undefined;
75
- constructor(candidates: readonly FoundNamedDeclaration<MethodEntity>[], suitableMethods: readonly FoundNamedDeclaration<MethodEntity>[]);
70
+ export declare class ResolvedQualifier_function {
71
+ readonly candidates: readonly FoundNamedDeclaration<FunctionEntity>[];
72
+ readonly suitableFunctions: readonly FoundNamedDeclaration<FunctionEntity>[];
73
+ readonly kind = "function";
74
+ get singleSuitableFunction(): FoundNamedDeclaration<FunctionEntity> | undefined;
75
+ constructor(candidates: readonly FoundNamedDeclaration<FunctionEntity>[], suitableFunctions: readonly FoundNamedDeclaration<FunctionEntity>[]);
76
76
  }
77
77
  export {};
@@ -1,7 +1,7 @@
1
1
  import { ParameterVariableEntity } from '../entities/index.js';
2
2
  import * as types from '../types/index.js';
3
- import { AccessedMethod } from './AccessedMethod.js';
4
- export type Tag = TagType | TagMethod;
3
+ import { AccessedFunction } from './AccessedFunction.js';
4
+ export type Tag = TagType | TagFunction;
5
5
  declare abstract class TagBase {
6
6
  readonly argumentByParameter: ReadonlyMap<ParameterVariableEntity, TagArgument>;
7
7
  private readonly _argumentByName;
@@ -14,10 +14,10 @@ export declare class TagType extends TagBase {
14
14
  readonly constructor_: types.Constructor;
15
15
  constructor(type: types.Type, constructor_: types.Constructor, argumentByParameter: ReadonlyMap<ParameterVariableEntity, TagArgument>);
16
16
  }
17
- export declare class TagMethod extends TagBase {
18
- readonly kind = "method";
19
- readonly method: AccessedMethod;
20
- constructor(method: AccessedMethod, argumentByParameter: ReadonlyMap<ParameterVariableEntity, TagArgument>);
17
+ export declare class TagFunction extends TagBase {
18
+ readonly kind = "function";
19
+ readonly func: AccessedFunction;
20
+ constructor(func: AccessedFunction, argumentByParameter: ReadonlyMap<ParameterVariableEntity, TagArgument>);
21
21
  }
22
22
  export type TagArgument = TagArgument_string | TagArgument_numeric | TagArgument_boolean | TagArgument_invalid;
23
23
  export declare class TagArgument_string {
@@ -1,8 +1,8 @@
1
- import { Entity, MethodEntity, PackageEntity, StructuredTypeEntity, TypeParameterEntity, VariableEntity } from '../entities/index.js';
1
+ import { Entity, FunctionEntity, PackageEntity, StructuredTypeEntity, TypeParameterEntity, VariableEntity } from '../entities/index.js';
2
2
  import * as tree from '../tree/index.js';
3
3
  import * as types from '../types/index.js';
4
4
  import { PackageNameTreeNode } from './ImportedPackageNameTree.js';
5
- import { Tag, TagMethod, TagType } from './Tags.js';
5
+ import { Tag, TagFunction, TagType } from './Tags.js';
6
6
  type TextToken = tree.Token<tree.TokenKind.TextLiteral> | tree.Token<tree.TokenKind.TextTemplateHead> | tree.Token<tree.TokenKind.TextTemplatePart> | tree.Token<tree.TokenKind.TextTemplateTail>;
7
7
  export declare function getUnescapedTextFromTextToken(token: TextToken): string;
8
8
  export declare function unwrapParenthesizedExpressions(expression: tree.Expression): tree.Expression;
@@ -11,7 +11,7 @@ export declare function unaliasType(type: types.Type): types.Type;
11
11
  export declare function unaliasType(type: types.Type | undefined): types.Type | undefined;
12
12
  export declare function getPackageContainingEntity(entity: Entity): PackageEntity;
13
13
  export declare function findTag(tagTypeEntity: StructuredTypeEntity, tags: readonly Tag[]): TagType | undefined;
14
- export declare function findTag(tagMethodEntity: MethodEntity, tags: readonly Tag[]): TagMethod | undefined;
14
+ export declare function findTag(tagFunctionEntity: FunctionEntity, tags: readonly Tag[]): TagFunction | undefined;
15
15
  export declare function getRequiredTypeParameterCount(typeParameters: readonly TypeParameterEntity[]): number;
16
16
  export declare function flattenPackageMemberDeclarationList(list: tree.PackageMemberDeclarationList): Iterable<Exclude<tree.PackageMemberDeclaration, tree.PackageMemberGroupDeclaration>>;
17
17
  export declare function flattenTypeMemberDeclarationList(list: tree.TypeMemberDeclarationList): Iterable<Exclude<tree.TypeMemberDeclaration, tree.TypeMemberGroupDeclaration>>;
@@ -1,5 +1,5 @@
1
1
  import { Diagnostic } from '../diagnostic/Diagnostic.js';
2
- import { AliasTypeEntity, StructuredTypeEntity, TypeMethodEntity } from '../entities/index.js';
2
+ import { AliasTypeEntity, StructuredTypeEntity, MethodEntity } from '../entities/index.js';
3
3
  export declare class WellKnownDeclarationsLoadError extends Error {
4
4
  readonly diagnostic: Diagnostic;
5
5
  constructor(diagnostic: Diagnostic);
@@ -16,7 +16,7 @@ export declare class WellKnownDeclarations {
16
16
  none: StructuredTypeEntity;
17
17
  enumerable: StructuredTypeEntity;
18
18
  enumerator: StructuredTypeEntity;
19
- enumeratorMethod: TypeMethodEntity;
19
+ enumeratorMethod: MethodEntity;
20
20
  array: StructuredTypeEntity;
21
21
  readonlyArray: StructuredTypeEntity;
22
22
  map: StructuredTypeEntity;
@@ -27,11 +27,11 @@ export declare class WellKnownDeclarations {
27
27
  reference: StructuredTypeEntity;
28
28
  task: StructuredTypeEntity;
29
29
  error: StructuredTypeEntity;
30
- method: StructuredTypeEntity;
30
+ func: StructuredTypeEntity;
31
31
  parameterArray: AliasTypeEntity;
32
32
  defaultImport: StructuredTypeEntity;
33
33
  realName: StructuredTypeEntity;
34
34
  builtIntoPlatform: StructuredTypeEntity;
35
- typeVariableProxy: StructuredTypeEntity;
35
+ fieldProxy: StructuredTypeEntity;
36
36
  javaScriptDecorator: StructuredTypeEntity;
37
37
  }
@@ -1,5 +1,5 @@
1
1
  import * as tree from '../../tree/index.js';
2
2
  export declare function isNarrowableExpression(node: tree.Node): node is tree.Expression;
3
- export type NarrowableReferenceExpression = tree.IdentifierExpression | tree.PropertyAccessExpression | tree.ObjectExpression;
3
+ export type NarrowableReferenceExpression = tree.IdentifierExpression | tree.MemberAccessExpression | tree.ObjectExpression;
4
4
  export declare function isNarrowableReferenceExpression(node: tree.Node): node is NarrowableReferenceExpression;
5
5
  export declare function unwrapExpressionForNarrowableReferenceCheck(node: tree.Expression): tree.Expression;
@@ -1,4 +1,4 @@
1
- export * from '../analysis/AccessedMethod.js';
1
+ export * from '../analysis/AccessedFunction.js';
2
2
  export * from '../analysis/AnalyzedTranslationPackage.js';
3
3
  export * from '../analysis/Analyzer.js';
4
4
  export type { Meaning as AutotypeCallExpressionMeaning } from '../analysis/AutotypeCallExpressionMeaning.js';
@@ -19,12 +19,12 @@ export * from '../analysis/Lookup.js';
19
19
  export * from '../analysis/NodeTypeUtils.js';
20
20
  export type { Meaning as ObjectExpressionMeaning } from '../analysis/ObjectExpressionMeaning.js';
21
21
  export * from '../analysis/PackageMemberLookup.js';
22
- export type { Meaning as PropertyAccessExpressionMeaning, ResolutionResult as PropertyAccessExpressionResolutionResult } from '../analysis/PropertyAccessExpressionMeaning.js';
22
+ export type { Meaning as MemberAccessExpressionMeaning, ResolutionResult as MemberAccessExpressionResolutionResult } from '../analysis/MemberAccessExpressionMeaning.js';
23
23
  export type { IScope, NamedDeclaration, TypeOrContainerWithTypes } from '../analysis/Scope.js';
24
24
  export * from '../analysis/SemanticContext.js';
25
25
  export * from '../analysis/SourceFileMembers.js';
26
26
  export * from '../analysis/SourcePackageDependencyGraph.js';
27
- export * from '../analysis/SubstitutedMethod.js';
27
+ export * from '../analysis/SubstitutedFunction.js';
28
28
  export type { Meaning as TagMeaning } from '../analysis/TagMeaning.js';
29
29
  export * from '../analysis/Tags.js';
30
30
  export * from '../analysis/TargetTypeHint.js';
@@ -4,130 +4,129 @@ export declare enum DiagnosticCode {
4
4
  UnterminatedNumber = 2,
5
5
  UnterminatedTextOrTextTemplate = 3,
6
6
  UnterminatedQuotedIdentifier = 4,
7
- IdentifierExpected = 5,
8
- TypeNameExpected = 6,
9
- PackageNameExpected = 7,
10
- TypeMemberDeclarationExpected = 8,
11
- SourceFileMemberExpected = 9,
12
- EnumerationVariableDeclarationExpected = 10,
13
- StatementExpected = 11,
14
- ExpressionExpected = 12,
15
- BaseTypeNameExpected = 13,
16
- TypeSpecifierExpected = 14,
17
- TypeBodyExpected = 15,
18
- MethodCallArgumentExpected = 16,
19
- IndexedAccessArgumentExpected = 17,
20
- TagArgumentExpected = 18,
21
- TypeParameterExpected = 19,
22
- ParameterExpected = 20,
23
- RunStatementClauseExpected = 21,
24
- CatchClauseOrFinallyClauseExpected = 22,
25
- PackageImportExpected = 23,
26
- UsingDirectiveOrSourceFileMemberExpected = 24,
27
- TypeMemberTranslationExpected = 25,
28
- TranslationExpected = 26,
29
- Expected0But1Found = 27,
30
- InvalidTextTemplateLiteral = 28,
31
- RunKeywordCreationKeywordOrModifierListExpected = 29,
32
- ModifierListExpected = 30,
33
- HidingLevelExpected = 31,
34
- ParameterNameCanContainOnlyOneBackQuote = 32,
35
- FieldNameCanContainOnlyTwoBackQuote = 33,
36
- BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 34,
37
- NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 35,
38
- TagNameExpected = 36,
39
- TypeCannotBeUsedAsValue = 37,
40
- PackageMemberNotFound = 38,
41
- TypeMemberNotFound = 39,
42
- CannotAccessStaticMembersOnTypeParameter = 40,
43
- IndexerOfTheSpecifiedTypeNotFound = 41,
44
- DereferenceOperatorOfTheSpecifiedTypeNotFound = 42,
45
- IndexerNotFound = 43,
46
- CannotCreateInstanceOfAspect = 44,
47
- CannotCreateInstanceOfTypeParameter = 45,
48
- CannotCreateInstanceOfUnresolvedType = 46,
49
- TypeConstructorNotFound = 47,
50
- CannotInvokeExpression = 48,
51
- NamedArgumentExpectedButPositionalArgumentFound = 49,
52
- ParameterWithGivenNameNotFound = 50,
53
- ArgumentForParameterAlreadyPassed = 51,
54
- PackageAliasCannotBeUsedAsValue = 52,
55
- PackageNameCannotBeUsedAsValue = 53,
56
- UnknownVariable = 54,
57
- UnknownType = 55,
58
- TypeWithArity0NotFound = 56,
59
- VariableUsedBeforeBeingDeclared = 57,
60
- Type0IsNotAssignableToType1 = 58,
61
- VariableNotFound = 59,
62
- MethodNotFound = 60,
63
- UnknownPackage = 61,
64
- CannotAssignValueToExpression = 62,
65
- NotEveryRequiredParameterIsProvidedWithArgument = 63,
66
- ParameterForPositionalArgumentNotFound = 64,
67
- CannotDetermineTargetTypeToCallTheConstructor = 65,
68
- AmbiguousAccess = 66,
69
- AmbiguousAccess0 = 67,
70
- CanNotAssignValueToContextVariable = 68,
71
- ExpectedPackageNameOrAliasButFoundType = 69,
72
- TypeExpected = 70,
73
- NameOfTypeOrPackageNotFound = 71,
74
- TypeIsNotATag = 72,
75
- ExpressionOfType0CanNotBeUsedForEnumeration = 73,
76
- Operator0IsNotDefinedForTypes1And2 = 74,
77
- Operator0IsNotDefinedForType1 = 75,
78
- VariantMustHaveAssociatedValue = 76,
79
- PackageMemberOrPackageNotFound = 77,
80
- TranslationsCanOnlyBeDeclaredInTranslationPackage = 78,
81
- UnknownTranslatedPackage0 = 79,
82
- BaseCannotBeUsedInThisContext = 80,
83
- OverriddenMethodNotFound = 81,
84
- ObjectCannotBeUsedInThisContext = 82,
85
- BaseCannotBeUsedAsAnExpressionInItself = 83,
86
- InterfacePackageMustNotContainImplementation = 84,
87
- InterfacePackageVariablesMustNotHaveInitializers = 85,
88
- BodyIsMissing = 86,
89
- AbstractTypeMembersMustNotHaveBody = 87,
90
- AbstractVariablesMustNotHaveInitializers = 88,
91
- PackageIsAlreadyImportedInAnotherLanguage = 89,
92
- OnlySubprogramsWithReturnTypeCanReturnValue = 90,
93
- MethodsUsingYieldStatementCanNotReturnValue = 91,
94
- YieldStatementCanNotBeUsedInAnonymousMethods = 92,
95
- YieldStatementCanNotBeUsedHere = 93,
96
- MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 94,
97
- YieldStatementCanNotBeUsedInTryStatementThatHasCatchClause = 95,
98
- YieldStatementCanNotBeUsedInFinallyClause = 96,
99
- SubprogramMustReturnValue = 97,
100
- ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 98,
101
- TypeAliasReferencesItself = 99,
102
- TypeParameterHasCircularConstraint = 100,
103
- BaseTypeCausesInheritanceCycle = 101,
104
- OnlyGenericTypesAndFunctionsCanBeSpecialized = 102,
105
- Expected0TypeArguments = 103,
106
- ExpectedFrom0To1TypeArguments = 104,
107
- Type0IsNotAssignableToConstraint1 = 105,
108
- VariableIsDeclaredButNotUsed = 106,
109
- DefaultConstructorArgumentsMustBeNamed = 107,
110
- IncorrectBodyOfRedefinableAliasTypeMethod = 108,
111
- TheFollowingDeclarationsAreNotTranslated0 = 109,
112
- TheFollowingDeclarationAreNotTranslated0And1More = 110,
113
- OperatorFunctionMustNotBeStatic = 111,
114
- OperatorFunction0MustNotHaveParameters = 112,
115
- OperatorFunction0MustHaveOneParameter = 113,
116
- OperatorFunction0MustHaveNoMoreThanOneParameter = 114,
117
- CorrespondingRedefinableTypeMemberNotFound = 115,
118
- ConstructorCanNotBeRedefinable = 116,
119
- ConstructorCanNotBeRedefined = 117,
120
- AsyncMethodCanOnlyBeCalledFromMethodMarkedWithAsyncModifier = 118,
121
- TagNotFound = 119,
122
- TypeOrMethodNameExpected = 120,
123
- PackageNameOrAliasExpected = 121,
124
- ExpressionCanBeNone = 122,
125
- NoneAwareAccessCanNotBeUsedOnTheLeftHandSideOfAssignmentStatement = 123,
126
- UnreachableCode = 124,
127
- CanNotFindTsLibDirectoryBaseSearchPaths0 = 125,
128
- SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 126,
129
- ProgramWithoutMainPackageCanNotBeCompiled = 127,
130
- JsonConfigurationValidationError = 128,
131
- StandardPackage0NotFound = 129,
132
- Declaration0NotFoundInStandardPackage1 = 130
7
+ IdentifierExpected = 101,
8
+ TypeNameExpected = 102,
9
+ PackageNameExpected = 103,
10
+ TypeMemberDeclarationExpected = 104,
11
+ PackageMemberDeclarationExpected = 105,
12
+ EnumerationVariableDeclarationExpected = 106,
13
+ StatementExpected = 107,
14
+ ExpressionExpected = 108,
15
+ BaseTypeNameExpected = 109,
16
+ TypeSpecifierExpected = 110,
17
+ TypeBodyExpected = 111,
18
+ FunctionCallArgumentExpected = 112,
19
+ IndexedAccessArgumentExpected = 113,
20
+ TagArgumentExpected = 114,
21
+ TypeParameterExpected = 115,
22
+ ParameterExpected = 116,
23
+ CatchClauseOrFinallyClauseExpected = 117,
24
+ PackageImportExpected = 118,
25
+ DeclarationOrPackageImportExpected = 119,
26
+ Expected0But1Found = 120,
27
+ InvalidTextTemplateLiteral = 121,
28
+ ModifierListExpected = 122,
29
+ RunKeywordCreationKeywordOrModifierListExpected = 123,
30
+ HidingLevelExpected = 124,
31
+ ParameterNameCanContainOnlyOneBackQuote = 125,
32
+ FieldNameCanContainOnlyTwoBackQuote = 126,
33
+ BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 127,
34
+ NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 128,
35
+ TagNameExpected = 129,
36
+ TypeMemberTranslationExpected = 130,
37
+ TranslationExpected = 131,
38
+ TypeCannotBeUsedAsValue = 201,
39
+ PackageNameCannotBeUsedAsValue = 202,
40
+ PackageAliasCannotBeUsedAsValue = 203,
41
+ PackageMemberOrPackageNotFound = 204,
42
+ PackageMemberNotFound = 205,
43
+ TypeMemberNotFound = 206,
44
+ ConstructorNotFound = 207,
45
+ IndexerOfTheSpecifiedTypeNotFound = 208,
46
+ DereferenceOperatorOfTheSpecifiedTypeNotFound = 209,
47
+ IndexerNotFound = 210,
48
+ CannotAccessStaticMembersOnTypeParameter = 211,
49
+ CannotCreateInstanceOfAspect = 212,
50
+ CannotCreateInstanceOfTypeParameter = 213,
51
+ CannotCreateInstanceOfUnresolvedType = 214,
52
+ ExpressionIsNotCallable = 215,
53
+ ParameterForPositionalArgumentNotFound = 216,
54
+ ParameterWithGivenNameNotFound = 217,
55
+ NamedArgumentExpectedButPositionalArgumentFound = 218,
56
+ ArgumentForParameterAlreadyAssigned = 219,
57
+ NotAllRequiredParametersAreProvidedWithArguments = 220,
58
+ UnknownVariable = 221,
59
+ UnknownType = 222,
60
+ TypeWithArity0NotFound = 223,
61
+ VariableUsedBeforeBeingDeclared = 224,
62
+ Type0IsNotAssignableToType1 = 225,
63
+ VariableNotFound = 226,
64
+ FunctionNotFound = 227,
65
+ UnknownPackage = 228,
66
+ CannotAssignValueToExpression = 229,
67
+ CannotDetermineTargetTypeToCallTheConstructor = 230,
68
+ AmbiguousAccess = 231,
69
+ AmbiguousAccess0 = 232,
70
+ CanNotAssignValueToContextVariable = 233,
71
+ ExpectedPackageNameOrAliasButFoundType = 234,
72
+ TypeExpected = 235,
73
+ NameOfTypeOrPackageNotFound = 236,
74
+ TypeIsNotATag = 237,
75
+ ExpressionOfType0CanNotBeUsedForEnumeration = 238,
76
+ Operator0IsNotDefinedForTypes1And2 = 239,
77
+ Operator0IsNotDefinedForType1 = 240,
78
+ VariantMustHaveAssociatedValue = 241,
79
+ TranslationsCanOnlyBeDeclaredInTranslationPackage = 242,
80
+ UnknownTranslatedPackage0 = 243,
81
+ BaseCannotBeUsedInThisContext = 244,
82
+ OverriddenMethodNotFound = 245,
83
+ ObjectCannotBeUsedInThisContext = 246,
84
+ BaseCannotBeUsedAsAnExpressionInItself = 247,
85
+ InterfacePackageMustNotContainImplementation = 248,
86
+ InterfacePackageVariablesMustNotHaveInitializers = 249,
87
+ BodyIsMissing = 250,
88
+ AbstractTypeMembersMustNotHaveBody = 251,
89
+ AbstractVariablesMustNotHaveInitializers = 252,
90
+ PackageIsAlreadyImportedInAnotherLanguage = 253,
91
+ OnlySubprogramsWithReturnTypeCanReturnValue = 254,
92
+ FunctionsUsingYieldStatementCanNotReturnValue = 255,
93
+ YieldStatementCanNotBeUsedInAnonymousFunctions = 256,
94
+ YieldStatementCanNotBeUsedHere = 257,
95
+ FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 258,
96
+ YieldStatementCanNotBeUsedInTryStatementThatHasCatchClause = 259,
97
+ YieldStatementCanNotBeUsedInFinallyClause = 260,
98
+ SubprogramMustReturnValue = 261,
99
+ ResultVariableCanNotBeUsedInFunctionsUsingYieldStatement = 262,
100
+ TypeAliasReferencesItself = 263,
101
+ TypeParameterHasCircularConstraint = 264,
102
+ BaseTypeCausesInheritanceCycle = 265,
103
+ OnlyGenericTypesAndFunctionsCanBeSpecialized = 266,
104
+ Expected0TypeArguments = 267,
105
+ ExpectedFrom0To1TypeArguments = 268,
106
+ Type0IsNotAssignableToConstraint1 = 269,
107
+ VariableIsDeclaredButNotUsed = 270,
108
+ DefaultConstructorArgumentsMustBeNamed = 271,
109
+ IncorrectBodyOfRedefinableAliasTypeMethod = 272,
110
+ TheFollowingDeclarationsAreNotTranslated0 = 273,
111
+ TheFollowingDeclarationAreNotTranslated0And1More = 274,
112
+ OperatorFunctionMustNotBeStatic = 275,
113
+ OperatorFunction0MustNotHaveParameters = 276,
114
+ OperatorFunction0MustHaveOneParameter = 277,
115
+ OperatorFunction0MustHaveNoMoreThanOneParameter = 278,
116
+ CorrespondingRedefinableTypeMemberNotFound = 279,
117
+ ConstructorCanNotBeRedefinable = 280,
118
+ ConstructorCanNotBeRedefined = 281,
119
+ AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 282,
120
+ TagNotFound = 283,
121
+ TypeOrFunctionNameExpected = 284,
122
+ PackageNameOrAliasExpected = 285,
123
+ ExpressionCanBeNone = 286,
124
+ NoneAwareAccessCanNotBeUsedOnTheLeftHandSideOfAssignmentStatement = 287,
125
+ UnreachableCode = 288,
126
+ CanNotFindTsLibDirectoryBaseSearchPaths0 = 301,
127
+ SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 302,
128
+ ProgramWithoutMainPackageCanNotBeCompiled = 303,
129
+ JsonConfigurationValidationError = 304,
130
+ StandardPackage0NotFound = 305,
131
+ Declaration0NotFoundInStandardPackage1 = 306
133
132
  }
@@ -9,13 +9,13 @@ export declare class EmitPhaseName {
9
9
  static ofExtensionMethodTargetParameter(locale: PackageLocale): string;
10
10
  static ofGlobalVariableGetter(locale: PackageLocale, originalName: string): string;
11
11
  static ofGlobalVariableSetter(locale: PackageLocale, originalName: string): string;
12
- static ofTypeVariableGetter(locale: PackageLocale, originalName: string): string;
13
- static ofTypeVariableSetter(locale: PackageLocale, originalName: string): string;
14
- static ofTypeIndexedElementGetter(locale: PackageLocale): string;
15
- static ofTypeIndexedElementSetter(locale: PackageLocale): string;
16
- static ofTypeDereferencedVariable(locale: PackageLocale): string;
17
- static ofTypeDereferencedVariableGetter(locale: PackageLocale): string;
18
- static ofTypeDereferencedVariableSetter(locale: PackageLocale): string;
12
+ static ofFieldGetter(locale: PackageLocale, originalName: string): string;
13
+ static ofFieldSetter(locale: PackageLocale, originalName: string): string;
14
+ static ofIndexedElementGetter(locale: PackageLocale): string;
15
+ static ofIndexedElementSetter(locale: PackageLocale): string;
16
+ static ofDereferencedVariable(locale: PackageLocale): string;
17
+ static ofDereferencedVariableGetter(locale: PackageLocale): string;
18
+ static ofDereferencedVariableSetter(locale: PackageLocale): string;
19
19
  static ofTypeBackingVariable(locale: PackageLocale, originalName: string): string;
20
20
  static ofTempVariable(locale: PackageLocale, id: number): string;
21
21
  static ofDefaultImport(locale: PackageLocale, id: number): string;
@@ -31,7 +31,7 @@ export declare class EmitPhaseName {
31
31
  static ofPlainObjectMethodResultNewThisProperty(locale: PackageLocale): string;
32
32
  static ofPlainObjectMethodResultResultProperty(locale: PackageLocale): string;
33
33
  static ofProxyVariable(locale: PackageLocale, originalName: string): string;
34
- static ofTypeConstructor(locale: PackageLocale): string;
34
+ static ofConstructor(locale: PackageLocale): string;
35
35
  static ofTypeExtension(locale: PackageLocale, extendedTypeName: string): string;
36
36
  static ofOperator(locale: PackageLocale, kind: OperatorKind): string;
37
37
  static ofSetterParameter(locale: PackageLocale): string;
@@ -20,9 +20,9 @@ export declare class Emitter {
20
20
  emitToString(): string;
21
21
  private createEmitterPackageFromSource;
22
22
  private enumerateEmittingSourcePackages;
23
- private createPackageWithMainMethod;
24
- private createMainMethod;
25
- private createMainMethodCall;
23
+ private createPackageWithMainFunction;
24
+ private createMainFunction;
25
+ private createMainFunctionCall;
26
26
  private createUniqueNamesForPackageMembers;
27
27
  private setOutputUris;
28
28
  private addImports;
@@ -59,7 +59,7 @@ export interface SourceMapOptions {
59
59
  useAbsolutePaths?: boolean;
60
60
  includeSourcesContent?: boolean;
61
61
  justApplicationCode?: boolean;
62
- mapMainMethodCallToProgramFirstLine?: boolean;
62
+ mapMainFunctionCallToProgramFirstLine?: boolean;
63
63
  }
64
64
  export declare enum SourceMapMode {
65
65
  Linked = "linked",
@@ -43,7 +43,7 @@ declare class StandardTypes {
43
43
  private _text;
44
44
  private _char;
45
45
  private _array;
46
- private _method;
46
+ private _func;
47
47
  private _textTemplate;
48
48
  private _reference;
49
49
  get none(): Type;
@@ -55,7 +55,7 @@ declare class StandardTypes {
55
55
  get text(): Type;
56
56
  get char(): Type;
57
57
  get array(): Type;
58
- get method(): Type;
58
+ get func(): Type;
59
59
  get textTemplate(): Type;
60
60
  get reference(): Type;
61
61
  constructor(_analyzer: Analyzer, _entityMap: EntityMap);