@aster-cloud/aster-lang-ts 0.0.29 → 0.0.31
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/scripts/aster.js +0 -0
- package/dist/scripts/emit-core.js +0 -0
- package/dist/src/cli/policy-converter.js +0 -0
- package/dist/src/config/lexicons/en-US.d.ts.map +1 -1
- package/dist/src/config/lexicons/en-US.js +2 -0
- package/dist/src/config/lexicons/en-US.js.map +1 -1
- package/dist/src/config/lexicons/types.d.ts +4 -0
- package/dist/src/config/lexicons/types.d.ts.map +1 -1
- package/dist/src/config/lexicons/types.js.map +1 -1
- package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
- package/dist/src/frontend/canonicalizer.js +12 -1
- package/dist/src/frontend/canonicalizer.js.map +1 -1
- package/dist/src/frontend/keyword-translator.d.ts.map +1 -1
- package/dist/src/frontend/keyword-translator.js +50 -14
- package/dist/src/frontend/keyword-translator.js.map +1 -1
- package/dist/src/frontend/transformers.d.ts +28 -0
- package/dist/src/frontend/transformers.d.ts.map +1 -0
- package/dist/src/frontend/transformers.js +86 -0
- package/dist/src/frontend/transformers.js.map +1 -0
- package/dist/src/lsp/server.js +0 -0
- package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
- package/dist/src/parser/expr-stmt-parser.js +23 -20
- package/dist/src/parser/expr-stmt-parser.js.map +1 -1
- package/dist/src/parser/field-variant-parser.d.ts.map +1 -1
- package/dist/src/parser/field-variant-parser.js +3 -4
- package/dist/src/parser/field-variant-parser.js.map +1 -1
- package/dist/test/integration/lsp/lsp-diagnostics.test.js +3 -3
- package/dist/test/integration/lsp/lsp-diagnostics.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-navigation.test.js +6 -6
- package/dist/test/integration/pipeline/pipeline.test.js +13 -13
- package/dist/test/unit/async/async-discipline.test.js +72 -72
- package/dist/test/unit/async/async-schedule.test.js +12 -12
- package/dist/test/unit/keyword-translator.test.js +2 -2
- package/dist/test/unit/keyword-translator.test.js.map +1 -1
- package/dist/test/unit/lowering/lowering.test.js +6 -6
- package/dist/test/unit/parser/parser.test.js +81 -63
- package/dist/test/unit/parser/parser.test.js.map +1 -1
- package/dist/test/unit/provenance-integration.test.js +6 -6
- package/dist/test/unit/typecheck/async-discipline-extended.test.js +4 -4
- package/dist/test/unit/typecheck/type-inference.test.js +11 -11
- package/dist/test/unit/typecheck/typecheck-advanced.test.js +6 -6
- package/dist/test/unit/validator.test.js +4 -4
- package/package.json +43 -45
|
@@ -40,13 +40,13 @@ describe('异步纪律检查', () => {
|
|
|
40
40
|
const source = `
|
|
41
41
|
Module test.async.start_not_waited.
|
|
42
42
|
|
|
43
|
-
Define User has id
|
|
43
|
+
Define User has id as Text.
|
|
44
44
|
|
|
45
|
-
Rule fetchData given u
|
|
45
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
46
46
|
Start profile as async fetchProfile(u.id).
|
|
47
47
|
Return "Done".
|
|
48
48
|
|
|
49
|
-
Rule fetchProfile given id
|
|
49
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
50
50
|
Return "Profile".
|
|
51
51
|
`;
|
|
52
52
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -59,21 +59,21 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
59
59
|
const source = `
|
|
60
60
|
Module test.async.multiple_not_waited.
|
|
61
61
|
|
|
62
|
-
Define User has id
|
|
62
|
+
Define User has id as Text.
|
|
63
63
|
|
|
64
|
-
Rule fetchData given u
|
|
64
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
65
65
|
Start profile as async fetchProfile(u.id).
|
|
66
66
|
Start timeline as async fetchTimeline(u.id).
|
|
67
67
|
Start settings as async fetchSettings(u.id).
|
|
68
68
|
Return "Done".
|
|
69
69
|
|
|
70
|
-
Rule fetchProfile given id
|
|
70
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
71
71
|
Return "Profile".
|
|
72
72
|
|
|
73
|
-
Rule fetchTimeline given id
|
|
73
|
+
Rule fetchTimeline given id as Text, produce Text. It performs io:
|
|
74
74
|
Return "Timeline".
|
|
75
75
|
|
|
76
|
-
Rule fetchSettings given id
|
|
76
|
+
Rule fetchSettings given id as Text, produce Text. It performs io:
|
|
77
77
|
Return "Settings".
|
|
78
78
|
`;
|
|
79
79
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -90,9 +90,9 @@ Rule fetchSettings given id: Text, produce Text. It performs io:
|
|
|
90
90
|
const source = `
|
|
91
91
|
Module test.async.wait_not_started.
|
|
92
92
|
|
|
93
|
-
Define User has id
|
|
93
|
+
Define User has id as Text.
|
|
94
94
|
|
|
95
|
-
Rule fetchData given u
|
|
95
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
96
96
|
Wait for profile.
|
|
97
97
|
Return "Done".
|
|
98
98
|
`;
|
|
@@ -106,9 +106,9 @@ Rule fetchData given u: User, produce Text. It performs io:
|
|
|
106
106
|
const source = `
|
|
107
107
|
Module test.async.multiple_wait_not_started.
|
|
108
108
|
|
|
109
|
-
Define User has id
|
|
109
|
+
Define User has id as Text.
|
|
110
110
|
|
|
111
|
-
Rule fetchData given u
|
|
111
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
112
112
|
Wait for profile and timeline and settings.
|
|
113
113
|
Return "Done".
|
|
114
114
|
`;
|
|
@@ -126,15 +126,15 @@ Rule fetchData given u: User, produce Text. It performs io:
|
|
|
126
126
|
const source = `
|
|
127
127
|
Module test.async.duplicate_start.
|
|
128
128
|
|
|
129
|
-
Define User has id
|
|
129
|
+
Define User has id as Text.
|
|
130
130
|
|
|
131
|
-
Rule fetchData given u
|
|
131
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
132
132
|
Start profile as async fetchProfile(u.id).
|
|
133
133
|
Start profile as async fetchProfile(u.id).
|
|
134
134
|
Wait for profile.
|
|
135
135
|
Return "Done".
|
|
136
136
|
|
|
137
|
-
Rule fetchProfile given id
|
|
137
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
138
138
|
Return "Profile".
|
|
139
139
|
`;
|
|
140
140
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -148,16 +148,16 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
148
148
|
const source = `
|
|
149
149
|
Module test.async.triple_start.
|
|
150
150
|
|
|
151
|
-
Define User has id
|
|
151
|
+
Define User has id as Text.
|
|
152
152
|
|
|
153
|
-
Rule fetchData given u
|
|
153
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
154
154
|
Start profile as async fetchProfile(u.id).
|
|
155
155
|
Start profile as async fetchProfile(u.id).
|
|
156
156
|
Start profile as async fetchProfile(u.id).
|
|
157
157
|
Wait for profile.
|
|
158
158
|
Return "Done".
|
|
159
159
|
|
|
160
|
-
Rule fetchProfile given id
|
|
160
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
161
161
|
Return "Profile".
|
|
162
162
|
`;
|
|
163
163
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -172,15 +172,15 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
172
172
|
const source = `
|
|
173
173
|
Module test.async.duplicate_wait.
|
|
174
174
|
|
|
175
|
-
Define User has id
|
|
175
|
+
Define User has id as Text.
|
|
176
176
|
|
|
177
|
-
Rule fetchData given u
|
|
177
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
178
178
|
Start profile as async fetchProfile(u.id).
|
|
179
179
|
Wait for profile.
|
|
180
180
|
Wait for profile.
|
|
181
181
|
Return "Done".
|
|
182
182
|
|
|
183
|
-
Rule fetchProfile given id
|
|
183
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
184
184
|
Return "Profile".
|
|
185
185
|
`;
|
|
186
186
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -194,16 +194,16 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
194
194
|
const source = `
|
|
195
195
|
Module test.async.triple_wait.
|
|
196
196
|
|
|
197
|
-
Define User has id
|
|
197
|
+
Define User has id as Text.
|
|
198
198
|
|
|
199
|
-
Rule fetchData given u
|
|
199
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
200
200
|
Start profile as async fetchProfile(u.id).
|
|
201
201
|
Wait for profile.
|
|
202
202
|
Wait for profile.
|
|
203
203
|
Wait for profile.
|
|
204
204
|
Return "Done".
|
|
205
205
|
|
|
206
|
-
Rule fetchProfile given id
|
|
206
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
207
207
|
Return "Profile".
|
|
208
208
|
`;
|
|
209
209
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -218,14 +218,14 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
218
218
|
const source = `
|
|
219
219
|
Module test.async.normal_single.
|
|
220
220
|
|
|
221
|
-
Define User has id
|
|
221
|
+
Define User has id as Text.
|
|
222
222
|
|
|
223
|
-
Rule fetchData given u
|
|
223
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
224
224
|
Start profile as async fetchProfile(u.id).
|
|
225
225
|
Wait for profile.
|
|
226
226
|
Return "Done".
|
|
227
227
|
|
|
228
|
-
Rule fetchProfile given id
|
|
228
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
229
229
|
Return "Profile".
|
|
230
230
|
`;
|
|
231
231
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -236,22 +236,22 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
236
236
|
const source = `
|
|
237
237
|
Module test.async.normal_multiple.
|
|
238
238
|
|
|
239
|
-
Define User has id
|
|
239
|
+
Define User has id as Text.
|
|
240
240
|
|
|
241
|
-
Rule fetchData given u
|
|
241
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
242
242
|
Start profile as async fetchProfile(u.id).
|
|
243
243
|
Start timeline as async fetchTimeline(u.id).
|
|
244
244
|
Start settings as async fetchSettings(u.id).
|
|
245
245
|
Wait for profile and timeline and settings.
|
|
246
246
|
Return "Done".
|
|
247
247
|
|
|
248
|
-
Rule fetchProfile given id
|
|
248
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
249
249
|
Return "Profile".
|
|
250
250
|
|
|
251
|
-
Rule fetchTimeline given id
|
|
251
|
+
Rule fetchTimeline given id as Text, produce Text. It performs io:
|
|
252
252
|
Return "Timeline".
|
|
253
253
|
|
|
254
|
-
Rule fetchSettings given id
|
|
254
|
+
Rule fetchSettings given id as Text, produce Text. It performs io:
|
|
255
255
|
Return "Settings".
|
|
256
256
|
`;
|
|
257
257
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -262,9 +262,9 @@ Rule fetchSettings given id: Text, produce Text. It performs io:
|
|
|
262
262
|
const source = `
|
|
263
263
|
Module test.async.normal_batched.
|
|
264
264
|
|
|
265
|
-
Define User has id
|
|
265
|
+
Define User has id as Text.
|
|
266
266
|
|
|
267
|
-
Rule fetchData given u
|
|
267
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
268
268
|
Start profile as async fetchProfile(u.id).
|
|
269
269
|
Start timeline as async fetchTimeline(u.id).
|
|
270
270
|
Wait for profile.
|
|
@@ -272,13 +272,13 @@ Rule fetchData given u: User, produce Text. It performs io:
|
|
|
272
272
|
Wait for timeline and settings.
|
|
273
273
|
Return "Done".
|
|
274
274
|
|
|
275
|
-
Rule fetchProfile given id
|
|
275
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
276
276
|
Return "Profile".
|
|
277
277
|
|
|
278
|
-
Rule fetchTimeline given id
|
|
278
|
+
Rule fetchTimeline given id as Text, produce Text. It performs io:
|
|
279
279
|
Return "Timeline".
|
|
280
280
|
|
|
281
|
-
Rule fetchSettings given id
|
|
281
|
+
Rule fetchSettings given id as Text, produce Text. It performs io:
|
|
282
282
|
Return "Settings".
|
|
283
283
|
`;
|
|
284
284
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -291,9 +291,9 @@ Rule fetchSettings given id: Text, produce Text. It performs io:
|
|
|
291
291
|
const source = `
|
|
292
292
|
Module test.async.mixed_errors.
|
|
293
293
|
|
|
294
|
-
Define User has id
|
|
294
|
+
Define User has id as Text.
|
|
295
295
|
|
|
296
|
-
Rule fetchData given u
|
|
296
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
297
297
|
Start profile as async fetchProfile(u.id).
|
|
298
298
|
Start profile as async fetchProfile(u.id).
|
|
299
299
|
Start timeline as async fetchTimeline(u.id).
|
|
@@ -302,10 +302,10 @@ Rule fetchData given u: User, produce Text. It performs io:
|
|
|
302
302
|
Wait for settings.
|
|
303
303
|
Return "Done".
|
|
304
304
|
|
|
305
|
-
Rule fetchProfile given id
|
|
305
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
306
306
|
Return "Profile".
|
|
307
307
|
|
|
308
|
-
Rule fetchTimeline given id
|
|
308
|
+
Rule fetchTimeline given id as Text, produce Text. It performs io:
|
|
309
309
|
Return "Timeline".
|
|
310
310
|
`;
|
|
311
311
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -332,14 +332,14 @@ Rule fetchTimeline given id: Text, produce Text. It performs io:
|
|
|
332
332
|
const source = `
|
|
333
333
|
Module test.async.wait_before_start.simple.
|
|
334
334
|
|
|
335
|
-
Define User has id
|
|
335
|
+
Define User has id as Text.
|
|
336
336
|
|
|
337
|
-
Rule fetchData given u
|
|
337
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
338
338
|
Wait for profile.
|
|
339
339
|
Start profile as async fetchProfile(u.id).
|
|
340
340
|
Return "Done".
|
|
341
341
|
|
|
342
|
-
Rule fetchProfile given id
|
|
342
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
343
343
|
Return "Profile".
|
|
344
344
|
`;
|
|
345
345
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -351,15 +351,15 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
351
351
|
const source = `
|
|
352
352
|
Module test.async.wait_before_start.branch.
|
|
353
353
|
|
|
354
|
-
Define User has id
|
|
354
|
+
Define User has id as Text.
|
|
355
355
|
|
|
356
|
-
Rule fetchData given u
|
|
356
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
357
357
|
Wait for profile.
|
|
358
|
-
If u.id equals to "vip"
|
|
358
|
+
If u.id equals to "vip"
|
|
359
359
|
Start profile as async fetchProfile(u.id).
|
|
360
360
|
Return "Done".
|
|
361
361
|
|
|
362
|
-
Rule fetchProfile given id
|
|
362
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
363
363
|
Return "Profile".
|
|
364
364
|
`;
|
|
365
365
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -373,17 +373,17 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
373
373
|
const source = `
|
|
374
374
|
Module test.async.branch_duplicate.if.
|
|
375
375
|
|
|
376
|
-
Define User has id
|
|
376
|
+
Define User has id as Text.
|
|
377
377
|
|
|
378
|
-
Rule fetchData given u
|
|
379
|
-
If u.id equals to "vip"
|
|
378
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
379
|
+
If u.id equals to "vip"
|
|
380
380
|
Start profile as async fetchProfile(u.id).
|
|
381
|
-
Otherwise
|
|
381
|
+
Otherwise
|
|
382
382
|
Start profile as async fetchProfile(u.id).
|
|
383
383
|
Wait for profile.
|
|
384
384
|
Return "Done".
|
|
385
385
|
|
|
386
|
-
Rule fetchProfile given id
|
|
386
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
387
387
|
Return "Profile".
|
|
388
388
|
`;
|
|
389
389
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -396,17 +396,17 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
396
396
|
const source = `
|
|
397
397
|
Module test.async.branch_duplicate.multi_paths.
|
|
398
398
|
|
|
399
|
-
Define User has id
|
|
399
|
+
Define User has id as Text, tier as Text.
|
|
400
400
|
|
|
401
|
-
Rule fetchData given u
|
|
402
|
-
If u.tier equals to "vip"
|
|
401
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
402
|
+
If u.tier equals to "vip"
|
|
403
403
|
Start profile as async fetchProfile(u.id).
|
|
404
|
-
If u.tier equals to "premium"
|
|
404
|
+
If u.tier equals to "premium"
|
|
405
405
|
Start profile as async fetchProfile(u.id).
|
|
406
406
|
Wait for profile.
|
|
407
407
|
Return "Done".
|
|
408
408
|
|
|
409
|
-
Rule fetchProfile given id
|
|
409
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
410
410
|
Return "Profile".
|
|
411
411
|
`;
|
|
412
412
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -421,17 +421,17 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
421
421
|
const source = `
|
|
422
422
|
Module test.async.nested_missing_wait.branch.
|
|
423
423
|
|
|
424
|
-
Define User has id
|
|
424
|
+
Define User has id as Text.
|
|
425
425
|
|
|
426
|
-
Rule fetchData given u
|
|
427
|
-
If u.id equals to "vip"
|
|
426
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
427
|
+
If u.id equals to "vip"
|
|
428
428
|
Start audit as async fetchAudit(u.id).
|
|
429
|
-
If u.id equals to "vip"
|
|
429
|
+
If u.id equals to "vip"
|
|
430
430
|
Start deeper as async fetchAudit(u.id).
|
|
431
431
|
Wait for audit.
|
|
432
432
|
Return "Done".
|
|
433
433
|
|
|
434
|
-
Rule fetchAudit given id
|
|
434
|
+
Rule fetchAudit given id as Text, produce Text. It performs io:
|
|
435
435
|
Return "Audit".
|
|
436
436
|
`;
|
|
437
437
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -443,16 +443,16 @@ Rule fetchAudit given id: Text, produce Text. It performs io:
|
|
|
443
443
|
const source = `
|
|
444
444
|
Module test.async.nested_duplicate_start.
|
|
445
445
|
|
|
446
|
-
Define User has id
|
|
446
|
+
Define User has id as Text.
|
|
447
447
|
|
|
448
|
-
Rule fetchData given u
|
|
448
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
449
449
|
Start profile as async fetchProfile(u.id).
|
|
450
|
-
If u.id equals to "vip"
|
|
450
|
+
If u.id equals to "vip"
|
|
451
451
|
Start profile as async fetchProfile(u.id).
|
|
452
452
|
Wait for profile.
|
|
453
453
|
Return "Done".
|
|
454
454
|
|
|
455
|
-
Rule fetchProfile given id
|
|
455
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
456
456
|
Return "Profile".
|
|
457
457
|
`;
|
|
458
458
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -467,17 +467,17 @@ Rule fetchProfile given id: Text, produce Text. It performs io:
|
|
|
467
467
|
const source = `
|
|
468
468
|
Module test.async.combo.branch_wait_first.
|
|
469
469
|
|
|
470
|
-
Define User has id
|
|
470
|
+
Define User has id as Text.
|
|
471
471
|
|
|
472
|
-
Rule fetchData given u
|
|
472
|
+
Rule fetchData given u as User, produce Text. It performs io:
|
|
473
473
|
Wait for profile.
|
|
474
|
-
If u.id equals to "vip"
|
|
474
|
+
If u.id equals to "vip"
|
|
475
475
|
Start profile as async fetchProfile(u.id).
|
|
476
|
-
Otherwise
|
|
476
|
+
Otherwise
|
|
477
477
|
Start profile as async fetchProfile(u.id).
|
|
478
478
|
Return "Done".
|
|
479
479
|
|
|
480
|
-
Rule fetchProfile given id
|
|
480
|
+
Rule fetchProfile given id as Text, produce Text. It performs io:
|
|
481
481
|
Return "Profile".
|
|
482
482
|
`;
|
|
483
483
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -27,15 +27,15 @@ describe('异步调度 - Wait-before-Start', () => {
|
|
|
27
27
|
const source = `
|
|
28
28
|
Module test.async.schedule.wait_before_start.simple.
|
|
29
29
|
|
|
30
|
-
Define User has id
|
|
30
|
+
Define User has id as Text.
|
|
31
31
|
|
|
32
|
-
Rule orchestrate given u
|
|
32
|
+
Rule orchestrate given u as User, produce Text. It performs io:
|
|
33
33
|
Wait for job.
|
|
34
34
|
Start job as async launch(u.id).
|
|
35
35
|
Wait for job.
|
|
36
36
|
Return "Done".
|
|
37
37
|
|
|
38
|
-
Rule launch given id
|
|
38
|
+
Rule launch given id as Text, produce Text. It performs io:
|
|
39
39
|
Return "job".
|
|
40
40
|
`;
|
|
41
41
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -47,14 +47,14 @@ Rule launch given id: Text, produce Text. It performs io:
|
|
|
47
47
|
const source = `
|
|
48
48
|
Module test.async.schedule.wait_after_start.
|
|
49
49
|
|
|
50
|
-
Define User has id
|
|
50
|
+
Define User has id as Text.
|
|
51
51
|
|
|
52
|
-
Rule orchestrate given u
|
|
52
|
+
Rule orchestrate given u as User, produce Text. It performs io:
|
|
53
53
|
Start task as async launch(u.id).
|
|
54
54
|
Wait for task.
|
|
55
55
|
Return "Done".
|
|
56
56
|
|
|
57
|
-
Rule launch given id
|
|
57
|
+
Rule launch given id as Text, produce Text. It performs io:
|
|
58
58
|
Return "ok".
|
|
59
59
|
`;
|
|
60
60
|
const diagnostics = compileAndGetDiagnostics(source);
|
|
@@ -65,8 +65,8 @@ Rule launch given id: Text, produce Text. It performs io:
|
|
|
65
65
|
const source = `
|
|
66
66
|
Module test.async.schedule.wait_in_branch.
|
|
67
67
|
|
|
68
|
-
Rule orchestrate given enabled
|
|
69
|
-
If enabled
|
|
68
|
+
Rule orchestrate given enabled as Bool, produce Text. It performs io:
|
|
69
|
+
If enabled
|
|
70
70
|
Wait for task.
|
|
71
71
|
Start task as async launch().
|
|
72
72
|
Wait for task.
|
|
@@ -86,10 +86,10 @@ describe('异步调度 - 条件分支', () => {
|
|
|
86
86
|
const source = `
|
|
87
87
|
Module test.async.schedule.if_branch.
|
|
88
88
|
|
|
89
|
-
Rule orchestrate given tier
|
|
90
|
-
If tier equals to "vip"
|
|
89
|
+
Rule orchestrate given tier as Text, produce Text. It performs io:
|
|
90
|
+
If tier equals to "vip"
|
|
91
91
|
Start session as async startVip().
|
|
92
|
-
Otherwise
|
|
92
|
+
Otherwise
|
|
93
93
|
Start session as async startStandard().
|
|
94
94
|
Wait for session.
|
|
95
95
|
Return "Done".
|
|
@@ -110,7 +110,7 @@ Module test.async.schedule.match_branch.
|
|
|
110
110
|
|
|
111
111
|
Define Choice as one of Primary, Secondary.
|
|
112
112
|
|
|
113
|
-
Rule orchestrate given choice
|
|
113
|
+
Rule orchestrate given choice as Choice, produce Text. It performs io:
|
|
114
114
|
Match choice:
|
|
115
115
|
When Primary:
|
|
116
116
|
Start session as async startPrimary().
|
|
@@ -197,7 +197,7 @@ describe('关键词翻译器', () => {
|
|
|
197
197
|
});
|
|
198
198
|
it('应能解析翻译后的中文 CNL 类型定义', () => {
|
|
199
199
|
// 中文类型定义
|
|
200
|
-
const zhSource = '定义 Driver 包含 age
|
|
200
|
+
const zhSource = '定义 Driver 包含 age 作为 整数。';
|
|
201
201
|
// 完整编译流程
|
|
202
202
|
const canonical = canonicalize(zhSource, ZH_CN);
|
|
203
203
|
const tokens = lex(canonical, ZH_CN);
|
|
@@ -221,7 +221,7 @@ describe('关键词翻译器', () => {
|
|
|
221
221
|
it('应能解析翻译后的中文 CNL If 语句', () => {
|
|
222
222
|
// 中文 If 语句 - 使用 规则 标记关键词
|
|
223
223
|
const zhSource = `规则 check 包含 x,产出:
|
|
224
|
-
如果 1 小于 2
|
|
224
|
+
如果 1 小于 2
|
|
225
225
|
返回 1。
|
|
226
226
|
返回 0。`;
|
|
227
227
|
// 完整编译流程
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"keyword-translator.test.js","sourceRoot":"","sources":["../../../test/unit/keyword-translator.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAc,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,aAAa,CAAC;AAEjC,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,cAAc,EACd,eAAe,EACf,uBAAuB,GACxB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAGzD,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEzD,uBAAuB;YACvB,wCAAwC;YACxC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5C,kDAAkD;YAClD,wCAAwC;YACxC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAE1C,oBAAoB;YACpB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,YAAY;YACZ,6CAA6C;YAC7C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;YAE/C,UAAU;YACV,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,UAAU;YACV,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEzD,8BAA8B;YAC9B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEvE,mBAAmB;YACnB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,6BAA6B;YAC7B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,2BAA2B;YAC3B,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU;gBACnB,IAAI,EAAE,SAAS,CAAC,KAAK;gBACrB,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;aACzB,CAAC;YAEF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU;gBACnB,IAAI,EAAE,SAAS,CAAC,KAAK;gBACrB,KAAK,EAAE,KAAK,EAAE,aAAa;gBAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;aACzB,CAAC;YAEF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU;gBACnB,IAAI,EAAE,SAAS,CAAC,GAAG;gBACnB,KAAK,EAAE,EAAE;gBACT,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;aACzB,CAAC;YAEF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,MAAM,GAAY;gBACtB,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC5F,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC3F,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC3F,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;aAC7F,CAAC;YAEF,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAY;gBACxB,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;aAC7F,CAAC;YAEF,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAElD,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,YAAY,GAAG,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;YACjE,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;YAClE,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;YACjE,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAElD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YAC5D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,eAAe;QAC7E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAElD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,oBAAoB;YACpB,MAAM,QAAQ,GAAG,iCAAiC,CAAC;YAEnD,YAAY;YACZ,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAEhD,aAAa;YACb,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAErC,cAAc;YACd,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5D,uCAAuC;YACvC,MAAM,SAAS,GAAG,gBAAgB,CAAC;YACnC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACnF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACnF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,SAAS,CAAC,CAAC;YACzF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC;YAEvF,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACxC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACxC,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;YAC9C,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;YAE5C,yBAAyB;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAEpC,YAAY;YACZ,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,SAAS;YACT,MAAM,QAAQ,GAAG,sBAAsB,CAAC;YAExC,SAAS;YACT,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5D,sCAAsC;YACtC,MAAM,SAAS,GAAG,gBAAgB,CAAC;YACnC,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC;YACvF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;YAEjF,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;YAC5C,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACxC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;YAErC,KAAK;YACL,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAE1B,SAAS;YACT,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,yBAAyB;YACzB,MAAM,QAAQ,GAAG;;;QAGf,CAAC;YAEH,SAAS;YACT,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5D,+CAA+C;YAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,IAAI,CAAC,CAAC;YACjF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC;YAEzF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;YAE5C,KAAK;YACL,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,QAAQ;YACR,MAAM,QAAQ,GAAG,oCAAoC,CAAC;YAEtD,4BAA4B;YAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAErC,UAAU;YACV,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YAE1D,OAAO;YACP,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"keyword-translator.test.js","sourceRoot":"","sources":["../../../test/unit/keyword-translator.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAc,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,aAAa,CAAC;AAEjC,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,cAAc,EACd,eAAe,EACf,uBAAuB,GACxB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,GAAG,EAAE,MAAM,6BAA6B,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAGzD,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEzD,uBAAuB;YACvB,wCAAwC;YACxC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5C,kDAAkD;YAClD,wCAAwC;YACxC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAE1C,oBAAoB;YACpB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,YAAY;YACZ,6CAA6C;YAC7C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;YAE/C,UAAU;YACV,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,UAAU;YACV,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEzD,8BAA8B;YAC9B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEvE,mBAAmB;YACnB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,6BAA6B;YAC7B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAE5C,2BAA2B;YAC3B,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU;gBACnB,IAAI,EAAE,SAAS,CAAC,KAAK;gBACrB,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;aACzB,CAAC;YAEF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU;gBACnB,IAAI,EAAE,SAAS,CAAC,KAAK;gBACrB,KAAK,EAAE,KAAK,EAAE,aAAa;gBAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;aACzB,CAAC;YAEF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,KAAK,GAAU;gBACnB,IAAI,EAAE,SAAS,CAAC,GAAG;gBACnB,KAAK,EAAE,EAAE;gBACT,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;aACzB,CAAC;YAEF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,MAAM,GAAY;gBACtB,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC5F,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC3F,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC3F,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;aAC7F,CAAC;YAEF,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;YACjB,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAY;gBACxB,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;aAC7F,CAAC;YAEF,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAElD,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,YAAY,GAAG,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;YACjE,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;YAClE,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;YACjE,MAAM,CAAC,WAAW,CAAC,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAElD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YAC5D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,eAAe;QAC7E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAElD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,oBAAoB;YACpB,MAAM,QAAQ,GAAG,iCAAiC,CAAC;YAEnD,YAAY;YACZ,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAEhD,aAAa;YACb,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAErC,cAAc;YACd,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5D,uCAAuC;YACvC,MAAM,SAAS,GAAG,gBAAgB,CAAC;YACnC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACnF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACnF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,SAAS,CAAC,CAAC;YACzF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC;YAEvF,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACxC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACxC,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;YAC9C,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;YAE5C,yBAAyB;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAEpC,YAAY;YACZ,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,SAAS;YACT,MAAM,QAAQ,GAAG,yBAAyB,CAAC;YAE3C,SAAS;YACT,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5D,sCAAsC;YACtC,MAAM,SAAS,GAAG,gBAAgB,CAAC;YACnC,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC;YACvF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;YAEjF,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;YAC5C,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACxC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;YAErC,KAAK;YACL,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAE1B,SAAS;YACT,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,yBAAyB;YACzB,MAAM,QAAQ,GAAG;;;QAGf,CAAC;YAEH,SAAS;YACT,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5D,+CAA+C;YAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,IAAI,CAAC,CAAC;YACjF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,EAAE,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC;YAEzF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;YAE5C,KAAK;YACL,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,QAAQ;YACR,MAAM,QAAQ,GAAG,oCAAoC,CAAC;YAEtD,4BAA4B;YAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAErC,UAAU;YACV,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YAE1D,OAAO;YACP,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAC1B,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -33,7 +33,7 @@ describe('降级至 Core IR', () => {
|
|
|
33
33
|
const core = lower(`
|
|
34
34
|
Module test.lowering.basic.
|
|
35
35
|
|
|
36
|
-
Define User has id
|
|
36
|
+
Define User has id as Text.
|
|
37
37
|
|
|
38
38
|
Rule ping, produce Text:
|
|
39
39
|
Return "pong".
|
|
@@ -46,7 +46,7 @@ Rule ping, produce Text:
|
|
|
46
46
|
const core = lower(`
|
|
47
47
|
Module test.lowering.func_types.
|
|
48
48
|
|
|
49
|
-
Rule repeat given text
|
|
49
|
+
Rule repeat given text as Text and times as Int, produce Text:
|
|
50
50
|
Return text.
|
|
51
51
|
`);
|
|
52
52
|
const func = core.decls.find(d => d.kind === 'Func');
|
|
@@ -60,7 +60,7 @@ Rule repeat given text: Text and times: Int, produce Text:
|
|
|
60
60
|
const core = lower(`
|
|
61
61
|
Module test.lowering.return_stmt.
|
|
62
62
|
|
|
63
|
-
Rule identity given value
|
|
63
|
+
Rule identity given value as Int, produce Int:
|
|
64
64
|
Return value.
|
|
65
65
|
`);
|
|
66
66
|
const func = core.decls.find(d => d.kind === 'Func');
|
|
@@ -74,7 +74,7 @@ Module test.lowering.match_stmt.
|
|
|
74
74
|
|
|
75
75
|
Define Result as one of Ok, Err.
|
|
76
76
|
|
|
77
|
-
Rule handle given result
|
|
77
|
+
Rule handle given result as Result, produce Int:
|
|
78
78
|
Match result:
|
|
79
79
|
When Ok, Return 1.
|
|
80
80
|
When Err, Return 0.
|
|
@@ -90,7 +90,7 @@ Rule handle given result: Result, produce Int:
|
|
|
90
90
|
const core = lower(`
|
|
91
91
|
Module test.lowering.maybe_type.
|
|
92
92
|
|
|
93
|
-
Rule safeHead given items
|
|
93
|
+
Rule safeHead given items as List of Int, produce Int?:
|
|
94
94
|
Return None.
|
|
95
95
|
`);
|
|
96
96
|
const func = core.decls.find(d => d.kind === 'Func');
|
|
@@ -104,7 +104,7 @@ Rule safeHead given items: List of Int, produce Int?:
|
|
|
104
104
|
Module test.lowering.lambda_arrows.
|
|
105
105
|
|
|
106
106
|
Rule makeIdentity, produce Fn1:
|
|
107
|
-
Return (value
|
|
107
|
+
Return (value as Text) => value.
|
|
108
108
|
`);
|
|
109
109
|
const func = core.decls.find(d => d.kind === 'Func');
|
|
110
110
|
const lambda = func.body.statements[0].expr;
|