@artel/artc 0.6.25213 → 0.6.25215

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 (45) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +8 -4
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +242 -268
  5. package/build/{chunk-X4XDV2CH.js → chunk-DZ66PBHU.js} +7145 -7390
  6. package/build/{chunk-6UMHRF7Y.js → chunk-GEFYL4SZ.js} +3 -3
  7. package/build/{chunk-YFV3TSQP.js → chunk-TT3Q66WU.js} +3 -3
  8. package/build/types/analysis/Analyzer.d.ts +8 -12
  9. package/build/types/analysis/IdentifierExpressionMeaning.d.ts +1 -1
  10. package/build/types/analysis/PropertyAccessExpressionMeaning.d.ts +1 -2
  11. package/build/types/analysis/TypeMemberLookup.d.ts +14 -0
  12. package/build/types/analysis/{PrefixUnaryOperatorResolver.d.ts → UserDefinableUnaryOperatorResolver.d.ts} +3 -5
  13. package/build/types/analysis/Utils.d.ts +2 -2
  14. package/build/types/analysis/WellKnownDeclarations.d.ts +3 -2
  15. package/build/types/diagnostic/DiagnosticCode.d.ts +112 -152
  16. package/build/types/emitter/EmitterContext.d.ts +2 -0
  17. package/build/types/emitter/Entities.d.ts +1 -0
  18. package/build/types/emitter/IrBuilder.d.ts +0 -1
  19. package/build/types/emitter/IrToJs.d.ts +0 -1
  20. package/build/types/emitter/Transformer.d.ts +158 -97
  21. package/build/types/emitter/ir/Nodes.d.ts +4 -11
  22. package/build/types/emitter/ir/types.d.ts +2 -2
  23. package/build/types/entities/MethodEntity.d.ts +6 -1
  24. package/build/types/entities/OperatorEntity.d.ts +3 -0
  25. package/build/types/entities/OperatorKind.d.ts +19 -20
  26. package/build/types/entities/VariableEntity.d.ts +8 -1
  27. package/build/types/parser/UnescapeText.d.ts +1 -0
  28. package/build/types/services/NodeSemanticInfo.d.ts +0 -1
  29. package/build/types/tree/NodeKind.d.ts +82 -83
  30. package/build/types/tree/OperatorKind.d.ts +16 -17
  31. package/build/types/tree/TokenKind.d.ts +2 -2
  32. package/build/types/tree/green/Nodes.d.ts +4 -20
  33. package/build/types/tree/red/Nodes.d.ts +5 -19
  34. package/build/types/ts-interop/Entities.d.ts +8 -0
  35. package/build/types/types/StandardTypes.d.ts +2 -2
  36. package/package.json +1 -1
  37. package/build/types/emitter/BlockStatementTransformationResult.d.ts +0 -10
  38. package/build/types/emitter/ExpressionTransformationResult.d.ts +0 -17
  39. package/build/types/emitter/Internal.d.ts +0 -9
  40. package/build/types/emitter/PackageMemberDeclarationTransformationResult.d.ts +0 -17
  41. package/build/types/emitter/SimpleTransformationResult.d.ts +0 -14
  42. package/build/types/emitter/StatementTransformationResult.d.ts +0 -21
  43. package/build/types/emitter/StructuredTypeMemberDeclarationTransformationResult.d.ts +0 -13
  44. package/build/types/emitter/TransformationContinuationAction.d.ts +0 -4
  45. package/build/types/emitter/TypeAccessExpressionTransformationResult.d.ts +0 -12
@@ -10,7 +10,7 @@ import {
10
10
  WellKnownDeclarationsLoadError,
11
11
  __async,
12
12
  createTsInteropInputsForCompilation
13
- } from "./chunk-X4XDV2CH.js";
13
+ } from "./chunk-DZ66PBHU.js";
14
14
 
15
15
  // source/executor/Compiler.ts
16
16
  var Compiler = class {
@@ -68,7 +68,7 @@ var Compiler = class {
68
68
  return __async(this, null, function* () {
69
69
  if (analyzer.compilation.mainPackage === void 0) {
70
70
  _diagnostics?.addDiagnostic(new Diagnostic(DiagnosticData.withCode(
71
- 151 /* ProgramWithoutMainPackageCanNotBeCompiled */
71
+ 111 /* ProgramWithoutMainPackageCanNotBeCompiled */
72
72
  ), void 0));
73
73
  return void 0;
74
74
  }
@@ -82,7 +82,7 @@ var Compiler = class {
82
82
  return __async(this, null, function* () {
83
83
  if (analyzer.compilation.mainPackage === void 0) {
84
84
  _diagnostics?.addDiagnostic(new Diagnostic(DiagnosticData.withCode(
85
- 151 /* ProgramWithoutMainPackageCanNotBeCompiled */
85
+ 111 /* ProgramWithoutMainPackageCanNotBeCompiled */
86
86
  ), void 0));
87
87
  return "";
88
88
  }
@@ -1,6 +1,6 @@
1
1
  import {
2
2
  Compiler
3
- } from "./chunk-6UMHRF7Y.js";
3
+ } from "./chunk-GEFYL4SZ.js";
4
4
  import {
5
5
  ArtelVersion,
6
6
  Cached,
@@ -14,7 +14,7 @@ import {
14
14
  __async,
15
15
  performanceMeasurementStageNames,
16
16
  performanceMeasurementStages
17
- } from "./chunk-X4XDV2CH.js";
17
+ } from "./chunk-DZ66PBHU.js";
18
18
 
19
19
  // source/executor/FileSystemUri.ts
20
20
  import { platform } from "os";
@@ -216,7 +216,7 @@ var NodeCompiler = class {
216
216
  const standardLibraryUri = yield this.findStandardTypeScriptLibrary(nodeModulesSearchPaths, defaultTsLibraryPath);
217
217
  if (standardLibraryUri === void 0) {
218
218
  const diagnostic = new Diagnostic(DiagnosticData.withCode(
219
- 148 /* CanNotFindTsLibDirectoryBaseSearchPaths0 */,
219
+ 109 /* CanNotFindTsLibDirectoryBaseSearchPaths0 */,
220
220
  [nodeModulesSearchPaths.map((p) => `'${p}'`).join(", ")]
221
221
  ), void 0);
222
222
  diagnostics?.addDiagnostic(diagnostic);
@@ -86,7 +86,6 @@ export declare class Analyzer {
86
86
  private readonly _baseExpressionMeanings;
87
87
  private readonly _namedTypeSpecifierResolutionResults;
88
88
  private readonly _prefixUnaryExpressionOperatorResolutionResults;
89
- private readonly _notExpressionOperatorResolutionResults;
90
89
  private readonly _binaryExpressionUserDefinableOperatorResolutionResults;
91
90
  private readonly _assignmentStatementOperatorResolutionResults;
92
91
  private readonly _methodEntitySignatureTypes;
@@ -159,8 +158,7 @@ export declare class Analyzer {
159
158
  checkMethodBodyUsesYieldStatement(node: tree.StatementBlock): boolean;
160
159
  enumerateAspects(type: types.Type): Iterable<types.StructuredType>;
161
160
  checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: StructuredTypeEntity): boolean;
162
- resolvePrefixUnaryExpressionOperator(node: tree.PrefixUnaryExpression): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
163
- resolveNotExpressionOperator(node: tree.NotExpression): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
161
+ resolvePrefixUnaryExpressionUserDefinableOperator(node: tree.PrefixUnaryExpression): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
164
162
  resolveBinaryExpressionUserDefinableOperator(node: tree.BinaryExpression, operatorKind: BinaryOperatorKind): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
165
163
  resolveCompoundAssignmentStatementOperator(node: tree.AssignmentStatement, operatorKind: BinaryOperatorKind): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
166
164
  classifyBinaryExpressionOperator(operator: tree.BinaryExpressionOperator): BinaryExpressionOperatorClassificationResult;
@@ -281,7 +279,6 @@ declare class Type {
281
279
  private ofIndexedAccessExpression;
282
280
  private ofInvalidExpression;
283
281
  private ofIsExpression;
284
- private ofNotExpression;
285
282
  private ofParenthesizedExpression;
286
283
  private ofPrefixUnaryExpression;
287
284
  private ofPropertyAccessExpression;
@@ -520,18 +517,17 @@ declare class DefaultConstructors {
520
517
  declare class OverriddenMember {
521
518
  private readonly _analyzer;
522
519
  constructor(_analyzer: Analyzer);
523
- getOverriddenMethod(method: TypeMethodEntity): types.Method | undefined;
524
- getTheMostBaseOverriddenMethod(method: TypeMethodEntity): types.Method | undefined;
525
- getOverriddenOperator(operator: OperatorEntity): types.Operator | undefined;
526
- getOverriddenVariable(variable: entities.TypeVariableEntity): types.Variable | undefined;
520
+ getOverriddenVariable(node: tree.TypeVariableDeclaration | TypeVariableAccessorDeclaration): types.Variable | undefined;
527
521
  getTheMostBaseOverriddenVariable(variable: entities.TypeVariableEntity): types.Variable | undefined;
528
- checkMethodOverridesMethod(methodInDerivedType: TypeMethodEntity, methodInBaseType: types.Method): boolean;
529
- checkVariableOverridesVariable(variableInDerivedType: entities.TypeVariableEntity, variableInBaseType: types.Variable): boolean;
530
- checkOperatorOverridesOperator(operatorInDerivedType: OperatorEntity, operatorInBaseType: types.Operator): boolean;
522
+ getOverriddenMethod(node: tree.TypeMethodDeclaration): types.Method | undefined;
523
+ getTheMostBaseOverriddenMethod(method: TypeMethodEntity): types.Method | undefined;
524
+ getOverriddenOperator(node: tree.OperatorDeclaration): types.Operator | undefined;
531
525
  private findOverriddenVariableInType;
532
526
  private findOverriddenMethodInType;
533
- private methodSignatureTypesAreEqual;
534
527
  private findOverriddenOperatorInType;
528
+ private checkVariableOverridesVariable;
529
+ private checkMethodOverridesMethod;
530
+ private checkOperatorOverridesOperator;
535
531
  }
536
532
  declare class Tags {
537
533
  readonly _analyzer: Analyzer;
@@ -17,7 +17,7 @@ export declare class Resolver {
17
17
  private get semanticContext();
18
18
  constructor(analyzer: Analyzer, node: tree.IdentifierExpression, targetTypeHint: TargetTypeHint | undefined);
19
19
  resolve(): ResolutionResult;
20
- private resolveOperatorAccessMeaning;
20
+ private tryResolveOperatorAccessMeaning;
21
21
  private resolveMethodOverload;
22
22
  private createAccessedMethod;
23
23
  private convertSyntacticAccessKind;
@@ -13,7 +13,6 @@ export declare class Resolver {
13
13
  private readonly _node;
14
14
  private readonly _targetTypeHint;
15
15
  private get propertySearchName();
16
- private get isOperatorName();
17
16
  private get semanticContext();
18
17
  private get receiver();
19
18
  constructor(analyzer: Analyzer, node: tree.PropertyAccessExpression, targetTypeHint: TargetTypeHint | undefined);
@@ -25,7 +24,7 @@ export declare class Resolver {
25
24
  private resolveStaticMemberOrVariantAccessMeaning;
26
25
  private createAccessedMethodFromTypeMember;
27
26
  private resolveInstanceMemberAccessMeaning;
28
- private resolveOperatorAccessMeaning;
27
+ private tryResolveOperatorAccessMeaning;
29
28
  private resolveMethodOverload;
30
29
  private convertSyntacticAccessKind;
31
30
  }
@@ -25,3 +25,17 @@ export declare class TypeMemberLookup {
25
25
  getDereferenceOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.DereferenceOperator>>;
26
26
  private getLocaleOfTypeEntity;
27
27
  }
28
+ export declare class BoundTypeMemberLookup {
29
+ private readonly _lookup;
30
+ private readonly _hidingMatcher;
31
+ private readonly _typeExtensionLookup;
32
+ constructor(analyzer: Analyzer, type: types.Type, localizationContext: LocalizationContext | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: Lookup | undefined);
33
+ static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, localizationContext: LocalizationContext | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: Lookup | undefined): BoundTypeMemberLookup;
34
+ getNamedMembers(): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
35
+ getNamedMembersByName(name: SearchName): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
36
+ getOperators(): Query<FoundAnonymousDeclaration<types.Operator>>;
37
+ getOperatorsByKind(kind: OperatorKind): Query<FoundAnonymousDeclaration<types.Operator>>;
38
+ getConstructors(): Query<FoundAnonymousDeclaration<types.Constructor>>;
39
+ getIndexers(): Query<FoundAnonymousDeclaration<types.Indexer>>;
40
+ getDereferenceOperators(): Query<FoundAnonymousDeclaration<types.DereferenceOperator>>;
41
+ }
@@ -1,5 +1,5 @@
1
1
  import { WithDiagnostics } from '../common/index.js';
2
- import { NotExpression, PrefixUnaryExpression } from '../tree/index.js';
2
+ import { PrefixUnaryExpression } from '../tree/index.js';
3
3
  import * as types from '../types/index.js';
4
4
  import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
5
5
  import { Analyzer } from './index.js';
@@ -14,12 +14,10 @@ import { Analyzer } from './index.js';
14
14
  * Если подошло несколько операторов - ошибка неоднозначного доступа.
15
15
  * Если не подошёл ни один - алгоритм завершается с соответствующим сообщением об ошибке.
16
16
  */
17
- export declare class PrefixUnaryOperatorResolver {
17
+ export declare class UserDefinableUnaryOperatorResolver {
18
18
  private readonly _analyzer;
19
19
  private readonly _node;
20
- private get operand();
21
- private get operatorNode();
22
20
  private get operatorKind();
23
- constructor(_analyzer: Analyzer, _node: PrefixUnaryExpression | NotExpression);
21
+ constructor(_analyzer: Analyzer, _node: PrefixUnaryExpression);
24
22
  resolve(): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
25
23
  }
@@ -2,8 +2,8 @@ import { Entity, PackageEntity, StructuredTypeEntity, TypeParameterEntity, Varia
2
2
  import * as tree from '../tree/index.js';
3
3
  import * as types from '../types/index.js';
4
4
  import { Tag } from './Tags.js';
5
- type StringToken = tree.Token<tree.TokenKind.TextLiteral> | tree.Token<tree.TokenKind.TextTemplateHead> | tree.Token<tree.TokenKind.TextTemplatePart> | tree.Token<tree.TokenKind.TextTemplateTail>;
6
- export declare function getUnescapedTextFromStringToken(token: StringToken): string;
5
+ type TextToken = tree.Token<tree.TokenKind.TextLiteral> | tree.Token<tree.TokenKind.TextTemplateHead> | tree.Token<tree.TokenKind.TextTemplatePart> | tree.Token<tree.TokenKind.TextTemplateTail>;
6
+ export declare function getUnescapedTextFromTextToken(token: TextToken): string;
7
7
  export declare function unwrapParenthesizedExpressions(expression: tree.Expression): tree.Expression;
8
8
  export declare function getParentSkippingParenthesizedExpressions(expression: tree.Expression): tree.ExpressionParent;
9
9
  export declare function unaliasType(type: types.Type): types.Type;
@@ -1,5 +1,5 @@
1
1
  import { Diagnostic } from '../diagnostic/Diagnostic.js';
2
- import { AliasTypeEntity, StructuredTypeEntity, VariantTypeEntity } from '../entities/index.js';
2
+ import { AliasTypeEntity, StructuredTypeEntity, TypeMethodEntity } from '../entities/index.js';
3
3
  export declare class WellKnownDeclarationsLoadError extends Error {
4
4
  readonly diagnostic: Diagnostic;
5
5
  constructor(diagnostic: Diagnostic);
@@ -12,10 +12,11 @@ export declare class WellKnownDeclarations {
12
12
  text: StructuredTypeEntity;
13
13
  textTemplate: StructuredTypeEntity;
14
14
  char: StructuredTypeEntity;
15
- yesNo: VariantTypeEntity;
15
+ yesNo: StructuredTypeEntity;
16
16
  none: StructuredTypeEntity;
17
17
  enumerable: StructuredTypeEntity;
18
18
  enumerator: StructuredTypeEntity;
19
+ enumeratorMethod: TypeMethodEntity;
19
20
  array: StructuredTypeEntity;
20
21
  readonlyArray: StructuredTypeEntity;
21
22
  map: StructuredTypeEntity;
@@ -2,156 +2,116 @@ export declare enum DiagnosticCode {
2
2
  IdentifierExpected = 0,
3
3
  TypeNameExpected = 1,
4
4
  PackageNameExpected = 2,
5
- IdentifierWithoutPrimeSymbolExpected = 3,
6
- TypeMemberDeclarationExpected = 4,
7
- SourceFileMemberExpected = 5,
8
- EnumerationVariableDeclarationExpected = 6,
9
- StatementExpected = 7,
10
- ExpressionExpected = 8,
11
- BaseTypeNameExpected = 9,
12
- VariantDeclarationExpected = 10,
13
- TypeSpecifierExpected = 11,
14
- TypeBodyExpected = 12,
15
- MethodCallArgumentExpected = 13,
16
- TagArgumentExpected = 14,
17
- TypeParameterExpected = 15,
18
- ParameterExpected = 16,
19
- RunStatementClauseExpected = 17,
20
- PackageImportExpected = 18,
21
- UsingDirectiveOrSourceFileMemberExpected = 19,
22
- WordFormExpected = 20,
23
- TypeMemberTranslationExpected = 21,
24
- TranslationExpected = 22,
25
- Expected0But1Found = 23,
26
- InvalidTextTemplateLiteral = 24,
27
- RunKeywordOnCreateKeywordOrModifierListExpected = 25,
28
- ModifierListExpected = 26,
29
- HidingLevelExpected = 27,
30
- PropertyOrElementAccessExpected = 28,
31
- NameMustNotStartWithTilde = 29,
32
- OperatorNameCanOnlyBeUsedInOperatorDeclaration = 30,
33
- ParameterNameCanContainOnlyOneBackQuote = 31,
34
- FieldNameCanContainOnlyTwoBackQuote = 32,
35
- BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 33,
36
- NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 34,
37
- VariantNotFound = 35,
38
- TypeCannotBeUsedAsValue = 36,
39
- PackageMemberNotFound = 37,
40
- CannotAccessMembersOfUnresolvedPackage = 38,
41
- TypeMemberNotFound = 39,
42
- OperatorNotFound = 40,
43
- CannotAccessMembersOnMethodType = 41,
44
- CannotAccessStaticMembersOnTypeParameter = 42,
45
- CannotAccessStaticMembersOnUnionType = 43,
46
- CannotAccessMembersOnUnresolvedType = 44,
47
- CannotAccessInstanceMembersOnVariantType = 45,
48
- CannotAccessInstanceMembersOnTypeParameterWithoutConstraint = 46,
49
- CannotAccessIndexerOnVariantType = 47,
50
- CannotAccessIndexerOnMethodType = 48,
51
- CannotAccessIndexerOnTypeParameter = 49,
52
- CannotAccessIndexerOnUnresolvedType = 50,
53
- IndexerOfTheSpecifiedTypeNotFound = 51,
54
- DereferenceOperatorOfTheSpecifiedTypeNotFound = 52,
55
- IndexedGetterNotFound = 53,
56
- IndexedSetterNotFound = 54,
57
- IndexerNotFound = 55,
58
- CannotCreateInstanceOfAspect = 56,
59
- CannotCreateInstanceOfVariantType = 57,
60
- CannotCreateInstanceOfMethodType = 58,
61
- CannotCreateInstanceOfTypeParameter = 59,
62
- CannotCreateInstanceOfUnresolvedType = 60,
63
- CannotCreateInstanceOfInvalidType = 61,
64
- TypeConstructorNotFound = 62,
65
- CannotInvokeExpression = 63,
66
- NamedArgumentExpectedButPositionalArgumentFound = 64,
67
- ParameterWithGivenNameNotFound = 65,
68
- ArgumentForParameterAlreadyPassed = 66,
69
- PackageAliasCannotBeUsedAsValue = 67,
70
- PackageNameCannotBeUsedAsValue = 68,
71
- UnknownVariable = 69,
72
- UnknownType = 70,
73
- TypeWithArity0NotFound = 71,
74
- CannotAccessMembersOnInvalidType = 72,
75
- CannotAccessIndexerOnInvalidType = 73,
76
- VariableUsedBeforeBeingDeclared = 74,
77
- Type0IsNotAssignableToType1 = 75,
78
- VariableNotFound = 76,
79
- MethodNotFound = 77,
80
- PackageAliasNotFound = 78,
81
- VariantAliasExpected = 79,
82
- UnknownPackage = 80,
83
- CannotAssignValueToExpression = 81,
84
- NotEveryRequiredParameterIsProvidedWithCallArgument = 82,
85
- ParameterForPositionalCallArgumentNotFound = 83,
86
- AliasTypeAliasMustNotContainMemberAliases = 84,
87
- InvalidTypeAliasMustNotContainMemberAliases = 85,
88
- CannotUseSpecialNameForLocalDeclaration = 86,
89
- SpecialNameIsNotAllowed = 87,
90
- MultipleValuesFound = 88,
91
- CannotDetermineTargetTypeToCallTheConstructor = 89,
92
- AmbiguousAccess = 90,
93
- PackageNameConflictsWithDeclarationName = 91,
94
- CannotAccessVariableDueToItsAccessibilityLevel = 92,
95
- CannotAccessMethodDueToItsAccessibilityLevel = 93,
96
- CannotAccessTypeDueToItsAccessibilityLevel = 94,
97
- CanNotAssignValueToContextVariable = 95,
98
- ExpectedPackageNameOrAliasButFoundType = 96,
99
- TypeExpected = 97,
100
- TypeOrPackageNotFound = 98,
101
- TypeIsNotATag = 99,
102
- ExpressionOfType0CanNotBeUsedForEnumeration = 100,
103
- Operator0IsNotDefinedForTypes1And2 = 101,
104
- Operator0IsNotDefinedForType1 = 102,
105
- VariantMustHaveAssociatedValue = 103,
106
- AssociatedValueMustBeANumberOrTextLiteral = 104,
107
- PackageMemberOrPackageNotFound = 105,
108
- TranslationsCanOnlyBeDeclaredInTranslationPackage = 106,
109
- UnknownTranslatedPackage0 = 107,
110
- BaseCannotBeUsedInThisContext = 108,
111
- OverriddenMethodNotFound = 109,
112
- ObjectCannotBeUsedInThisContext = 110,
113
- BaseCannotBeUsedAsAnExpressionInItself = 111,
114
- InterfacePackageMustNotContainImplementation = 112,
115
- InterfacePackageVariablesMustNotHaveInitializers = 113,
116
- InterfacePackageVariablesMustNotHaveAccessors = 114,
117
- InterfacePackageIndexersMustNotHaveAccessors = 115,
118
- BodyIsMissing = 116,
119
- AbstractTypeMembersMustNotHaveBody = 117,
120
- AbstractIndexersMustNotHaveAccessors = 118,
121
- AbstractVariablesMustNotHaveInitializers = 119,
122
- AbstractVariablesMustNotHaveAccessors = 120,
123
- AccessorsAreMissing = 121,
124
- PackageIsAlreadyImportedInAnotherLanguage = 122,
125
- OnlySubprogramsWithReturnTypeCanReturnValue = 123,
126
- MethodsUsingYieldStatementCanNotReturnValue = 124,
127
- YieldStatementCanNotBeUsedInAnonymousMethods = 125,
128
- YieldStatementCanNotBeUsedHere = 126,
129
- MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 127,
130
- YieldStatementCanNotBeUsedInRunStatementThatHasOnErrorClause = 128,
131
- YieldStatementCanNotBeUsedInFinallyClause = 129,
132
- SubprogramMustReturnValue = 130,
133
- ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 131,
134
- TypeAliasReferencesItself = 132,
135
- TypeParameterHasCircularConstraint = 133,
136
- BaseTypeCausesInheritanceCycle = 134,
137
- OnlyGenericTypesAndFunctionsCanBeSpecialized = 135,
138
- Expected0TypeArguments = 136,
139
- ExpectedFrom0To1TypeArguments = 137,
140
- Type0IsNotAssignableToConstraint1 = 138,
141
- VariableIsDeclaredButNotUsed = 139,
142
- DefaultConstructorArgumentsMustBeNamed = 140,
143
- IncorrectBodyOfRedefinableAliasTypeMethod = 141,
144
- TheFollowingDeclarationsAreNotTranslated0 = 142,
145
- TheFollowingDeclarationAreNotTranslated0And1More = 143,
146
- OperatorMustNotBeStatic = 144,
147
- Operator0MustNotHaveParameters = 145,
148
- Operator0MustHaveOneParameter = 146,
149
- Operator0MustHaveNoMoreThanOneParameter = 147,
150
- CanNotFindTsLibDirectoryBaseSearchPaths0 = 148,
151
- SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 149,
152
- MainPackageConfigurationIsMissingProjectWontBeLoaded = 150,
153
- ProgramWithoutMainPackageCanNotBeCompiled = 151,
154
- JsonConfigurationValidationError = 152,
155
- StandardPackage0NotFound = 153,
156
- Declaration0NotFoundInStandardPackage1 = 154
5
+ TypeMemberDeclarationExpected = 3,
6
+ SourceFileMemberExpected = 4,
7
+ EnumerationVariableDeclarationExpected = 5,
8
+ StatementExpected = 6,
9
+ ExpressionExpected = 7,
10
+ BaseTypeNameExpected = 8,
11
+ TypeSpecifierExpected = 9,
12
+ TypeBodyExpected = 10,
13
+ MethodCallArgumentExpected = 11,
14
+ TagArgumentExpected = 12,
15
+ TypeParameterExpected = 13,
16
+ ParameterExpected = 14,
17
+ RunStatementClauseExpected = 15,
18
+ PackageImportExpected = 16,
19
+ UsingDirectiveOrSourceFileMemberExpected = 17,
20
+ WordFormExpected = 18,
21
+ TypeMemberTranslationExpected = 19,
22
+ TranslationExpected = 20,
23
+ Expected0But1Found = 21,
24
+ InvalidTextTemplateLiteral = 22,
25
+ RunKeywordOnCreateKeywordOrModifierListExpected = 23,
26
+ ModifierListExpected = 24,
27
+ HidingLevelExpected = 25,
28
+ ParameterNameCanContainOnlyOneBackQuote = 26,
29
+ FieldNameCanContainOnlyTwoBackQuote = 27,
30
+ BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 28,
31
+ NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 29,
32
+ VariantNotFound = 30,
33
+ TypeCannotBeUsedAsValue = 31,
34
+ PackageMemberNotFound = 32,
35
+ TypeMemberNotFound = 33,
36
+ CannotAccessStaticMembersOnTypeParameter = 34,
37
+ IndexerOfTheSpecifiedTypeNotFound = 35,
38
+ DereferenceOperatorOfTheSpecifiedTypeNotFound = 36,
39
+ IndexerNotFound = 37,
40
+ CannotCreateInstanceOfAspect = 38,
41
+ CannotCreateInstanceOfTypeParameter = 39,
42
+ CannotCreateInstanceOfUnresolvedType = 40,
43
+ TypeConstructorNotFound = 41,
44
+ CannotInvokeExpression = 42,
45
+ NamedArgumentExpectedButPositionalArgumentFound = 43,
46
+ ParameterWithGivenNameNotFound = 44,
47
+ ArgumentForParameterAlreadyPassed = 45,
48
+ PackageAliasCannotBeUsedAsValue = 46,
49
+ PackageNameCannotBeUsedAsValue = 47,
50
+ UnknownVariable = 48,
51
+ UnknownType = 49,
52
+ TypeWithArity0NotFound = 50,
53
+ VariableUsedBeforeBeingDeclared = 51,
54
+ Type0IsNotAssignableToType1 = 52,
55
+ VariableNotFound = 53,
56
+ MethodNotFound = 54,
57
+ UnknownPackage = 55,
58
+ CannotAssignValueToExpression = 56,
59
+ NotEveryRequiredParameterIsProvidedWithCallArgument = 57,
60
+ ParameterForPositionalCallArgumentNotFound = 58,
61
+ CannotDetermineTargetTypeToCallTheConstructor = 59,
62
+ AmbiguousAccess = 60,
63
+ PackageNameConflictsWithDeclarationName = 61,
64
+ CanNotAssignValueToContextVariable = 62,
65
+ ExpectedPackageNameOrAliasButFoundType = 63,
66
+ TypeExpected = 64,
67
+ TypeOrPackageNotFound = 65,
68
+ TypeIsNotATag = 66,
69
+ ExpressionOfType0CanNotBeUsedForEnumeration = 67,
70
+ Operator0IsNotDefinedForTypes1And2 = 68,
71
+ Operator0IsNotDefinedForType1 = 69,
72
+ VariantMustHaveAssociatedValue = 70,
73
+ PackageMemberOrPackageNotFound = 71,
74
+ TranslationsCanOnlyBeDeclaredInTranslationPackage = 72,
75
+ UnknownTranslatedPackage0 = 73,
76
+ BaseCannotBeUsedInThisContext = 74,
77
+ OverriddenMethodNotFound = 75,
78
+ ObjectCannotBeUsedInThisContext = 76,
79
+ BaseCannotBeUsedAsAnExpressionInItself = 77,
80
+ InterfacePackageMustNotContainImplementation = 78,
81
+ InterfacePackageVariablesMustNotHaveInitializers = 79,
82
+ BodyIsMissing = 80,
83
+ AbstractTypeMembersMustNotHaveBody = 81,
84
+ AbstractVariablesMustNotHaveInitializers = 82,
85
+ PackageIsAlreadyImportedInAnotherLanguage = 83,
86
+ OnlySubprogramsWithReturnTypeCanReturnValue = 84,
87
+ MethodsUsingYieldStatementCanNotReturnValue = 85,
88
+ YieldStatementCanNotBeUsedInAnonymousMethods = 86,
89
+ YieldStatementCanNotBeUsedHere = 87,
90
+ MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 88,
91
+ YieldStatementCanNotBeUsedInRunStatementThatHasOnErrorClause = 89,
92
+ YieldStatementCanNotBeUsedInFinallyClause = 90,
93
+ SubprogramMustReturnValue = 91,
94
+ ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 92,
95
+ TypeAliasReferencesItself = 93,
96
+ TypeParameterHasCircularConstraint = 94,
97
+ BaseTypeCausesInheritanceCycle = 95,
98
+ OnlyGenericTypesAndFunctionsCanBeSpecialized = 96,
99
+ Expected0TypeArguments = 97,
100
+ ExpectedFrom0To1TypeArguments = 98,
101
+ Type0IsNotAssignableToConstraint1 = 99,
102
+ VariableIsDeclaredButNotUsed = 100,
103
+ DefaultConstructorArgumentsMustBeNamed = 101,
104
+ IncorrectBodyOfRedefinableAliasTypeMethod = 102,
105
+ TheFollowingDeclarationsAreNotTranslated0 = 103,
106
+ TheFollowingDeclarationAreNotTranslated0And1More = 104,
107
+ OperatorMustNotBeStatic = 105,
108
+ Operator0MustNotHaveParameters = 106,
109
+ Operator0MustHaveOneParameter = 107,
110
+ Operator0MustHaveNoMoreThanOneParameter = 108,
111
+ CanNotFindTsLibDirectoryBaseSearchPaths0 = 109,
112
+ SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 110,
113
+ ProgramWithoutMainPackageCanNotBeCompiled = 111,
114
+ JsonConfigurationValidationError = 112,
115
+ StandardPackage0NotFound = 113,
116
+ Declaration0NotFoundInStandardPackage1 = 114
157
117
  }
@@ -7,6 +7,8 @@ export declare class EmitterContext {
7
7
  readonly entityMap: EntityMap;
8
8
  readonly type: TypeUtils;
9
9
  readonly standardTypes: StandardTypes;
10
+ private readonly _integerTypeEntity;
11
+ get integerTypeEntity(): TypeOrExtensionEntity;
10
12
  constructor(analyzer: Analyzer, entityMap: EntityMap);
11
13
  createIdentitySubstitutedType(entity: TypeOrExtensionEntity): Type;
12
14
  unaliasTypeEntity(typeEntity: TypeOrExtensionEntity): Type;
@@ -64,6 +64,7 @@ export declare class TypeOrExtensionEntityDetails {
64
64
  structuredTypeKind: StructuredTypeKind;
65
65
  aliasedType: Type | undefined;
66
66
  isDefaultExport: boolean;
67
+ extendedType: TypeOrExtensionEntity | undefined;
67
68
  }
68
69
  export declare enum TypeOrExtensionEntityKind {
69
70
  StructuredType = 0,
@@ -80,7 +80,6 @@ export declare class IrBuilder {
80
80
  private buildAutotypeCallExpression;
81
81
  private buildIndexedAccessExpression;
82
82
  private buildIsExpression;
83
- private buildNotExpression;
84
83
  private buildMethodLiteral;
85
84
  private buildParenthesizedExpression;
86
85
  private buildPrefixUnaryExpression;
@@ -57,7 +57,6 @@ export declare class IrToJs {
57
57
  private convertNoneLiteral;
58
58
  private convertIndexedAccessExpression;
59
59
  private convertHelperMethodCallExpression;
60
- private convertNotExpression;
61
60
  private convertIntegerLiteral;
62
61
  private convertNumericLiteral;
63
62
  private convertMethodLiteral;