@artel/artc 0.6.25214 → 0.6.25216

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 (34) hide show
  1. package/build/Cli.js +3 -3
  2. package/build/api/Api.js +6 -4
  3. package/build/api/ApiNodeJS.js +3 -3
  4. package/build/api/ApiServices.js +318 -269
  5. package/build/{chunk-SKJMYOQR.js → chunk-6RYP5SET.js} +1 -1
  6. package/build/{chunk-YCHDDDYS.js → chunk-O7AXOZXA.js} +2 -2
  7. package/build/{chunk-ZFBZFTRR.js → chunk-TJG64G2K.js} +6079 -6321
  8. package/build/types/analysis/Analyzer.d.ts +1 -4
  9. package/build/types/analysis/{PrefixUnaryOperatorResolver.d.ts → UserDefinableUnaryOperatorResolver.d.ts} +3 -5
  10. package/build/types/analysis/Utils.d.ts +2 -2
  11. package/build/types/emitter/EmitterContext.d.ts +2 -0
  12. package/build/types/emitter/IrBuilder.d.ts +0 -1
  13. package/build/types/emitter/IrToJs.d.ts +0 -1
  14. package/build/types/emitter/Transformer.d.ts +158 -97
  15. package/build/types/emitter/ir/Nodes.d.ts +4 -11
  16. package/build/types/emitter/ir/types.d.ts +2 -2
  17. package/build/types/parser/UnescapeText.d.ts +1 -0
  18. package/build/types/services/NodeSemanticInfo.d.ts +0 -1
  19. package/build/types/services/workspace/CompilationController.d.ts +23 -1
  20. package/build/types/services/workspace/Workspace.d.ts +1 -0
  21. package/build/types/tree/NodeKind.d.ts +82 -83
  22. package/build/types/tree/TokenKind.d.ts +2 -2
  23. package/build/types/tree/green/Nodes.d.ts +3 -19
  24. package/build/types/tree/red/Nodes.d.ts +4 -18
  25. package/package.json +1 -1
  26. package/build/types/emitter/BlockStatementTransformationResult.d.ts +0 -10
  27. package/build/types/emitter/ExpressionTransformationResult.d.ts +0 -17
  28. package/build/types/emitter/Internal.d.ts +0 -9
  29. package/build/types/emitter/PackageMemberDeclarationTransformationResult.d.ts +0 -17
  30. package/build/types/emitter/SimpleTransformationResult.d.ts +0 -14
  31. package/build/types/emitter/StatementTransformationResult.d.ts +0 -21
  32. package/build/types/emitter/StructuredTypeMemberDeclarationTransformationResult.d.ts +0 -13
  33. package/build/types/emitter/TransformationContinuationAction.d.ts +0 -4
  34. package/build/types/emitter/TypeAccessExpressionTransformationResult.d.ts +0 -12
package/build/types/tree/NodeKind.d.ts CHANGED
@@ -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
  }
package/build/types/tree/TokenKind.d.ts CHANGED
@@ -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,
package/build/types/tree/green/Nodes.d.ts CHANGED
@@ -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 [
@@ -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;
package/build/types/tree/red/Nodes.d.ts CHANGED
@@ -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;
@@ -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;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@artel/artc",
3
- "version": "0.6.25214",
3
+ "version": "0.6.25216",
4
4
  "description": "Артель Компилятор | Artel Compiler",
5
5
  "author": "Nezaboodka Team <contact@nezaboodka.com>",
6
6
  "license": "LGPL-3.0-or-later",
package/build/types/emitter/BlockStatementTransformationResult.d.ts DELETED
@@ -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;
package/build/types/emitter/ExpressionTransformationResult.d.ts DELETED
@@ -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;
package/build/types/emitter/Internal.d.ts DELETED
@@ -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';
package/build/types/emitter/PackageMemberDeclarationTransformationResult.d.ts DELETED
@@ -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;
package/build/types/emitter/SimpleTransformationResult.d.ts DELETED
@@ -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>;
package/build/types/emitter/StatementTransformationResult.d.ts DELETED
@@ -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;
package/build/types/emitter/StructuredTypeMemberDeclarationTransformationResult.d.ts DELETED
@@ -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;
package/build/types/emitter/TransformationContinuationAction.d.ts DELETED
@@ -1,4 +0,0 @@
1
- export declare const enum TransformationContinuationAction {
2
- Continue = 0,
3
- DoNotTransformChildren = 1
4
- }
package/build/types/emitter/TypeAccessExpressionTransformationResult.d.ts DELETED
@@ -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;