@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
@@ -74,87 +74,86 @@ export declare enum NodeKind {
74
74
  IndexedAccessExpression = 72,
75
75
  InvalidExpression = 73,
76
76
  IsExpression = 74,
77
- NotExpression = 75,
78
- MethodLiteral = 76,
79
- ParenthesizedExpression = 77,
80
- WhenTernaryExpression = 78,
81
- PrefixUnaryExpression = 79,
82
- PropertyAccessExpression = 80,
83
- ReferenceExpression = 81,
84
- DereferenceExpression = 82,
85
- TextTemplateLiteral = 83,
86
- TextTemplateSpanList = 84,
87
- TextTemplateSpan = 85,
88
- TokenExpression = 86,
89
- KeywordExpression = 87,
90
- ObjectExpression = 88,
91
- BaseExpression = 89,
92
- IdentifierExpression = 90,
93
- GenericSpecializationExpression = 91,
94
- DefaultMatchExpression = 92,
95
- AssignmentStatement = 93,
96
- StatementList = 94,
97
- StatementBlock = 95,
98
- BreakLoopStatement = 96,
99
- ContinueLoopStatement = 97,
100
- DisposeStatement = 98,
101
- RunStatementClauseList = 99,
102
- RunStatement = 100,
103
- OnErrorClause = 101,
104
- ErrorVariableDeclaration = 102,
105
- FinallyClause = 103,
106
- EmptyStatement = 104,
107
- ErrorStatement = 105,
108
- ExpressionStatement = 106,
109
- EnumerationVariableList = 107,
110
- ForStatement = 108,
111
- IfStatement = 109,
112
- ElseIfClauseList = 110,
113
- ElseIfClause = 111,
114
- InvalidStatement = 112,
115
- NestedMethodDeclarationStatement = 113,
116
- LocalVariableDeclarationStatement = 114,
117
- LoopStatement = 115,
118
- ReturnStatement = 116,
119
- CaseClauseList = 117,
120
- SwitchStatement = 118,
121
- MatchExpressionList = 119,
122
- SwitchStatementCaseClause = 120,
123
- WhileStatement = 121,
124
- YieldStatement = 122,
125
- TranslationParameterList = 123,
126
- TranslationParameterClause = 124,
127
- ConstructorTranslation = 125,
128
- IndexerTranslationParameterClause = 126,
129
- IndexerTranslation = 127,
130
- TranslationTypeParameterList = 128,
131
- TranslationTypeParameterClause = 129,
132
- PackageMethodTranslation = 130,
133
- TypeMethodTranslation = 131,
134
- MethodTypeTranslation = 132,
135
- PackageImportTranslation = 133,
136
- QualifiedName = 134,
137
- PackageVariableTranslation = 135,
138
- TypeVariableOrVariantTranslation = 136,
139
- TypeMemberTranslationList = 137,
140
- TypeTranslation = 138,
141
- TextLiteralTranslation = 139,
142
- TextTemplateLiteralTranslation = 140,
143
- VariantDeclaration = 141,
144
- TypeParameterDeclaration = 142,
145
- ParameterDeclaration = 143,
146
- CallArgument = 144,
147
- TagList = 145,
148
- Tag = 146,
149
- ModifierList = 147,
150
- Modifier = 148,
151
- ParameterClause = 149,
152
- ParameterList = 150,
153
- SetterParameterClause = 151,
154
- SetterParameterDeclaration = 152,
155
- TypeArgumentClause = 153,
156
- TypeArgumentList = 154,
157
- TypeParameterClause = 155,
158
- TypeParameterList = 156,
159
- TypeAnnotation = 157
77
+ MethodLiteral = 75,
78
+ ParenthesizedExpression = 76,
79
+ WhenTernaryExpression = 77,
80
+ PrefixUnaryExpression = 78,
81
+ PropertyAccessExpression = 79,
82
+ ReferenceExpression = 80,
83
+ DereferenceExpression = 81,
84
+ TextTemplateLiteral = 82,
85
+ TextTemplateSpanList = 83,
86
+ TextTemplateSpan = 84,
87
+ TokenExpression = 85,
88
+ KeywordExpression = 86,
89
+ ObjectExpression = 87,
90
+ BaseExpression = 88,
91
+ IdentifierExpression = 89,
92
+ GenericSpecializationExpression = 90,
93
+ DefaultMatchExpression = 91,
94
+ AssignmentStatement = 92,
95
+ StatementList = 93,
96
+ StatementBlock = 94,
97
+ BreakLoopStatement = 95,
98
+ ContinueLoopStatement = 96,
99
+ DisposeStatement = 97,
100
+ RunStatementClauseList = 98,
101
+ RunStatement = 99,
102
+ OnErrorClause = 100,
103
+ ErrorVariableDeclaration = 101,
104
+ FinallyClause = 102,
105
+ EmptyStatement = 103,
106
+ ErrorStatement = 104,
107
+ ExpressionStatement = 105,
108
+ EnumerationVariableList = 106,
109
+ ForStatement = 107,
110
+ IfStatement = 108,
111
+ ElseIfClauseList = 109,
112
+ ElseIfClause = 110,
113
+ InvalidStatement = 111,
114
+ NestedMethodDeclarationStatement = 112,
115
+ LocalVariableDeclarationStatement = 113,
116
+ LoopStatement = 114,
117
+ ReturnStatement = 115,
118
+ CaseClauseList = 116,
119
+ SwitchStatement = 117,
120
+ MatchExpressionList = 118,
121
+ SwitchStatementCaseClause = 119,
122
+ WhileStatement = 120,
123
+ YieldStatement = 121,
124
+ TranslationParameterList = 122,
125
+ TranslationParameterClause = 123,
126
+ ConstructorTranslation = 124,
127
+ IndexerTranslationParameterClause = 125,
128
+ IndexerTranslation = 126,
129
+ TranslationTypeParameterList = 127,
130
+ TranslationTypeParameterClause = 128,
131
+ PackageMethodTranslation = 129,
132
+ TypeMethodTranslation = 130,
133
+ MethodTypeTranslation = 131,
134
+ PackageImportTranslation = 132,
135
+ QualifiedName = 133,
136
+ PackageVariableTranslation = 134,
137
+ TypeVariableOrVariantTranslation = 135,
138
+ TypeMemberTranslationList = 136,
139
+ TypeTranslation = 137,
140
+ TextLiteralTranslation = 138,
141
+ TextTemplateLiteralTranslation = 139,
142
+ VariantDeclaration = 140,
143
+ TypeParameterDeclaration = 141,
144
+ ParameterDeclaration = 142,
145
+ CallArgument = 143,
146
+ TagList = 144,
147
+ Tag = 145,
148
+ ModifierList = 146,
149
+ Modifier = 147,
150
+ ParameterClause = 148,
151
+ ParameterList = 149,
152
+ SetterParameterClause = 150,
153
+ SetterParameterDeclaration = 151,
154
+ TypeArgumentClause = 152,
155
+ TypeArgumentList = 153,
156
+ TypeParameterClause = 154,
157
+ TypeParameterList = 155,
158
+ TypeAnnotation = 156
160
159
  }
@@ -3,27 +3,26 @@ export declare enum OperatorKind {
3
3
  Plus = 0,// Одноместный или двухместный.
4
4
  Minus = 1,// Одноместный или двухместный.
5
5
  Not = 2,
6
- BitwiseNot = 3,
7
- Multiply = 4,
8
- Divide = 5,
9
- IntegerDivide = 6,
10
- Modulo = 7,
11
- LessThan = 8,
12
- GreaterThan = 9,
13
- LessThanEquals = 10,
14
- GreaterThanEquals = 11,
15
- Or = 12,
16
- And = 13,
17
- Xor = 14,
18
- BitwiseAnd = 15,
19
- BitwiseOr = 16,
20
- BitwiseXor = 17
6
+ Multiply = 3,
7
+ Divide = 4,
8
+ IntegerDivide = 5,
9
+ Modulo = 6,
10
+ LessThan = 7,
11
+ GreaterThan = 8,
12
+ LessThanOrEqual = 9,
13
+ GreaterThanOrEqual = 10,
14
+ Or = 11,
15
+ And = 12,
16
+ Xor = 13,
17
+ BitwiseAnd = 14,
18
+ BitwiseOr = 15,
19
+ BitwiseXor = 16
21
20
  }
22
- export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.BitwiseNot, OperatorKind.Multiply, OperatorKind.Divide, OperatorKind.IntegerDivide, OperatorKind.Modulo, OperatorKind.LessThan, OperatorKind.GreaterThan, OperatorKind.LessThanEquals, OperatorKind.GreaterThanEquals, OperatorKind.Or, OperatorKind.And, OperatorKind.Xor, OperatorKind.BitwiseAnd, OperatorKind.BitwiseOr, OperatorKind.BitwiseXor];
21
+ export declare const operatorKinds: readonly [OperatorKind.Plus, OperatorKind.Minus, OperatorKind.Not, OperatorKind.Multiply, OperatorKind.Divide, OperatorKind.IntegerDivide, OperatorKind.Modulo, OperatorKind.LessThan, OperatorKind.GreaterThan, OperatorKind.LessThanOrEqual, OperatorKind.GreaterThanOrEqual, OperatorKind.Or, OperatorKind.And, OperatorKind.Xor, OperatorKind.BitwiseAnd, OperatorKind.BitwiseOr, OperatorKind.BitwiseXor];
23
22
  /**
24
23
  * Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
25
24
  */
26
- export type KindOfOperatorDefinedByToken = OperatorKind.BitwiseNot | OperatorKind.Plus | OperatorKind.Minus | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanEquals | OperatorKind.GreaterThanEquals | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
25
+ export type KindOfOperatorDefinedByToken = OperatorKind.Plus | OperatorKind.Minus | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
27
26
  export declare function isOperatorDefinedByToken(kind: OperatorKind): kind is KindOfOperatorDefinedByToken;
28
27
  /**
29
28
  * Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)
@@ -33,10 +33,10 @@ export declare enum TokenKind {
33
33
  Exclamation = 31,
34
34
  ExclamationEquals = 32,
35
35
  GreaterThan = 33,
36
- GreaterThanEquals = 34,
36
+ GreaterThanOrEqual = 34,
37
37
  HashSign = 35,
38
38
  LessThan = 36,
39
- LessThanEquals = 37,
39
+ LessThanOrEqual = 37,
40
40
  LessThanMinus = 38,
41
41
  Minus = 39,
42
42
  MinusMinus = 40,
@@ -928,7 +928,7 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
928
928
  constructor(name: Identifier);
929
929
  toRed(rangeStart: number, parent: red.EnumerationVariableDeclarationParent): red.EnumerationVariableDeclaration;
930
930
  }
931
- export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
931
+ export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
932
932
  export declare class ArrayLiteral extends BaseNode {
933
933
  readonly kind = NodeKind.ArrayLiteral;
934
934
  readonly children: readonly [
@@ -1004,7 +1004,7 @@ export declare class BinaryExpression extends BaseNode {
1004
1004
  constructor(left: Expression, operator: BinaryExpressionOperator, right: Expression);
1005
1005
  toRed(rangeStart: number, parent: red.ExpressionParent): red.BinaryExpression;
1006
1006
  }
1007
- export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanEquals> | Token<TokenKind.GreaterThanEquals> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
1007
+ export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanOrEqual> | Token<TokenKind.GreaterThanOrEqual> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
1008
1008
  export declare class MethodBlockLiteral extends BaseNode {
1009
1009
  readonly kind = NodeKind.MethodBlockLiteral;
1010
1010
  readonly children: readonly [
@@ -1102,22 +1102,6 @@ export declare class IsExpression extends BaseNode {
1102
1102
  constructor(expression: Expression, isKeyword: Keyword<KeywordKind.Is>, typeSpecifier: TypeSpecifier);
1103
1103
  toRed(rangeStart: number, parent: red.ExpressionParent): red.IsExpression;
1104
1104
  }
1105
- export declare class NotExpression extends BaseNode {
1106
- readonly kind = NodeKind.NotExpression;
1107
- readonly children: readonly [
1108
- Keyword<KeywordKind.Not>,
1109
- Token<TokenKind.OpenParenthesis>,
1110
- Expression,
1111
- Token<TokenKind.CloseParenthesis>
1112
- ];
1113
- get notKeyword(): Keyword<KeywordKind.Not>;
1114
- get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
1115
- get expression(): Expression;
1116
- get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
1117
- protected get thisAsNode(): Node;
1118
- constructor(notKeyword: Keyword<KeywordKind.Not>, openParenthesisToken: Token<TokenKind.OpenParenthesis>, expression: Expression, closeParenthesisToken: Token<TokenKind.CloseParenthesis>);
1119
- toRed(rangeStart: number, parent: red.ExpressionParent): red.NotExpression;
1120
- }
1121
1105
  export declare class MethodLiteral extends BaseNode {
1122
1106
  readonly kind = NodeKind.MethodLiteral;
1123
1107
  readonly children: readonly [
@@ -1180,7 +1164,7 @@ export declare class PrefixUnaryExpression extends BaseNode {
1180
1164
  constructor(operator: PrefixUnaryExpressionOperator, operand: Expression);
1181
1165
  toRed(rangeStart: number, parent: red.ExpressionParent): red.PrefixUnaryExpression;
1182
1166
  }
1183
- export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus>;
1167
+ export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Keyword<KeywordKind.Not>;
1184
1168
  export declare class PropertyAccessExpression extends BaseNode {
1185
1169
  readonly kind = NodeKind.PropertyAccessExpression;
1186
1170
  readonly children: readonly [
@@ -2199,4 +2183,4 @@ export declare class TypeAnnotation extends BaseNode {
2199
2183
  constructor(colonToken: Token<TokenKind.Colon>, typeSpecifier: TypeSpecifier);
2200
2184
  toRed(rangeStart: number, parent: red.TypeAnnotationParent): red.TypeAnnotation;
2201
2185
  }
2202
- export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
2186
+ export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
@@ -881,8 +881,8 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
881
881
  constructor(green: green.EnumerationVariableDeclaration, rangeStart: number, parent: EnumerationVariableDeclarationParent);
882
882
  private createChildren;
883
883
  }
884
- export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
885
- export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | NotExpression | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
884
+ export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
885
+ export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
886
886
  export declare class ArrayLiteral extends BaseNode {
887
887
  readonly kind = NodeKind.ArrayLiteral;
888
888
  readonly green: green.ArrayLiteral;
@@ -960,7 +960,7 @@ export declare class BinaryExpression extends BaseNode {
960
960
  constructor(green: green.BinaryExpression, rangeStart: number, parent: ExpressionParent);
961
961
  private createChildren;
962
962
  }
963
- export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanEquals> | Token<TokenKind.GreaterThanEquals> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
963
+ export type BinaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Token<TokenKind.Asterisk> | Token<TokenKind.Slash> | Token<TokenKind.Backslash> | Token<TokenKind.BackslashBackslash> | Token<TokenKind.EqualsEquals> | Token<TokenKind.ExclamationEquals> | Token<TokenKind.LessThan> | Token<TokenKind.GreaterThan> | Token<TokenKind.LessThanOrEqual> | Token<TokenKind.GreaterThanOrEqual> | Token<TokenKind.QuestionQuestion> | Keyword<KeywordKind.Or> | Keyword<KeywordKind.And> | Keyword<KeywordKind.Xor> | Token<TokenKind.Ampersand> | Token<TokenKind.Bar> | Token<TokenKind.BarBar>;
964
964
  export declare class MethodBlockLiteral extends BaseNode {
965
965
  readonly kind = NodeKind.MethodBlockLiteral;
966
966
  readonly green: green.MethodBlockLiteral;
@@ -1063,20 +1063,6 @@ export declare class IsExpression extends BaseNode {
1063
1063
  constructor(green: green.IsExpression, rangeStart: number, parent: ExpressionParent);
1064
1064
  private createChildren;
1065
1065
  }
1066
- export declare class NotExpression extends BaseNode {
1067
- readonly kind = NodeKind.NotExpression;
1068
- readonly green: green.NotExpression;
1069
- readonly parent: ExpressionParent;
1070
- private _children;
1071
- get children(): readonly [Keyword<green.KeywordKind.Not>, Token<green.TokenKind.OpenParenthesis>, Expression, Token<green.TokenKind.CloseParenthesis>];
1072
- get notKeyword(): Keyword<KeywordKind.Not>;
1073
- get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
1074
- get expression(): Expression;
1075
- get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
1076
- protected get thisAsNode(): Node;
1077
- constructor(green: green.NotExpression, rangeStart: number, parent: ExpressionParent);
1078
- private createChildren;
1079
- }
1080
1066
  export declare class MethodLiteral extends BaseNode {
1081
1067
  readonly kind = NodeKind.MethodLiteral;
1082
1068
  readonly green: green.MethodLiteral;
@@ -1132,7 +1118,7 @@ export declare class PrefixUnaryExpression extends BaseNode {
1132
1118
  constructor(green: green.PrefixUnaryExpression, rangeStart: number, parent: ExpressionParent);
1133
1119
  private createChildren;
1134
1120
  }
1135
- export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus>;
1121
+ export type PrefixUnaryExpressionOperator = Token<TokenKind.Plus> | Token<TokenKind.Minus> | Keyword<KeywordKind.Not>;
1136
1122
  export declare class PropertyAccessExpression extends BaseNode {
1137
1123
  readonly kind = NodeKind.PropertyAccessExpression;
1138
1124
  readonly green: green.PropertyAccessExpression;
@@ -2200,4 +2186,4 @@ export declare class TypeAnnotation extends BaseNode {
2200
2186
  constructor(green: green.TypeAnnotation, rangeStart: number, parent: TypeAnnotationParent);
2201
2187
  private createChildren;
2202
2188
  }
2203
- export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | NotExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
2189
+ export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
@@ -283,6 +283,7 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
283
283
  readonly kind = EntityKind.Variable;
284
284
  readonly subkind = "type";
285
285
  private readonly _type;
286
+ private readonly _overriddenMember;
286
287
  private get declaration();
287
288
  constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
288
289
  getName(): Name;
@@ -299,6 +300,7 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
299
300
  isRedefinable(): boolean;
300
301
  isRedefined(): boolean;
301
302
  isAbstract(): boolean;
303
+ getOverriddenMember(): types.Variable | undefined;
302
304
  }
303
305
  export declare class TsAccessorEntity implements TypeVariableEntity {
304
306
  private readonly _tsctx;
@@ -310,6 +312,7 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
310
312
  private readonly _type;
311
313
  private readonly _getter;
312
314
  private readonly _setter;
315
+ private readonly _overriddenMember;
313
316
  private get getAccessorDeclaration();
314
317
  constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
315
318
  getName(): Name;
@@ -326,6 +329,7 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
326
329
  isRedefinable(): boolean;
327
330
  isRedefined(): boolean;
328
331
  isAbstract(): boolean;
332
+ getOverriddenMember(): types.Variable | undefined;
329
333
  }
330
334
  export declare class TsGetAccessorEntity implements GetterEntity {
331
335
  private readonly _tsctx;
@@ -366,6 +370,7 @@ export declare class TsMethodEntity implements TypeMethodEntity {
366
370
  private readonly _typeParameters;
367
371
  private readonly _valueParameters;
368
372
  private readonly _returnType;
373
+ private readonly _overriddenMember;
369
374
  constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _declaration: ts.MethodDeclaration | ts.MethodSignature, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
370
375
  getName(): Name;
371
376
  getTypeParameters(): readonly TypeParameterEntity[];
@@ -384,6 +389,7 @@ export declare class TsMethodEntity implements TypeMethodEntity {
384
389
  getTypeParametersArity(): number;
385
390
  isMethodTypeInvokeMethod(): boolean;
386
391
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
392
+ getOverriddenMember(): types.Method | undefined;
387
393
  }
388
394
  export declare class TsIteratorMethodEntity implements TypeMethodEntity {
389
395
  private readonly _tsctx;
@@ -392,6 +398,7 @@ export declare class TsIteratorMethodEntity implements TypeMethodEntity {
392
398
  readonly kind = EntityKind.Method;
393
399
  readonly subkind = "type";
394
400
  private readonly _returnType;
401
+ private readonly _overriddenMethod;
395
402
  private get firstDeclaration();
396
403
  constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers);
397
404
  getName(): Name;
@@ -411,6 +418,7 @@ export declare class TsIteratorMethodEntity implements TypeMethodEntity {
411
418
  getTypeParametersArity(): number;
412
419
  isMethodTypeInvokeMethod(): boolean;
413
420
  getSubstitutionApplicationMode(): SubstitutionApplicationMode;
421
+ getOverriddenMember(): types.Method | undefined;
414
422
  }
415
423
  export declare class TsParameterEntity implements ParameterVariableEntity {
416
424
  private readonly _tsctx;
@@ -1,5 +1,5 @@
1
1
  import { Analyzer } from '../analysis/index.js';
2
- import { StructuredType, UnresolvedType, VariantType } from './index.js';
2
+ import { StructuredType, UnresolvedType } from './index.js';
3
3
  export declare class StandardTypes {
4
4
  private readonly _analyzer;
5
5
  private _refObject;
@@ -29,7 +29,7 @@ export declare class StandardTypes {
29
29
  get textTemplate(): StructuredType;
30
30
  get char(): StructuredType;
31
31
  get unresolved(): UnresolvedType;
32
- get yesNo(): VariantType;
32
+ get yesNo(): StructuredType;
33
33
  get none(): StructuredType;
34
34
  get measure(): StructuredType;
35
35
  get enumerator(): StructuredType;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@artel/artc",
3
- "version": "0.6.25213",
3
+ "version": "0.6.25215",
4
4
  "description": "Артель Компилятор | Artel Compiler",
5
5
  "author": "Nezaboodka Team <contact@nezaboodka.com>",
6
6
  "license": "LGPL-3.0-or-later",
@@ -1,10 +0,0 @@
1
- import { statementTransformationResult } from './Internal.js';
2
- import { BlockStatement } from './ir/index.js';
3
- export type Type = {
4
- kind: statementTransformationResult.Kind.Preserve;
5
- } | {
6
- kind: statementTransformationResult.Kind.Replace;
7
- statement: BlockStatement;
8
- };
9
- export declare function preserve(): Type;
10
- export declare function replace(statement: BlockStatement): Type;
@@ -1,17 +0,0 @@
1
- import { VariableEntity } from './Entities.js';
2
- import { TransformationContinuationAction } from './TransformationContinuationAction.js';
3
- import { Expression } from './ir/index.js';
4
- export declare enum Kind {
5
- Preserve = 0,
6
- Replace = 1
7
- }
8
- export type Type = {
9
- kind: Kind.Preserve;
10
- action: TransformationContinuationAction;
11
- } | {
12
- kind: Kind.Replace;
13
- expression: Expression;
14
- hoistedLocalVariables?: readonly VariableEntity[];
15
- };
16
- export declare function preserve(action?: TransformationContinuationAction): Type;
17
- export declare function replace(expression: Expression, hoistedLocalVariables?: readonly VariableEntity[]): Type;
@@ -1,9 +0,0 @@
1
- export * as blockStatementTransformationResult from './BlockStatementTransformationResult.js';
2
- export * as expressionTransformationResult from './ExpressionTransformationResult.js';
3
- export * from './IrBuilder.js';
4
- export * as packageMemberDeclarationTransformationResult from './PackageMemberDeclarationTransformationResult.js';
5
- export * as simpleTransformationResult from './SimpleTransformationResult.js';
6
- export * as statementTransformationResult from './StatementTransformationResult.js';
7
- export * as typeMemberDeclarationTransformationResult from './StructuredTypeMemberDeclarationTransformationResult.js';
8
- export * from './Transformer.js';
9
- export * as typeAccessExpressionTransformationResult from './TypeAccessExpressionTransformationResult.js';
@@ -1,17 +0,0 @@
1
- import { PackageMemberDeclaration } from './ir/index.js';
2
- export declare const enum Kind {
3
- Preserve = 0,
4
- Replace = 1,
5
- Remove = 2
6
- }
7
- export type PackageMemberDeclarationTransformationResult = {
8
- kind: Kind.Preserve;
9
- } | {
10
- kind: Kind.Replace;
11
- declarations: readonly PackageMemberDeclaration[];
12
- } | {
13
- kind: Kind.Remove;
14
- };
15
- export declare function preserve(): PackageMemberDeclarationTransformationResult;
16
- export declare function replace(declarations: readonly PackageMemberDeclaration[]): PackageMemberDeclarationTransformationResult;
17
- export declare function remove(): PackageMemberDeclarationTransformationResult;
@@ -1,14 +0,0 @@
1
- import { TransformationContinuationAction } from './TransformationContinuationAction.js';
2
- export declare enum Kind {
3
- Preserve = 0,
4
- Replace = 1
5
- }
6
- export type Type<T> = {
7
- kind: Kind.Preserve;
8
- action: TransformationContinuationAction;
9
- } | {
10
- kind: Kind.Replace;
11
- node: T;
12
- };
13
- export declare function preserve<T>(action?: TransformationContinuationAction): Type<T>;
14
- export declare function replace<T>(node: T): Type<T>;
@@ -1,21 +0,0 @@
1
- import { VariableEntity } from './Entities.js';
2
- import { Statement } from './ir/index.js';
3
- export declare const enum Kind {
4
- Preserve = 0,
5
- Replace = 1,
6
- Remove = 2
7
- }
8
- export type Type = {
9
- kind: Kind.Preserve;
10
- hoistedLocalVariables?: readonly VariableEntity[];
11
- } | {
12
- kind: Kind.Replace;
13
- statement: Statement;
14
- hoistedLocalVariables?: readonly VariableEntity[];
15
- } | {
16
- kind: Kind.Remove;
17
- hoistedLocalVariables: undefined;
18
- };
19
- export declare function preserve(hoistedLocalVariables?: readonly VariableEntity[]): Type;
20
- export declare function replace(statement: Statement, hoistedLocalVariables?: readonly VariableEntity[]): Type;
21
- export declare function remove(): Type;
@@ -1,13 +0,0 @@
1
- import { TypeMemberDeclaration } from './ir/index.js';
2
- export declare enum Kind {
3
- Preserve = 0,
4
- Replace = 1
5
- }
6
- export type Type = {
7
- kind: Kind.Preserve;
8
- } | {
9
- kind: Kind.Replace;
10
- declarations: readonly TypeMemberDeclaration[];
11
- };
12
- export declare function preserve(): Type;
13
- export declare function replace(declarations: readonly TypeMemberDeclaration[]): Type;
@@ -1,4 +0,0 @@
1
- export declare const enum TransformationContinuationAction {
2
- Continue = 0,
3
- DoNotTransformChildren = 1
4
- }
@@ -1,12 +0,0 @@
1
- import { expressionTransformationResult } from './Internal.js';
2
- import { TransformationContinuationAction } from './TransformationContinuationAction.js';
3
- import { TypeAccessExpression } from './ir/index.js';
4
- export type TypeAccessExpressionTransformationResult = {
5
- kind: expressionTransformationResult.Kind.Preserve;
6
- action: TransformationContinuationAction;
7
- } | {
8
- kind: expressionTransformationResult.Kind.Replace;
9
- expression: TypeAccessExpression;
10
- };
11
- export declare function preserve(action?: TransformationContinuationAction): TypeAccessExpressionTransformationResult;
12
- export declare function replace(expression: TypeAccessExpression): TypeAccessExpressionTransformationResult;