jinaga-server 1.0.0 → 1.1.0
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 +103 -0
- package/dist/authentication/authentication-device.d.ts +3 -1
- package/dist/authentication/authentication-device.js +3 -0
- package/dist/authentication/authentication-device.js.map +1 -1
- package/dist/authentication/authentication-impl.d.ts +3 -2
- package/dist/authentication/authentication-impl.js +3 -0
- package/dist/authentication/authentication-impl.js.map +1 -1
- package/dist/authentication/authentication-session.d.ts +4 -2
- package/dist/authentication/authentication-session.js +7 -2
- package/dist/authentication/authentication-session.js.map +1 -1
- package/dist/authentication.d.ts +5 -4
- package/dist/authentication.js +3 -0
- package/dist/authentication.js.map +1 -1
- package/dist/authorization/authorization-keystore.d.ts +5 -3
- package/dist/authorization/authorization-keystore.js +12 -9
- package/dist/authorization/authorization-keystore.js.map +1 -1
- package/dist/http/feed-cache.d.ts +5 -0
- package/dist/http/feed-cache.js +3 -0
- package/dist/http/feed-cache.js.map +1 -0
- package/dist/http/node-http.js +4 -1
- package/dist/http/node-http.js.map +1 -1
- package/dist/http/router.d.ts +5 -1
- package/dist/http/router.js +157 -24
- package/dist/http/router.js.map +1 -1
- package/dist/jinaga-server.js +6 -4
- package/dist/jinaga-server.js.map +1 -1
- package/dist/memory/memory-feed-cache.d.ts +7 -0
- package/dist/memory/memory-feed-cache.js +17 -0
- package/dist/memory/memory-feed-cache.js.map +1 -0
- package/dist/postgres/postgres-store.d.ts +5 -2
- package/dist/postgres/postgres-store.js +53 -28
- package/dist/postgres/postgres-store.js.map +1 -1
- package/dist/postgres/specification-result-sql.d.ts +11 -4
- package/dist/postgres/specification-result-sql.js +302 -5
- package/dist/postgres/specification-result-sql.js.map +1 -1
- package/dist/postgres/specification-sql.d.ts +14 -3
- package/dist/postgres/specification-sql.js +233 -100
- package/dist/postgres/specification-sql.js.map +1 -1
- package/package.json +2 -2
- package/src/authentication/authentication-device.ts +6 -0
- package/src/authentication/authentication-impl.ts +6 -3
- package/src/authentication/authentication-session.ts +11 -3
- package/src/authentication.ts +18 -5
- package/src/authorization/authorization-keystore.ts +14 -8
- package/src/http/feed-cache.ts +6 -0
- package/src/http/node-http.ts +5 -2
- package/src/http/router.ts +179 -31
- package/src/jinaga-server.ts +11 -9
- package/src/memory/memory-feed-cache.ts +15 -0
- package/src/postgres/postgres-store.ts +59 -31
- package/src/postgres/specification-result-sql.ts +450 -10
- package/src/postgres/specification-sql.ts +335 -115
- package/test/authorization/authorizationSpec.ts +11 -2
- package/test/postgres/postgresSpec.ts +31 -25
- package/test/postgres/postgresSpecificationSpec.ts +40 -68
- package/dist/postgres/query-description-builder.d.ts +0 -13
- package/dist/postgres/query-description-builder.js +0 -104
- package/dist/postgres/query-description-builder.js.map +0 -1
- package/dist/postgres/query-description.d.ts +0 -71
- package/dist/postgres/query-description.js +0 -256
- package/dist/postgres/query-description.js.map +0 -1
- package/src/postgres/query-description-builder.ts +0 -116
- package/src/postgres/query-description.ts +0 -385
|
@@ -1,9 +1,16 @@
|
|
|
1
1
|
import { FactReference, ResultProjection, Specification } from "jinaga";
|
|
2
2
|
import { FactTypeMap, RoleMap } from "./maps";
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
3
|
+
interface SpecificationLabel {
|
|
4
|
+
name: string;
|
|
5
|
+
type: string;
|
|
6
|
+
index: number;
|
|
7
|
+
}
|
|
8
|
+
interface SpecificationSqlQuery {
|
|
9
|
+
sql: string;
|
|
10
|
+
parameters: (string | number | number[])[];
|
|
11
|
+
labels: SpecificationLabel[];
|
|
12
|
+
bookmark: string;
|
|
13
|
+
}
|
|
7
14
|
export interface SqlQueryTree {
|
|
8
15
|
sqlQuery: SpecificationSqlQuery;
|
|
9
16
|
childQueries: NamedSqlQueryTree[];
|
|
@@ -2,8 +2,213 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
exports.resultSqlFromSpecification = exports.ResultComposer = void 0;
|
|
4
4
|
const maps_1 = require("./maps");
|
|
5
|
-
|
|
6
|
-
|
|
5
|
+
;
|
|
6
|
+
function countEdges(notExistsConditions) {
|
|
7
|
+
return notExistsConditions.reduce((count, c) => count + c.edges.length + countEdges(c.notExistsConditions), 0);
|
|
8
|
+
}
|
|
9
|
+
class QueryDescription {
|
|
10
|
+
constructor(inputs, parameters, outputs, facts, edges, notExistsConditions = []) {
|
|
11
|
+
this.inputs = inputs;
|
|
12
|
+
this.parameters = parameters;
|
|
13
|
+
this.outputs = outputs;
|
|
14
|
+
this.facts = facts;
|
|
15
|
+
this.edges = edges;
|
|
16
|
+
this.notExistsConditions = notExistsConditions;
|
|
17
|
+
}
|
|
18
|
+
withParameter(parameter) {
|
|
19
|
+
const parameterIndex = this.parameters.length + 1;
|
|
20
|
+
const query = new QueryDescription(this.inputs, this.parameters.concat(parameter), this.outputs, this.facts, this.edges, this.notExistsConditions);
|
|
21
|
+
return { query, parameterIndex };
|
|
22
|
+
}
|
|
23
|
+
withInputParameter(label) {
|
|
24
|
+
const factTypeParameter = this.parameters.length + 1;
|
|
25
|
+
const factHashParameter = factTypeParameter + 1;
|
|
26
|
+
const input = this.inputs.find(i => i.label === label);
|
|
27
|
+
const inputs = this.inputs.map(input => input.label === label
|
|
28
|
+
? Object.assign(Object.assign({}, input), { factTypeParameter, factHashParameter }) : input);
|
|
29
|
+
return new QueryDescription(inputs, this.parameters.concat(input.factTypeId, input.factHash), this.outputs, this.facts, this.edges, this.notExistsConditions);
|
|
30
|
+
}
|
|
31
|
+
withFact(type) {
|
|
32
|
+
const factIndex = this.facts.length + 1;
|
|
33
|
+
const fact = { factIndex, type };
|
|
34
|
+
const query = new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts.concat(fact), this.edges, this.notExistsConditions);
|
|
35
|
+
return { query, factIndex };
|
|
36
|
+
}
|
|
37
|
+
withOutput(label, type, factIndex) {
|
|
38
|
+
const output = { label, type, factIndex };
|
|
39
|
+
const query = new QueryDescription(this.inputs, this.parameters, this.outputs.concat(output), this.facts, this.edges, this.notExistsConditions);
|
|
40
|
+
return query;
|
|
41
|
+
}
|
|
42
|
+
withEdge(predecessorFactIndex, successorFactIndex, roleParameter, path) {
|
|
43
|
+
const edge = {
|
|
44
|
+
edgeIndex: this.edges.length + countEdges(this.notExistsConditions) + 1,
|
|
45
|
+
predecessorFactIndex,
|
|
46
|
+
successorFactIndex,
|
|
47
|
+
roleParameter
|
|
48
|
+
};
|
|
49
|
+
const query = (path.length === 0)
|
|
50
|
+
? new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts, this.edges.concat(edge), this.notExistsConditions)
|
|
51
|
+
: new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts, this.edges, notExistsWithEdge(this.notExistsConditions, edge, path));
|
|
52
|
+
return query;
|
|
53
|
+
}
|
|
54
|
+
withNotExistsCondition(path) {
|
|
55
|
+
const { notExistsConditions: newNotExistsConditions, path: newPath } = notExistsWithCondition(this.notExistsConditions, path);
|
|
56
|
+
const query = new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts, this.edges, newNotExistsConditions);
|
|
57
|
+
return { query, path: newPath };
|
|
58
|
+
}
|
|
59
|
+
isSatisfiable() {
|
|
60
|
+
return this.inputs.length > 0;
|
|
61
|
+
}
|
|
62
|
+
hasOutput(label) {
|
|
63
|
+
return this.outputs.some(o => o.label === label);
|
|
64
|
+
}
|
|
65
|
+
inputByLabel(label) {
|
|
66
|
+
return this.inputs.find(i => i.label === label);
|
|
67
|
+
}
|
|
68
|
+
outputLength() {
|
|
69
|
+
return this.outputs.length;
|
|
70
|
+
}
|
|
71
|
+
generateResultSqlQuery() {
|
|
72
|
+
const columns = this.outputs
|
|
73
|
+
.map(output => `f${output.factIndex}.hash as hash${output.factIndex}, f${output.factIndex}.fact_id as id${output.factIndex}, f${output.factIndex}.data as data${output.factIndex}`)
|
|
74
|
+
.join(", ");
|
|
75
|
+
const firstEdge = this.edges[0];
|
|
76
|
+
const predecessorFact = this.inputs.find(i => i.factIndex === firstEdge.predecessorFactIndex);
|
|
77
|
+
const successorFact = this.inputs.find(i => i.factIndex === firstEdge.successorFactIndex);
|
|
78
|
+
const firstFactIndex = predecessorFact ? predecessorFact.factIndex : successorFact.factIndex;
|
|
79
|
+
const writtenFactIndexes = new Set().add(firstFactIndex);
|
|
80
|
+
const joins = generateJoins(this.edges, writtenFactIndexes);
|
|
81
|
+
const inputWhereClauses = this.inputs
|
|
82
|
+
.filter(input => input.factTypeParameter !== 0)
|
|
83
|
+
.map(input => `f${input.factIndex}.fact_type_id = $${input.factTypeParameter} AND f${input.factIndex}.hash = $${input.factHashParameter}`)
|
|
84
|
+
.join(" AND ");
|
|
85
|
+
const notExistsWhereClauses = this.notExistsConditions
|
|
86
|
+
.map(notExistsWhereClause => ` AND NOT EXISTS (${generateNotExistsWhereClause(notExistsWhereClause, writtenFactIndexes)})`)
|
|
87
|
+
.join("");
|
|
88
|
+
const orderByClause = this.outputs
|
|
89
|
+
.map(output => `f${output.factIndex}.fact_id ASC`)
|
|
90
|
+
.join(", ");
|
|
91
|
+
const sql = `SELECT ${columns} FROM public.fact f${firstFactIndex}${joins.join("")} WHERE ${inputWhereClauses}${notExistsWhereClauses} ORDER BY ${orderByClause}`;
|
|
92
|
+
return {
|
|
93
|
+
sql,
|
|
94
|
+
parameters: this.parameters,
|
|
95
|
+
labels: this.outputs.map(output => ({
|
|
96
|
+
name: output.label,
|
|
97
|
+
type: output.type,
|
|
98
|
+
index: output.factIndex
|
|
99
|
+
})),
|
|
100
|
+
bookmark: "[]"
|
|
101
|
+
};
|
|
102
|
+
}
|
|
103
|
+
}
|
|
104
|
+
// An unsatisfiable query description will produce no results.
|
|
105
|
+
QueryDescription.unsatisfiable = new QueryDescription([], [], [], [], [], []);
|
|
106
|
+
function notExistsWithEdge(notExistsConditions, edge, path) {
|
|
107
|
+
if (path.length === 1) {
|
|
108
|
+
return notExistsConditions.map((c, i) => i === path[0] ?
|
|
109
|
+
{
|
|
110
|
+
edges: [...c.edges, edge],
|
|
111
|
+
notExistsConditions: c.notExistsConditions
|
|
112
|
+
} :
|
|
113
|
+
c);
|
|
114
|
+
}
|
|
115
|
+
else {
|
|
116
|
+
return notExistsConditions.map((c, i) => i === path[0] ?
|
|
117
|
+
{
|
|
118
|
+
edges: c.edges,
|
|
119
|
+
notExistsConditions: notExistsWithEdge(c.notExistsConditions, edge, path.slice(1))
|
|
120
|
+
} :
|
|
121
|
+
c);
|
|
122
|
+
}
|
|
123
|
+
}
|
|
124
|
+
function notExistsWithCondition(notExistsConditions, path) {
|
|
125
|
+
if (path.length === 0) {
|
|
126
|
+
path = [notExistsConditions.length];
|
|
127
|
+
notExistsConditions = [
|
|
128
|
+
...notExistsConditions,
|
|
129
|
+
{
|
|
130
|
+
edges: [],
|
|
131
|
+
notExistsConditions: []
|
|
132
|
+
}
|
|
133
|
+
];
|
|
134
|
+
return { notExistsConditions, path };
|
|
135
|
+
}
|
|
136
|
+
else {
|
|
137
|
+
const { notExistsConditions: newNotExistsConditions, path: newPath } = notExistsWithCondition(notExistsConditions[path[0]].notExistsConditions, path.slice(1));
|
|
138
|
+
notExistsConditions = notExistsConditions.map((c, i) => i === path[0] ?
|
|
139
|
+
{
|
|
140
|
+
edges: c.edges,
|
|
141
|
+
notExistsConditions: newNotExistsConditions
|
|
142
|
+
} :
|
|
143
|
+
c);
|
|
144
|
+
path = [path[0], ...newPath];
|
|
145
|
+
return { notExistsConditions, path };
|
|
146
|
+
}
|
|
147
|
+
}
|
|
148
|
+
function generateJoins(edges, writtenFactIndexes) {
|
|
149
|
+
const joins = [];
|
|
150
|
+
edges.forEach(edge => {
|
|
151
|
+
if (writtenFactIndexes.has(edge.predecessorFactIndex)) {
|
|
152
|
+
if (writtenFactIndexes.has(edge.successorFactIndex)) {
|
|
153
|
+
joins.push(` JOIN public.edge e${edge.edgeIndex}` +
|
|
154
|
+
` ON e${edge.edgeIndex}.predecessor_fact_id = f${edge.predecessorFactIndex}.fact_id` +
|
|
155
|
+
` AND e${edge.edgeIndex}.successor_fact_id = f${edge.successorFactIndex}.fact_id` +
|
|
156
|
+
` AND e${edge.edgeIndex}.role_id = $${edge.roleParameter}`);
|
|
157
|
+
}
|
|
158
|
+
else {
|
|
159
|
+
joins.push(` JOIN public.edge e${edge.edgeIndex}` +
|
|
160
|
+
` ON e${edge.edgeIndex}.predecessor_fact_id = f${edge.predecessorFactIndex}.fact_id` +
|
|
161
|
+
` AND e${edge.edgeIndex}.role_id = $${edge.roleParameter}`);
|
|
162
|
+
joins.push(` JOIN public.fact f${edge.successorFactIndex}` +
|
|
163
|
+
` ON f${edge.successorFactIndex}.fact_id = e${edge.edgeIndex}.successor_fact_id`);
|
|
164
|
+
writtenFactIndexes.add(edge.successorFactIndex);
|
|
165
|
+
}
|
|
166
|
+
}
|
|
167
|
+
else if (writtenFactIndexes.has(edge.successorFactIndex)) {
|
|
168
|
+
joins.push(` JOIN public.edge e${edge.edgeIndex}` +
|
|
169
|
+
` ON e${edge.edgeIndex}.successor_fact_id = f${edge.successorFactIndex}.fact_id` +
|
|
170
|
+
` AND e${edge.edgeIndex}.role_id = $${edge.roleParameter}`);
|
|
171
|
+
joins.push(` JOIN public.fact f${edge.predecessorFactIndex}` +
|
|
172
|
+
` ON f${edge.predecessorFactIndex}.fact_id = e${edge.edgeIndex}.predecessor_fact_id`);
|
|
173
|
+
writtenFactIndexes.add(edge.predecessorFactIndex);
|
|
174
|
+
}
|
|
175
|
+
else {
|
|
176
|
+
throw new Error("Neither predecessor nor successor fact has been written");
|
|
177
|
+
}
|
|
178
|
+
});
|
|
179
|
+
return joins;
|
|
180
|
+
}
|
|
181
|
+
function generateNotExistsWhereClause(notExistsWhereClause, outerFactIndexes) {
|
|
182
|
+
const firstEdge = notExistsWhereClause.edges[0];
|
|
183
|
+
const writtenFactIndexes = new Set(outerFactIndexes);
|
|
184
|
+
const firstJoin = [];
|
|
185
|
+
const whereClause = [];
|
|
186
|
+
if (writtenFactIndexes.has(firstEdge.predecessorFactIndex)) {
|
|
187
|
+
if (writtenFactIndexes.has(firstEdge.successorFactIndex)) {
|
|
188
|
+
throw new Error("Not yet implemented");
|
|
189
|
+
}
|
|
190
|
+
else {
|
|
191
|
+
whereClause.push(`e${firstEdge.edgeIndex}.predecessor_fact_id = f${firstEdge.predecessorFactIndex}.fact_id` +
|
|
192
|
+
` AND e${firstEdge.edgeIndex}.role_id = $${firstEdge.roleParameter}`);
|
|
193
|
+
firstJoin.push(` JOIN public.fact f${firstEdge.successorFactIndex}` +
|
|
194
|
+
` ON f${firstEdge.successorFactIndex}.fact_id = e${firstEdge.edgeIndex}.successor_fact_id`);
|
|
195
|
+
writtenFactIndexes.add(firstEdge.successorFactIndex);
|
|
196
|
+
}
|
|
197
|
+
}
|
|
198
|
+
else if (writtenFactIndexes.has(firstEdge.successorFactIndex)) {
|
|
199
|
+
whereClause.push(`e${firstEdge.edgeIndex}.successor_fact_id = f${firstEdge.successorFactIndex}.fact_id` +
|
|
200
|
+
` AND e${firstEdge.edgeIndex}.role_id = $${firstEdge.roleParameter}`);
|
|
201
|
+
firstJoin.push(` JOIN public.fact f${firstEdge.predecessorFactIndex}` +
|
|
202
|
+
` ON f${firstEdge.predecessorFactIndex}.fact_id = e${firstEdge.edgeIndex}.predecessor_fact_id`);
|
|
203
|
+
writtenFactIndexes.add(firstEdge.predecessorFactIndex);
|
|
204
|
+
}
|
|
205
|
+
else {
|
|
206
|
+
throw new Error("Neither predecessor nor successor fact has been written");
|
|
207
|
+
}
|
|
208
|
+
const tailJoins = generateJoins(notExistsWhereClause.edges.slice(1), writtenFactIndexes);
|
|
209
|
+
const joins = firstJoin.concat(tailJoins);
|
|
210
|
+
return `SELECT 1 FROM public.edge e${firstEdge.edgeIndex}${joins.join("")} WHERE ${whereClause.join(" AND ")}`;
|
|
211
|
+
}
|
|
7
212
|
class ResultComposer {
|
|
8
213
|
constructor(sqlQuery, resultProjection, parentFactIdLength, childResultComposers) {
|
|
9
214
|
this.sqlQuery = sqlQuery;
|
|
@@ -121,9 +326,10 @@ class ResultComposer {
|
|
|
121
326
|
}
|
|
122
327
|
}
|
|
123
328
|
exports.ResultComposer = ResultComposer;
|
|
124
|
-
class ResultDescriptionBuilder
|
|
329
|
+
class ResultDescriptionBuilder {
|
|
125
330
|
constructor(factTypes, roleMap) {
|
|
126
|
-
|
|
331
|
+
this.factTypes = factTypes;
|
|
332
|
+
this.roleMap = roleMap;
|
|
127
333
|
}
|
|
128
334
|
buildDescription(start, specification) {
|
|
129
335
|
// Verify that the number of start facts equals the number of inputs
|
|
@@ -157,7 +363,7 @@ class ResultDescriptionBuilder extends query_description_builder_1.QueryDescript
|
|
|
157
363
|
// Initialize it with the inputs and facts.
|
|
158
364
|
// The DescriptionBuilder will branch at various points, and
|
|
159
365
|
// build on the current query description along each branch.
|
|
160
|
-
const initialQueryDescription = new
|
|
366
|
+
const initialQueryDescription = new QueryDescription(inputs, [], [], facts, [], []);
|
|
161
367
|
return this.createResultDescription(initialQueryDescription, specification.matches, specification.childProjections, givenFacts, []);
|
|
162
368
|
}
|
|
163
369
|
createResultDescription(queryDescription, matches, childProjections, knownFacts, path) {
|
|
@@ -233,6 +439,97 @@ class ResultDescriptionBuilder extends query_description_builder_1.QueryDescript
|
|
|
233
439
|
knownFacts
|
|
234
440
|
};
|
|
235
441
|
}
|
|
442
|
+
addPathCondition(queryDescription, knownFacts, path, unknown, prefix, condition) {
|
|
443
|
+
// If no input parameter has been allocated, allocate one now.
|
|
444
|
+
const input = queryDescription.inputByLabel(condition.labelRight);
|
|
445
|
+
if (input && input.factTypeParameter === 0) {
|
|
446
|
+
queryDescription = queryDescription.withInputParameter(input.label);
|
|
447
|
+
}
|
|
448
|
+
// Determine whether we have already written the output.
|
|
449
|
+
const knownFact = knownFacts[unknown.name];
|
|
450
|
+
const roleCount = condition.rolesLeft.length + condition.rolesRight.length;
|
|
451
|
+
// Walk up the right-hand side.
|
|
452
|
+
// This generates predecessor joins from a given or prior label.
|
|
453
|
+
let fact = knownFacts[condition.labelRight];
|
|
454
|
+
if (!fact) {
|
|
455
|
+
throw new Error(`Label ${condition.labelRight} not found. Known labels: ${Object.keys(knownFacts).join(", ")}`);
|
|
456
|
+
}
|
|
457
|
+
let type = fact.type;
|
|
458
|
+
let factIndex = fact.factIndex;
|
|
459
|
+
for (const [i, role] of condition.rolesRight.entries()) {
|
|
460
|
+
// If the type or role is not known, then no facts matching the condition can
|
|
461
|
+
// exist. The query is unsatisfiable.
|
|
462
|
+
const typeId = (0, maps_1.getFactTypeId)(this.factTypes, type);
|
|
463
|
+
if (!typeId) {
|
|
464
|
+
return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
|
|
465
|
+
}
|
|
466
|
+
const roleId = (0, maps_1.getRoleId)(this.roleMap, typeId, role.name);
|
|
467
|
+
if (!roleId) {
|
|
468
|
+
return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
|
|
469
|
+
}
|
|
470
|
+
const { query: queryWithParameter, parameterIndex: roleParameter } = queryDescription.withParameter(roleId);
|
|
471
|
+
if (i === roleCount - 1 && knownFact) {
|
|
472
|
+
// If we have already written the output, we can use the fact index.
|
|
473
|
+
queryDescription = queryWithParameter.withEdge(knownFact.factIndex, factIndex, roleParameter, path);
|
|
474
|
+
factIndex = knownFact.factIndex;
|
|
475
|
+
}
|
|
476
|
+
else {
|
|
477
|
+
// If we have not written the fact, we need to write it now.
|
|
478
|
+
const { query, factIndex: predecessorFactIndex } = queryWithParameter.withFact(role.targetType);
|
|
479
|
+
queryDescription = query.withEdge(predecessorFactIndex, factIndex, roleParameter, path);
|
|
480
|
+
factIndex = predecessorFactIndex;
|
|
481
|
+
}
|
|
482
|
+
type = role.targetType;
|
|
483
|
+
}
|
|
484
|
+
const rightType = type;
|
|
485
|
+
// Walk up the left-hand side.
|
|
486
|
+
// We will need to reverse this walk to generate successor joins.
|
|
487
|
+
type = unknown.type;
|
|
488
|
+
const newEdges = [];
|
|
489
|
+
for (const role of condition.rolesLeft) {
|
|
490
|
+
// If the type or role is not known, then no facts matching the condition can
|
|
491
|
+
// exist. The query is unsatisfiable.
|
|
492
|
+
const typeId = (0, maps_1.getFactTypeId)(this.factTypes, type);
|
|
493
|
+
if (!typeId) {
|
|
494
|
+
return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
|
|
495
|
+
}
|
|
496
|
+
const roleId = (0, maps_1.getRoleId)(this.roleMap, typeId, role.name);
|
|
497
|
+
if (!roleId) {
|
|
498
|
+
return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
|
|
499
|
+
}
|
|
500
|
+
newEdges.push({
|
|
501
|
+
roleId,
|
|
502
|
+
declaringType: type
|
|
503
|
+
});
|
|
504
|
+
type = role.targetType;
|
|
505
|
+
}
|
|
506
|
+
if (type !== rightType) {
|
|
507
|
+
throw new Error(`Type mismatch: ${type} is compared to ${rightType}`);
|
|
508
|
+
}
|
|
509
|
+
newEdges.reverse().forEach(({ roleId, declaringType }, i) => {
|
|
510
|
+
const { query: queryWithParameter, parameterIndex: roleParameter } = queryDescription.withParameter(roleId);
|
|
511
|
+
if (condition.rolesRight.length + i === roleCount - 1 && knownFact) {
|
|
512
|
+
queryDescription = queryWithParameter.withEdge(factIndex, knownFact.factIndex, roleParameter, path);
|
|
513
|
+
factIndex = knownFact.factIndex;
|
|
514
|
+
}
|
|
515
|
+
else {
|
|
516
|
+
const { query: queryWithFact, factIndex: successorFactIndex } = queryWithParameter.withFact(declaringType);
|
|
517
|
+
queryDescription = queryWithFact.withEdge(factIndex, successorFactIndex, roleParameter, path);
|
|
518
|
+
factIndex = successorFactIndex;
|
|
519
|
+
}
|
|
520
|
+
});
|
|
521
|
+
// If we have not captured the known fact, add it now.
|
|
522
|
+
if (!knownFact) {
|
|
523
|
+
knownFacts = Object.assign(Object.assign({}, knownFacts), { [unknown.name]: { factIndex, type: unknown.type } });
|
|
524
|
+
// If we have not written the output, write it now.
|
|
525
|
+
// Only write the output if we are not inside of an existential condition.
|
|
526
|
+
// Use the prefix, which will be set for projections.
|
|
527
|
+
if (path.length === 0) {
|
|
528
|
+
queryDescription = queryDescription.withOutput(prefix + unknown.name, unknown.type, factIndex);
|
|
529
|
+
}
|
|
530
|
+
}
|
|
531
|
+
return { queryDescription, knownFacts };
|
|
532
|
+
}
|
|
236
533
|
}
|
|
237
534
|
function idsEqual(a, b) {
|
|
238
535
|
return a.every((value, index) => value === b[index]);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"specification-result-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-result-sql.ts"],"names":[],"mappings":";;;AAWA,iCAA6D;AAC7D,2DAAiH;AACjH,2EAAsE;AA4CtE,MAAa,cAAc;IACvB,YACqB,QAA+B,EAC/B,gBAAkC,EAClC,kBAA0B,EAC1B,oBAA2C;QAH3C,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,qBAAgB,GAAhB,gBAAgB,CAAkB;QAClC,uBAAkB,GAAlB,kBAAkB,CAAQ;QAC1B,yBAAoB,GAApB,oBAAoB,CAAuB;IAC5D,CAAC;IAEE,aAAa;QAChB,MAAM,YAAY,GAAwB,EAAE,CAAC;QAC7C,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,YAAY,CAAC,IAAI,CAAC,iBACd,IAAI,EAAE,mBAAmB,CAAC,IAAI,IAC3B,mBAAmB,CAAC,cAAc,CAAC,aAAa,EAAE,EACvD,CAAC,CAAC;SACP;QACD,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY;SACf,CAAC;IACN,CAAC;IAEM,OAAO,CACV,UAAyB;QAEzB,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;YAC3B,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC;IACL,CAAC;IAEO,eAAe,CACnB,UAAyB;QAEzB,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;YACnB,OAAO,EAAE,CAAC;SACb;QAED,yCAAyC;QACzC,MAAM,iBAAiB,GAAwB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAC/B,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;SACjC,CAAC,CAAC,CAAC;QAEJ,wBAAwB;QACxB,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CACpE,cAAc,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,cAAc,EAAE;gBACjB,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC7F,MAAM,IAAI,KAAK,CAAC,oBAAoB,mBAAmB,CAAC,IAAI,kBAAkB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/G;YACD,MAAM,eAAe,GAAG,mBAAmB,CAAC,cAAc,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;YAE3F,wBAAwB;YACxB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,EAAE;gBAC9C,IAAI,OAAO,GAAU,EAAE,CAAC;gBACxB,IAAI,KAAK,GAAG,eAAe,CAAC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE;oBAC5G,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;oBACzC,KAAK,EAAE,CAAC;iBACX;gBACD,gBAAgB,CAAC,MAAM,mCAChB,gBAAgB,CAAC,MAAM,KAC1B,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,GACtC,CAAC;aACL;SACJ;QAED,gDAAgD;QAChD,MAAM,YAAY,GAAmB,EAAE,CAAC;QACxC,IAAI,aAAa,GAAa,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7F,IAAI,OAAO,GAAU,CAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;QACrD,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACvD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,EAAE;gBAC5C,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;aACzC;iBACI;gBACD,YAAY,CAAC,IAAI,CAAC;oBACd,aAAa;oBACb,OAAO;iBACV,CAAC,CAAC;gBACH,aAAa,GAAG,iBAAiB,CAAC;gBAClC,OAAO,GAAG,CAAE,gBAAgB,CAAC,MAAM,CAAE,CAAC;aACzC;SACJ;QACD,YAAY,CAAC,IAAI,CAAC;YACd,aAAa;YACb,OAAO;SACV,CAAC,CAAC;QACH,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,YAAY,CAAC,GAAQ;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,YAAY,CAAC,GAAQ;QACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE;YACvC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACzD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE;YACnF,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM;iBACtB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;iBAC9B,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACjB,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,IAChD,EAAE,EAAE,CAAC,CAAA;SACd;aACI;YACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,iBAAiB,EAAE,EAAE,CAAC,iCACzD,GAAG,KACN,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,iBAAiB,EAAE,GAAG,CAAC,IACrE,EAAE,EAAE,CAAC,CAAC;SACX;IACL,CAAC;IAEO,YAAY,CAAC,UAA6B,EAAE,GAAQ;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE;YAC7B,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;SAC7D;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;SACpC;IACL,CAAC;IAEO,aAAa,CAAC,UAA8B,EAAE,GAAQ;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IAEO,QAAQ,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,EAAE;YACR,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,6BAA6B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzH;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AAhJD,wCAgJC;AAOD,MAAM,wBAAyB,SAAQ,mDAAuB;IAC1D,YACI,SAAsB,EACtB,OAAgB;QAEhB,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,gBAAgB,CAAC,KAAsB,EAAE,aAA4B;QACjE,oEAAoE;QACpE,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE;YAC7C,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,MAAM,0CAA0C,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACtI;QACD,yDAAyD;QACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/C,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,sCAAsC,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;aAC5I;SACJ;QAED,wCAAwC;QACxC,kFAAkF;QAClF,MAAM,MAAM,GAAuB,aAAa,CAAC,KAAK;aACjD,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,UAAU,EAAE,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;YACrD,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;YACvB,iBAAiB,EAAE,CAAC;YACpB,iBAAiB,EAAE,CAAC;SACvB,CAAC,CAAC,CAAC;QACR,MAAM,KAAK,GAAsB,aAAa,CAAC,KAAK;aAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAC,CAAC;QACR,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,iCACjE,UAAU,KACb,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IACxB,EAAE,EAAsB,CAAC,CAAC;QAE5B,kDAAkD;QAClD,2CAA2C;QAC3C,4DAA4D;QAC5D,4DAA4D;QAC5D,MAAM,uBAAuB,GAAG,IAAI,oCAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC,uBAAuB,CAAC,uBAAuB,EAAE,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACxI,CAAC;IAEO,uBAAuB,CAAC,gBAAkC,EAAE,OAAgB,EAAE,gBAAkC,EAAE,UAA4B,EAAE,IAAc;QAClK,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAChG,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;YACnC,mDAAmD;YACnD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,EAAE;gBACpB,uBAAuB,EAAE,EAAE;aAC9B,CAAA;SACJ;QACD,MAAM,uBAAuB,GAA6B,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE;YACjC,MAAM,wBAAwB,GAAG,gBAAgB;iBAC5C,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,CAA8B,CAAC;YAC5F,MAAM,kBAAkB,GAAG,gBAAgB;iBACtC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAwB,CAAC;YAC5G,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE;gBAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;gBACrI,uBAAuB,CAAC,IAAI,iBACxB,IAAI,EAAE,KAAK,CAAC,IAAI,IACb,sBAAsB,EAC3B,CAAC;aACN;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,kBAAkB;gBACpC,uBAAuB;aAC1B,CAAC;SACL;aACI;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,gBAAgB;gBAClC,uBAAuB,EAAE,EAAE;aAC9B,CAAA;SACJ;IACL,CAAC;IAEO,QAAQ,CAAC,gBAAkC,EAAE,UAA4B,EAAE,IAAc,EAAE,OAAgB;QAC/G,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE;gBACtC,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE;oBAC3B,CAAC,EAAC,gBAAgB,EAAE,UAAU,EAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;iBAC9H;qBACI,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE;oBACvC,IAAI,SAAS,CAAC,MAAM,EAAE;wBAClB,kEAAkE;wBAClE,qBAAqB;wBACrB,CAAC,EAAE,gBAAgB,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;qBACjG;yBACI;wBACD,uEAAuE;wBACvE,8EAA8E;wBAC9E,+EAA+E;wBAC/E,MAAM,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;wBACrH,MAAM,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,4BAA4B,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBAEtJ,iEAAiE;wBACjE,qDAAqD;wBACrD,2EAA2E;wBAC3E,IAAI,2BAA2B,CAAC,aAAa,EAAE,EAAE;4BAC7C,gBAAgB,GAAG,2BAA2B,CAAC;yBAClD;qBACJ;iBACJ;gBACD,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;oBACnC,MAAM;iBACT;aACJ;YACD,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;gBACnC,MAAM;aACT;SACJ;QACD,OAAO;YACH,gBAAgB;YAChB,UAAU;SACb,CAAC;IACN,CAAC;CACJ;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACtC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAgB,0BAA0B,CAAC,KAAsB,EAAE,aAA4B,EAAE,SAAsB,EAAE,OAAgB;IACrI,MAAM,kBAAkB,GAAG,IAAI,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAE9E,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QAC/C,OAAO,IAAI,CAAC;KACf;IACD,OAAO,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAChD,CAAC;AARD,gEAQC;AAED,SAAS,oBAAoB,CAAC,WAA8B,EAAE,kBAA0B;IACpF,MAAM,QAAQ,GAAG,WAAW,CAAC,gBAAgB,CAAC,sBAAsB,EAAE,CAAC;IACvE,MAAM,gBAAgB,GAAG,WAAW,CAAC,gBAAgB,CAAC;IACtD,MAAM,oBAAoB,GAAG,WAAW,CAAC,uBAAuB;SAC3D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;SACvD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,cAAc,EAAE,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,CAAC;KAC3F,CAAC,CAAC,CAAC;IACR,OAAO,IAAI,cAAc,CAAC,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AACpG,CAAC"}
|
|
1
|
+
{"version":3,"file":"specification-result-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-result-sql.ts"],"names":[],"mappings":";;;AAaA,iCAAwE;AA0BvE,CAAC;AAeF,SAAS,UAAU,CAAC,mBAAoD;IACpE,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,EACtG,CAAC,CAAC,CAAC;AACX,CAAC;AAED,MAAM,gBAAgB;IAMlB,YACqB,MAA0B,EAC1B,UAA+B,EAC/B,OAA4B,EAC5B,KAAwB,EACxB,KAAwB,EACxB,sBAAuD,EAAE;QALzD,WAAM,GAAN,MAAM,CAAoB;QAC1B,eAAU,GAAV,UAAU,CAAqB;QAC/B,YAAO,GAAP,OAAO,CAAqB;QAC5B,UAAK,GAAL,KAAK,CAAmB;QACxB,UAAK,GAAL,KAAK,CAAmB;QACxB,wBAAmB,GAAnB,mBAAmB,CAAsC;IAC3E,CAAC;IAEG,aAAa,CAAC,SAA0B;QAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EACjC,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IACrC,CAAC;IAEM,kBAAkB,CAAC,KAAa;QACnC,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QACrD,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK;YACzD,CAAC,iCAAM,KAAK,KAAE,iBAAiB,EAAE,iBAAiB,IAClD,CAAC,CAAC,KAAK,CACV,CAAC;QACF,OAAO,IAAI,gBAAgB,CACvB,MAAM,EACN,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,EACxD,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;IACN,CAAC;IAEM,QAAQ,CAAC,IAAY;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACvB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAChC,CAAC;IAEM,UAAU,CAAC,KAAa,EAAE,IAAY,EAAE,SAAiB;QAC5D,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3B,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;QACF,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,QAAQ,CAAC,oBAA4B,EAAE,kBAA0B,EAAE,aAAqB,EAAE,IAAc;QAC3G,MAAM,IAAI,GAAG;YACT,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC;YACvE,oBAAoB;YACpB,kBAAkB;YAClB,aAAa;SAChB,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;YAC7B,CAAC,CAAC,IAAI,gBAAgB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACvB,IAAI,CAAC,mBAAmB,CAC3B;YACD,CAAC,CAAC,IAAI,gBAAgB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,iBAAiB,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,CAC1D,CAAC;QACN,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,sBAAsB,CAAC,IAAc;QACxC,MAAM,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,sBAAsB,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;QAC9H,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,sBAAsB,CACzB,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACpC,CAAC;IAED,aAAa;QACT,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,SAAS,CAAC,KAAa;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,YAAY,CAAC,KAAa;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,YAAY;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IAC/B,CAAC;IAED,sBAAsB;QAClB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;aACvB,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,MAAM,MAAM,CAAC,SAAS,iBAAiB,MAAM,CAAC,SAAS,MAAM,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,EAAE,CAAC;aAClL,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC9F,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC1F,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC;QAC7F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,KAAK,GAAa,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACtE,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM;aAChC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC;aAC9C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;aACzI,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,qBAAqB,GAAG,IAAI,CAAC,mBAAmB;aACjD,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,4BAA4B,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,GAAG,CAAC;aAC1H,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO;aAC7B,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,cAAc,CAAC;aACjD,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,GAAG,GAAG,UAAU,OAAO,sBAAsB,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,qBAAqB,aAAa,aAAa,EAAE,CAAC;QAClK,OAAO;YACH,GAAG;YACH,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,EAAE,MAAM,CAAC,KAAK;gBAClB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,SAAS;aAC1B,CAAC,CAAC;YACH,QAAQ,EAAE,IAAI;SACjB,CAAC;IACN,CAAC;;AA/JD,8DAA8D;AACvD,8BAAa,GAAqB,IAAI,gBAAgB,CACzD,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CACzB,CAAC;AA+JN,SAAS,iBAAiB,CAAC,mBAAoD,EAAE,IAA6G,EAAE,IAAc;IAC1M,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;QACnB,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD;gBACI,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC;gBACzB,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;aAC7C,CAAC,CAAC;YACH,CAAC,CACJ,CAAC;KACL;SACI;QACD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD;gBACI,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,mBAAmB,EAAE,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;aACrF,CAAC,CAAC;YACH,CAAC,CACJ,CAAC;KACL;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,mBAAoD,EAAE,IAAc;IAChG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;QACnB,IAAI,GAAG,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACpC,mBAAmB,GAAG;YAClB,GAAG,mBAAmB;YACtB;gBACI,KAAK,EAAE,EAAE;gBACT,mBAAmB,EAAE,EAAE;aAC1B;SACJ,CAAC;QACF,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;KACxC;SACI;QACD,MAAM,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,sBAAsB,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/J,mBAAmB,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE;gBACI,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,mBAAmB,EAAE,sBAAsB;aAC9C,CAAC,CAAC;YACH,CAAC,CACJ,CAAC;QACF,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC;QAC7B,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;KACxC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAAwB,EAAE,kBAA+B;IAC5E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE;YACnD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,SAAS,EAAE;oBACtC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;oBACjF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;aACL;iBACI;gBACD,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,SAAS,EAAE;oBACtC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;gBACF,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,kBAAkB,EAAE;oBAC/C,QAAQ,IAAI,CAAC,kBAAkB,eAAe,IAAI,CAAC,SAAS,oBAAoB,CACnF,CAAC;gBACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;aACnD;SACJ;aACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;YACtD,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,SAAS,EAAE;gBACtC,QAAQ,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;gBAChF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;YACF,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,oBAAoB,EAAE;gBACjD,QAAQ,IAAI,CAAC,oBAAoB,eAAe,IAAI,CAAC,SAAS,sBAAsB,CACvF,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SACrD;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;SAC9E;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,oBAAmD,EAAE,gBAA6B;IACpH,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE;QACxD,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;YACtD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SAC1C;aACI;YACD,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,2BAA2B,SAAS,CAAC,oBAAoB,UAAU;gBAC1F,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;YACF,SAAS,CAAC,IAAI,CACV,sBAAsB,SAAS,CAAC,kBAAkB,EAAE;gBACpD,QAAQ,SAAS,CAAC,kBAAkB,eAAe,SAAS,CAAC,SAAS,oBAAoB,CAC7F,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;SACxD;KACJ;SACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;QAC3D,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,yBAAyB,SAAS,CAAC,kBAAkB,UAAU;YACtF,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;QACF,SAAS,CAAC,IAAI,CACV,sBAAsB,SAAS,CAAC,oBAAoB,EAAE;YACtD,QAAQ,SAAS,CAAC,oBAAoB,eAAe,SAAS,CAAC,SAAS,sBAAsB,CACjG,CAAC;QACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;KAC1D;SACI;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;KAC9E;IACD,MAAM,SAAS,GAAa,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACnG,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,OAAO,8BAA8B,SAAS,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;AACnH,CAAC;AA4CD,MAAa,cAAc;IACvB,YACqB,QAA+B,EAC/B,gBAAkC,EAClC,kBAA0B,EAC1B,oBAA2C;QAH3C,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,qBAAgB,GAAhB,gBAAgB,CAAkB;QAClC,uBAAkB,GAAlB,kBAAkB,CAAQ;QAC1B,yBAAoB,GAApB,oBAAoB,CAAuB;IAC5D,CAAC;IAEE,aAAa;QAChB,MAAM,YAAY,GAAwB,EAAE,CAAC;QAC7C,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,YAAY,CAAC,IAAI,CAAC,iBACd,IAAI,EAAE,mBAAmB,CAAC,IAAI,IAC3B,mBAAmB,CAAC,cAAc,CAAC,aAAa,EAAE,EACvD,CAAC,CAAC;SACP;QACD,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY;SACf,CAAC;IACN,CAAC;IAEM,OAAO,CACV,UAAyB;QAEzB,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;YAC3B,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC;IACL,CAAC;IAEO,eAAe,CACnB,UAAyB;QAEzB,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;YACnB,OAAO,EAAE,CAAC;SACb;QAED,yCAAyC;QACzC,MAAM,iBAAiB,GAAwB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAC/B,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;SACjC,CAAC,CAAC,CAAC;QAEJ,wBAAwB;QACxB,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CACpE,cAAc,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,cAAc,EAAE;gBACjB,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC7F,MAAM,IAAI,KAAK,CAAC,oBAAoB,mBAAmB,CAAC,IAAI,kBAAkB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/G;YACD,MAAM,eAAe,GAAG,mBAAmB,CAAC,cAAc,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;YAE3F,wBAAwB;YACxB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,EAAE;gBAC9C,IAAI,OAAO,GAAU,EAAE,CAAC;gBACxB,IAAI,KAAK,GAAG,eAAe,CAAC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE;oBAC5G,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;oBACzC,KAAK,EAAE,CAAC;iBACX;gBACD,gBAAgB,CAAC,MAAM,mCAChB,gBAAgB,CAAC,MAAM,KAC1B,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,GACtC,CAAC;aACL;SACJ;QAED,gDAAgD;QAChD,MAAM,YAAY,GAAmB,EAAE,CAAC;QACxC,IAAI,aAAa,GAAa,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7F,IAAI,OAAO,GAAU,CAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;QACrD,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACvD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,EAAE;gBAC5C,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;aACzC;iBACI;gBACD,YAAY,CAAC,IAAI,CAAC;oBACd,aAAa;oBACb,OAAO;iBACV,CAAC,CAAC;gBACH,aAAa,GAAG,iBAAiB,CAAC;gBAClC,OAAO,GAAG,CAAE,gBAAgB,CAAC,MAAM,CAAE,CAAC;aACzC;SACJ;QACD,YAAY,CAAC,IAAI,CAAC;YACd,aAAa;YACb,OAAO;SACV,CAAC,CAAC;QACH,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,YAAY,CAAC,GAAQ;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,YAAY,CAAC,GAAQ;QACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE;YACvC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACzD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE;YACnF,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM;iBACtB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;iBAC9B,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACjB,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,IAChD,EAAE,EAAE,CAAC,CAAA;SACd;aACI;YACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,iBAAiB,EAAE,EAAE,CAAC,iCACzD,GAAG,KACN,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,iBAAiB,EAAE,GAAG,CAAC,IACrE,EAAE,EAAE,CAAC,CAAC;SACX;IACL,CAAC;IAEO,YAAY,CAAC,UAA6B,EAAE,GAAQ;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE;YAC7B,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;SAC7D;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;SACpC;IACL,CAAC;IAEO,aAAa,CAAC,UAA8B,EAAE,GAAQ;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IAEO,QAAQ,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,EAAE;YACR,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,6BAA6B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzH;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AAhJD,wCAgJC;AAOD,MAAM,wBAAwB;IAC1B,YACY,SAAsB,EACtB,OAAgB;QADhB,cAAS,GAAT,SAAS,CAAa;QACtB,YAAO,GAAP,OAAO,CAAS;IACxB,CAAC;IAEL,gBAAgB,CAAC,KAAsB,EAAE,aAA4B;QACjE,oEAAoE;QACpE,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE;YAC7C,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,MAAM,0CAA0C,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACtI;QACD,yDAAyD;QACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/C,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,sCAAsC,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;aAC5I;SACJ;QAED,wCAAwC;QACxC,kFAAkF;QAClF,MAAM,MAAM,GAAuB,aAAa,CAAC,KAAK;aACjD,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,UAAU,EAAE,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;YACrD,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;YACvB,iBAAiB,EAAE,CAAC;YACpB,iBAAiB,EAAE,CAAC;SACvB,CAAC,CAAC,CAAC;QACR,MAAM,KAAK,GAAsB,aAAa,CAAC,KAAK;aAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAC,CAAC;QACR,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,iCACjE,UAAU,KACb,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IACxB,EAAE,EAAsB,CAAC,CAAC;QAE5B,kDAAkD;QAClD,2CAA2C;QAC3C,4DAA4D;QAC5D,4DAA4D;QAC5D,MAAM,uBAAuB,GAAG,IAAI,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC,uBAAuB,CAAC,uBAAuB,EAAE,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACxI,CAAC;IAEO,uBAAuB,CAAC,gBAAkC,EAAE,OAAgB,EAAE,gBAAkC,EAAE,UAA4B,EAAE,IAAc;QAClK,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAChG,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;YACnC,mDAAmD;YACnD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,EAAE;gBACpB,uBAAuB,EAAE,EAAE;aAC9B,CAAA;SACJ;QACD,MAAM,uBAAuB,GAA6B,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE;YACjC,MAAM,wBAAwB,GAAG,gBAAgB;iBAC5C,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,CAA8B,CAAC;YAC5F,MAAM,kBAAkB,GAAG,gBAAgB;iBACtC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAwB,CAAC;YAC5G,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE;gBAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;gBACrI,uBAAuB,CAAC,IAAI,iBACxB,IAAI,EAAE,KAAK,CAAC,IAAI,IACb,sBAAsB,EAC3B,CAAC;aACN;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,kBAAkB;gBACpC,uBAAuB;aAC1B,CAAC;SACL;aACI;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,gBAAgB;gBAClC,uBAAuB,EAAE,EAAE;aAC9B,CAAA;SACJ;IACL,CAAC;IAEO,QAAQ,CAAC,gBAAkC,EAAE,UAA4B,EAAE,IAAc,EAAE,OAAgB;QAC/G,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE;gBACtC,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE;oBAC3B,CAAC,EAAC,gBAAgB,EAAE,UAAU,EAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;iBAC9H;qBACI,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE;oBACvC,IAAI,SAAS,CAAC,MAAM,EAAE;wBAClB,kEAAkE;wBAClE,qBAAqB;wBACrB,CAAC,EAAE,gBAAgB,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;qBACjG;yBACI;wBACD,uEAAuE;wBACvE,8EAA8E;wBAC9E,+EAA+E;wBAC/E,MAAM,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;wBACrH,MAAM,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,4BAA4B,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBAEtJ,iEAAiE;wBACjE,qDAAqD;wBACrD,2EAA2E;wBAC3E,IAAI,2BAA2B,CAAC,aAAa,EAAE,EAAE;4BAC7C,gBAAgB,GAAG,2BAA2B,CAAC;yBAClD;qBACJ;iBACJ;gBACD,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;oBACnC,MAAM;iBACT;aACJ;YACD,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;gBACnC,MAAM;aACT;SACJ;QACD,OAAO;YACH,gBAAgB;YAChB,UAAU;SACb,CAAC;IACN,CAAC;IAEO,gBAAgB,CAAC,gBAAkC,EAAE,UAA4B,EAAE,IAAc,EAAE,OAAc,EAAE,MAAc,EAAE,SAAwB;QAC/J,8DAA8D;QAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,KAAK,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,EAAE;YACxC,gBAAgB,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;SACvE;QAED,wDAAwD;QACxD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC;QAE3E,+BAA+B;QAC/B,gEAAgE;QAChE,IAAI,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,EAAE;YACP,MAAM,IAAI,KAAK,CAAC,SAAS,SAAS,CAAC,UAAU,6BAA6B,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACnH;QACD,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,IAAI,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE;YACpD,6EAA6E;YAC7E,qCAAqC;YACrC,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,aAAa,EAAE,UAAU,EAAE,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,aAAa,EAAE,UAAU,EAAE,CAAC;aAC3E;YAED,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC5G,IAAI,CAAC,KAAK,SAAS,GAAG,CAAC,IAAI,SAAS,EAAE;gBAClC,oEAAoE;gBACpE,gBAAgB,GAAG,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;gBACpG,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;aACnC;iBACI;gBACD,4DAA4D;gBAC5D,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAChG,gBAAgB,GAAG,KAAK,CAAC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;gBACxF,SAAS,GAAG,oBAAoB,CAAC;aACpC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;SAC1B;QAED,MAAM,SAAS,GAAG,IAAI,CAAC;QAEvB,8BAA8B;QAC9B,iEAAiE;QACjE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACpB,MAAM,QAAQ,GAGR,EAAE,CAAC;QACT,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,SAAS,EAAE;YACpC,6EAA6E;YAC7E,qCAAqC;YACrC,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,aAAa,EAAE,UAAU,EAAE,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,aAAa,EAAE,UAAU,EAAE,CAAC;aAC3E;YAED,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM;gBACN,aAAa,EAAE,IAAI;aACtB,CAAC,CAAC;YACH,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;SAC1B;QAED,IAAI,IAAI,KAAK,SAAS,EAAE;YACpB,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,mBAAmB,SAAS,EAAE,CAAC,CAAC;SACzE;QAED,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE;YACxD,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC5G,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,KAAK,SAAS,GAAG,CAAC,IAAI,SAAS,EAAE;gBAChE,gBAAgB,GAAG,kBAAkB,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;gBACpG,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;aACnC;iBACI;gBACD,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,kBAAkB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBAC3G,gBAAgB,GAAG,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;gBAC9F,SAAS,GAAG,kBAAkB,CAAC;aAClC;QACL,CAAC,CAAC,CAAC;QAEH,sDAAsD;QACtD,IAAI,CAAC,SAAS,EAAE;YACZ,UAAU,mCAAQ,UAAU,KAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAE,CAAC;YAClF,mDAAmD;YACnD,0EAA0E;YAC1E,qDAAqD;YACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;gBACnB,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;aAClG;SACJ;QACD,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;IAC5C,CAAC;CACJ;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACtC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAgB,0BAA0B,CAAC,KAAsB,EAAE,aAA4B,EAAE,SAAsB,EAAE,OAAgB;IACrI,MAAM,kBAAkB,GAAG,IAAI,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAE9E,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QAC/C,OAAO,IAAI,CAAC;KACf;IACD,OAAO,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAChD,CAAC;AARD,gEAQC;AAED,SAAS,oBAAoB,CAAC,WAA8B,EAAE,kBAA0B;IACpF,MAAM,QAAQ,GAAG,WAAW,CAAC,gBAAgB,CAAC,sBAAsB,EAAE,CAAC;IACvE,MAAM,gBAAgB,GAAG,WAAW,CAAC,gBAAgB,CAAC;IACtD,MAAM,oBAAoB,GAAG,WAAW,CAAC,uBAAuB;SAC3D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;SACvD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,cAAc,EAAE,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,CAAC;KAC3F,CAAC,CAAC,CAAC;IACR,OAAO,IAAI,cAAc,CAAC,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AACpG,CAAC"}
|
|
@@ -1,3 +1,14 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
|
|
1
|
+
import { FactReference, Feed, Specification } from "jinaga";
|
|
2
|
+
interface SpecificationLabel {
|
|
3
|
+
type: string;
|
|
4
|
+
index: number;
|
|
5
|
+
}
|
|
6
|
+
interface SpecificationSqlQuery {
|
|
7
|
+
sql: string;
|
|
8
|
+
parameters: (string | number | number[])[];
|
|
9
|
+
labels: SpecificationLabel[];
|
|
10
|
+
bookmark: string;
|
|
11
|
+
}
|
|
12
|
+
export declare function sqlFromSpecification(start: FactReference[], bookmarks: string[], limit: number, specification: Specification, factTypes: Map<string, number>, roleMap: Map<number, Map<string, number>>): SpecificationSqlQuery[];
|
|
13
|
+
export declare function sqlFromFeed(feed: Feed, bookmark: string, limit: number, factTypes: Map<string, number>, roleMap: Map<number, Map<string, number>>): SpecificationSqlQuery | null;
|
|
14
|
+
export {};
|