@tsonic/emitter 0.0.73 → 0.0.74
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/adapter-generator.d.ts.map +1 -1
- package/dist/adapter-generator.js +2 -1
- package/dist/adapter-generator.js.map +1 -1
- package/dist/constants.d.ts +3 -2
- package/dist/constants.d.ts.map +1 -1
- package/dist/constants.js +15 -6
- package/dist/constants.js.map +1 -1
- package/dist/core/format/attributes.d.ts.map +1 -1
- package/dist/core/format/attributes.js +5 -56
- package/dist/core/format/attributes.js.map +1 -1
- package/dist/core/format/attributes.test.js +1 -1
- package/dist/core/format/attributes.test.js.map +1 -1
- package/dist/core/format/backend-ast/builders.d.ts +13 -0
- package/dist/core/format/backend-ast/builders.d.ts.map +1 -0
- package/dist/core/format/backend-ast/builders.js +169 -0
- package/dist/core/format/backend-ast/builders.js.map +1 -0
- package/dist/core/format/backend-ast/builders.test.d.ts +2 -0
- package/dist/core/format/backend-ast/builders.test.d.ts.map +1 -0
- package/dist/core/format/backend-ast/builders.test.js +258 -0
- package/dist/core/format/backend-ast/builders.test.js.map +1 -0
- package/dist/core/format/backend-ast/index.d.ts +3 -2
- package/dist/core/format/backend-ast/index.d.ts.map +1 -1
- package/dist/core/format/backend-ast/index.js +2 -1
- package/dist/core/format/backend-ast/index.js.map +1 -1
- package/dist/core/format/backend-ast/invariants.test.d.ts +2 -0
- package/dist/core/format/backend-ast/invariants.test.d.ts.map +1 -0
- package/dist/core/format/backend-ast/invariants.test.js +72 -0
- package/dist/core/format/backend-ast/invariants.test.js.map +1 -0
- package/dist/core/format/backend-ast/printer.d.ts +1 -1
- package/dist/core/format/backend-ast/printer.d.ts.map +1 -1
- package/dist/core/format/backend-ast/printer.js +362 -119
- package/dist/core/format/backend-ast/printer.js.map +1 -1
- package/dist/core/format/backend-ast/printer.test.d.ts +2 -0
- package/dist/core/format/backend-ast/printer.test.d.ts.map +1 -0
- package/dist/core/format/backend-ast/printer.test.js +796 -0
- package/dist/core/format/backend-ast/printer.test.js.map +1 -0
- package/dist/core/format/backend-ast/types.d.ts +66 -14
- package/dist/core/format/backend-ast/types.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.d.ts +12 -8
- package/dist/core/format/backend-ast/utils.d.ts.map +1 -1
- package/dist/core/format/backend-ast/utils.js +222 -19
- package/dist/core/format/backend-ast/utils.js.map +1 -1
- package/dist/core/format/backend-ast/utils.test.d.ts +2 -0
- package/dist/core/format/backend-ast/utils.test.d.ts.map +1 -0
- package/dist/core/format/backend-ast/utils.test.js +142 -0
- package/dist/core/format/backend-ast/utils.test.js.map +1 -0
- package/dist/core/format/module-emitter/assembly.d.ts +2 -2
- package/dist/core/format/module-emitter/assembly.d.ts.map +1 -1
- package/dist/core/format/module-emitter/assembly.js +7 -3
- package/dist/core/format/module-emitter/assembly.js.map +1 -1
- package/dist/core/format/module-emitter/header.d.ts +2 -1
- package/dist/core/format/module-emitter/header.d.ts.map +1 -1
- package/dist/core/format/module-emitter/header.js +2 -2
- package/dist/core/format/module-emitter/header.js.map +1 -1
- package/dist/core/format/module-emitter/orchestrator.js +1 -1
- package/dist/core/format/module-emitter/orchestrator.js.map +1 -1
- package/dist/core/format/module-emitter/static-container.d.ts.map +1 -1
- package/dist/core/format/module-emitter/static-container.js +3 -5
- package/dist/core/format/module-emitter/static-container.js.map +1 -1
- package/dist/core/module-emitter.test.js +1 -0
- package/dist/core/module-emitter.test.js.map +1 -1
- package/dist/core/semantic/boolean-context.d.ts.map +1 -1
- package/dist/core/semantic/boolean-context.js +45 -49
- package/dist/core/semantic/boolean-context.js.map +1 -1
- package/dist/core/semantic/imports.d.ts.map +1 -1
- package/dist/core/semantic/imports.js +16 -15
- package/dist/core/semantic/imports.js.map +1 -1
- package/dist/core/semantic/imports.test.js.map +1 -1
- package/dist/core/semantic/type-resolution.js +1 -2
- package/dist/core/semantic/type-resolution.js.map +1 -1
- package/dist/emitter-types/core.d.ts +19 -10
- package/dist/emitter-types/core.d.ts.map +1 -1
- package/dist/emitter.d.ts.map +1 -1
- package/dist/emitter.js +124 -44
- package/dist/emitter.js.map +1 -1
- package/dist/expression-emitter.d.ts.map +1 -1
- package/dist/expression-emitter.js +24 -43
- package/dist/expression-emitter.js.map +1 -1
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +11 -28
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/calls/call-analysis.d.ts +0 -10
- package/dist/expressions/calls/call-analysis.d.ts.map +1 -1
- package/dist/expressions/calls/call-analysis.js +3 -62
- package/dist/expressions/calls/call-analysis.js.map +1 -1
- package/dist/expressions/calls/call-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/call-emitter.js +89 -151
- package/dist/expressions/calls/call-emitter.js.map +1 -1
- package/dist/expressions/calls/new-emitter.d.ts.map +1 -1
- package/dist/expressions/calls/new-emitter.js +36 -69
- package/dist/expressions/calls/new-emitter.js.map +1 -1
- package/dist/expressions/collections.d.ts +3 -0
- package/dist/expressions/collections.d.ts.map +1 -1
- package/dist/expressions/collections.js +43 -70
- package/dist/expressions/collections.js.map +1 -1
- package/dist/expressions/functions.d.ts.map +1 -1
- package/dist/expressions/functions.js +1 -7
- package/dist/expressions/functions.js.map +1 -1
- package/dist/expressions/identifiers.d.ts.map +1 -1
- package/dist/expressions/identifiers.js +23 -44
- package/dist/expressions/identifiers.js.map +1 -1
- package/dist/expressions/index.test.js +128 -0
- package/dist/expressions/index.test.js.map +1 -1
- package/dist/expressions/literals.d.ts.map +1 -1
- package/dist/expressions/literals.js +9 -41
- package/dist/expressions/literals.js.map +1 -1
- package/dist/expressions/operators/assignment-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/assignment-emitter.js +2 -6
- package/dist/expressions/operators/assignment-emitter.js.map +1 -1
- package/dist/expressions/operators/binary-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/binary-emitter.js +16 -32
- package/dist/expressions/operators/binary-emitter.js.map +1 -1
- package/dist/expressions/operators/logical-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/logical-emitter.js +1 -3
- package/dist/expressions/operators/logical-emitter.js.map +1 -1
- package/dist/expressions/operators/unary-emitter.d.ts.map +1 -1
- package/dist/expressions/operators/unary-emitter.js +9 -20
- package/dist/expressions/operators/unary-emitter.js.map +1 -1
- package/dist/expressions/other.d.ts.map +1 -1
- package/dist/expressions/other.js +6 -11
- package/dist/expressions/other.js.map +1 -1
- package/dist/generator-exchange.d.ts.map +1 -1
- package/dist/generator-exchange.js +3 -2
- package/dist/generator-exchange.js.map +1 -1
- package/dist/generator-wrapper.d.ts.map +1 -1
- package/dist/generator-wrapper.js +27 -56
- package/dist/generator-wrapper.js.map +1 -1
- package/dist/integration.test.js +1 -1
- package/dist/integration.test.js.map +1 -1
- package/dist/json-aot-generic.test.js +3 -0
- package/dist/json-aot-generic.test.js.map +1 -1
- package/dist/patterns.d.ts.map +1 -1
- package/dist/patterns.js +19 -40
- package/dist/patterns.js.map +1 -1
- package/dist/statements/classes/members/methods.d.ts.map +1 -1
- package/dist/statements/classes/members/methods.js +3 -9
- package/dist/statements/classes/members/methods.js.map +1 -1
- package/dist/statements/classes/parameters.d.ts.map +1 -1
- package/dist/statements/classes/parameters.js +2 -1
- package/dist/statements/classes/parameters.js.map +1 -1
- package/dist/statements/classes/properties.d.ts.map +1 -1
- package/dist/statements/classes/properties.js +5 -16
- package/dist/statements/classes/properties.js.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.d.ts +2 -1
- package/dist/statements/control/conditionals/guard-analysis.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-analysis.js +19 -6
- package/dist/statements/control/conditionals/guard-analysis.js.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.d.ts.map +1 -1
- package/dist/statements/control/conditionals/if-emitter.js +14 -9
- package/dist/statements/control/conditionals/if-emitter.js.map +1 -1
- package/dist/statements/control/exceptions.d.ts.map +1 -1
- package/dist/statements/control/exceptions.js +2 -4
- package/dist/statements/control/exceptions.js.map +1 -1
- package/dist/statements/control/loops.d.ts.map +1 -1
- package/dist/statements/control/loops.js +3 -5
- 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 +2 -4
- 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 +36 -66
- package/dist/statements/declarations/functions.js.map +1 -1
- package/dist/statements/declarations/interfaces-mutable-storage.test.js +10 -2
- package/dist/statements/declarations/interfaces-mutable-storage.test.js.map +1 -1
- package/dist/statements/declarations/interfaces.d.ts.map +1 -1
- package/dist/statements/declarations/interfaces.js +4 -12
- package/dist/statements/declarations/interfaces.js.map +1 -1
- package/dist/statements/declarations/type-aliases.d.ts.map +1 -1
- package/dist/statements/declarations/type-aliases.js +3 -8
- 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 +39 -37
- package/dist/statements/declarations/variables.js.map +1 -1
- package/dist/statements/index.test.js +94 -8
- package/dist/statements/index.test.js.map +1 -1
- package/dist/types/dictionaries.d.ts.map +1 -1
- package/dist/types/dictionaries.js +5 -5
- package/dist/types/dictionaries.js.map +1 -1
- package/dist/types/functions.d.ts.map +1 -1
- package/dist/types/functions.js +5 -25
- package/dist/types/functions.js.map +1 -1
- package/dist/types/primitives.d.ts.map +1 -1
- package/dist/types/primitives.js.map +1 -1
- package/dist/types/references.d.ts.map +1 -1
- package/dist/types/references.js +65 -132
- package/dist/types/references.js.map +1 -1
- package/dist/types/references.test.js +63 -51
- package/dist/types/references.test.js.map +1 -1
- package/dist/types/tuples.d.ts.map +1 -1
- package/dist/types/tuples.js +7 -17
- package/dist/types/tuples.js.map +1 -1
- package/dist/types/unions.d.ts.map +1 -1
- package/dist/types/unions.js +2 -5
- package/dist/types/unions.js.map +1 -1
- package/package.json +2 -2
- package/dist/expressions/parentheses.d.ts +0 -4
- package/dist/expressions/parentheses.d.ts.map +0 -1
- package/dist/expressions/parentheses.js +0 -91
- package/dist/expressions/parentheses.js.map +0 -1
|
@@ -0,0 +1,258 @@
|
|
|
1
|
+
import { describe, it } from "mocha";
|
|
2
|
+
import { expect } from "chai";
|
|
3
|
+
import { booleanLiteral, charLiteral, decimalIntegerLiteral, identifierExpression, identifierType, nullLiteral, numericLiteral, parseNumericLiteral, qualifiedName, stringLiteral, withTypeArguments, } from "./builders.js";
|
|
4
|
+
describe("backend-ast builders", () => {
|
|
5
|
+
it("builds the typed literal family structurally", () => {
|
|
6
|
+
expect(nullLiteral()).to.deep.equal({ kind: "nullLiteralExpression" });
|
|
7
|
+
expect(booleanLiteral(true)).to.deep.equal({
|
|
8
|
+
kind: "booleanLiteralExpression",
|
|
9
|
+
value: true,
|
|
10
|
+
});
|
|
11
|
+
expect(stringLiteral("hello")).to.deep.equal({
|
|
12
|
+
kind: "stringLiteralExpression",
|
|
13
|
+
value: "hello",
|
|
14
|
+
});
|
|
15
|
+
expect(charLiteral("x")).to.deep.equal({
|
|
16
|
+
kind: "charLiteralExpression",
|
|
17
|
+
value: "x",
|
|
18
|
+
});
|
|
19
|
+
expect(decimalIntegerLiteral(42)).to.deep.equal({
|
|
20
|
+
kind: "numericLiteralExpression",
|
|
21
|
+
base: "decimal",
|
|
22
|
+
wholePart: "42",
|
|
23
|
+
});
|
|
24
|
+
expect(numericLiteral({
|
|
25
|
+
base: "decimal",
|
|
26
|
+
wholePart: "1",
|
|
27
|
+
fractionalPart: "5",
|
|
28
|
+
suffix: "m",
|
|
29
|
+
})).to.deep.equal({
|
|
30
|
+
kind: "numericLiteralExpression",
|
|
31
|
+
base: "decimal",
|
|
32
|
+
wholePart: "1",
|
|
33
|
+
fractionalPart: "5",
|
|
34
|
+
suffix: "m",
|
|
35
|
+
});
|
|
36
|
+
});
|
|
37
|
+
it("builds qualified names and identifier expressions structurally", () => {
|
|
38
|
+
expect(qualifiedName("System.Collections.Generic.List")).to.deep.equal({
|
|
39
|
+
segments: ["System", "Collections", "Generic", "List"],
|
|
40
|
+
});
|
|
41
|
+
expect(qualifiedName("global::System.String")).to.deep.equal({
|
|
42
|
+
aliasQualifier: "global",
|
|
43
|
+
segments: ["System", "String"],
|
|
44
|
+
});
|
|
45
|
+
expect(identifierExpression("value")).to.deep.equal({
|
|
46
|
+
kind: "identifierExpression",
|
|
47
|
+
identifier: "value",
|
|
48
|
+
});
|
|
49
|
+
expect(identifierExpression("global::System.String")).to.deep.equal({
|
|
50
|
+
kind: "qualifiedIdentifierExpression",
|
|
51
|
+
name: {
|
|
52
|
+
aliasQualifier: "global",
|
|
53
|
+
segments: ["System", "String"],
|
|
54
|
+
},
|
|
55
|
+
});
|
|
56
|
+
expect(identifierExpression("TsonicJson.Options")).to.deep.equal({
|
|
57
|
+
kind: "qualifiedIdentifierExpression",
|
|
58
|
+
name: {
|
|
59
|
+
segments: ["TsonicJson", "Options"],
|
|
60
|
+
},
|
|
61
|
+
});
|
|
62
|
+
});
|
|
63
|
+
it("builds all supported predefined type keywords and qualified type nodes", () => {
|
|
64
|
+
const keywordCases = [
|
|
65
|
+
"bool",
|
|
66
|
+
"byte",
|
|
67
|
+
"sbyte",
|
|
68
|
+
"short",
|
|
69
|
+
"ushort",
|
|
70
|
+
"int",
|
|
71
|
+
"uint",
|
|
72
|
+
"long",
|
|
73
|
+
"ulong",
|
|
74
|
+
"nint",
|
|
75
|
+
"nuint",
|
|
76
|
+
"char",
|
|
77
|
+
"float",
|
|
78
|
+
"double",
|
|
79
|
+
"decimal",
|
|
80
|
+
"string",
|
|
81
|
+
"object",
|
|
82
|
+
"void",
|
|
83
|
+
];
|
|
84
|
+
for (const keyword of keywordCases) {
|
|
85
|
+
expect(identifierType(keyword)).to.deep.equal({
|
|
86
|
+
kind: "predefinedType",
|
|
87
|
+
keyword,
|
|
88
|
+
});
|
|
89
|
+
}
|
|
90
|
+
expect(identifierType("var")).to.deep.equal({ kind: "varType" });
|
|
91
|
+
expect(identifierType("MyType")).to.deep.equal({
|
|
92
|
+
kind: "identifierType",
|
|
93
|
+
name: "MyType",
|
|
94
|
+
});
|
|
95
|
+
expect(identifierType("global::System.Int128")).to.deep.equal({
|
|
96
|
+
kind: "qualifiedIdentifierType",
|
|
97
|
+
name: {
|
|
98
|
+
aliasQualifier: "global",
|
|
99
|
+
segments: ["System", "Int128"],
|
|
100
|
+
},
|
|
101
|
+
});
|
|
102
|
+
expect(identifierType("global::System.Collections.Generic.List", [
|
|
103
|
+
{ kind: "predefinedType", keyword: "string" },
|
|
104
|
+
])).to.deep.equal({
|
|
105
|
+
kind: "qualifiedIdentifierType",
|
|
106
|
+
name: {
|
|
107
|
+
aliasQualifier: "global",
|
|
108
|
+
segments: ["System", "Collections", "Generic", "List"],
|
|
109
|
+
},
|
|
110
|
+
typeArguments: [{ kind: "predefinedType", keyword: "string" }],
|
|
111
|
+
});
|
|
112
|
+
});
|
|
113
|
+
it("attaches type arguments only to identifier-like type nodes", () => {
|
|
114
|
+
const simple = identifierType("Task");
|
|
115
|
+
expect(withTypeArguments(simple, [{ kind: "predefinedType", keyword: "int" }])).to.deep.equal({
|
|
116
|
+
kind: "identifierType",
|
|
117
|
+
name: "Task",
|
|
118
|
+
typeArguments: [{ kind: "predefinedType", keyword: "int" }],
|
|
119
|
+
});
|
|
120
|
+
const qualified = identifierType("global::System.Func");
|
|
121
|
+
expect(withTypeArguments(qualified, [
|
|
122
|
+
{ kind: "predefinedType", keyword: "string" },
|
|
123
|
+
{ kind: "predefinedType", keyword: "bool" },
|
|
124
|
+
])).to.deep.equal({
|
|
125
|
+
kind: "qualifiedIdentifierType",
|
|
126
|
+
name: {
|
|
127
|
+
aliasQualifier: "global",
|
|
128
|
+
segments: ["System", "Func"],
|
|
129
|
+
},
|
|
130
|
+
typeArguments: [
|
|
131
|
+
{ kind: "predefinedType", keyword: "string" },
|
|
132
|
+
{ kind: "predefinedType", keyword: "bool" },
|
|
133
|
+
],
|
|
134
|
+
});
|
|
135
|
+
expect(() => withTypeArguments({ kind: "predefinedType", keyword: "int" }, [
|
|
136
|
+
{ kind: "predefinedType", keyword: "string" },
|
|
137
|
+
])).to.throw("ICE: Cannot attach generic type arguments to non-identifier type 'predefinedType'.");
|
|
138
|
+
expect(() => withTypeArguments({
|
|
139
|
+
kind: "nullableType",
|
|
140
|
+
underlyingType: { kind: "predefinedType", keyword: "int" },
|
|
141
|
+
}, [{ kind: "predefinedType", keyword: "string" }])).to.throw("ICE: Cannot attach generic type arguments to non-identifier type 'nullableType'.");
|
|
142
|
+
});
|
|
143
|
+
it("parses numeric literal lexemes structurally across bases, suffixes, and exponents", () => {
|
|
144
|
+
const cases = [
|
|
145
|
+
[
|
|
146
|
+
"123",
|
|
147
|
+
{ kind: "numericLiteralExpression", base: "decimal", wholePart: "123" },
|
|
148
|
+
],
|
|
149
|
+
[
|
|
150
|
+
"1_024",
|
|
151
|
+
{
|
|
152
|
+
kind: "numericLiteralExpression",
|
|
153
|
+
base: "decimal",
|
|
154
|
+
wholePart: "1024",
|
|
155
|
+
},
|
|
156
|
+
],
|
|
157
|
+
[
|
|
158
|
+
"0xFF",
|
|
159
|
+
{
|
|
160
|
+
kind: "numericLiteralExpression",
|
|
161
|
+
base: "hexadecimal",
|
|
162
|
+
wholePart: "FF",
|
|
163
|
+
},
|
|
164
|
+
],
|
|
165
|
+
[
|
|
166
|
+
"0b1010",
|
|
167
|
+
{ kind: "numericLiteralExpression", base: "binary", wholePart: "1010" },
|
|
168
|
+
],
|
|
169
|
+
[
|
|
170
|
+
"0o77",
|
|
171
|
+
{ kind: "numericLiteralExpression", base: "decimal", wholePart: "63" },
|
|
172
|
+
],
|
|
173
|
+
[
|
|
174
|
+
"1.5",
|
|
175
|
+
{
|
|
176
|
+
kind: "numericLiteralExpression",
|
|
177
|
+
base: "decimal",
|
|
178
|
+
wholePart: "1",
|
|
179
|
+
fractionalPart: "5",
|
|
180
|
+
},
|
|
181
|
+
],
|
|
182
|
+
[
|
|
183
|
+
"10.",
|
|
184
|
+
{
|
|
185
|
+
kind: "numericLiteralExpression",
|
|
186
|
+
base: "decimal",
|
|
187
|
+
wholePart: "10",
|
|
188
|
+
fractionalPart: "0",
|
|
189
|
+
},
|
|
190
|
+
],
|
|
191
|
+
[
|
|
192
|
+
"6.02e23",
|
|
193
|
+
{
|
|
194
|
+
kind: "numericLiteralExpression",
|
|
195
|
+
base: "decimal",
|
|
196
|
+
wholePart: "6",
|
|
197
|
+
fractionalPart: "02",
|
|
198
|
+
exponentDigits: "23",
|
|
199
|
+
},
|
|
200
|
+
],
|
|
201
|
+
[
|
|
202
|
+
"1e-9",
|
|
203
|
+
{
|
|
204
|
+
kind: "numericLiteralExpression",
|
|
205
|
+
base: "decimal",
|
|
206
|
+
wholePart: "1",
|
|
207
|
+
exponentSign: "-",
|
|
208
|
+
exponentDigits: "9",
|
|
209
|
+
},
|
|
210
|
+
],
|
|
211
|
+
];
|
|
212
|
+
for (const [lexeme, expected] of cases) {
|
|
213
|
+
expect(parseNumericLiteral(lexeme)).to.deep.equal(expected);
|
|
214
|
+
}
|
|
215
|
+
expect(parseNumericLiteral("1", "L")).to.deep.equal({
|
|
216
|
+
kind: "numericLiteralExpression",
|
|
217
|
+
base: "decimal",
|
|
218
|
+
wholePart: "1",
|
|
219
|
+
suffix: "L",
|
|
220
|
+
});
|
|
221
|
+
expect(parseNumericLiteral("1", "U")).to.deep.equal({
|
|
222
|
+
kind: "numericLiteralExpression",
|
|
223
|
+
base: "decimal",
|
|
224
|
+
wholePart: "1",
|
|
225
|
+
suffix: "U",
|
|
226
|
+
});
|
|
227
|
+
expect(parseNumericLiteral("1", "UL")).to.deep.equal({
|
|
228
|
+
kind: "numericLiteralExpression",
|
|
229
|
+
base: "decimal",
|
|
230
|
+
wholePart: "1",
|
|
231
|
+
suffix: "UL",
|
|
232
|
+
});
|
|
233
|
+
expect(parseNumericLiteral("1.0", "f")).to.deep.equal({
|
|
234
|
+
kind: "numericLiteralExpression",
|
|
235
|
+
base: "decimal",
|
|
236
|
+
wholePart: "1",
|
|
237
|
+
fractionalPart: "0",
|
|
238
|
+
suffix: "f",
|
|
239
|
+
});
|
|
240
|
+
expect(parseNumericLiteral("1", "d")).to.deep.equal({
|
|
241
|
+
kind: "numericLiteralExpression",
|
|
242
|
+
base: "decimal",
|
|
243
|
+
wholePart: "1",
|
|
244
|
+
suffix: "d",
|
|
245
|
+
});
|
|
246
|
+
expect(parseNumericLiteral("1.0", "m")).to.deep.equal({
|
|
247
|
+
kind: "numericLiteralExpression",
|
|
248
|
+
base: "decimal",
|
|
249
|
+
wholePart: "1",
|
|
250
|
+
fractionalPart: "0",
|
|
251
|
+
suffix: "m",
|
|
252
|
+
});
|
|
253
|
+
});
|
|
254
|
+
it("rejects negative numeric literal lexemes because sign is structural", () => {
|
|
255
|
+
expect(() => parseNumericLiteral("-1")).to.throw("ICE: Negative numeric literal '-1' should be represented as a prefix unary expression.");
|
|
256
|
+
});
|
|
257
|
+
});
|
|
258
|
+
//# sourceMappingURL=builders.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"builders.test.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/builders.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,cAAc,EACd,WAAW,EACX,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,EACd,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACzC,IAAI,EAAE,0BAA0B;YAChC,KAAK,EAAE,IAAI;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3C,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACrC,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE,GAAG;SACX,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9C,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QACH,MAAM,CACJ,cAAc,CAAC;YACb,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,GAAG;YACnB,MAAM,EAAE,GAAG;SACZ,CAAC,CACH,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,GAAG;YACnB,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,aAAa,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACrE,QAAQ,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3D,cAAc,EAAE,QAAQ;YACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;SAC/B,CAAC,CAAC;QAEH,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,OAAO;SACpB,CAAC,CAAC;QACH,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClE,IAAI,EAAE,+BAA+B;YACrC,IAAI,EAAE;gBACJ,cAAc,EAAE,QAAQ;gBACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;aAC/B;SACF,CAAC,CAAC;QACH,MAAM,CAAC,oBAAoB,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/D,IAAI,EAAE,+BAA+B;YACrC,IAAI,EAAE;gBACJ,QAAQ,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC;aACpC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,YAAY,GAAG;YACnB,MAAM;YACN,MAAM;YACN,OAAO;YACP,OAAO;YACP,QAAQ;YACR,KAAK;YACL,MAAM;YACN,MAAM;YACN,OAAO;YACP,MAAM;YACN,OAAO;YACP,MAAM;YACN,OAAO;YACP,QAAQ;YACR,SAAS;YACT,QAAQ;YACR,QAAQ;YACR,MAAM;SACE,CAAC;QAEX,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;YACnC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC5C,IAAI,EAAE,gBAAgB;gBACtB,OAAO;aACR,CAAC,CAAC;QACL,CAAC;QAED,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC7C,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5D,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE;gBACJ,cAAc,EAAE,QAAQ;gBACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;aAC/B;SACF,CAAC,CAAC;QACH,MAAM,CACJ,cAAc,CAAC,yCAAyC,EAAE;YACxD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC9C,CAAC,CACH,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE;gBACJ,cAAc,EAAE,QAAQ;gBACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC;aACvD;YACD,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;SAC/D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CACJ,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CACxE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,MAAM;YACZ,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;SAC5D,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAC;QACxD,MAAM,CACJ,iBAAiB,CAAC,SAAS,EAAE;YAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YAC7C,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE;SAC5C,CAAC,CACH,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE;gBACJ,cAAc,EAAE,QAAQ;gBACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;aAC7B;YACD,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE;aAC5C;SACF,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,EAAE,CACV,iBAAiB,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;YAC5D,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC9C,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CACR,oFAAoF,CACrF,CAAC;QAEF,MAAM,CAAC,GAAG,EAAE,CACV,iBAAiB,CACf;YACE,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D,EACD,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAChD,CACF,CAAC,EAAE,CAAC,KAAK,CACR,kFAAkF,CACnF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,KAAK,GAAG;YACZ;gBACE,KAAK;gBACL,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE;aACxE;YACD;gBACE,OAAO;gBACP;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,MAAM;iBAClB;aACF;YACD;gBACE,MAAM;gBACN;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,IAAI;iBAChB;aACF;YACD;gBACE,QAAQ;gBACR,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE;aACxE;YACD;gBACE,MAAM;gBACN,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE;aACvE;YACD;gBACE,KAAK;gBACL;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,GAAG;oBACd,cAAc,EAAE,GAAG;iBACpB;aACF;YACD;gBACE,KAAK;gBACL;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,IAAI;oBACf,cAAc,EAAE,GAAG;iBACpB;aACF;YACD;gBACE,SAAS;gBACT;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,GAAG;oBACd,cAAc,EAAE,IAAI;oBACpB,cAAc,EAAE,IAAI;iBACrB;aACF;YACD;gBACE,MAAM;gBACN;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,SAAS;oBACf,SAAS,EAAE,GAAG;oBACd,YAAY,EAAE,GAAG;oBACjB,cAAc,EAAE,GAAG;iBACpB;aACF;SACO,CAAC;QAEX,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;YACvC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9D,CAAC;QAED,MAAM,CAAC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACnD,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACpD,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,GAAG;YACnB,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACpD,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,GAAG;YACnB,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC9C,wFAAwF,CACzF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Backend AST module exports
|
|
3
3
|
*/
|
|
4
|
-
export type { CSharpTypeAst, CSharpPredefinedTypeAst, CSharpIdentifierTypeAst, CSharpNullableTypeAst, CSharpArrayTypeAst, CSharpPointerTypeAst, CSharpTupleTypeAst, CSharpTupleElementAst, CSharpExpressionAst,
|
|
4
|
+
export type { CSharpTypeAst, CSharpPredefinedTypeAst, CSharpIdentifierTypeAst, CSharpQualifiedNameAst, CSharpQualifiedIdentifierTypeAst, CSharpNullableTypeAst, CSharpArrayTypeAst, CSharpPointerTypeAst, CSharpTupleTypeAst, CSharpTupleElementAst, CSharpExpressionAst, CSharpNullLiteralExpressionAst, CSharpBooleanLiteralExpressionAst, CSharpStringLiteralExpressionAst, CSharpCharLiteralExpressionAst, CSharpNumericLiteralExpressionAst, CSharpNumericLiteralBase, CSharpNumericLiteralSuffix, CSharpIdentifierExpressionAst, CSharpQualifiedIdentifierExpressionAst, CSharpTypeReferenceExpressionAst, CSharpParenthesizedExpressionAst, CSharpMemberAccessExpressionAst, CSharpConditionalMemberAccessExpressionAst, CSharpElementAccessExpressionAst, CSharpConditionalElementAccessExpressionAst, CSharpImplicitElementAccessExpressionAst, CSharpInvocationExpressionAst, CSharpObjectCreationExpressionAst, CSharpArrayCreationExpressionAst, CSharpStackAllocArrayCreationExpressionAst, CSharpAssignmentExpressionAst, CSharpBinaryExpressionAst, CSharpPrefixUnaryExpressionAst, CSharpPostfixUnaryExpressionAst, CSharpConditionalExpressionAst, CSharpCastExpressionAst, CSharpAsExpressionAst, CSharpIsExpressionAst, CSharpDefaultExpressionAst, CSharpSizeOfExpressionAst, CSharpAwaitExpressionAst, CSharpLambdaExpressionAst, CSharpLambdaParameterAst, CSharpInterpolatedStringExpressionAst, CSharpInterpolatedStringPart, CSharpThrowExpressionAst, CSharpSuppressNullableWarningExpressionAst, CSharpTypeofExpressionAst, CSharpSwitchExpressionAst, CSharpSwitchExpressionArmAst, CSharpPatternAst, CSharpTypePatternAst, CSharpDeclarationPatternAst, CSharpVarPatternAst, CSharpConstantPatternAst, CSharpDiscardPatternAst, CSharpNegatedPatternAst, CSharpStatementAst, CSharpBlockStatementAst, CSharpLocalDeclarationStatementAst, CSharpLocalFunctionStatementAst, CSharpExpressionStatementAst, CSharpIfStatementAst, CSharpWhileStatementAst, CSharpForStatementAst, CSharpForeachStatementAst, CSharpSwitchStatementAst, CSharpSwitchSectionAst, CSharpSwitchLabelAst, CSharpTryStatementAst, CSharpCatchClauseAst, CSharpThrowStatementAst, CSharpReturnStatementAst, CSharpBreakStatementAst, CSharpContinueStatementAst, CSharpEmptyStatementAst, CSharpYieldStatementAst, CSharpVariableDeclaratorAst, CSharpParameterAst, CSharpMemberAst, CSharpFieldDeclarationAst, CSharpPropertyDeclarationAst, CSharpMethodDeclarationAst, CSharpConstructorDeclarationAst, CSharpAttributeAst, CSharpEnumMemberAst, CSharpTypeParameterAst, CSharpTypeParameterConstraintNodeAst, CSharpTypeParameterConstraintAst, CSharpTypeDeclarationAst, CSharpClassDeclarationAst, CSharpStructDeclarationAst, CSharpInterfaceDeclarationAst, CSharpEnumDeclarationAst, CSharpUsingDirectiveAst, CSharpTriviaAst, CSharpSingleLineCommentTriviaAst, CSharpBlankLineTriviaAst, CSharpNamespaceDeclarationAst, CSharpCompilationUnitAst, } from "./types.js";
|
|
5
5
|
export { printType, printExpression, printPattern, printStatement, printMember, printTypeDeclaration, printCompilationUnit, printAttributes, printParameter, } from "./printer.js";
|
|
6
|
-
export { extractCalleeNameFromAst,
|
|
6
|
+
export { clrTypeNameToTypeAst, extractCalleeNameFromAst, getIdentifierTypeLeafName, getIdentifierTypeName, globallyQualifyTypeAst, stableTypeKeyFromAst, stableIdentifierSuffixFromTypeAst, stripNullableTypeAst, } from "./utils.js";
|
|
7
|
+
export { nullLiteral, booleanLiteral, stringLiteral, charLiteral, decimalIntegerLiteral, qualifiedName, identifierExpression, identifierType, numericLiteral, parseNumericLiteral, withTypeArguments, } from "./builders.js";
|
|
7
8
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAEV,aAAa,EACb,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EAErB,mBAAmB,EACnB,0BAA0B,EAC1B,6BAA6B,EAC7B,gCAAgC,EAChC,+BAA+B,EAC/B,0CAA0C,EAC1C,gCAAgC,EAChC,2CAA2C,EAC3C,6BAA6B,EAC7B,iCAAiC,EACjC,gCAAgC,EAChC,0CAA0C,EAC1C,6BAA6B,EAC7B,yBAAyB,EACzB,8BAA8B,EAC9B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,qCAAqC,EACrC,4BAA4B,EAC5B,wBAAwB,EACxB,0CAA0C,EAC1C,yBAAyB,EACzB,yBAAyB,EACzB,4BAA4B,EAE5B,gBAAgB,EAChB,oBAAoB,EACpB,2BAA2B,EAC3B,mBAAmB,EACnB,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EAEvB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,EAClC,+BAA+B,EAC/B,4BAA4B,EAC5B,oBAAoB,EACpB,uBAAuB,EACvB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,uBAAuB,EACvB,2BAA2B,EAC3B,kBAAkB,EAElB,eAAe,EACf,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,+BAA+B,EAC/B,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,oCAAoC,EACpC,gCAAgC,EAChC,wBAAwB,EACxB,yBAAyB,EACzB,0BAA0B,EAC1B,6BAA6B,EAC7B,wBAAwB,EAExB,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,SAAS,EACT,eAAe,EACf,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,oBAAoB,EACpB,eAAe,EACf,cAAc,GACf,MAAM,cAAc,CAAC;AAEtB,OAAO,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAEV,aAAa,EACb,uBAAuB,EACvB,uBAAuB,EACvB,sBAAsB,EACtB,gCAAgC,EAChC,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EAErB,mBAAmB,EACnB,8BAA8B,EAC9B,iCAAiC,EACjC,gCAAgC,EAChC,8BAA8B,EAC9B,iCAAiC,EACjC,wBAAwB,EACxB,0BAA0B,EAC1B,6BAA6B,EAC7B,sCAAsC,EACtC,gCAAgC,EAChC,gCAAgC,EAChC,+BAA+B,EAC/B,0CAA0C,EAC1C,gCAAgC,EAChC,2CAA2C,EAC3C,wCAAwC,EACxC,6BAA6B,EAC7B,iCAAiC,EACjC,gCAAgC,EAChC,0CAA0C,EAC1C,6BAA6B,EAC7B,yBAAyB,EACzB,8BAA8B,EAC9B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,qBAAqB,EACrB,qBAAqB,EACrB,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,qCAAqC,EACrC,4BAA4B,EAC5B,wBAAwB,EACxB,0CAA0C,EAC1C,yBAAyB,EACzB,yBAAyB,EACzB,4BAA4B,EAE5B,gBAAgB,EAChB,oBAAoB,EACpB,2BAA2B,EAC3B,mBAAmB,EACnB,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EAEvB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,EAClC,+BAA+B,EAC/B,4BAA4B,EAC5B,oBAAoB,EACpB,uBAAuB,EACvB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,uBAAuB,EACvB,2BAA2B,EAC3B,kBAAkB,EAElB,eAAe,EACf,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,+BAA+B,EAC/B,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,oCAAoC,EACpC,gCAAgC,EAChC,wBAAwB,EACxB,yBAAyB,EACzB,0BAA0B,EAC1B,6BAA6B,EAC7B,wBAAwB,EAExB,uBAAuB,EACvB,eAAe,EACf,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,SAAS,EACT,eAAe,EACf,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,oBAAoB,EACpB,eAAe,EACf,cAAc,GACf,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,EACzB,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,iCAAiC,EACjC,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,WAAW,EACX,cAAc,EACd,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,aAAa,EACb,oBAAoB,EACpB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,eAAe,CAAC"}
|
|
@@ -2,5 +2,6 @@
|
|
|
2
2
|
* Backend AST module exports
|
|
3
3
|
*/
|
|
4
4
|
export { printType, printExpression, printPattern, printStatement, printMember, printTypeDeclaration, printCompilationUnit, printAttributes, printParameter, } from "./printer.js";
|
|
5
|
-
export { extractCalleeNameFromAst,
|
|
5
|
+
export { clrTypeNameToTypeAst, extractCalleeNameFromAst, getIdentifierTypeLeafName, getIdentifierTypeName, globallyQualifyTypeAst, stableTypeKeyFromAst, stableIdentifierSuffixFromTypeAst, stripNullableTypeAst, } from "./utils.js";
|
|
6
|
+
export { nullLiteral, booleanLiteral, stringLiteral, charLiteral, decimalIntegerLiteral, qualifiedName, identifierExpression, identifierType, numericLiteral, parseNumericLiteral, withTypeArguments, } from "./builders.js";
|
|
6
7
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/index.ts"],"names":[],"mappings":"AAAA;;GAEG;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAgHH,OAAO,EACL,SAAS,EACT,eAAe,EACf,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,oBAAoB,EACpB,eAAe,EACf,cAAc,GACf,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,EACzB,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,iCAAiC,EACjC,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,WAAW,EACX,cAAc,EACd,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,aAAa,EACb,oBAAoB,EACpB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,eAAe,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"invariants.test.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/invariants.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
import { describe, it } from "mocha";
|
|
2
|
+
import { expect } from "chai";
|
|
3
|
+
import { readdirSync, readFileSync, statSync } from "node:fs";
|
|
4
|
+
import { join, relative } from "node:path";
|
|
5
|
+
const emitterRoot = join(process.cwd(), "src");
|
|
6
|
+
const walkTsFiles = (dir) => {
|
|
7
|
+
const entries = readdirSync(dir).sort();
|
|
8
|
+
const files = [];
|
|
9
|
+
for (const entry of entries) {
|
|
10
|
+
const fullPath = join(dir, entry);
|
|
11
|
+
const stat = statSync(fullPath);
|
|
12
|
+
if (stat.isDirectory()) {
|
|
13
|
+
files.push(...walkTsFiles(fullPath));
|
|
14
|
+
continue;
|
|
15
|
+
}
|
|
16
|
+
if (entry.endsWith(".ts")) {
|
|
17
|
+
files.push(fullPath);
|
|
18
|
+
}
|
|
19
|
+
}
|
|
20
|
+
return files;
|
|
21
|
+
};
|
|
22
|
+
const productionFiles = () => walkTsFiles(emitterRoot).filter((file) => !file.endsWith(".test.ts"));
|
|
23
|
+
describe("backend-ast architecture invariants", () => {
|
|
24
|
+
it("does not reintroduce raw text bridge nodes or text-to-AST adapters", () => {
|
|
25
|
+
const forbiddenPatterns = [
|
|
26
|
+
["rawExpression node", /kind:\s*"rawExpression"/],
|
|
27
|
+
["rawType node", /kind:\s*"rawType"/],
|
|
28
|
+
["rawMember node", /kind:\s*"rawMember"/],
|
|
29
|
+
["legacy literalExpression node", /kind:\s*"literalExpression"/],
|
|
30
|
+
["fragmentFromText adapter", /\bfragmentFromText\s*\(/],
|
|
31
|
+
["expressionAstFromText adapter", /\bexpressionAstFromText\s*\(/],
|
|
32
|
+
["blockStatementAstFromText adapter", /\bblockStatementAstFromText\s*\(/],
|
|
33
|
+
["renderTypeAst helper", /\brenderTypeAst\s*\(/],
|
|
34
|
+
];
|
|
35
|
+
const hits = [];
|
|
36
|
+
for (const file of productionFiles()) {
|
|
37
|
+
const text = readFileSync(file, "utf8");
|
|
38
|
+
for (const [label, pattern] of forbiddenPatterns) {
|
|
39
|
+
if (pattern.test(text)) {
|
|
40
|
+
hits.push(`${relative(emitterRoot, file)} -> ${label}`);
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
expect(hits).to.deep.equal([]);
|
|
45
|
+
});
|
|
46
|
+
it("keeps printer imports confined to the printer boundary", () => {
|
|
47
|
+
const printerImportFiles = [];
|
|
48
|
+
for (const file of productionFiles()) {
|
|
49
|
+
const text = readFileSync(file, "utf8");
|
|
50
|
+
if (/from\s+["'][^"']*backend-ast\/printer\.js["']/.test(text) ||
|
|
51
|
+
/from\s+["']\.\/printer\.js["']/.test(text)) {
|
|
52
|
+
printerImportFiles.push(relative(emitterRoot, file));
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
expect(printerImportFiles).to.deep.equal([
|
|
56
|
+
"core/format/backend-ast/index.ts",
|
|
57
|
+
"core/format/module-emitter/assembly.ts",
|
|
58
|
+
"emitter.ts",
|
|
59
|
+
]);
|
|
60
|
+
});
|
|
61
|
+
it("limits free-form text payloads to lexical leaf nodes and trivia only", () => {
|
|
62
|
+
const typesFile = readFileSync(join(emitterRoot, "core/format/backend-ast/types.ts"), "utf8");
|
|
63
|
+
const textFieldMatches = [
|
|
64
|
+
...typesFile.matchAll(/readonly text: string;/g),
|
|
65
|
+
].map((match) => match[0]);
|
|
66
|
+
expect(textFieldMatches).to.have.length(2);
|
|
67
|
+
expect(typesFile).to.include("export type CSharpInterpolatedStringPartText = {");
|
|
68
|
+
expect(typesFile).to.include("export type CSharpSingleLineCommentTriviaAst = {");
|
|
69
|
+
expect(typesFile).to.not.include("literalExpression");
|
|
70
|
+
});
|
|
71
|
+
});
|
|
72
|
+
//# sourceMappingURL=invariants.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"invariants.test.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/invariants.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;AAE/C,MAAM,WAAW,GAAG,CAAC,GAAW,EAAY,EAAE;IAC5C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,GAAa,EAAE,CACrC,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;AAExE,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,iBAAiB,GAAgC;YACrD,CAAC,oBAAoB,EAAE,yBAAyB,CAAC;YACjD,CAAC,cAAc,EAAE,mBAAmB,CAAC;YACrC,CAAC,gBAAgB,EAAE,qBAAqB,CAAC;YACzC,CAAC,+BAA+B,EAAE,6BAA6B,CAAC;YAChE,CAAC,0BAA0B,EAAE,yBAAyB,CAAC;YACvD,CAAC,+BAA+B,EAAE,8BAA8B,CAAC;YACjE,CAAC,mCAAmC,EAAE,kCAAkC,CAAC;YACzE,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;SACjD,CAAC;QAEF,MAAM,IAAI,GAAa,EAAE,CAAC;QAE1B,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,iBAAiB,EAAE,CAAC;gBACjD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,kBAAkB,GAAa,EAAE,CAAC;QAExC,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,IACE,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1D,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAC3C,CAAC;gBACD,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QAED,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACvC,kCAAkC;YAClC,wCAAwC;YACxC,YAAY;SACb,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,SAAS,GAAG,YAAY,CAC5B,IAAI,CAAC,WAAW,EAAE,kCAAkC,CAAC,EACrD,MAAM,CACP,CAAC;QAEF,MAAM,gBAAgB,GAAG;YACvB,GAAG,SAAS,CAAC,QAAQ,CAAC,yBAAyB,CAAC;SACjD,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3B,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAC1B,kDAAkD,CACnD,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAC1B,kDAAkD,CACnD,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -9,7 +9,7 @@
|
|
|
9
9
|
*/
|
|
10
10
|
import type { CSharpTypeAst, CSharpExpressionAst, CSharpStatementAst, CSharpPatternAst, CSharpParameterAst, CSharpMemberAst, CSharpTypeDeclarationAst, CSharpAttributeAst, CSharpCompilationUnitAst } from "./types.js";
|
|
11
11
|
export declare const printType: (type: CSharpTypeAst) => string;
|
|
12
|
-
export declare const printExpression: (expr: CSharpExpressionAst) => string;
|
|
12
|
+
export declare const printExpression: (expr: CSharpExpressionAst, indent?: string) => string;
|
|
13
13
|
export declare const printPattern: (pattern: CSharpPatternAst) => string;
|
|
14
14
|
export declare const printStatement: (stmt: CSharpStatementAst, indent: string) => string;
|
|
15
15
|
export declare const printParameter: (param: CSharpParameterAst) => string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"printer.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EACnB,kBAAkB,EAElB,gBAAgB,EAChB,kBAAkB,EAMlB,eAAe,EACf,wBAAwB,EAIxB,kBAAkB,EAElB,wBAAwB,
|
|
1
|
+
{"version":3,"file":"printer.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EACnB,kBAAkB,EAElB,gBAAgB,EAChB,kBAAkB,EAMlB,eAAe,EACf,wBAAwB,EAIxB,kBAAkB,EAElB,wBAAwB,EAKzB,MAAM,YAAY,CAAC;AA6kBpB,eAAO,MAAM,SAAS,GAAI,MAAM,aAAa,KAAG,MA8D/C,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,MAAM,mBAAmB,EACzB,eAAW,KACV,MA6MF,CAAC;AA4JF,eAAO,MAAM,YAAY,GAAI,SAAS,gBAAgB,KAAG,MA2BxD,CAAC;AAMF,eAAO,MAAM,cAAc,GACzB,MAAM,kBAAkB,EACxB,QAAQ,MAAM,KACb,MAgGF,CAAC;AAuJF,eAAO,MAAM,cAAc,GAAI,OAAO,kBAAkB,KAAG,MAwB1D,CAAC;AAMF,eAAO,MAAM,WAAW,GACtB,QAAQ,eAAe,EACvB,QAAQ,MAAM,KACb,MAmGF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,MAAM,wBAAwB,EAC9B,QAAQ,MAAM,KACb,MAkDF,CAAC;AAsDF,eAAO,MAAM,eAAe,GAC1B,OAAO,SAAS,kBAAkB,EAAE,EACpC,QAAQ,MAAM,KACb,MAYF,CAAC;AAMF,eAAO,MAAM,oBAAoB,GAC/B,MAAM,wBAAwB,KAC7B,MA4BF,CAAC;AAgBF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,kBAAkB,EACxB,QAAQ,MAAM,KACb,MAuIF,CAAC"}
|