fhirpath-ts 0.2.0 → 0.2.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (83) hide show
  1. package/README.md +12 -5
  2. package/dist/analyzer/analyze-dto.d.ts.map +1 -1
  3. package/dist/analyzer/analyze-dto.js +14 -8
  4. package/dist/analyzer/analyze-dto.js.map +1 -1
  5. package/dist/analyzer/analyze.d.ts +23 -12
  6. package/dist/analyzer/analyze.d.ts.map +1 -1
  7. package/dist/analyzer/analyze.js +138 -46
  8. package/dist/analyzer/analyze.js.map +1 -1
  9. package/dist/analyzer/declarations.d.ts +6 -0
  10. package/dist/analyzer/declarations.d.ts.map +1 -1
  11. package/dist/analyzer/declarations.js +7 -0
  12. package/dist/analyzer/declarations.js.map +1 -1
  13. package/dist/analyzer/expression-policy.d.ts +88 -14
  14. package/dist/analyzer/expression-policy.d.ts.map +1 -1
  15. package/dist/analyzer/expression-policy.js +296 -41
  16. package/dist/analyzer/expression-policy.js.map +1 -1
  17. package/dist/analyzer/operator-rules.d.ts.map +1 -1
  18. package/dist/analyzer/operator-rules.js +7 -6
  19. package/dist/analyzer/operator-rules.js.map +1 -1
  20. package/dist/analyzer/signatures.d.ts +49 -0
  21. package/dist/analyzer/signatures.d.ts.map +1 -1
  22. package/dist/analyzer/signatures.js +76 -31
  23. package/dist/analyzer/signatures.js.map +1 -1
  24. package/dist/analyzer/source-options.d.ts +17 -0
  25. package/dist/analyzer/source-options.d.ts.map +1 -0
  26. package/dist/analyzer/source-options.js +3 -0
  27. package/dist/analyzer/source-options.js.map +1 -0
  28. package/dist/api/dto.d.ts +9 -4
  29. package/dist/api/dto.d.ts.map +1 -1
  30. package/dist/api/dto.js +14 -3
  31. package/dist/api/dto.js.map +1 -1
  32. package/dist/api/strict.d.ts.map +1 -1
  33. package/dist/api/strict.js +8 -3
  34. package/dist/api/strict.js.map +1 -1
  35. package/dist/cli/dto-check.d.ts +9 -0
  36. package/dist/cli/dto-check.d.ts.map +1 -1
  37. package/dist/cli/dto-check.js +49 -6
  38. package/dist/cli/dto-check.js.map +1 -1
  39. package/dist/cli/fhirpath-check.js +161 -31
  40. package/dist/cli/fhirpath-check.js.map +1 -1
  41. package/dist/eslint/index.d.ts.map +1 -1
  42. package/dist/eslint/index.js +13 -8
  43. package/dist/eslint/index.js.map +1 -1
  44. package/dist/r4/generated/resources-data.d.ts +6 -2
  45. package/dist/r4/generated/resources-data.d.ts.map +1 -1
  46. package/dist/r4/generated/resources-data.js +626 -28627
  47. package/dist/r4/generated/resources-data.js.map +1 -1
  48. package/dist/r4/generated/types-data.d.ts +6 -2
  49. package/dist/r4/generated/types-data.d.ts.map +1 -1
  50. package/dist/r4/generated/types-data.js +84 -2204
  51. package/dist/r4/generated/types-data.js.map +1 -1
  52. package/dist/r4/index.d.ts.map +1 -1
  53. package/dist/r4/index.js +10 -4
  54. package/dist/r4/index.js.map +1 -1
  55. package/dist/r4/model-data.d.ts +17 -0
  56. package/dist/r4/model-data.d.ts.map +1 -1
  57. package/dist/r4/model-data.js +118 -1
  58. package/dist/r4/model-data.js.map +1 -1
  59. package/dist/sites/index.d.ts +31 -2
  60. package/dist/sites/index.d.ts.map +1 -1
  61. package/dist/sites/index.js +351 -30
  62. package/dist/sites/index.js.map +1 -1
  63. package/dist/typed/infer.d.ts +2 -0
  64. package/dist/typed/infer.d.ts.map +1 -1
  65. package/package.json +1 -1
  66. package/src/analyzer/analyze-dto.ts +19 -9
  67. package/src/analyzer/analyze.ts +186 -54
  68. package/src/analyzer/declarations.ts +12 -0
  69. package/src/analyzer/expression-policy.ts +423 -47
  70. package/src/analyzer/operator-rules.ts +7 -6
  71. package/src/analyzer/signatures.ts +100 -36
  72. package/src/analyzer/source-options.ts +19 -0
  73. package/src/api/dto.ts +35 -9
  74. package/src/api/strict.ts +8 -3
  75. package/src/cli/dto-check.ts +56 -6
  76. package/src/cli/fhirpath-check.ts +180 -34
  77. package/src/eslint/index.ts +15 -12
  78. package/src/r4/generated/resources-data.ts +624 -28628
  79. package/src/r4/generated/types-data.ts +82 -2205
  80. package/src/r4/index.ts +11 -5
  81. package/src/r4/model-data.ts +127 -0
  82. package/src/sites/index.ts +428 -40
  83. package/src/typed/infer.ts +2 -2
@@ -4,6 +4,8 @@
4
4
  * provide AST access only. It must not import TypeScript or ESLint at runtime.
5
5
  */
6
6
  import { columnSignature, criteriaSignature, } from "../api/column-signature.js";
7
+ import { bareEnvironmentName } from "../engine/context.js";
8
+ import { PROJECT_ROW_VARIABLES } from "./declarations.js";
7
9
  /** Call names that take FHIRPath expressions, and where/how/on-what they take them. */
8
10
  export const CALL_SITES = new Map([
9
11
  // Expression-first: the low-level API and the evaluate family of FhirPathEngine.
@@ -12,15 +14,28 @@ export const CALL_SITES = new Map([
12
14
  // evaluated somewhere else entirely — checkable.
13
15
  ['fhirpath', { argIndex: 0, shape: 'expression', receiver: 'any', rootArg: 1 }],
14
16
  ['compile', { argIndex: 0, shape: 'expression', receiver: 'any', rootArg: 1 }],
15
- ['evaluate', { argIndex: 0, shape: 'expression', receiver: 'any' }],
16
- ['evaluateTyped', { argIndex: 0, shape: 'expression', receiver: 'any' }],
17
- ['first', { argIndex: 0, shape: 'expression', receiver: 'engine' }],
17
+ ['evaluate', { argIndex: 0, shape: 'expression', receiver: 'any', optionsArg: 2, optionsExpressions: 'vars' }],
18
+ ['evaluateTyped', { argIndex: 0, shape: 'expression', receiver: 'any', optionsArg: 2, optionsExpressions: 'vars' }],
19
+ ['first', { argIndex: 0, shape: 'expression', receiver: 'engine', optionsArg: 2, optionsExpressions: 'vars' }],
18
20
  ['analyzeExpression', { argIndex: 0, shape: 'expression', receiver: 'any' }],
19
21
  // Subject-first FhirPathEngine helpers: the expression(s) come second.
20
- ['test', { argIndex: 1, shape: 'expression', receiver: 'engine' }],
21
- ['filter', { argIndex: 1, shape: 'expression', receiver: 'engine' }],
22
- ['project', { argIndex: 1, shape: 'columns', receiver: 'engine' }],
23
- ['checkConstraints', { argIndex: 1, shape: 'constraints', receiver: 'any' }],
22
+ ['test', { argIndex: 1, shape: 'expression', receiver: 'engine', optionsArg: 2, optionsExpressions: 'vars' }],
23
+ ['filter', { argIndex: 1, shape: 'expression', receiver: 'engine', optionsArg: 2, optionsExpressions: 'vars' }],
24
+ [
25
+ 'project',
26
+ {
27
+ argIndex: 1,
28
+ shape: 'columns',
29
+ receiver: 'engine',
30
+ optionsArg: 2,
31
+ optionsExpressions: 'vars',
32
+ rowVariables: true,
33
+ },
34
+ ],
35
+ [
36
+ 'checkConstraints',
37
+ { argIndex: 1, shape: 'constraints', receiver: 'any', optionsArg: 2, optionsExpressions: 'vars' },
38
+ ],
24
39
  // DTO declarations: the column/criteria expressions of a `@column` field, and
25
40
  // the `vars` a DTO binds per row.
26
41
  [
@@ -48,13 +63,16 @@ export const ENGINE_CLASS_NAME = 'FhirPathEngine';
48
63
  * `db.clients.first(...)`), or undefined for a bare-identifier callee or a
49
64
  * non-identifier root (`this`, a call result).
50
65
  */
51
- export function isCheckedCall(policy, calleeName, receiverRoot, bindings) {
52
- if (policy.receiver === 'engine') {
53
- return receiverRoot !== undefined && bindings.trusted.has(receiverRoot) && !bindings.rebound.has(receiverRoot);
54
- }
66
+ export function isCheckedCall(policy, calleeName, receiverRoot, bindings, evidence = {}) {
55
67
  if (policy.receiver === 'import') {
56
68
  return receiverRoot === undefined && bindings.trusted.has(calleeName) && !bindings.rebound.has(calleeName);
57
69
  }
70
+ if (evidence.engine === true) {
71
+ return true;
72
+ }
73
+ if (policy.receiver === 'engine') {
74
+ return receiverRoot !== undefined && bindings.trusted.has(receiverRoot) && !bindings.rebound.has(receiverRoot);
75
+ }
58
76
  return !bindings.foreign.has(receiverRoot ?? calleeName);
59
77
  }
60
78
  /** Checks a `fhirpath` tag unless its bare name or namespace comes from another package. */
@@ -149,7 +167,7 @@ export function rootOf(heritage, dtoRoots) {
149
167
  * to a context is a decision, so it happens here rather than once per walker —
150
168
  * the two drifted while each had its own copy.
151
169
  */
152
- export function siteContext(policy, argumentAt, classRoot, ast) {
170
+ export function siteContext(policy, argumentAt, classRoot, ast, variables) {
153
171
  const rootArgument = policy.rootArg === undefined ? undefined : argumentAt(policy.rootArg);
154
172
  const inputType = rootArgument !== undefined
155
173
  ? ast.string(rootArgument)?.expression
@@ -159,47 +177,277 @@ export function siteContext(policy, argumentAt, classRoot, ast) {
159
177
  return {
160
178
  ...(policy.dto === true && { dto: true }),
161
179
  ...(inputType !== undefined && { inputType }),
180
+ ...(variables !== undefined && Object.keys(variables).length > 0 && { variables }),
162
181
  };
163
182
  }
183
+ /** Parse one literal EvaluateOptions object into environment and ordered var scopes. */
184
+ export function optionScopes(options, ast) {
185
+ const properties = ast.properties(options);
186
+ if (properties === undefined) {
187
+ return undefined;
188
+ }
189
+ const lastUnknown = properties.findLastIndex(property => property.name === undefined);
190
+ const envValues = finalKnownProperty(properties, 'env', lastUnknown);
191
+ const envDeclarations = finalKnownProperty(properties, 'envTypes', lastUnknown);
192
+ const varValues = finalKnownProperty(properties, 'vars', lastUnknown);
193
+ const varDeclarations = finalKnownProperty(properties, 'varTypes', lastUnknown);
194
+ const varsProperties = varValues === undefined ? [] : ast.properties(varValues);
195
+ const envScope = variablesFromPair(envValues, envDeclarations, ast);
196
+ const varScope = variablesFromPair(varValues, varDeclarations, ast);
197
+ const unknownOptions = lastUnknown >= 0;
198
+ // env/envTypes exist while var bodies run. vars/varTypes only finish binding
199
+ // after those bodies have run, so an unknown varTypes name must not hide a
200
+ // real error inside a var expression.
201
+ const openBeforeVars = envScope.valuesOpen ||
202
+ envScope.declarationsOpen ||
203
+ (unknownOptions && (envValues === undefined || envDeclarations === undefined));
204
+ const dynamicVars = varsProperties === undefined || varsProperties.some(property => property.name === undefined);
205
+ return {
206
+ env: envScope.variables,
207
+ vars: varScope.variables,
208
+ varDeclarations: varScope.declarations,
209
+ inheritsVarDeclarations: !unknownOptions && varDeclarations === undefined,
210
+ openBeforeVars,
211
+ openAfterVars: openBeforeVars ||
212
+ dynamicVars ||
213
+ varScope.declarationsOpen ||
214
+ (unknownOptions && (varValues === undefined || varDeclarations === undefined)),
215
+ expressions: varValues === undefined
216
+ ? []
217
+ : dynamicVars
218
+ ? [{ node: varValues, uncheckable: 'dynamic-vars' }]
219
+ : finalVarExpressions(varsProperties, ast),
220
+ };
221
+ }
222
+ /** Final values in Object.entries order when every vars key is statically known. */
223
+ function finalVarExpressions(properties, ast) {
224
+ return finalNormalizedEntries(properties).flatMap(({ name, value: node }) => {
225
+ const entry = ast.string(node);
226
+ return [{ node, name, ...(entry !== undefined && { expression: entry.expression }) }];
227
+ });
228
+ }
229
+ /** Runtime entries after Object.entries(), bare-name normalization, and Object.entries() again. */
230
+ function finalNormalizedEntries(properties) {
231
+ const raw = Object.create(null);
232
+ for (const property of properties) {
233
+ if (property.name !== undefined) {
234
+ raw[property.name] = property.value;
235
+ }
236
+ }
237
+ const normalized = Object.create(null);
238
+ for (const [rawName, value] of Object.entries(raw)) {
239
+ normalized[bareEnvironmentName(rawName)] = value;
240
+ }
241
+ return Object.entries(normalized).map(([name, value]) => ({ name, value }));
242
+ }
243
+ /** Known names and provably final values of one normalized host map. */
244
+ function normalizedObjectWrites(node, ast) {
245
+ if (node === undefined) {
246
+ return { names: [], final: [], open: false };
247
+ }
248
+ const properties = ast.properties(node);
249
+ if (properties === undefined) {
250
+ return { names: [], final: [], open: true };
251
+ }
252
+ const names = [
253
+ ...new Set(properties.flatMap(property => (property.name === undefined ? [] : [bareEnvironmentName(property.name)]))),
254
+ ];
255
+ const open = properties.some(property => property.name === undefined);
256
+ // An unknown raw key can establish either `%x` or `x` first. Overwriting a
257
+ // property does not move that insertion position, so no normalized value is
258
+ // provably final once the map is open.
259
+ const final = open ? [] : finalNormalizedEntries(properties);
260
+ return { names, final, open };
261
+ }
262
+ function variablesFromPair(values, declared, ast) {
263
+ const valueWrites = normalizedObjectWrites(values, ast);
264
+ const declarationWrites = normalizedObjectWrites(declared, ast);
265
+ const variables = Object.fromEntries(valueWrites.names.map(name => [name, {}]));
266
+ const declarations = {};
267
+ for (const { name, value } of declarationWrites.final) {
268
+ const declaration = typeDeclaration(value, ast);
269
+ if (declaration !== undefined) {
270
+ declarations[name] = declaration;
271
+ }
272
+ }
273
+ return {
274
+ variables: { ...variables, ...declarations },
275
+ declarations,
276
+ valuesOpen: valueWrites.open,
277
+ declarationsOpen: declarationWrites.open,
278
+ };
279
+ }
280
+ /** Last named property after an unknown write that could replace its value. */
281
+ function finalKnownProperty(properties, name, after) {
282
+ let value;
283
+ for (const property of properties?.slice(after + 1) ?? []) {
284
+ if (property.name === name) {
285
+ value = property.value;
286
+ }
287
+ }
288
+ return value;
289
+ }
290
+ function typeDeclaration(node, ast) {
291
+ const properties = ast.properties(node);
292
+ if (properties === undefined) {
293
+ return undefined;
294
+ }
295
+ const lastUnknown = properties.findLastIndex(property => property.name === undefined);
296
+ const typeNode = finalKnownProperty(properties, 'type', lastUnknown);
297
+ const types = typeNode === undefined ? undefined : literalStrings(typeNode, ast);
298
+ if (types === undefined || types.length === 0) {
299
+ return undefined;
300
+ }
301
+ const collectionNode = finalKnownProperty(properties, 'collection', lastUnknown);
302
+ const collection = collectionNode === undefined ? (lastUnknown < 0 ? false : undefined) : ast.boolean(collectionNode);
303
+ const targetsNode = finalKnownProperty(properties, 'targets', lastUnknown);
304
+ const targets = targetsNode === undefined ? undefined : literalStrings(targetsNode, ast);
305
+ return {
306
+ types,
307
+ ...(collection !== undefined && { single: !collection }),
308
+ ...(targets !== undefined && targets.length > 0 && { targets }),
309
+ };
310
+ }
311
+ function literalStrings(node, ast) {
312
+ const one = ast.string(node)?.expression;
313
+ if (one !== undefined) {
314
+ return [one];
315
+ }
316
+ const elements = ast.elements(node);
317
+ if (elements === undefined) {
318
+ return undefined;
319
+ }
320
+ const strings = elements.map(element => ast.string(element)?.expression);
321
+ return strings.every(value => value !== undefined) ? strings : undefined;
322
+ }
164
323
  /**
165
- * Extract the expression literal(s) an argument holds, per the call site's shape.
166
- * Column keys are output names, not expressions, so a computed key does not stop
167
- * its value from being checked; `{ path }` / `{ expression }` lookups match
168
- * identifier and string-literal keys only.
324
+ * Expand one supported call into every expression-shaped node and its context.
325
+ * EvaluateOptions vars bind in declaration order after env. Project vars also
326
+ * see the row variables, and project columns see the completed var scope.
327
+ * A construct that binds names the source cannot list marks the relevant scope
328
+ * open. Dynamic `vars` keys also make the final expression values and
329
+ * Object.entries order unknowable: a later spread can overwrite an earlier
330
+ * value while retaining its original key position. Such var bodies become one
331
+ * explicit coverage gap instead of producing false diagnostics.
169
332
  */
170
- export function expressionEntries(argument, shape, ast) {
333
+ export function callExpressionCandidates(policy, argumentAt, classRoot, ast) {
334
+ const argument = argumentAt(policy.argIndex);
335
+ if (argument === undefined) {
336
+ return [];
337
+ }
338
+ const options = policy.optionsArg === undefined ? undefined : argumentAt(policy.optionsArg);
339
+ const scopes = options === undefined ? undefined : optionScopes(options, ast);
340
+ const openBeforeVars = options !== undefined && (scopes === undefined || scopes.openBeforeVars);
341
+ const openAfterVars = options !== undefined && (scopes === undefined || scopes.openAfterVars);
342
+ const base = siteContext(policy, argumentAt, classRoot, ast, {
343
+ ...scopes?.env,
344
+ ...(policy.rowVariables === true && PROJECT_ROW_VARIABLES),
345
+ });
346
+ const values = scopes?.expressions.flatMap(entry => (entry.name === undefined ? [] : [entry.name])) ?? [];
347
+ const plan = options === undefined
348
+ ? undefined
349
+ : {
350
+ values,
351
+ declarations: scopes?.varDeclarations ?? {},
352
+ inheritsDeclarations: scopes?.inheritsVarDeclarations ?? false,
353
+ };
354
+ const context = {
355
+ ...base,
356
+ ...(plan !== undefined && { variablePlan: plan }),
357
+ ...(openAfterVars && { openVariables: true }),
358
+ };
359
+ const candidates = expressionCandidates(argument, policy.shape, ast).map(candidate => ({
360
+ ...candidate,
361
+ context,
362
+ source: 'argument',
363
+ }));
364
+ if (policy.optionsExpressions !== 'vars' || policy.optionsArg === undefined) {
365
+ return candidates;
366
+ }
367
+ if (scopes === undefined) {
368
+ return candidates;
369
+ }
370
+ for (const entry of scopes.expressions) {
371
+ candidates.push({
372
+ node: entry.node,
373
+ ...(entry.expression !== undefined && { expression: entry.expression }),
374
+ ...(entry.uncheckable !== undefined && { uncheckable: entry.uncheckable }),
375
+ context: {
376
+ ...base,
377
+ variablePlan: {
378
+ values,
379
+ declarations: scopes.varDeclarations,
380
+ inheritsDeclarations: scopes.inheritsVarDeclarations,
381
+ ...(entry.name !== undefined && { before: entry.name }),
382
+ },
383
+ ...(openBeforeVars && { openVariables: true }),
384
+ },
385
+ source: 'option-var',
386
+ });
387
+ }
388
+ return candidates;
389
+ }
390
+ /** Canonical traversal of every supported expression container. */
391
+ export function expressionCandidates(argument, shape, ast) {
171
392
  if (shape === 'expression') {
172
393
  const entry = ast.string(argument);
173
- return entry ? [entry] : [];
394
+ return [{ node: argument, ...(entry !== undefined && { expression: entry.expression }) }];
174
395
  }
175
396
  if (shape === 'columns') {
176
- // project() columns: { name: 'expr' }, { name: { path: 'expr', ... } }, or
177
- // the boolean-criteria form { name: { test: 'expr' } }.
178
- return (ast.properties(argument) ?? []).flatMap(({ value }) => {
397
+ // A non-object may be a DTO class, which holds no source expressions. A
398
+ // spread holds no column literal of its own.
399
+ return (ast.properties(argument) ?? []).flatMap(({ value, spread }) => {
400
+ if (spread === true) {
401
+ return [];
402
+ }
179
403
  const entry = ast.string(value);
180
- return entry ? [entry] : [...namedStringEntries(value, 'path', ast), ...namedStringEntries(value, 'test', ast)];
404
+ if (entry !== undefined) {
405
+ return [{ node: value, expression: entry.expression }];
406
+ }
407
+ const nested = ast.properties(value);
408
+ if (nested === undefined) {
409
+ return [{ node: value }];
410
+ }
411
+ return nested.flatMap(property => {
412
+ if (property.name !== 'path' && property.name !== 'test') {
413
+ return [];
414
+ }
415
+ const nestedEntry = ast.string(property.value);
416
+ return [{ node: property.value, ...(nestedEntry !== undefined && { expression: nestedEntry.expression }) }];
417
+ });
181
418
  });
182
419
  }
183
420
  if (shape === 'dto-vars') {
184
- // defineDto() options: { vars: { name: 'expr' }, callerEnv: [...] }. Only
185
- // vars hold expressions.
186
421
  const vars = (ast.properties(argument) ?? []).filter(({ name }) => name === 'vars');
187
- return vars.flatMap(({ value }) => (ast.properties(value) ?? []).flatMap(({ value: expression }) => {
188
- const entry = ast.string(expression);
189
- return entry ? [entry] : [];
190
- }));
191
- }
192
- // checkConstraints() constraints: [{ key, expression: 'expr', ... }].
193
- return (ast.elements(argument) ?? []).flatMap(element => namedStringEntries(element, 'expression', ast));
194
- }
195
- /** The string-literal values of an object literal's `name` properties. */
196
- function namedStringEntries(object, name, ast) {
197
- return (ast.properties(object) ?? []).flatMap(({ name: key, value }) => {
198
- if (key !== name) {
199
- return [];
422
+ return vars.flatMap(({ value }) => {
423
+ const properties = ast.properties(value);
424
+ return properties === undefined
425
+ ? [{ node: value }]
426
+ : properties.flatMap(property => {
427
+ if (property.spread === true) {
428
+ return [];
429
+ }
430
+ const entry = ast.string(property.value);
431
+ return [{ node: property.value, ...(entry !== undefined && { expression: entry.expression }) }];
432
+ });
433
+ });
434
+ }
435
+ const elements = ast.elements(argument);
436
+ if (elements === undefined) {
437
+ return [{ node: argument }];
438
+ }
439
+ return elements.flatMap(element => {
440
+ const properties = ast.properties(element);
441
+ if (properties === undefined) {
442
+ return [{ node: element }];
200
443
  }
201
- const entry = ast.string(value);
202
- return entry ? [entry] : [];
444
+ return properties.flatMap(property => {
445
+ if (property.name !== 'expression') {
446
+ return [];
447
+ }
448
+ const entry = ast.string(property.value);
449
+ return [{ node: property.value, ...(entry !== undefined && { expression: entry.expression }) }];
450
+ });
203
451
  });
204
452
  }
205
453
  /**
@@ -236,9 +484,16 @@ function columnClaim(options, ast) {
236
484
  if (properties === undefined) {
237
485
  return {};
238
486
  }
239
- const named = (name) => properties.find(property => property.name === name)?.value;
487
+ const lastUnknown = properties.findLastIndex(property => property.name === undefined);
488
+ if (lastUnknown >= 0) {
489
+ // A spread/computed key can introduce `as` or `choices`; later type and
490
+ // collection writes do not remove those conversion modes. Keep only the
491
+ // independently known input signature.
492
+ return {};
493
+ }
494
+ const named = (name) => finalKnownProperty(properties, name, lastUnknown);
240
495
  const collection = named('collection');
241
- const isCollection = collection === undefined ? false : ast.boolean(collection);
496
+ const isCollection = collection === undefined ? (lastUnknown < 0 ? false : undefined) : ast.boolean(collection);
242
497
  if (isCollection === undefined) {
243
498
  return {};
244
499
  }
@@ -1 +1 @@
1
- {"version":3,"file":"expression-policy.js","sourceRoot":"","sources":["../../src/analyzer/expression-policy.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAEL,eAAe,EAEf,iBAAiB,GAClB,MAAM,4BAA4B,CAAA;AA0CnC,uFAAuF;AACvF,MAAM,CAAC,MAAM,UAAU,GAAwC,IAAI,GAAG,CAAC;IACrE,iFAAiF;IACjF,0EAA0E;IAC1E,6EAA6E;IAC7E,iDAAiD;IACjD,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC/E,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9E,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnE,CAAC,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACnE,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5E,uEAAuE;IACvE,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAClE,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACpE,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAClE,CAAC,kBAAkB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5E,8EAA8E;IAC9E,kCAAkC;IAClC;QACE,QAAQ;QACR,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE;KAClH;IACD;QACE,UAAU;QACV,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE;KACpH;IACD,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;CAC7F,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAA;AAExC,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAA;AAElC,wFAAwF;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,aAAa,CAAA;AAE3C,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,gBAAgB,CAAA;AAuBjD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAsB,EACtB,UAAkB,EAClB,YAAgC,EAChC,QAAwB;IAExB,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAChH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC5G,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,UAAU,CAAC,CAAA;AAC1D,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,YAAgC,EAAE,QAAwB;IACrF,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,QAAQ,CAAC,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAiB,EAAE,QAAwB;IAC1E,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,KAAK,iBAAiB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;AACjH,CAAC;AAcD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,eAAuB,EAAE,UAA8B,EAAE;IACvF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,cAAc,CAAC,CAAA;IACrD,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AA8BD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,OAAiC;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,SAAQ;QACV,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAkB,EAAE,IAAiB,EAAsB,EAAE;QAC3E,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,GAAG,CAAC,OAAO,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAA;QACzB,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACd,OAAO,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAClC,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACvB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,QAAmC,EAAE,QAAqC;IAC/F,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC7D,OAAO,QAAQ,EAAE,OAAO,CAAA;IAC1B,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAC9E,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAsB,EACtB,UAA4C,EAC5C,SAA6B,EAC7B,GAAqB;IAErB,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC1F,MAAM,SAAS,GACb,YAAY,KAAK,SAAS;QACxB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU;QACtC,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,IAAI;YAC7B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS,CAAA;IACjB,OAAO;QACL,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE,IAAa,EAAE,CAAC;QAClD,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;KAC9C,CAAA;AACH,CAAC;AAuBD;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAI,QAAW,EAAE,KAAoB,EAAE,GAAqB;IAC3F,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAClC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC7B,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,2EAA2E;QAC3E,wDAAwD;QACxD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;YAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC/B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;QACjH,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,0EAA0E;QAC1E,yBAAyB;QACzB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;QACnF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAChC,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE;YAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YACpC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QAC7B,CAAC,CAAC,CACH,CAAA;IACH,CAAC;IACD,sEAAsE;IACtE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC,CAAA;AAC1G,CAAC;AAED,0EAA0E;AAC1E,SAAS,kBAAkB,CAAI,MAAS,EAAE,IAAY,EAAE,GAAqB;IAC3E,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE;QACrE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,EAAE,CAAA;QACX,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC/B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC7B,CAAC,CAAC,CAAA;AACJ,CAAC;AAkBD;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B,EAC3B,OAAsB,EACtB,GAAqB,EACrB,QAA4B;IAE5B,MAAM,WAAW,GAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAA;IACxE,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,qEAAqE;QACrE,2EAA2E;QAC3E,OAAO,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAA;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAA;IACtE,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,CAAA;AAC9E,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,uBAAuB,CACrC,IAAoC,EACpC,IAA4B;IAE5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAI,OAAsB,EAAE,GAAqB;IACnE,MAAM,UAAU,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IAC9E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAAK,CAAA;IACzG,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,CAAA;IACtC,MAAM,YAAY,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IAC/E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;IAClC,OAAO;QACL,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC;QACjF,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAClD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QAC9C,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxD,UAAU,EAAE,YAAY;KACzB,CAAA;AACH,CAAC"}
1
+ {"version":3,"file":"expression-policy.js","sourceRoot":"","sources":["../../src/analyzer/expression-policy.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAEL,eAAe,EAEf,iBAAiB,GAClB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,EAAyB,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AAiDhF,uFAAuF;AACvF,MAAM,CAAC,MAAM,UAAU,GAAwC,IAAI,GAAG,CAAC;IACrE,iFAAiF;IACjF,0EAA0E;IAC1E,6EAA6E;IAC7E,iDAAiD;IACjD,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC/E,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9E,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC9G,CAAC,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IACnH,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC9G,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5E,uEAAuE;IACvE,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7G,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC/G;QACE,SAAS;QACT;YACE,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,CAAC;YACb,kBAAkB,EAAE,MAAM;YAC1B,YAAY,EAAE,IAAI;SACnB;KACF;IACD;QACE,kBAAkB;QAClB,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE;KAClG;IACD,8EAA8E;IAC9E,kCAAkC;IAClC;QACE,QAAQ;QACR,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE;KAClH;IACD;QACE,UAAU;QACV,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE;KACpH;IACD,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;CAC7F,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAA;AAExC,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAA;AAElC,wFAAwF;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,aAAa,CAAA;AAE3C,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,gBAAgB,CAAA;AA6BjD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAsB,EACtB,UAAkB,EAClB,YAAgC,EAChC,QAAwB,EACxB,WAA6B,EAAE;IAE/B,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC5G,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAChH,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,UAAU,CAAC,CAAA;AAC1D,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,YAAgC,EAAE,QAAwB;IACrF,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,QAAQ,CAAC,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAiB,EAAE,QAAwB;IAC1E,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,KAAK,iBAAiB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;AACjH,CAAC;AAcD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,eAAuB,EAAE,UAA8B,EAAE;IACvF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,cAAc,CAAC,CAAA;IACrD,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AA+CD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,OAAiC;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,SAAQ;QACV,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAkB,EAAE,IAAiB,EAAsB,EAAE;QAC3E,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,GAAG,CAAC,OAAO,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAA;QACzB,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACd,OAAO,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;IAClC,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACvB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,QAAmC,EAAE,QAAqC;IAC/F,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC7D,OAAO,QAAQ,EAAE,OAAO,CAAA;IAC1B,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAC9E,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAsB,EACtB,UAA4C,EAC5C,SAA6B,EAC7B,GAAqB,EACrB,SAA6D;IAE7D,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC1F,MAAM,SAAS,GACb,YAAY,KAAK,SAAS;QACxB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU;QACtC,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,IAAI;YAC7B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS,CAAA;IACjB,OAAO;QACL,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE,IAAa,EAAE,CAAC;QAClD,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;KACnF,CAAA;AACH,CAAC;AAqBD,wFAAwF;AACxF,MAAM,UAAU,YAAY,CAAI,OAAU,EAAE,GAAqB;IAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IAC1C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACrF,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,CAAA;IACpE,MAAM,eAAe,GAAG,kBAAkB,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC/E,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;IACrE,MAAM,eAAe,GAAG,kBAAkB,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC/E,MAAM,cAAc,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IAC/E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,EAAE,eAAe,EAAE,GAAG,CAAC,CAAA;IACnE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,EAAE,eAAe,EAAE,GAAG,CAAC,CAAA;IACnE,MAAM,cAAc,GAAG,WAAW,IAAI,CAAC,CAAA;IACvC,6EAA6E;IAC7E,2EAA2E;IAC3E,sCAAsC;IACtC,MAAM,cAAc,GAClB,QAAQ,CAAC,UAAU;QACnB,QAAQ,CAAC,gBAAgB;QACzB,CAAC,cAAc,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,CAAC,CAAC,CAAA;IAChF,MAAM,WAAW,GAAG,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IAChH,OAAO;QACL,GAAG,EAAE,QAAQ,CAAC,SAAS;QACvB,IAAI,EAAE,QAAQ,CAAC,SAAS;QACxB,eAAe,EAAE,QAAQ,CAAC,YAAY;QACtC,uBAAuB,EAAE,CAAC,cAAc,IAAI,eAAe,KAAK,SAAS;QACzE,cAAc;QACd,aAAa,EACX,cAAc;YACd,WAAW;YACX,QAAQ,CAAC,gBAAgB;YACzB,CAAC,cAAc,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,CAAC,CAAC;QAChF,WAAW,EACT,SAAS,KAAK,SAAS;YACrB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,WAAW;gBACX,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,cAAuB,EAAE,CAAC;gBAC7D,CAAC,CAAC,mBAAmB,CAAC,cAAc,EAAE,GAAG,CAAC;KACjD,CAAA;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,mBAAmB,CAC1B,UAA4C,EAC5C,GAAqB;IAErB,OAAO,sBAAsB,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE;QAC1E,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC9B,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;IACvF,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,sBAAsB,CAAI,UAA4C;IAC7E,MAAM,GAAG,GAAsB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAClD,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAA;QACrC,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAsB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACzD,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,UAAU,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAA;IAClD,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,wEAAwE;AACxE,SAAS,sBAAsB,CAC7B,IAAmB,EACnB,GAAqB;IAMrB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;IAC9C,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAC7C,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,IAAI,GAAG,CACR,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAC1G;KACF,CAAA;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACrE,2EAA2E;IAC3E,4EAA4E;IAC5E,uCAAuC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAA;IAC5D,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;AAC/B,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAqB,EACrB,QAAuB,EACvB,GAAqB;IAOrB,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IACvD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;IAC/D,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAC/E,MAAM,YAAY,GAAiC,EAAE,CAAA;IACrD,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC/C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,YAAY,CAAC,IAAI,CAAC,GAAG,WAAW,CAAA;QAClC,CAAC;IACH,CAAC;IACD,OAAO;QACL,SAAS,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,YAAY,EAAE;QAC5C,YAAY;QACZ,UAAU,EAAE,WAAW,CAAC,IAAI;QAC5B,gBAAgB,EAAE,iBAAiB,CAAC,IAAI;KACzC,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CACzB,UAAwD,EACxD,IAAY,EACZ,KAAa;IAEb,IAAI,KAAoB,CAAA;IACxB,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1D,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAA;QACxB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,eAAe,CAAI,IAAO,EAAE,GAAqB;IACxD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACrF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;IACpE,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;IAChF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,cAAc,GAAG,kBAAkB,CAAC,UAAU,EAAE,YAAY,EAAE,WAAW,CAAC,CAAA;IAChF,MAAM,UAAU,GAAG,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;IACrH,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;IAC1E,MAAM,OAAO,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,EAAE,GAAG,CAAC,CAAA;IACxF,OAAO;QACL,KAAK;QACL,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC,UAAU,EAAE,CAAC;QACxD,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;KAChE,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAI,IAAO,EAAE,GAAqB;IACvD,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IACxC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAA;IACxE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AA+CD;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAsB,EACtB,UAA4C,EAC5C,SAA6B,EAC7B,GAAqB;IAErB,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC3F,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;IAC7E,MAAM,cAAc,GAAG,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,CAAA;IAC/F,MAAM,aAAa,GAAG,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,CAAC,CAAA;IAC7F,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE;QAC3D,GAAG,MAAM,EAAE,GAAG;QACd,GAAG,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,IAAI,qBAAqB,CAAC;KAC3D,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACzG,MAAM,IAAI,GACR,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,MAAM;YACN,YAAY,EAAE,MAAM,EAAE,eAAe,IAAI,EAAE;YAC3C,oBAAoB,EAAE,MAAM,EAAE,uBAAuB,IAAI,KAAK;SAC/D,CAAA;IACP,MAAM,OAAO,GAAgB;QAC3B,GAAG,IAAI;QACP,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QACjD,GAAG,CAAC,aAAa,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;KAC9C,CAAA;IACD,MAAM,UAAU,GAAuC,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,CAC1G,SAAS,CAAC,EAAE,CAAC,CAAC;QACZ,GAAG,SAAS;QACZ,OAAO;QACP,MAAM,EAAE,UAAmB;KAC5B,CAAC,CACH,CAAA;IACD,IAAI,MAAM,CAAC,kBAAkB,KAAK,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC5E,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;YACvE,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;YAC1E,OAAO,EAAE;gBACP,GAAG,IAAI;gBACP,YAAY,EAAE;oBACZ,MAAM;oBACN,YAAY,EAAE,MAAM,CAAC,eAAe;oBACpC,oBAAoB,EAAE,MAAM,CAAC,uBAAuB;oBACpD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;iBACxD;gBACD,GAAG,CAAC,cAAc,IAAI,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC;aACxD;YACD,MAAM,EAAE,YAAY;SACrB,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,oBAAoB,CAClC,QAAW,EACX,KAAoB,EACpB,GAAqB;IAErB,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAClC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;IAC3F,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,wEAAwE;QACxE,6CAA6C;QAC7C,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;YACpE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,OAAO,EAAE,CAAA;YACX,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAA;YACxD,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;YAC1B,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAC/B,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACzD,OAAO,EAAE,CAAA;gBACX,CAAC;gBACD,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC9C,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;YAC7G,CAAC,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;QACnF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;YAChC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YACxC,OAAO,UAAU,KAAK,SAAS;gBAC7B,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBACnB,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;oBAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;wBAC7B,OAAO,EAAE,CAAA;oBACX,CAAC;oBACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;oBACxC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;gBACjG,CAAC,CAAC,CAAA;QACR,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;IAC7B,CAAC;IACD,OAAO,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;QAChC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAC1C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5B,CAAC;QACD,OAAO,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;YACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACnC,OAAO,EAAE,CAAA;YACX,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;YACxC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;QACjG,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC;AAkBD;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B,EAC3B,OAAsB,EACtB,GAAqB,EACrB,QAA4B;IAE5B,MAAM,WAAW,GAA2B,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAA;IACxE,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,qEAAqE;QACrE,2EAA2E;QAC3E,OAAO,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAA;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAA;IACtE,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,CAAA;AAC9E,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,uBAAuB,CACrC,IAAoC,EACpC,IAA4B;IAE5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAI,OAAsB,EAAE,GAAqB;IACnE,MAAM,UAAU,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IAC9E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACrF,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;QACrB,wEAAwE;QACxE,wEAAwE;QACxE,uCAAuC;QACvC,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;IAChG,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,CAAA;IACtC,MAAM,YAAY,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IAC/G,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;IAClC,OAAO;QACL,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC;QACjF,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAClD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QAC9C,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxD,UAAU,EAAE,YAAY;KACzB,CAAA;AACH,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"operator-rules.d.ts","sourceRoot":"","sources":["../../src/analyzer/operator-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,OAAO,EAAE,KAAK,eAAe,EAA2B,MAAM,iBAAiB,CAAA;AAE/E,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAA;AAItB,0DAA0D;AAC1D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuB6B,CAAA;AAE/D,eAAO,MAAM,0BAA0B;;;;;;;;;CAGqB,CAAA;AAE5D,mFAAmF;AACnF,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,eAAe,GACrB,eAAe,CAuBjB;AAED,8FAA8F;AAC9F,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,OAAO,0BAA0B,EACjD,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAC3C,eAAe,CAUjB"}
1
+ {"version":3,"file":"operator-rules.d.ts","sourceRoot":"","sources":["../../src/analyzer/operator-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,OAAO,EAAmB,KAAK,eAAe,EAAsC,MAAM,iBAAiB,CAAA;AAE3G,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAA;AAItB,0DAA0D;AAC1D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuB6B,CAAA;AAE/D,eAAO,MAAM,0BAA0B;;;;;;;;;CAGqB,CAAA;AAE5D,mFAAmF;AACnF,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,eAAe,GACrB,eAAe,CAwBjB;AAED,8FAA8F;AAC9F,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,OAAO,0BAA0B,EACjD,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAC3C,eAAe,CAUjB"}
@@ -1,5 +1,5 @@
1
1
  import { commonValueKind } from "../values/type-compat.js";
2
- import { unionStates, withSingle } from "./signatures.js";
2
+ import { sequentialOrder, unionStates, withOrder, withSingle } from "./signatures.js";
3
3
  const BOOLEAN = { kind: 'fixed', types: ['System.Boolean'], single: true };
4
4
  /** Result semantics for every runtime binary operator. */
5
5
  export const OPERATOR_RESULT_RULES = {
@@ -35,7 +35,7 @@ export function applyOperatorResultRule(operator, left, right) {
35
35
  const rule = OPERATOR_RESULT_RULES[operator];
36
36
  switch (rule.kind) {
37
37
  case 'fixed':
38
- return { types: [...rule.types], single: rule.single };
38
+ return { types: [...rule.types], single: rule.single, ordered: true };
39
39
  case 'arithmetic': {
40
40
  const leftKind = commonValueKind(left.types);
41
41
  const rightKind = commonValueKind(right.types);
@@ -43,6 +43,7 @@ export function applyOperatorResultRule(operator, left, right) {
43
43
  return {
44
44
  types: quantity ? ['System.Quantity'] : operator === '/' ? ['System.Decimal'] : (left.types ?? right.types),
45
45
  single: true,
46
+ ordered: true,
46
47
  };
47
48
  }
48
49
  case 'union':
@@ -52,7 +53,7 @@ export function applyOperatorResultRule(operator, left, right) {
52
53
  if (right.types?.length === 0) {
53
54
  return left;
54
55
  }
55
- return withSingle(unionStates([left, right]), false);
56
+ return withOrder(withSingle(unionStates([left, right]), false), sequentialOrder(left.ordered, right.ordered));
56
57
  }
57
58
  }
58
59
  /** Interpret a type-operator rule after the analyzer has validated its operand and target. */
@@ -60,11 +61,11 @@ export function applyTypeOperatorResultRule(operator, narrowedTypes) {
60
61
  const rule = TYPE_OPERATOR_RESULT_RULES[operator];
61
62
  switch (rule.kind) {
62
63
  case 'fixed':
63
- return { types: [...rule.types], single: rule.single };
64
+ return { types: [...rule.types], single: rule.single, ordered: true };
64
65
  case 'narrow':
65
66
  return narrowedTypes === undefined
66
- ? { types: undefined, single: undefined }
67
- : { types: [...narrowedTypes], single: true };
67
+ ? { types: undefined, single: undefined, ordered: undefined }
68
+ : { types: [...narrowedTypes], single: true, ordered: true };
68
69
  }
69
70
  }
70
71
  //# sourceMappingURL=operator-rules.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"operator-rules.js","sourceRoot":"","sources":["../../src/analyzer/operator-rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,EAAwB,WAAW,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAQ/E,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAW,CAAA;AAEnF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC9D,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;IACtB,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,EAAE,EAAE,OAAO;IACX,QAAQ,EAAE,OAAO;IACjB,GAAG,EAAE,OAAO;IACZ,EAAE,EAAE,OAAO;IACX,GAAG,EAAE,OAAO;IACZ,OAAO,EAAE,OAAO;CAC6C,CAAA;AAE/D,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,EAAE,EAAE,OAAO;IACX,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;CACoC,CAAA;AAE5D,mFAAmF;AACnF,MAAM,UAAU,uBAAuB,CACrC,QAAwB,EACxB,IAAqB,EACrB,KAAsB;IAEtB,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAA;QACxD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YAC9C,MAAM,QAAQ,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,IAAI,SAAS,KAAK,UAAU,CAAC,CAAA;YAChH,OAAO;gBACL,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;gBAC3G,MAAM,EAAE,IAAI;aACb,CAAA;QACH,CAAC;QACD,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAA;YACd,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAA;YACb,CAAC;YACD,OAAO,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACxD,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,2BAA2B,CACzC,QAAiD,EACjD,aAA4C;IAE5C,MAAM,IAAI,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAA;IACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAA;QACxD,KAAK,QAAQ;YACX,OAAO,aAAa,KAAK,SAAS;gBAChC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE;gBACzC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACnD,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"operator-rules.js","sourceRoot":"","sources":["../../src/analyzer/operator-rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAwB,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAQ3G,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAW,CAAA;AAEnF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;IAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC9D,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;IACtB,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,EAAE,EAAE,OAAO;IACX,QAAQ,EAAE,OAAO;IACjB,GAAG,EAAE,OAAO;IACZ,EAAE,EAAE,OAAO;IACX,GAAG,EAAE,OAAO;IACZ,OAAO,EAAE,OAAO;CAC6C,CAAA;AAE/D,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,EAAE,EAAE,OAAO;IACX,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;CACoC,CAAA;AAE5D,mFAAmF;AACnF,MAAM,UAAU,uBAAuB,CACrC,QAAwB,EACxB,IAAqB,EACrB,KAAsB;IAEtB,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;QACvE,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YAC9C,MAAM,QAAQ,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,IAAI,SAAS,KAAK,UAAU,CAAC,CAAA;YAChH,OAAO;gBACL,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;gBAC3G,MAAM,EAAE,IAAI;gBACZ,OAAO,EAAE,IAAI;aACd,CAAA;QACH,CAAC;QACD,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAA;YACd,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAA;YACb,CAAC;YACD,OAAO,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;IACjH,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,2BAA2B,CACzC,QAAiD,EACjD,aAA4C;IAE5C,MAAM,IAAI,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAA;IACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;QACvE,KAAK,QAAQ;YACX,OAAO,aAAa,KAAK,SAAS;gBAChC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE;gBAC7D,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IAClE,CAAC;AACH,CAAC"}