@elyx-code/project-logic-tree 0.0.594 → 0.0.596
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.js +65 -74
- package/dist/index.umd.cjs +72 -72
- package/dist/tree/state/store.d.ts +3 -0
- package/package.json +1 -1
package/dist/index.js
CHANGED
|
@@ -30260,92 +30260,82 @@ const le = class le {
|
|
|
30260
30260
|
);
|
|
30261
30261
|
i = s.modifiedData;
|
|
30262
30262
|
const o = pf(i, t);
|
|
30263
|
-
if (
|
|
30264
|
-
"Checking that the argument declaration does not overlap with the implemented signature"
|
|
30265
|
-
), i.parent) {
|
|
30263
|
+
if (i.parent) {
|
|
30266
30264
|
const d = t.get(
|
|
30267
30265
|
P(i.parent)
|
|
30268
30266
|
);
|
|
30269
|
-
if (d)
|
|
30270
|
-
|
|
30271
|
-
|
|
30272
|
-
|
|
30273
|
-
|
|
30274
|
-
|
|
30275
|
-
|
|
30276
|
-
|
|
30277
|
-
|
|
30278
|
-
), f = u.fixedArguments.filter(($) => !d.inputs.find(
|
|
30267
|
+
if (d && $e.includes(d.type)) {
|
|
30268
|
+
const u = d.implements;
|
|
30269
|
+
if (u)
|
|
30270
|
+
if (u.argumentsType === V.Fixed) {
|
|
30271
|
+
const y = u.fixedArguments.find(
|
|
30272
|
+
($) => $.name === i.name
|
|
30273
|
+
), f = u.fixedArguments.filter(($) => !d.inputs.find(
|
|
30274
|
+
// @ts-ignore
|
|
30275
|
+
(Ct) => (
|
|
30279
30276
|
// @ts-ignore
|
|
30280
|
-
|
|
30281
|
-
|
|
30282
|
-
|
|
30283
|
-
|
|
30284
|
-
|
|
30285
|
-
|
|
30277
|
+
Ct.type === r.ArgumentDeclaration && // @ts-ignore
|
|
30278
|
+
Ct.name === $.name
|
|
30279
|
+
)
|
|
30280
|
+
)), m = (
|
|
30281
|
+
// @ts-ignore
|
|
30282
|
+
d.inputs.filter(
|
|
30286
30283
|
// @ts-ignore
|
|
30287
|
-
|
|
30284
|
+
($) => (
|
|
30288
30285
|
// @ts-ignore
|
|
30289
|
-
|
|
30290
|
-
// @ts-ignore
|
|
30291
|
-
$.type === r.ArgumentDeclaration
|
|
30292
|
-
)
|
|
30286
|
+
$.type === r.ArgumentDeclaration
|
|
30293
30287
|
)
|
|
30294
|
-
)
|
|
30295
|
-
|
|
30296
|
-
)
|
|
30297
|
-
|
|
30298
|
-
|
|
30299
|
-
)
|
|
30300
|
-
|
|
30301
|
-
|
|
30302
|
-
|
|
30303
|
-
|
|
30304
|
-
|
|
30305
|
-
)
|
|
30306
|
-
|
|
30307
|
-
|
|
30308
|
-
|
|
30309
|
-
|
|
30310
|
-
|
|
30311
|
-
|
|
30312
|
-
|
|
30313
|
-
|
|
30314
|
-
|
|
30288
|
+
)
|
|
30289
|
+
), R = m.find(
|
|
30290
|
+
($) => $.name === i.name
|
|
30291
|
+
), g = m.length ? `The parent entity already implements the following arguments: ${M(
|
|
30292
|
+
m.map(
|
|
30293
|
+
($) => `'${$.id}' (${$.name})`
|
|
30294
|
+
),
|
|
30295
|
+
", ",
|
|
30296
|
+
" and "
|
|
30297
|
+
)}.` : "The parent entity does not yet have any implemented arguments.", A = f.length ? `The parent entity is still missing the following arguments in the implementation: ${M(
|
|
30298
|
+
f.map(
|
|
30299
|
+
($) => `'${$.id}' (${$.name})`
|
|
30300
|
+
),
|
|
30301
|
+
", ",
|
|
30302
|
+
" and "
|
|
30303
|
+
)}.` : "The parent entity has all the arguments it needs implemented.";
|
|
30304
|
+
y ? R && a.push(
|
|
30305
|
+
new T({
|
|
30306
|
+
id: `${i.id}--${b.NoOverlapWithImplementedSignature}`,
|
|
30307
|
+
code: b.NoOverlapWithImplementedSignature,
|
|
30308
|
+
severity: h.Error,
|
|
30309
|
+
message: `Entity of type '${r.ArgumentDeclaration}' with id '${i.id}' should not exist in a parent entity of type '${d.type}' with id '${d.id}' that implements a ${r.ActionDescriptor} with fixed arguments.
|
|
30315
30310
|
Adding a new argument would make the implementation invalid. An argument with the same name already exists in the parent entity.
|
|
30316
30311
|
${g}
|
|
30317
30312
|
${A}`,
|
|
30318
|
-
|
|
30319
|
-
|
|
30320
|
-
|
|
30321
|
-
|
|
30322
|
-
|
|
30323
|
-
|
|
30324
|
-
|
|
30325
|
-
|
|
30313
|
+
issue: null
|
|
30314
|
+
})
|
|
30315
|
+
) : a.push(
|
|
30316
|
+
new T({
|
|
30317
|
+
id: `${i.id}--${b.NoOverlapWithImplementedSignature}`,
|
|
30318
|
+
code: b.NoOverlapWithImplementedSignature,
|
|
30319
|
+
severity: h.Error,
|
|
30320
|
+
message: `Entity of type '${r.ArgumentDeclaration}' with id '${i.id}' should not exist in a parent entity of type '${d.type}' with id '${d.id}' that implements a ${r.ActionDescriptor} with fixed arguments.
|
|
30326
30321
|
Adding a new argument would make the implementation invalid. There are no arguments in the descriptor with the same name.
|
|
30327
30322
|
${g}
|
|
30328
30323
|
${A}`,
|
|
30329
|
-
|
|
30330
|
-
|
|
30331
|
-
|
|
30332
|
-
|
|
30333
|
-
|
|
30334
|
-
|
|
30335
|
-
|
|
30336
|
-
|
|
30337
|
-
|
|
30338
|
-
|
|
30324
|
+
issue: null
|
|
30325
|
+
})
|
|
30326
|
+
);
|
|
30327
|
+
} else
|
|
30328
|
+
u.argumentsType === V.Dynamic || u.argumentsType === V.None && a.push(
|
|
30329
|
+
new T({
|
|
30330
|
+
id: `${i.id}--${b.NoOverlapWithImplementedSignature}`,
|
|
30331
|
+
code: b.NoOverlapWithImplementedSignature,
|
|
30332
|
+
severity: h.Error,
|
|
30333
|
+
message: `Entity of type '${r.ArgumentDeclaration}' with id '${i.id}' should not exist in a parent entity of type '${d.type}' with id '${d.id}' that implements a ${r.ActionDescriptor} with no arguments.
|
|
30339
30334
|
Adding a new argument would make the implementation invalid.`,
|
|
30340
|
-
|
|
30341
|
-
|
|
30342
|
-
|
|
30343
|
-
|
|
30344
|
-
console.log("Parent does not implement a descriptor");
|
|
30345
|
-
} else
|
|
30346
|
-
console.log("Parent is not an entry point");
|
|
30347
|
-
else
|
|
30348
|
-
console.log("Parent not found");
|
|
30335
|
+
issue: null
|
|
30336
|
+
})
|
|
30337
|
+
);
|
|
30338
|
+
}
|
|
30349
30339
|
}
|
|
30350
30340
|
return a.push(
|
|
30351
30341
|
...s.errors,
|
|
@@ -40120,8 +40110,8 @@ async function g3(n, e = {}) {
|
|
|
40120
40110
|
return nr[n.id] = a, n.id && delete ea[n.id], a;
|
|
40121
40111
|
}
|
|
40122
40112
|
return null;
|
|
40123
|
-
} catch
|
|
40124
|
-
return
|
|
40113
|
+
} catch {
|
|
40114
|
+
return null;
|
|
40125
40115
|
}
|
|
40126
40116
|
}
|
|
40127
40117
|
function I3(n) {
|
|
@@ -40146,6 +40136,7 @@ export {
|
|
|
40146
40136
|
sd as BaseValueDescriptorIds,
|
|
40147
40137
|
Ii as BreakStatementState,
|
|
40148
40138
|
Ft as BuiltInBaseEntityState,
|
|
40139
|
+
nr as CACHED_PROJECTS_BY_ID,
|
|
40149
40140
|
z6 as CALLABLE_ENTITIES_EXPLANATION,
|
|
40150
40141
|
$n as CALLABLE_TYPES,
|
|
40151
40142
|
$8 as CALLER_ENTITIES_EXPLANATION,
|