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.
- package/README.md +12 -5
- package/dist/analyzer/analyze-dto.d.ts.map +1 -1
- package/dist/analyzer/analyze-dto.js +14 -8
- package/dist/analyzer/analyze-dto.js.map +1 -1
- package/dist/analyzer/analyze.d.ts +23 -12
- package/dist/analyzer/analyze.d.ts.map +1 -1
- package/dist/analyzer/analyze.js +138 -46
- package/dist/analyzer/analyze.js.map +1 -1
- package/dist/analyzer/declarations.d.ts +6 -0
- package/dist/analyzer/declarations.d.ts.map +1 -1
- package/dist/analyzer/declarations.js +7 -0
- package/dist/analyzer/declarations.js.map +1 -1
- package/dist/analyzer/expression-policy.d.ts +88 -14
- package/dist/analyzer/expression-policy.d.ts.map +1 -1
- package/dist/analyzer/expression-policy.js +296 -41
- package/dist/analyzer/expression-policy.js.map +1 -1
- package/dist/analyzer/operator-rules.d.ts.map +1 -1
- package/dist/analyzer/operator-rules.js +7 -6
- package/dist/analyzer/operator-rules.js.map +1 -1
- package/dist/analyzer/signatures.d.ts +49 -0
- package/dist/analyzer/signatures.d.ts.map +1 -1
- package/dist/analyzer/signatures.js +76 -31
- package/dist/analyzer/signatures.js.map +1 -1
- package/dist/analyzer/source-options.d.ts +17 -0
- package/dist/analyzer/source-options.d.ts.map +1 -0
- package/dist/analyzer/source-options.js +3 -0
- package/dist/analyzer/source-options.js.map +1 -0
- package/dist/api/dto.d.ts +9 -4
- package/dist/api/dto.d.ts.map +1 -1
- package/dist/api/dto.js +14 -3
- package/dist/api/dto.js.map +1 -1
- package/dist/api/strict.d.ts.map +1 -1
- package/dist/api/strict.js +8 -3
- package/dist/api/strict.js.map +1 -1
- package/dist/cli/dto-check.d.ts +9 -0
- package/dist/cli/dto-check.d.ts.map +1 -1
- package/dist/cli/dto-check.js +49 -6
- package/dist/cli/dto-check.js.map +1 -1
- package/dist/cli/fhirpath-check.js +161 -31
- package/dist/cli/fhirpath-check.js.map +1 -1
- package/dist/eslint/index.d.ts.map +1 -1
- package/dist/eslint/index.js +13 -8
- package/dist/eslint/index.js.map +1 -1
- package/dist/r4/generated/resources-data.d.ts +6 -2
- package/dist/r4/generated/resources-data.d.ts.map +1 -1
- package/dist/r4/generated/resources-data.js +626 -28627
- package/dist/r4/generated/resources-data.js.map +1 -1
- package/dist/r4/generated/types-data.d.ts +6 -2
- package/dist/r4/generated/types-data.d.ts.map +1 -1
- package/dist/r4/generated/types-data.js +84 -2204
- package/dist/r4/generated/types-data.js.map +1 -1
- package/dist/r4/index.d.ts.map +1 -1
- package/dist/r4/index.js +10 -4
- package/dist/r4/index.js.map +1 -1
- package/dist/r4/model-data.d.ts +17 -0
- package/dist/r4/model-data.d.ts.map +1 -1
- package/dist/r4/model-data.js +118 -1
- package/dist/r4/model-data.js.map +1 -1
- package/dist/sites/index.d.ts +31 -2
- package/dist/sites/index.d.ts.map +1 -1
- package/dist/sites/index.js +351 -30
- package/dist/sites/index.js.map +1 -1
- package/dist/typed/infer.d.ts +2 -0
- package/dist/typed/infer.d.ts.map +1 -1
- package/package.json +1 -1
- package/src/analyzer/analyze-dto.ts +19 -9
- package/src/analyzer/analyze.ts +186 -54
- package/src/analyzer/declarations.ts +12 -0
- package/src/analyzer/expression-policy.ts +423 -47
- package/src/analyzer/operator-rules.ts +7 -6
- package/src/analyzer/signatures.ts +100 -36
- package/src/analyzer/source-options.ts +19 -0
- package/src/api/dto.ts +35 -9
- package/src/api/strict.ts +8 -3
- package/src/cli/dto-check.ts +56 -6
- package/src/cli/fhirpath-check.ts +180 -34
- package/src/eslint/index.ts +15 -12
- package/src/r4/generated/resources-data.ts +624 -28628
- package/src/r4/generated/types-data.ts +82 -2205
- package/src/r4/index.ts +11 -5
- package/src/r4/model-data.ts +127 -0
- package/src/sites/index.ts +428 -40
- 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
|
-
[
|
|
23
|
-
|
|
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
|
-
*
|
|
166
|
-
*
|
|
167
|
-
*
|
|
168
|
-
*
|
|
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
|
|
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
|
|
394
|
+
return [{ node: argument, ...(entry !== undefined && { expression: entry.expression }) }];
|
|
174
395
|
}
|
|
175
396
|
if (shape === 'columns') {
|
|
176
|
-
//
|
|
177
|
-
//
|
|
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
|
-
|
|
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 }) =>
|
|
188
|
-
const
|
|
189
|
-
return
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
}
|
|
195
|
-
|
|
196
|
-
|
|
197
|
-
|
|
198
|
-
|
|
199
|
-
|
|
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
|
-
|
|
202
|
-
|
|
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
|
|
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,
|
|
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;
|
|
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"}
|