@tsonic/emitter 0.0.6 → 0.0.13
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.
- package/dist/.tsbuildinfo +1 -1
- package/dist/array.test.js +5 -5
- package/dist/array.test.js.map +1 -1
- package/dist/core/attributes.d.ts +43 -0
- package/dist/core/attributes.d.ts.map +1 -0
- package/dist/core/attributes.js +128 -0
- package/dist/core/attributes.js.map +1 -0
- package/dist/core/attributes.test.d.ts +5 -0
- package/dist/core/attributes.test.d.ts.map +1 -0
- package/dist/core/attributes.test.js +296 -0
- package/dist/core/attributes.test.js.map +1 -0
- package/dist/core/imports.test.js +6 -3
- package/dist/core/imports.test.js.map +1 -1
- package/dist/core/index.d.ts +2 -0
- package/dist/core/index.d.ts.map +1 -1
- package/dist/core/index.js +2 -0
- package/dist/core/index.js.map +1 -1
- package/dist/core/module-emitter/static-container.d.ts.map +1 -1
- package/dist/core/module-emitter/static-container.js +50 -1
- package/dist/core/module-emitter/static-container.js.map +1 -1
- package/dist/core/module-emitter.test.js +2 -1
- package/dist/core/module-emitter.test.js.map +1 -1
- package/dist/core/module-map.d.ts.map +1 -1
- package/dist/core/module-map.js +5 -1
- package/dist/core/module-map.js.map +1 -1
- package/dist/core/module-map.test.d.ts +8 -0
- package/dist/core/module-map.test.d.ts.map +1 -0
- package/dist/core/module-map.test.js +94 -0
- package/dist/core/module-map.test.js.map +1 -0
- package/dist/core/type-compatibility.d.ts +31 -0
- package/dist/core/type-compatibility.d.ts.map +1 -0
- package/dist/core/type-compatibility.js +99 -0
- package/dist/core/type-compatibility.js.map +1 -0
- package/dist/core/type-resolution.d.ts +83 -3
- package/dist/core/type-resolution.d.ts.map +1 -1
- package/dist/core/type-resolution.js +262 -4
- package/dist/core/type-resolution.js.map +1 -1
- package/dist/core/type-resolution.test.js +110 -1
- package/dist/core/type-resolution.test.js.map +1 -1
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +21 -1
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/emitter-types/core.d.ts +26 -0
- package/dist/emitter-types/core.d.ts.map +1 -1
- package/dist/emitter-types/identifiers.d.ts.map +1 -1
- package/dist/emitter-types/identifiers.js +4 -43
- package/dist/emitter-types/identifiers.js.map +1 -1
- package/dist/emitter-types/index.d.ts +1 -1
- package/dist/emitter-types/index.d.ts.map +1 -1
- package/dist/emitter-types/index.js.map +1 -1
- package/dist/emitter.d.ts.map +1 -1
- package/dist/emitter.js +47 -1
- package/dist/emitter.js.map +1 -1
- package/dist/expression-emitter.d.ts.map +1 -1
- package/dist/expression-emitter.js +51 -3
- package/dist/expression-emitter.js.map +1 -1
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +138 -23
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/calls.d.ts.map +1 -1
- package/dist/expressions/calls.js +90 -13
- package/dist/expressions/calls.js.map +1 -1
- package/dist/expressions/collections.d.ts +3 -2
- package/dist/expressions/collections.d.ts.map +1 -1
- package/dist/expressions/collections.js +251 -52
- package/dist/expressions/collections.js.map +1 -1
- package/dist/expressions/functions.d.ts +2 -2
- package/dist/expressions/functions.d.ts.map +1 -1
- package/dist/expressions/functions.js +81 -38
- package/dist/expressions/functions.js.map +1 -1
- package/dist/expressions/identifiers.d.ts.map +1 -1
- package/dist/expressions/identifiers.js +28 -7
- package/dist/expressions/identifiers.js.map +1 -1
- package/dist/expressions/index.test.js +191 -4
- package/dist/expressions/index.test.js.map +1 -1
- package/dist/expressions/literals.d.ts +7 -17
- package/dist/expressions/literals.d.ts.map +1 -1
- package/dist/expressions/literals.js +27 -87
- package/dist/expressions/literals.js.map +1 -1
- package/dist/expressions/literals.test.js +52 -2
- package/dist/expressions/literals.test.js.map +1 -1
- package/dist/expressions/operators.d.ts +29 -11
- package/dist/expressions/operators.d.ts.map +1 -1
- package/dist/expressions/operators.js +244 -67
- package/dist/expressions/operators.js.map +1 -1
- package/dist/expressions/other.d.ts +3 -0
- package/dist/expressions/other.d.ts.map +1 -1
- package/dist/expressions/other.js +27 -3
- package/dist/expressions/other.js.map +1 -1
- package/dist/generator-exchange.d.ts +1 -1
- package/dist/generator-exchange.d.ts.map +1 -1
- package/dist/generator-exchange.js +15 -4
- package/dist/generator-exchange.js.map +1 -1
- package/dist/generator-wrapper.d.ts +84 -0
- package/dist/generator-wrapper.d.ts.map +1 -0
- package/dist/generator-wrapper.js +312 -0
- package/dist/generator-wrapper.js.map +1 -0
- package/dist/generator-wrapper.test.d.ts +12 -0
- package/dist/generator-wrapper.test.d.ts.map +1 -0
- package/dist/generator-wrapper.test.js +179 -0
- package/dist/generator-wrapper.test.js.map +1 -0
- package/dist/generator.test.js +596 -6
- package/dist/generator.test.js.map +1 -1
- package/dist/golden-tests/config-parser.d.ts.map +1 -1
- package/dist/golden-tests/config-parser.js +81 -11
- package/dist/golden-tests/config-parser.js.map +1 -1
- package/dist/golden-tests/discovery.d.ts +14 -3
- package/dist/golden-tests/discovery.d.ts.map +1 -1
- package/dist/golden-tests/discovery.js +105 -12
- package/dist/golden-tests/discovery.js.map +1 -1
- package/dist/golden-tests/index.d.ts +1 -1
- package/dist/golden-tests/index.d.ts.map +1 -1
- package/dist/golden-tests/index.js.map +1 -1
- package/dist/golden-tests/runner.d.ts +1 -0
- package/dist/golden-tests/runner.d.ts.map +1 -1
- package/dist/golden-tests/runner.js +83 -25
- package/dist/golden-tests/runner.js.map +1 -1
- package/dist/golden-tests/types.d.ts +18 -1
- package/dist/golden-tests/types.d.ts.map +1 -1
- package/dist/golden.test.d.ts +12 -5
- package/dist/golden.test.d.ts.map +1 -1
- package/dist/golden.test.js +40 -21
- package/dist/golden.test.js.map +1 -1
- package/dist/hierarchical-bindings.test.js +2 -2
- package/dist/hierarchical-bindings.test.js.map +1 -1
- package/dist/integration.test.js +57 -10
- package/dist/integration.test.js.map +1 -1
- package/dist/invariants/emitter-globals-subset.test.d.ts +15 -0
- package/dist/invariants/emitter-globals-subset.test.d.ts.map +1 -0
- package/dist/invariants/emitter-globals-subset.test.js +137 -0
- package/dist/invariants/emitter-globals-subset.test.js.map +1 -0
- package/dist/invariants/numeric-proof-contract.test.d.ts +19 -0
- package/dist/invariants/numeric-proof-contract.test.d.ts.map +1 -0
- package/dist/invariants/numeric-proof-contract.test.js +565 -0
- package/dist/invariants/numeric-proof-contract.test.js.map +1 -0
- package/dist/specialization/generic-functions.test.js +376 -0
- package/dist/specialization/generic-functions.test.js.map +1 -1
- package/dist/specialization/interfaces.test.js +6 -6
- package/dist/specialization/interfaces.test.js.map +1 -1
- package/dist/specialization/substitution.d.ts.map +1 -1
- package/dist/specialization/substitution.js +7 -0
- package/dist/specialization/substitution.js.map +1 -1
- package/dist/specialization/type-aliases.test.js +88 -5
- package/dist/specialization/type-aliases.test.js.map +1 -1
- package/dist/statement-emitter.d.ts.map +1 -1
- package/dist/statement-emitter.js +5 -1
- package/dist/statement-emitter.js.map +1 -1
- package/dist/statements/blocks.d.ts +39 -1
- package/dist/statements/blocks.d.ts.map +1 -1
- package/dist/statements/blocks.js +129 -3
- package/dist/statements/blocks.js.map +1 -1
- package/dist/statements/classes/members/methods.d.ts.map +1 -1
- package/dist/statements/classes/members/methods.js +16 -5
- package/dist/statements/classes/members/methods.js.map +1 -1
- package/dist/statements/classes/members/properties.d.ts.map +1 -1
- package/dist/statements/classes/members/properties.js +10 -1
- package/dist/statements/classes/members/properties.js.map +1 -1
- package/dist/statements/classes/properties.d.ts.map +1 -1
- package/dist/statements/classes/properties.js +4 -0
- package/dist/statements/classes/properties.js.map +1 -1
- package/dist/statements/control/conditionals.d.ts.map +1 -1
- package/dist/statements/control/conditionals.js +352 -1
- package/dist/statements/control/conditionals.js.map +1 -1
- package/dist/statements/control/loops.d.ts +6 -0
- package/dist/statements/control/loops.d.ts.map +1 -1
- package/dist/statements/control/loops.js +9 -2
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/statements/declarations/classes.d.ts.map +1 -1
- package/dist/statements/declarations/classes.js +20 -6
- package/dist/statements/declarations/classes.js.map +1 -1
- package/dist/statements/declarations/functions.d.ts.map +1 -1
- package/dist/statements/declarations/functions.js +98 -26
- package/dist/statements/declarations/functions.js.map +1 -1
- package/dist/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/statements/declarations/interfaces.js +11 -1
- package/dist/statements/declarations/interfaces.js.map +1 -1
- package/dist/statements/declarations/structs.test.js +7 -5
- package/dist/statements/declarations/structs.test.js.map +1 -1
- package/dist/statements/declarations/type-aliases.d.ts.map +1 -1
- package/dist/statements/declarations/type-aliases.js +18 -9
- package/dist/statements/declarations/type-aliases.js.map +1 -1
- package/dist/statements/declarations/variables.d.ts.map +1 -1
- package/dist/statements/declarations/variables.js +54 -2
- package/dist/statements/declarations/variables.js.map +1 -1
- package/dist/statements/index.test.js +164 -3
- package/dist/statements/index.test.js.map +1 -1
- package/dist/types/arrays.d.ts +10 -1
- package/dist/types/arrays.d.ts.map +1 -1
- package/dist/types/arrays.js +16 -1
- package/dist/types/arrays.js.map +1 -1
- package/dist/types/dictionaries.d.ts +3 -2
- package/dist/types/dictionaries.d.ts.map +1 -1
- package/dist/types/dictionaries.js +14 -8
- package/dist/types/dictionaries.js.map +1 -1
- package/dist/types/emitter.d.ts.map +1 -1
- package/dist/types/emitter.js +3 -0
- package/dist/types/emitter.js.map +1 -1
- package/dist/types/index.test.js +5 -2
- package/dist/types/index.test.js.map +1 -1
- package/dist/types/parameters.d.ts.map +1 -1
- package/dist/types/parameters.js +29 -0
- package/dist/types/parameters.js.map +1 -1
- package/dist/types/primitives.d.ts +12 -1
- package/dist/types/primitives.d.ts.map +1 -1
- package/dist/types/primitives.js +14 -1
- package/dist/types/primitives.js.map +1 -1
- package/dist/types/references.d.ts.map +1 -1
- package/dist/types/references.js +136 -30
- package/dist/types/references.js.map +1 -1
- package/dist/types/references.test.d.ts +11 -0
- package/dist/types/references.test.d.ts.map +1 -0
- package/dist/types/references.test.js +382 -0
- package/dist/types/references.test.js.map +1 -0
- package/dist/types/tuples.d.ts +23 -0
- package/dist/types/tuples.d.ts.map +1 -0
- package/dist/types/tuples.js +54 -0
- package/dist/types/tuples.js.map +1 -0
- package/dist/types/unions.test.js +62 -15
- package/dist/types/unions.test.js.map +1 -1
- package/dist/types.d.ts +1 -1
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js.map +1 -1
- package/package.json +7 -3
|
@@ -1,8 +1,14 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Operator expression emitters (binary, logical, unary, update, assignment, conditional)
|
|
3
|
+
*
|
|
4
|
+
* NEW NUMERIC SPEC:
|
|
5
|
+
* - Literals use raw lexeme (no contextual widening)
|
|
6
|
+
* - Integer casts only from IrCastExpression (not inferred from expectedType)
|
|
7
|
+
* - Binary ops: int op int = int, double op anything = double (C# semantics)
|
|
3
8
|
*/
|
|
4
9
|
import { emitExpression } from "../expression-emitter.js";
|
|
5
|
-
import {
|
|
10
|
+
import { resolveTypeAlias, stripNullish, findUnionMemberIndex, } from "../core/type-resolution.js";
|
|
11
|
+
import { escapeCSharpIdentifier } from "../emitter-types/index.js";
|
|
6
12
|
/**
|
|
7
13
|
* Get operator precedence for proper parenthesization
|
|
8
14
|
*/
|
|
@@ -37,61 +43,68 @@ const getPrecedence = (operator) => {
|
|
|
37
43
|
return precedences[operator] ?? 16;
|
|
38
44
|
};
|
|
39
45
|
/**
|
|
40
|
-
*
|
|
41
|
-
*
|
|
46
|
+
* Check if an expression has char type (either from string indexer or a variable typed as char).
|
|
47
|
+
* In C#, string[int] returns char, not string like in TypeScript.
|
|
48
|
+
* The IR now correctly sets inferredType to char for string indexer access.
|
|
49
|
+
*/
|
|
50
|
+
const isCharTyped = (expr) => {
|
|
51
|
+
return (expr.inferredType?.kind === "primitiveType" &&
|
|
52
|
+
expr.inferredType.name === "char");
|
|
53
|
+
};
|
|
54
|
+
/**
|
|
55
|
+
* Check if an expression is a single-character string literal.
|
|
56
|
+
* Returns the character if so, undefined otherwise.
|
|
42
57
|
*/
|
|
43
|
-
const
|
|
44
|
-
|
|
45
|
-
if (!clrType)
|
|
58
|
+
const getSingleCharLiteral = (expr) => {
|
|
59
|
+
if (expr.kind !== "literal")
|
|
46
60
|
return undefined;
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
"
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
"
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
}
|
|
74
|
-
return typeMap[clrType];
|
|
61
|
+
if (typeof expr.value !== "string")
|
|
62
|
+
return undefined;
|
|
63
|
+
if (expr.value.length !== 1)
|
|
64
|
+
return undefined;
|
|
65
|
+
return expr.value;
|
|
66
|
+
};
|
|
67
|
+
/**
|
|
68
|
+
* Escape a character for use in a C# char literal.
|
|
69
|
+
* Handles special characters like quotes, backslash, newline, etc.
|
|
70
|
+
*/
|
|
71
|
+
const escapeCharLiteral = (char) => {
|
|
72
|
+
switch (char) {
|
|
73
|
+
case "'":
|
|
74
|
+
return "\\'";
|
|
75
|
+
case "\\":
|
|
76
|
+
return "\\\\";
|
|
77
|
+
case "\n":
|
|
78
|
+
return "\\n";
|
|
79
|
+
case "\r":
|
|
80
|
+
return "\\r";
|
|
81
|
+
case "\t":
|
|
82
|
+
return "\\t";
|
|
83
|
+
case "\0":
|
|
84
|
+
return "\\0";
|
|
85
|
+
default:
|
|
86
|
+
return char;
|
|
87
|
+
}
|
|
75
88
|
};
|
|
76
89
|
/**
|
|
77
90
|
* Emit a binary operator expression
|
|
78
91
|
*
|
|
79
|
-
*
|
|
80
|
-
*
|
|
81
|
-
*
|
|
82
|
-
*
|
|
92
|
+
* NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
|
|
93
|
+
* Literals use their raw lexeme - C# will naturally handle int + int = int,
|
|
94
|
+
* int + double = double, etc.
|
|
95
|
+
*
|
|
96
|
+
* Explicit casts come from IrCastExpression nodes (generated by type-checker
|
|
97
|
+
* when user intent allows int → double coercion).
|
|
98
|
+
*
|
|
99
|
+
* STRING INDEXER FIX: In C#, string[int] returns char, not string.
|
|
100
|
+
* When comparing a string indexer result with a single-character string literal,
|
|
101
|
+
* we emit the string as a char literal to avoid CS0019 (char == string).
|
|
83
102
|
*
|
|
84
103
|
* @param expr - The binary expression
|
|
85
104
|
* @param context - Emitter context
|
|
86
|
-
* @param
|
|
105
|
+
* @param _expectedType - Unused under new spec (kept for API compatibility)
|
|
87
106
|
*/
|
|
88
|
-
export const emitBinary = (expr, context,
|
|
89
|
-
// Check if this binary expression should produce an integer result
|
|
90
|
-
// Priority: expression's own inferredType > expectedType from context
|
|
91
|
-
const integerCastType = getIntegerCastType(expr.inferredType) || getIntegerCastType(expectedType);
|
|
92
|
-
// Pass expected type to children so literals emit correctly
|
|
93
|
-
const [leftFrag, leftContext] = emitExpression(expr.left, context, integerCastType ? expr.inferredType : undefined);
|
|
94
|
-
const [rightFrag, rightContext] = emitExpression(expr.right, leftContext, integerCastType ? expr.inferredType : undefined);
|
|
107
|
+
export const emitBinary = (expr, context, _expectedType) => {
|
|
95
108
|
// Map JavaScript operators to C# operators
|
|
96
109
|
const operatorMap = {
|
|
97
110
|
"===": "==",
|
|
@@ -102,17 +115,91 @@ export const emitBinary = (expr, context, expectedType) => {
|
|
|
102
115
|
in: "/* in */", // Needs special handling
|
|
103
116
|
};
|
|
104
117
|
const op = operatorMap[expr.operator] ?? expr.operator;
|
|
118
|
+
const parentPrecedence = getPrecedence(expr.operator);
|
|
105
119
|
// Handle typeof operator specially
|
|
106
120
|
if (expr.operator === "instanceof") {
|
|
121
|
+
const [leftFrag, leftContext] = emitExpression(expr.left, context);
|
|
122
|
+
const [rightFrag, rightContext] = emitExpression(expr.right, leftContext);
|
|
107
123
|
const text = `${leftFrag.text} is ${rightFrag.text}`;
|
|
108
124
|
return [{ text, precedence: 7 }, rightContext];
|
|
109
125
|
}
|
|
110
|
-
|
|
111
|
-
//
|
|
112
|
-
//
|
|
113
|
-
|
|
114
|
-
|
|
126
|
+
// CHAR VS STRING COMPARISON FIX:
|
|
127
|
+
// In C#, string[int] returns char, but in TypeScript it returns string.
|
|
128
|
+
// The IR now sets inferredType to char for string indexer access.
|
|
129
|
+
// When comparing a char-typed expression with a single-character string literal,
|
|
130
|
+
// emit the string as a char literal to avoid CS0019 (operator == cannot be applied to char and string).
|
|
131
|
+
const isComparisonOp = op === "==" ||
|
|
132
|
+
op === "!=" ||
|
|
133
|
+
op === "<" ||
|
|
134
|
+
op === ">" ||
|
|
135
|
+
op === "<=" ||
|
|
136
|
+
op === ">=";
|
|
137
|
+
if (isComparisonOp) {
|
|
138
|
+
const leftIsChar = isCharTyped(expr.left);
|
|
139
|
+
const rightIsChar = isCharTyped(expr.right);
|
|
140
|
+
const leftSingleChar = getSingleCharLiteral(expr.left);
|
|
141
|
+
const rightSingleChar = getSingleCharLiteral(expr.right);
|
|
142
|
+
// Case 1: left is char-typed, right is single-char literal → emit right as char
|
|
143
|
+
if (leftIsChar && rightSingleChar !== undefined) {
|
|
144
|
+
const [leftFrag, leftContext] = emitExpression(expr.left, context);
|
|
145
|
+
// Emit as char literal instead of string literal
|
|
146
|
+
const charLiteral = `'${escapeCharLiteral(rightSingleChar)}'`;
|
|
147
|
+
const text = `${leftFrag.text} ${op} ${charLiteral}`;
|
|
148
|
+
return [{ text, precedence: parentPrecedence }, leftContext];
|
|
149
|
+
}
|
|
150
|
+
// Case 2: right is char-typed, left is single-char literal → emit left as char
|
|
151
|
+
if (rightIsChar && leftSingleChar !== undefined) {
|
|
152
|
+
const [rightFrag, rightContext] = emitExpression(expr.right, context);
|
|
153
|
+
// Emit as char literal instead of string literal
|
|
154
|
+
const charLiteral = `'${escapeCharLiteral(leftSingleChar)}'`;
|
|
155
|
+
const text = `${charLiteral} ${op} ${rightFrag.text}`;
|
|
156
|
+
return [{ text, precedence: parentPrecedence }, rightContext];
|
|
157
|
+
}
|
|
158
|
+
}
|
|
159
|
+
// MODERN C# NULLABLE CHECK (C# 9+):
|
|
160
|
+
// Use `is null` / `is not null` pattern matching for nullish comparisons.
|
|
161
|
+
// This is more idiomatic than `== default` / `!= default` and works correctly
|
|
162
|
+
// with nullable value types (long?, int?, etc.) without needing .Value access.
|
|
163
|
+
//
|
|
164
|
+
// TypeScript: x === undefined → C#: x is null
|
|
165
|
+
// TypeScript: x !== undefined → C#: x is not null
|
|
166
|
+
// TypeScript: x === null → C#: x is null
|
|
167
|
+
// TypeScript: x !== null → C#: x is not null
|
|
168
|
+
const isNullishLiteral = (e) => (e.kind === "literal" && (e.value === undefined || e.value === null)) ||
|
|
169
|
+
(e.kind === "identifier" && (e.name === "undefined" || e.name === "null"));
|
|
170
|
+
const leftIsNullish = isNullishLiteral(expr.left);
|
|
171
|
+
const rightIsNullish = isNullishLiteral(expr.right);
|
|
172
|
+
const isNullishComparison = isComparisonOp &&
|
|
173
|
+
(op === "==" || op === "!=") &&
|
|
174
|
+
(leftIsNullish || rightIsNullish);
|
|
175
|
+
if (isNullishComparison) {
|
|
176
|
+
// One side is null/undefined literal, emit the other side with pattern matching
|
|
177
|
+
// Clear narrowedBindings so we emit the raw identifier (not .Value)
|
|
178
|
+
const nonNullishExpr = leftIsNullish ? expr.right : expr.left;
|
|
179
|
+
const nonNullishContext = { ...context, narrowedBindings: undefined };
|
|
180
|
+
const [nonNullishFrag, resultContext] = emitExpression(nonNullishExpr, nonNullishContext);
|
|
181
|
+
// Use `is null` for == and `is not null` for !=
|
|
182
|
+
const pattern = op === "==" ? "is null" : "is not null";
|
|
183
|
+
const text = `${nonNullishFrag.text} ${pattern}`;
|
|
184
|
+
return [{ text, precedence: getPrecedence(expr.operator) }, resultContext];
|
|
115
185
|
}
|
|
186
|
+
// Standard emission path
|
|
187
|
+
// Emit operands without contextual type propagation
|
|
188
|
+
// Literals will emit using their raw lexeme (42 vs 42.0)
|
|
189
|
+
const [leftFrag, leftContext] = emitExpression(expr.left, context);
|
|
190
|
+
const [rightFrag, rightContext] = emitExpression(expr.right, leftContext);
|
|
191
|
+
// Wrap child expressions in parentheses if their precedence is lower than parent
|
|
192
|
+
// This preserves grouping: (x + y) * z should not become x + y * z
|
|
193
|
+
const leftText = leftFrag.precedence !== undefined && leftFrag.precedence < parentPrecedence
|
|
194
|
+
? `(${leftFrag.text})`
|
|
195
|
+
: leftFrag.text;
|
|
196
|
+
// For right operand, also wrap if precedence is equal (right-to-left associativity issue)
|
|
197
|
+
// Example: a - (b - c) should not become a - b - c
|
|
198
|
+
const rightText = rightFrag.precedence !== undefined &&
|
|
199
|
+
rightFrag.precedence <= parentPrecedence
|
|
200
|
+
? `(${rightFrag.text})`
|
|
201
|
+
: rightFrag.text;
|
|
202
|
+
const text = `${leftText} ${op} ${rightText}`;
|
|
116
203
|
return [{ text, precedence: getPrecedence(expr.operator) }, rightContext];
|
|
117
204
|
};
|
|
118
205
|
/**
|
|
@@ -149,20 +236,15 @@ export const emitLogical = (expr, context) => {
|
|
|
149
236
|
/**
|
|
150
237
|
* Emit a unary operator expression (-, +, !, ~, typeof, void, delete)
|
|
151
238
|
*
|
|
152
|
-
*
|
|
153
|
-
*
|
|
154
|
-
* explicit cast. This handles `-1 as int`.
|
|
239
|
+
* NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
|
|
240
|
+
* Explicit casts come from IrCastExpression nodes.
|
|
155
241
|
*
|
|
156
242
|
* @param expr - The unary expression
|
|
157
243
|
* @param context - Emitter context
|
|
158
|
-
* @param
|
|
244
|
+
* @param _expectedType - Unused under new spec (kept for API compatibility)
|
|
159
245
|
*/
|
|
160
|
-
export const emitUnary = (expr, context,
|
|
161
|
-
|
|
162
|
-
// Priority: expression's own inferredType > expectedType from context
|
|
163
|
-
const integerCastType = getIntegerCastType(expr.inferredType) || getIntegerCastType(expectedType);
|
|
164
|
-
// Pass expected type to operand so literals emit correctly
|
|
165
|
-
const [operandFrag, newContext] = emitExpression(expr.expression, context, integerCastType ? expr.inferredType : undefined);
|
|
246
|
+
export const emitUnary = (expr, context, _expectedType) => {
|
|
247
|
+
const [operandFrag, newContext] = emitExpression(expr.expression, context);
|
|
166
248
|
if (expr.operator === "typeof") {
|
|
167
249
|
// typeof becomes global::Tsonic.Runtime.Operators.typeof()
|
|
168
250
|
const text = `global::Tsonic.Runtime.Operators.@typeof(${operandFrag.text})`;
|
|
@@ -178,12 +260,7 @@ export const emitUnary = (expr, context, expectedType) => {
|
|
|
178
260
|
const text = `/* delete ${operandFrag.text} */`;
|
|
179
261
|
return [{ text }, newContext];
|
|
180
262
|
}
|
|
181
|
-
|
|
182
|
-
// Wrap with explicit cast if integer type is required
|
|
183
|
-
// This handles cases like `-1 as int` emitting as `(int)(-1)`
|
|
184
|
-
if (integerCastType && (expr.operator === "-" || expr.operator === "+")) {
|
|
185
|
-
text = `(${integerCastType})(${text})`;
|
|
186
|
-
}
|
|
263
|
+
const text = `${expr.operator}${operandFrag.text}`;
|
|
187
264
|
return [{ text, precedence: 15 }, newContext];
|
|
188
265
|
};
|
|
189
266
|
/**
|
|
@@ -201,8 +278,28 @@ export const emitUpdate = (expr, context) => {
|
|
|
201
278
|
*
|
|
202
279
|
* Passes the LHS type as expected type to RHS, enabling proper integer
|
|
203
280
|
* literal emission for cases like `this.value = this.value + 1`.
|
|
281
|
+
*
|
|
282
|
+
* Special handling for JS mode array element assignment:
|
|
283
|
+
* - In JS mode, array[idx] = value must emit Array.set(array, idx, value)
|
|
284
|
+
* - NOT Array.get(array, idx) = value (which is invalid C#)
|
|
204
285
|
*/
|
|
205
286
|
export const emitAssignment = (expr, context) => {
|
|
287
|
+
const runtime = context.options.runtime ?? "js";
|
|
288
|
+
// Special case: JS mode array element assignment
|
|
289
|
+
// arr[idx] = value → Array.set(arr, idx, value)
|
|
290
|
+
if (expr.operator === "=" &&
|
|
291
|
+
runtime === "js" &&
|
|
292
|
+
"kind" in expr.left &&
|
|
293
|
+
expr.left.kind === "memberAccess" &&
|
|
294
|
+
expr.left.isComputed &&
|
|
295
|
+
expr.left.object.inferredType?.kind === "arrayType") {
|
|
296
|
+
const leftExpr = expr.left;
|
|
297
|
+
const [objectFrag, objectContext] = emitExpression(leftExpr.object, context);
|
|
298
|
+
const [indexFrag, indexContext] = emitExpression(leftExpr.property, objectContext);
|
|
299
|
+
const [rightFrag, rightContext] = emitExpression(expr.right, indexContext);
|
|
300
|
+
const text = `global::Tsonic.JSRuntime.Array.set(${objectFrag.text}, ${indexFrag.text}, ${rightFrag.text})`;
|
|
301
|
+
return [{ text, precedence: 3 }, rightContext];
|
|
302
|
+
}
|
|
206
303
|
// Left side can be an expression or a pattern (for destructuring)
|
|
207
304
|
let leftText;
|
|
208
305
|
let leftContext;
|
|
@@ -234,14 +331,94 @@ export const emitAssignment = (expr, context) => {
|
|
|
234
331
|
const text = `${leftText} ${expr.operator} ${rightFrag.text}`;
|
|
235
332
|
return [{ text, precedence: 3 }, rightContext];
|
|
236
333
|
};
|
|
334
|
+
const tryResolveTernaryGuard = (condition, context) => {
|
|
335
|
+
// Check for direct call: isUser(x)
|
|
336
|
+
const resolveFromCall = (call) => {
|
|
337
|
+
const narrowing = call.narrowing;
|
|
338
|
+
if (!narrowing || narrowing.kind !== "typePredicate")
|
|
339
|
+
return undefined;
|
|
340
|
+
const arg = call.arguments[narrowing.argIndex];
|
|
341
|
+
if (!arg ||
|
|
342
|
+
("kind" in arg && arg.kind === "spread") ||
|
|
343
|
+
arg.kind !== "identifier") {
|
|
344
|
+
return undefined;
|
|
345
|
+
}
|
|
346
|
+
const originalName = arg.name;
|
|
347
|
+
const unionSourceType = arg.inferredType;
|
|
348
|
+
if (!unionSourceType)
|
|
349
|
+
return undefined;
|
|
350
|
+
const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
|
|
351
|
+
if (resolved.kind !== "unionType")
|
|
352
|
+
return undefined;
|
|
353
|
+
const idx = findUnionMemberIndex(resolved, narrowing.targetType, context);
|
|
354
|
+
if (idx === undefined)
|
|
355
|
+
return undefined;
|
|
356
|
+
return {
|
|
357
|
+
originalName,
|
|
358
|
+
memberN: idx + 1,
|
|
359
|
+
escapedOrig: escapeCSharpIdentifier(originalName),
|
|
360
|
+
polarity: "positive",
|
|
361
|
+
};
|
|
362
|
+
};
|
|
363
|
+
// Direct call: isUser(x) -> narrow whenTrue
|
|
364
|
+
if (condition.kind === "call") {
|
|
365
|
+
return resolveFromCall(condition);
|
|
366
|
+
}
|
|
367
|
+
// Negated call: !isUser(x) -> narrow whenFalse
|
|
368
|
+
if (condition.kind === "unary" &&
|
|
369
|
+
condition.operator === "!" &&
|
|
370
|
+
condition.expression.kind === "call") {
|
|
371
|
+
const guard = resolveFromCall(condition.expression);
|
|
372
|
+
if (guard) {
|
|
373
|
+
return { ...guard, polarity: "negative" };
|
|
374
|
+
}
|
|
375
|
+
}
|
|
376
|
+
return undefined;
|
|
377
|
+
};
|
|
237
378
|
/**
|
|
238
379
|
* Emit a conditional (ternary) expression
|
|
239
380
|
*
|
|
381
|
+
* Supports type predicate narrowing:
|
|
382
|
+
* - `isUser(x) ? x.name : "anon"` → `x.Is1() ? (x.As1()).name : "anon"`
|
|
383
|
+
* - `!isUser(x) ? "anon" : x.name` → `!x.Is1() ? "anon" : (x.As1()).name`
|
|
384
|
+
*
|
|
240
385
|
* @param expr - The conditional expression
|
|
241
386
|
* @param context - Emitter context
|
|
242
387
|
* @param expectedType - Optional expected type (for null → default in generic contexts)
|
|
243
388
|
*/
|
|
244
389
|
export const emitConditional = (expr, context, expectedType) => {
|
|
390
|
+
// Try to detect type predicate guard in condition
|
|
391
|
+
const guard = tryResolveTernaryGuard(expr.condition, context);
|
|
392
|
+
if (guard) {
|
|
393
|
+
const { originalName, memberN, escapedOrig, polarity } = guard;
|
|
394
|
+
// Build condition text
|
|
395
|
+
const condText = polarity === "positive"
|
|
396
|
+
? `${escapedOrig}.Is${memberN}()`
|
|
397
|
+
: `!${escapedOrig}.Is${memberN}()`;
|
|
398
|
+
// Create inline narrowing binding: x -> (x.AsN())
|
|
399
|
+
const inlineExpr = `(${escapedOrig}.As${memberN}())`;
|
|
400
|
+
const narrowedMap = new Map(context.narrowedBindings ?? []);
|
|
401
|
+
narrowedMap.set(originalName, { kind: "expr", exprText: inlineExpr });
|
|
402
|
+
const narrowedContext = {
|
|
403
|
+
...context,
|
|
404
|
+
narrowedBindings: narrowedMap,
|
|
405
|
+
};
|
|
406
|
+
// Apply narrowing to the appropriate branch
|
|
407
|
+
const [trueFrag, trueContext] = polarity === "positive"
|
|
408
|
+
? emitExpression(expr.whenTrue, narrowedContext, expectedType)
|
|
409
|
+
: emitExpression(expr.whenTrue, context, expectedType);
|
|
410
|
+
const [falseFrag, falseContext] = polarity === "negative"
|
|
411
|
+
? emitExpression(expr.whenFalse, narrowedContext, expectedType)
|
|
412
|
+
: emitExpression(expr.whenFalse, trueContext, expectedType);
|
|
413
|
+
const text = `${condText} ? ${trueFrag.text} : ${falseFrag.text}`;
|
|
414
|
+
// Return context WITHOUT narrowing (don't leak)
|
|
415
|
+
const finalContext = {
|
|
416
|
+
...falseContext,
|
|
417
|
+
narrowedBindings: context.narrowedBindings,
|
|
418
|
+
};
|
|
419
|
+
return [{ text, precedence: 4 }, finalContext];
|
|
420
|
+
}
|
|
421
|
+
// Standard ternary emission (no narrowing)
|
|
245
422
|
const [condFrag, condContext] = emitExpression(expr.condition, context);
|
|
246
423
|
// Pass expectedType to both branches for null → default conversion
|
|
247
424
|
const [trueFrag, trueContext] = emitExpression(expr.whenTrue, condContext, expectedType);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"operators.js","sourceRoot":"","sources":["../../src/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAC;AAE7D;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAU,EAAE;IACjD,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,UAAU,EAAE,EAAE;QACd,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CAAC,MAA0B,EAAsB,EAAE;IAC5E,MAAM,OAAO,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,oCAAoC;IACpC,MAAM,OAAO,GAA2B;QACtC,GAAG,EAAE,KAAK;QACV,KAAK,EAAE,KAAK;QACZ,cAAc,EAAE,KAAK;QACrB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,MAAM;QACb,cAAc,EAAE,MAAM;QACtB,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,OAAO;QACd,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,MAAM;QACrB,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,OAAO;QACd,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM;QACd,eAAe,EAAE,MAAM;QACvB,KAAK,EAAE,OAAO;QACd,MAAM,EAAE,OAAO;QACf,eAAe,EAAE,OAAO;QACxB,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,eAAe,EAAE,QAAQ;KAC1B,CAAC;IAEF,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,mEAAmE;IACnE,sEAAsE;IACtE,MAAM,eAAe,GACnB,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAE5E,4DAA4D;IAC5D,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,IAAI,EACT,OAAO,EACP,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAChD,CAAC;IACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,IAAI,CAAC,KAAK,EACV,WAAW,EACX,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAChD,CAAC;IAEF,2CAA2C;IAC3C,MAAM,WAAW,GAA2B;QAC1C,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,IAAI,EAAE,0CAA0C;QACtD,IAAI,EAAE,IAAI,EAAE,4CAA4C;QACxD,UAAU,EAAE,IAAI;QAChB,EAAE,EAAE,UAAU,EAAE,yBAAyB;KAC1C,CAAC;IAEF,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC;IAEvD,mCAAmC;IACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC;QACrD,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;IAEtD,sDAAsD;IACtD,sEAAsE;IACtE,IAAI,eAAe,EAAE,CAAC;QACpB,IAAI,GAAG,IAAI,eAAe,KAAK,IAAI,GAAG,CAAC;IACzC,CAAC;IAED,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAkC,EAAW,EAAE;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE1E,qFAAqF;IACrF,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IAEpB,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,kEAAkE;IAClE,sEAAsE;IACtE,MAAM,eAAe,GACnB,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAE5E,2DAA2D;IAC3D,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,cAAc,CAC9C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAChD,CAAC;IAEF,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,2DAA2D;QAC3D,MAAM,IAAI,GAAG,4CAA4C,WAAW,CAAC,IAAI,GAAG,CAAC;QAC7E,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7B,yCAAyC;QACzC,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,YAAY,CAAC;QAC9C,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,gCAAgC;QAChC,MAAM,IAAI,GAAG,aAAa,WAAW,CAAC,IAAI,KAAK,CAAC;QAChD,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;IAEjD,sDAAsD;IACtD,8DAA8D;IAC9D,IAAI,eAAe,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC;QACxE,IAAI,GAAG,IAAI,eAAe,KAAK,IAAI,GAAG,CAAC;IACzC,CAAC;IAED,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM;QACtB,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE;QACvC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAE1C,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACW,EAAE;IACpC,kEAAkE;IAClE,IAAI,QAAgB,CAAC;IACrB,IAAI,WAA2B,CAAC;IAChC,IAAI,QAA4B,CAAC;IAEjC,IACE,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,EACrC,CAAC;QACD,4DAA4D;QAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,WAAW,GAAG,OAAO,CAAC;YACtB,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,0CAA0C;QACvE,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,qBAAqB,CAAC;YACjC,WAAW,GAAG,OAAO,CAAC;QACxB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAoB,CAAC;QAC3C,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1D,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;QACzB,WAAW,GAAG,GAAG,CAAC;QAClB,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,IAAI,CAAC,KAAK,EACV,WAAW,EACX,QAAQ,CACT,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAoD,EACpD,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACxE,mEAAmE;IACnE,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,QAAQ,EACb,WAAW,EACX,YAAY,CACb,CAAC;IACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,IAAI,CAAC,SAAS,EACd,WAAW,EACX,YAAY,CACb,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,IAAI,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AACjD,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"operators.js","sourceRoot":"","sources":["../../src/expressions/operators.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAEnE;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAU,EAAE;IACjD,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,UAAU,EAAE,EAAE;QACd,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAW,EAAE;IAClD,OAAO,CACL,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAClC,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAAC,IAAkB,EAAsB,EAAE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACjD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACvB,aAAsB,EACY,EAAE;IACpC,2CAA2C;IAC3C,MAAM,WAAW,GAA2B;QAC1C,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,IAAI,EAAE,0CAA0C;QACtD,IAAI,EAAE,IAAI,EAAE,4CAA4C;QACxD,UAAU,EAAE,IAAI;QAChB,EAAE,EAAE,UAAU,EAAE,yBAAyB;KAC1C,CAAC;IAEF,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC;IACvD,MAAM,gBAAgB,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEtD,mCAAmC;IACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC;QACrD,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IACjD,CAAC;IAED,iCAAiC;IACjC,wEAAwE;IACxE,kEAAkE;IAClE,iFAAiF;IACjF,wGAAwG;IACxG,MAAM,cAAc,GAClB,EAAE,KAAK,IAAI;QACX,EAAE,KAAK,IAAI;QACX,EAAE,KAAK,GAAG;QACV,EAAE,KAAK,GAAG;QACV,EAAE,KAAK,IAAI;QACX,EAAE,KAAK,IAAI,CAAC;IAEd,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzD,gFAAgF;QAChF,IAAI,UAAU,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACnE,iDAAiD;YACjD,MAAM,WAAW,GAAG,IAAI,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC;YAC9D,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,IAAI,EAAE,IAAI,WAAW,EAAE,CAAC;YACrD,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,EAAE,WAAW,CAAC,CAAC;QAC/D,CAAC;QAED,+EAA+E;QAC/E,IAAI,WAAW,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACtE,iDAAiD;YACjD,MAAM,WAAW,GAAG,IAAI,iBAAiB,CAAC,cAAc,CAAC,GAAG,CAAC;YAC7D,MAAM,IAAI,GAAG,GAAG,WAAW,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,EAAE,YAAY,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,0EAA0E;IAC1E,8EAA8E;IAC9E,+EAA+E;IAC/E,EAAE;IACF,iDAAiD;IACjD,qDAAqD;IACrD,iDAAiD;IACjD,qDAAqD;IACrD,MAAM,gBAAgB,GAAG,CAAC,CAAe,EAAW,EAAE,CACpD,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;IAE7E,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,mBAAmB,GACvB,cAAc;QACd,CAAC,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;QAC5B,CAAC,aAAa,IAAI,cAAc,CAAC,CAAC;IAEpC,IAAI,mBAAmB,EAAE,CAAC;QACxB,gFAAgF;QAChF,oEAAoE;QACpE,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9D,MAAM,iBAAiB,GAAG,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;QACtE,MAAM,CAAC,cAAc,EAAE,aAAa,CAAC,GAAG,cAAc,CACpD,cAAc,EACd,iBAAiB,CAClB,CAAC;QAEF,gDAAgD;QAChD,MAAM,OAAO,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;QACxD,MAAM,IAAI,GAAG,GAAG,cAAc,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QAEjD,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC7E,CAAC;IAED,yBAAyB;IACzB,oDAAoD;IACpD,yDAAyD;IACzD,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE1E,iFAAiF;IACjF,mEAAmE;IACnE,MAAM,QAAQ,GACZ,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,GAAG,gBAAgB;QACzE,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG;QACtB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IAEpB,0FAA0F;IAC1F,mDAAmD;IACnD,MAAM,SAAS,GACb,SAAS,CAAC,UAAU,KAAK,SAAS;QAClC,SAAS,CAAC,UAAU,IAAI,gBAAgB;QACtC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,GAAG;QACvB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;IAErB,MAAM,IAAI,GAAG,GAAG,QAAQ,IAAI,EAAE,IAAI,SAAS,EAAE,CAAC;IAE9C,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAkC,EAAW,EAAE;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE1E,qFAAqF;IACrF,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IAEpB,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACvB,aAAsB,EACY,EAAE;IACpC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE3E,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,2DAA2D;QAC3D,MAAM,IAAI,GAAG,4CAA4C,WAAW,CAAC,IAAI,GAAG,CAAC;QAC7E,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7B,yCAAyC;QACzC,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,YAAY,CAAC;QAC9C,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,gCAAgC;QAChC,MAAM,IAAI,GAAG,aAAa,WAAW,CAAC,IAAI,KAAK,CAAC;QAChD,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;IAEnD,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM;QACtB,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE;QACvC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAE1C,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACW,EAAE;IACpC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IAEhD,iDAAiD;IACjD,gDAAgD;IAChD,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;QACrB,OAAO,KAAK,IAAI;QAChB,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;QACjC,IAAI,CAAC,IAAI,CAAC,UAAU;QACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,WAAW,EACnD,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAGrB,CAAC;QACF,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,GAAG,cAAc,CAChD,QAAQ,CAAC,MAAM,EACf,OAAO,CACR,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,QAAQ,CAAC,QAAwB,EACjC,aAAa,CACd,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAE3E,MAAM,IAAI,GAAG,sCAAsC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,GAAG,CAAC;QAC5G,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IACjD,CAAC;IAED,kEAAkE;IAClE,IAAI,QAAgB,CAAC;IACrB,IAAI,WAA2B,CAAC;IAChC,IAAI,QAA4B,CAAC;IAEjC,IACE,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,EACrC,CAAC;QACD,4DAA4D;QAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,WAAW,GAAG,OAAO,CAAC;YACtB,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,0CAA0C;QACvE,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,qBAAqB,CAAC;YACjC,WAAW,GAAG,OAAO,CAAC;QACxB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAoB,CAAC;QAC3C,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1D,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;QACzB,WAAW,GAAG,GAAG,CAAC;QAClB,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,IAAI,CAAC,KAAK,EACV,WAAW,EACX,QAAQ,CACT,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AACjD,CAAC,CAAC;AAcF,MAAM,sBAAsB,GAAG,CAC7B,SAAuB,EACvB,OAAuB,EACO,EAAE;IAChC,mCAAmC;IACnC,MAAM,eAAe,GAAG,CACtB,IAA6C,EACf,EAAE;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,SAAS,CAAC;QAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/C,IACE,CAAC,GAAG;YACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;QAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;QACzC,IAAI,CAAC,eAAe;YAAE,OAAO,SAAS,CAAC;QAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QAEpD,MAAM,GAAG,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAExC,OAAO;YACL,YAAY;YACZ,OAAO,EAAE,GAAG,GAAG,CAAC;YAChB,WAAW,EAAE,sBAAsB,CAAC,YAAY,CAAC;YACjD,QAAQ,EAAE,UAAU;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC;IAED,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAoD,EACpD,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,kDAAkD;IAClD,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE9D,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QAE/D,uBAAuB;QACvB,MAAM,QAAQ,GACZ,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,GAAG,WAAW,MAAM,OAAO,IAAI;YACjC,CAAC,CAAC,IAAI,WAAW,MAAM,OAAO,IAAI,CAAC;QAEvC,kDAAkD;QAClD,MAAM,UAAU,GAAG,IAAI,WAAW,MAAM,OAAO,KAAK,CAAC;QACrD,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAC/B,CAAC;QACF,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;QAEtE,MAAM,eAAe,GAAmB;YACtC,GAAG,OAAO;YACV,gBAAgB,EAAE,WAAW;SAC9B,CAAC;QAEF,4CAA4C;QAC5C,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAC3B,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,YAAY,CAAC;YAC9D,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAE3D,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAC7B,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC;YAC/D,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QAEhE,MAAM,IAAI,GAAG,GAAG,QAAQ,MAAM,QAAQ,CAAC,IAAI,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;QAElE,gDAAgD;QAChD,MAAM,YAAY,GAAmB;YACnC,GAAG,YAAY;YACf,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC;QACF,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IACjD,CAAC;IAED,2CAA2C;IAC3C,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACxE,mEAAmE;IACnE,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,QAAQ,EACb,WAAW,EACX,YAAY,CACb,CAAC;IACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,IAAI,CAAC,SAAS,EACd,WAAW,EACX,YAAY,CACb,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,IAAI,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AACjD,CAAC,CAAC"}
|
|
@@ -9,6 +9,9 @@ import { EmitterContext, CSharpFragment } from "../types.js";
|
|
|
9
9
|
* All interpolation holes are wrapped in parentheses: {(expr)}
|
|
10
10
|
* This prevents C# parsing ambiguity where ':' in expressions like
|
|
11
11
|
* 'global::Namespace.Type' would be interpreted as a format specifier.
|
|
12
|
+
*
|
|
13
|
+
* Literal curly braces in template strings are escaped as {{ and }}
|
|
14
|
+
* since they are interpolation delimiters in C#.
|
|
12
15
|
*/
|
|
13
16
|
export declare const emitTemplateLiteral: (expr: Extract<IrExpression, {
|
|
14
17
|
kind: "templateLiteral";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAkB7D;;;;;;;;;GASG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACxD,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAiCjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAKjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAIjC,CAAC"}
|
|
@@ -2,12 +2,28 @@
|
|
|
2
2
|
* Miscellaneous expression emitters (template literals, spread, await)
|
|
3
3
|
*/
|
|
4
4
|
import { emitExpression } from "../expression-emitter.js";
|
|
5
|
+
/**
|
|
6
|
+
* Escape a string for use in a C# interpolated string literal.
|
|
7
|
+
* Handles backslashes, quotes, newlines, carriage returns, tabs,
|
|
8
|
+
* and curly braces (which are interpolation delimiters in C#).
|
|
9
|
+
*/
|
|
10
|
+
const escapeForInterpolatedString = (str) => str
|
|
11
|
+
.replace(/\\/g, "\\\\") // Backslash first to avoid double-escaping
|
|
12
|
+
.replace(/"/g, '\\"')
|
|
13
|
+
.replace(/\n/g, "\\n")
|
|
14
|
+
.replace(/\r/g, "\\r")
|
|
15
|
+
.replace(/\t/g, "\\t")
|
|
16
|
+
.replace(/\{/g, "{{") // Escape { for C# interpolated strings
|
|
17
|
+
.replace(/\}/g, "}}"); // Escape } for C# interpolated strings
|
|
5
18
|
/**
|
|
6
19
|
* Emit a template literal as C# interpolated string
|
|
7
20
|
*
|
|
8
21
|
* All interpolation holes are wrapped in parentheses: {(expr)}
|
|
9
22
|
* This prevents C# parsing ambiguity where ':' in expressions like
|
|
10
23
|
* 'global::Namespace.Type' would be interpreted as a format specifier.
|
|
24
|
+
*
|
|
25
|
+
* Literal curly braces in template strings are escaped as {{ and }}
|
|
26
|
+
* since they are interpolation delimiters in C#.
|
|
11
27
|
*/
|
|
12
28
|
export const emitTemplateLiteral = (expr, context) => {
|
|
13
29
|
let currentContext = context;
|
|
@@ -15,13 +31,21 @@ export const emitTemplateLiteral = (expr, context) => {
|
|
|
15
31
|
for (let i = 0; i < expr.quasis.length; i++) {
|
|
16
32
|
const quasi = expr.quasis[i];
|
|
17
33
|
if (quasi !== undefined && quasi !== null) {
|
|
18
|
-
|
|
34
|
+
// Escape the quasi for C# interpolated string
|
|
35
|
+
parts.push(escapeForInterpolatedString(quasi));
|
|
19
36
|
}
|
|
20
37
|
const exprAtIndex = expr.expressions[i];
|
|
21
38
|
if (i < expr.expressions.length && exprAtIndex) {
|
|
22
39
|
const [exprFrag, newContext] = emitExpression(exprAtIndex, currentContext);
|
|
23
|
-
//
|
|
24
|
-
|
|
40
|
+
// Only wrap in parentheses when needed to avoid ':' being parsed as format specifier
|
|
41
|
+
// Cases that need parens:
|
|
42
|
+
// - Conditional (ternary) expressions: {(cond ? a : b)}
|
|
43
|
+
// - Any expression containing ':' (e.g., global::Namespace.Type)
|
|
44
|
+
const needsParens = exprAtIndex.kind === "conditional" || exprFrag.text.includes(":");
|
|
45
|
+
const interpolation = needsParens
|
|
46
|
+
? `{(${exprFrag.text})}`
|
|
47
|
+
: `{${exprFrag.text}}`;
|
|
48
|
+
parts.push(interpolation);
|
|
25
49
|
currentContext = newContext;
|
|
26
50
|
}
|
|
27
51
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"other.js","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D
|
|
1
|
+
{"version":3,"file":"other.js","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D;;;;GAIG;AACH,MAAM,2BAA2B,GAAG,CAAC,GAAW,EAAU,EAAE,CAC1D,GAAG;KACA,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,2CAA2C;KAClE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,uCAAuC;KAC5D,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,uCAAuC;AAElE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwD,EACxD,OAAuB,EACW,EAAE;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1C,8CAA8C;YAC9C,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;YAC/C,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAC3C,WAAW,EACX,cAAc,CACf,CAAC;YACF,qFAAqF;YACrF,0BAA0B;YAC1B,wDAAwD;YACxD,iEAAiE;YACjE,MAAM,WAAW,GACf,WAAW,CAAC,IAAI,KAAK,aAAa,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACpE,MAAM,aAAa,GAAG,WAAW;gBAC/B,CAAC,CAAC,KAAK,QAAQ,CAAC,IAAI,IAAI;gBACxB,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;IACpC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,gDAAgD;IAChD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC;IACtC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC"}
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
import { IrModule } from "@tsonic/frontend";
|
|
6
6
|
import { EmitterContext } from "./types.js";
|
|
7
7
|
/**
|
|
8
|
-
* Generate all exchange objects for generators in a module
|
|
8
|
+
* Generate all exchange objects, wrapper classes, and IteratorResult struct for generators in a module
|
|
9
9
|
*/
|
|
10
10
|
export declare const generateGeneratorExchanges: (module: IrModule, context: EmitterContext) => [string, EmitterContext];
|
|
11
11
|
//# sourceMappingURL=generator-exchange.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"generator-exchange.d.ts","sourceRoot":"","sources":["../src/generator-exchange.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAyB,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAqB,MAAM,YAAY,CAAC;
|
|
1
|
+
{"version":3,"file":"generator-exchange.d.ts","sourceRoot":"","sources":["../src/generator-exchange.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAyB,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAqB,MAAM,YAAY,CAAC;AA0F/D;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,QAAQ,QAAQ,EAChB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAmCzB,CAAC"}
|
|
@@ -4,6 +4,7 @@
|
|
|
4
4
|
*/
|
|
5
5
|
import { getIndent, indent } from "./types.js";
|
|
6
6
|
import { emitType } from "./type-emitter.js";
|
|
7
|
+
import { needsBidirectionalSupport, generateWrapperClass, } from "./generator-wrapper.js";
|
|
7
8
|
/**
|
|
8
9
|
* Collect all generator functions from a module
|
|
9
10
|
*/
|
|
@@ -72,7 +73,7 @@ const generateExchangeClass = (func, context) => {
|
|
|
72
73
|
return [parts.join("\n"), currentContext];
|
|
73
74
|
};
|
|
74
75
|
/**
|
|
75
|
-
* Generate all exchange objects for generators in a module
|
|
76
|
+
* Generate all exchange objects, wrapper classes, and IteratorResult struct for generators in a module
|
|
76
77
|
*/
|
|
77
78
|
export const generateGeneratorExchanges = (module, context) => {
|
|
78
79
|
const generators = collectGenerators(module);
|
|
@@ -81,11 +82,21 @@ export const generateGeneratorExchanges = (module, context) => {
|
|
|
81
82
|
}
|
|
82
83
|
const parts = [];
|
|
83
84
|
let currentContext = context;
|
|
85
|
+
// Generate exchange classes and wrapper classes for each generator
|
|
86
|
+
// Note: IteratorResult<T> is now in Tsonic.Runtime, not emitted per-module
|
|
84
87
|
for (const generator of generators) {
|
|
85
|
-
|
|
86
|
-
|
|
88
|
+
// Exchange class (for all generators)
|
|
89
|
+
const [exchangeCode, exchangeContext] = generateExchangeClass(generator, currentContext);
|
|
90
|
+
currentContext = exchangeContext;
|
|
87
91
|
parts.push(exchangeCode);
|
|
88
|
-
parts.push("");
|
|
92
|
+
parts.push("");
|
|
93
|
+
// Wrapper class (only for bidirectional generators)
|
|
94
|
+
if (needsBidirectionalSupport(generator)) {
|
|
95
|
+
const [wrapperCode, wrapperContext] = generateWrapperClass(generator, currentContext);
|
|
96
|
+
currentContext = wrapperContext;
|
|
97
|
+
parts.push(wrapperCode);
|
|
98
|
+
parts.push("");
|
|
99
|
+
}
|
|
89
100
|
}
|
|
90
101
|
return [parts.join("\n"), currentContext];
|
|
91
102
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"generator-exchange.js","sourceRoot":"","sources":["../src/generator-exchange.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"generator-exchange.js","sourceRoot":"","sources":["../src/generator-exchange.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAEhC;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,MAAgB,EAA2B,EAAE;IACtE,MAAM,UAAU,GAA4B,EAAE,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5D,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,iDAAiD;IACnD,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,qBAAqB,GAAG,CAC5B,IAA2B,EAC3B,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,YAAY,GAAG,GAAG,IAAI,CAAC,IAAI,WAAW,CAAC;IAE7C,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,uBAAuB,YAAY,EAAE,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IAEtB,8DAA8D;IAC9D,wEAAwE;IACxE,IAAI,UAAU,GAAG,QAAQ,CAAC;IAC1B,IAAI,SAAS,GAAG,QAAQ,CAAC;IAEzB,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAChE,iCAAiC;QACjC,8CAA8C;QAC9C,4CAA4C;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;gBACxE,cAAc,GAAG,WAAW,CAAC;gBAC7B,UAAU,GAAG,SAAS,CAAC;YACzB,CAAC;YAED,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAI,WAAW,EAAE,CAAC;oBAChB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;oBACtE,cAAc,GAAG,WAAW,CAAC;oBAC7B,SAAS,GAAG,QAAQ,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,SAAS,uBAAuB,CAAC,CAAC;IAEjE,kBAAkB;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,UAAU,uBAAuB,CAAC,CAAC;IAElE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IAEtB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAAgB,EAChB,OAAuB,EACG,EAAE;IAC5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAE7C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,mEAAmE;IACnE,2EAA2E;IAC3E,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,sCAAsC;QACtC,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,GAAG,qBAAqB,CAC3D,SAAS,EACT,cAAc,CACf,CAAC;QACF,cAAc,GAAG,eAAe,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,oDAAoD;QACpD,IAAI,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,oBAAoB,CACxD,SAAS,EACT,cAAc,CACf,CAAC;YACF,cAAc,GAAG,cAAc,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC5C,CAAC,CAAC"}
|