jinaga-server 2.6.1 → 3.0.0

package/dist/postgres/sql.js

@@ -1,408 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.sqlFromSteps = void 0;
-const jinaga_1 = require("jinaga");
-const maps_1 = require("./maps");
-function sqlFromSteps(start, steps, factTypes, roleMap, schema) {
-    const builder = new QueryBuilder(factTypes, roleMap);
-    return builder.buildQuery(start, steps, schema);
-}
-exports.sqlFromSteps = sqlFromSteps;
-;
-class QueryBuilder {
-    constructor(factTypes, roleMap) {
-        this.factTypes = factTypes;
-        this.roleMap = roleMap;
-        this.nextEdge = 1;
-        this.nextFact = 2;
-        this.shouldEmitFacts = true;
-        this.queryParts = {
-            joins: [],
-            existentialClauses: []
-        };
-        this.roleIds = [];
-        this.factTypeNames = [];
-    }
-    buildQuery(start, steps, schema) {
-        if (steps.length === 0) {
-            return null;
-        }
-        const startTypeId = (0, maps_1.ensureGetFactTypeId)(this.factTypes, start.type);
-        const startState = {
-            state: 'start',
-            typeId: startTypeId,
-            typeName: start.type
-        };
-        const finalState = steps.reduce((state, step) => {
-            return this.matchStep(state, step);
-        }, startState);
-        this.end(finalState);
-        if (finalState.state === 'empty') {
-            return {
-                empty: true,
-                sql: '',
-                parameters: [],
-                pathLength: 0,
-                factTypeNames: []
-            };
-        }
-        const factAliases = this.queryParts.joins
-            .filter(j => j.table === 'fact')
-            .map(j => j.factAlias);
-        const hashes = factAliases.map(a => `f${a}.hash as hash${a}`).join(', ');
-        const joins = this.buildJoins(schema, this.queryParts.joins, 'f1.fact_id');
-        const whereClause = this.buildWhereClause(schema, this.queryParts.existentialClauses);
-        const sql = `SELECT ${hashes} FROM ${schema}.fact f1${joins} WHERE f1.fact_type_id = $1 AND f1.hash = $2${whereClause}`;
-        return {
-            empty: false,
-            sql,
-            parameters: [startTypeId, start.hash, ...this.roleIds],
-            pathLength: factAliases.length,
-            factTypeNames: this.factTypeNames
-        };
-    }
-    buildJoins(schema, joins, priorFactId) {
-        ;
-        const initialJoins = {
-            priorFactId,
-            clauses: []
-        };
-        const clauses = joins.reduce((joins, join) => {
-            if (join.table === 'edge') {
-                if (join.direction === 'successor') {
-                    const clause = ` JOIN ${schema}.edge e${join.edgeAlias} ` +
-                        `ON e${join.edgeAlias}.predecessor_fact_id = ${joins.priorFactId} ` +
-                        `AND e${join.edgeAlias}.role_id = $${join.roleParameter}`;
-                    return {
-                        priorFactId: `e${join.edgeAlias}.successor_fact_id`,
-                        clauses: [...joins.clauses, clause]
-                    };
-                }
-                else {
-                    const clause = ` JOIN ${schema}.edge e${join.edgeAlias} ` +
-                        `ON e${join.edgeAlias}.successor_fact_id = ${joins.priorFactId} ` +
-                        `AND e${join.edgeAlias}.role_id = $${join.roleParameter}`;
-                    return {
-                        priorFactId: `e${join.edgeAlias}.predecessor_fact_id`,
-                        clauses: [...joins.clauses, clause]
-                    };
-                }
-            }
-            else {
-                const clause = ` JOIN ${schema}.fact f${join.factAlias} ON f${join.factAlias}.fact_id = ${joins.priorFactId}`;
-                return {
-                    priorFactId: joins.priorFactId,
-                    clauses: [...joins.clauses, clause]
-                };
-            }
-        }, initialJoins).clauses;
-        return clauses.join('');
-    }
-    buildWhereClause(schema, existentialClauses) {
-        if (existentialClauses.length === 0) {
-            return '';
-        }
-        const clauses = existentialClauses.map(clause => {
-            const quantifierSql = clause.quantifier === jinaga_1.Quantifier.Exists ? 'EXISTS' : 'NOT EXISTS';
-            const [first, ...rest] = clause.query.joins;
-            const firstHeadFactId = first.direction === 'predecessor'
-                ? `e${first.edgeAlias}.predecessor_fact_id`
-                : `e${first.edgeAlias}.successor_fact_id`;
-            const firstTailFactId = first.direction === 'predecessor'
-                ? `e${first.edgeAlias}.successor_fact_id`
-                : `e${first.edgeAlias}.predecessor_fact_id`;
-            const joins = this.buildJoins(schema, rest, firstHeadFactId);
-            const priorFactId = clause.priorEdgeJoin.direction === 'predecessor'
-                ? `e${clause.priorEdgeJoin.edgeAlias}.predecessor_fact_id`
-                : `e${clause.priorEdgeJoin.edgeAlias}.successor_fact_id`;
-            const whereClause = this.buildWhereClause(schema, clause.query.existentialClauses);
-            return ` AND ${quantifierSql} (SELECT 1 FROM ${schema}.edge e${first.edgeAlias}${joins} ` +
-                `WHERE ${firstTailFactId} = ${priorFactId} ` +
-                `AND e${first.edgeAlias}.role_id = $${first.roleParameter}${whereClause})`;
-        });
-        return clauses.join('');
-    }
-    buildNestedSql(typeId, typeName, steps) {
-        // Push a new query to the stack.
-        const parentQuery = this.queryParts;
-        const parentShouldEmitFact = this.shouldEmitFacts;
-        this.shouldEmitFacts = false;
-        this.queryParts = {
-            joins: [],
-            existentialClauses: []
-        };
-        const startState = {
-            state: 'predecessor-type',
-            typeId: typeId,
-            typeName: typeName
-        };
-        const finalState = steps.reduce((state, step) => {
-            return this.matchStep(state, step);
-        }, startState);
-        this.end(finalState);
-        // Pop the stack and return the nested query.
-        const nestedQuery = this.queryParts;
-        this.shouldEmitFacts = parentShouldEmitFact;
-        this.queryParts = parentQuery;
-        // If the nested query cannot match any results, return null.
-        if (finalState.state === 'empty') {
-            return null;
-        }
-        return nestedQuery;
-    }
-    matchStep(state, step) {
-        switch (state.state) {
-            case 'start':
-                return this.matchStepStart(state, step);
-            case 'predecessor-type':
-                return this.matchStepPredecessorType(state, step);
-            case 'predecessor-join':
-                return this.matchStepPredecessorJoin(state, step);
-            case 'successor-join':
-                return this.matchStepSuccessorJoin(state, step);
-            case 'successor-type':
-                return this.matchStepSuccessorType(state, step);
-            case 'empty':
-                return state;
-            default:
-                throw new Error(`Unknown state: ${state.state}`);
-        }
-    }
-    matchStepStart(state, step) {
-        if (step instanceof jinaga_1.PropertyCondition) {
-            if (step.name !== 'type') {
-                throw new Error(`Property condition on non-type property ${step.name}`);
-            }
-            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
-            if (typeId !== state.typeId) {
-                throw new Error(`Two property conditions in a row on different types, ending in ${step.value}`);
-            }
-            return state;
-        }
-        else if (step instanceof jinaga_1.Join) {
-            if (step.direction === jinaga_1.Direction.Predecessor) {
-                const roleId = (0, maps_1.getRoleId)(this.roleMap, state.typeId, step.role);
-                if (!roleId) {
-                    return {
-                        state: 'empty'
-                    };
-                }
-                this.emitEdge('predecessor', roleId);
-                return {
-                    state: 'predecessor-join',
-                    position: `${state.typeName}.${step.role}`
-                };
-            }
-            else if (step.direction === jinaga_1.Direction.Successor) {
-                return {
-                    state: 'successor-join',
-                    role: step.role
-                };
-            }
-            else {
-                throw new Error(`Unknown direction ${step.direction}`);
-            }
-        }
-        else if (step instanceof jinaga_1.ExistentialCondition) {
-            return this.pushExistentialCondition(state.typeId, state.typeName, state, step);
-        }
-        else {
-            throw new Error(`Unknown step ${step.constructor.name}`);
-        }
-    }
-    matchStepPredecessorType(state, step) {
-        if (step instanceof jinaga_1.PropertyCondition) {
-            if (step.name !== 'type') {
-                throw new Error(`Property condition on non-type property ${step.name}`);
-            }
-            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
-            if (typeId !== state.typeId) {
-                throw new Error(`Two property conditions in a row on different types, ending in ${step.value}`);
-            }
-            return state;
-        }
-        else if (step instanceof jinaga_1.Join) {
-            if (step.direction === jinaga_1.Direction.Predecessor) {
-                const roleId = (0, maps_1.getRoleId)(this.roleMap, state.typeId, step.role);
-                if (!roleId) {
-                    return {
-                        state: 'empty'
-                    };
-                }
-                this.emitFact(state.typeName);
-                this.emitEdge('predecessor', roleId);
-                return {
-                    state: 'predecessor-join',
-                    position: `${state.typeName}.${step.role}`
-                };
-            }
-            else if (step.direction === jinaga_1.Direction.Successor) {
-                this.emitFact(state.typeName);
-                return {
-                    state: 'successor-join',
-                    role: step.role
-                };
-            }
-            else {
-                throw new Error(`Unknown direction ${step.direction}`);
-            }
-        }
-        else if (step instanceof jinaga_1.ExistentialCondition) {
-            return this.pushExistentialCondition(state.typeId, state.typeName, state, step);
-        }
-        else {
-            throw new Error(`Unknown step ${step.constructor.name}`);
-        }
-    }
-    matchStepPredecessorJoin(state, step) {
-        if (step instanceof jinaga_1.PropertyCondition) {
-            if (step.name !== 'type') {
-                throw new Error(`Property condition on non-type property ${step.name}`);
-            }
-            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
-            if (!typeId) {
-                return {
-                    state: 'empty'
-                };
-            }
-            return {
-                state: 'predecessor-type',
-                typeId,
-                typeName: step.value
-            };
-        }
-        else {
-            throw new Error(`Missing type of "${state.position}"`);
-        }
-    }
-    matchStepSuccessorJoin(state, step) {
-        if (step instanceof jinaga_1.PropertyCondition) {
-            if (step.name !== 'type') {
-                throw new Error(`Property condition on non-type property ${step.name}`);
-            }
-            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
-            if (!typeId) {
-                return {
-                    state: 'empty'
-                };
-            }
-            const roleId = (0, maps_1.getRoleId)(this.roleMap, typeId, state.role);
-            if (!roleId) {
-                return {
-                    state: 'empty'
-                };
-            }
-            this.emitEdge('successor', roleId);
-            return {
-                state: 'successor-type',
-                typeId: typeId,
-                typeName: step.value
-            };
-        }
-        else {
-            throw new Error(`Missing type for role ${state.role}`);
-        }
-    }
-    matchStepSuccessorType(state, step) {
-        if (step instanceof jinaga_1.PropertyCondition) {
-            if (step.name !== 'type') {
-                throw new Error(`Property condition on non-type property ${step.name}`);
-            }
-            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
-            if (typeId !== state.typeId) {
-                throw new Error(`Two property conditions in a row on different types, ending in ${step.value}`);
-            }
-            return state;
-        }
-        else if (step instanceof jinaga_1.Join) {
-            if (step.direction === jinaga_1.Direction.Predecessor) {
-                const roleId = (0, maps_1.getRoleId)(this.roleMap, state.typeId, step.role);
-                if (!roleId) {
-                    return {
-                        state: 'empty'
-                    };
-                }
-                this.emitFact(state.typeName);
-                this.emitEdge('predecessor', roleId);
-                return {
-                    state: 'predecessor-join',
-                    position: `${state.typeName}.${step.role}`
-                };
-            }
-            else {
-                this.emitFact(state.typeName);
-                return {
-                    state: 'successor-join',
-                    role: step.role
-                };
-            }
-        }
-        else if (step instanceof jinaga_1.ExistentialCondition) {
-            return this.pushExistentialCondition(state.typeId, state.typeName, state, step);
-        }
-        else {
-            throw new Error(`Unknown step ${step.constructor.name}`);
-        }
-    }
-    end(finalState) {
-        if (finalState.state === 'successor-join') {
-            throw new Error(`Missing type for role ${finalState.role}`);
-        }
-        else if (finalState.state === 'predecessor-join') {
-            throw new Error(`Missing type of "${finalState.position}"`);
-        }
-        else if (finalState.state === 'predecessor-type' || finalState.state === 'successor-type') {
-            this.emitFact(finalState.typeName);
-        }
-    }
-    emitEdge(direction, roleId) {
-        const edgeAlias = this.nextEdge++;
-        this.roleIds.push(roleId);
-        this.queryParts.joins.push({
-            table: 'edge',
-            direction: direction,
-            edgeAlias: edgeAlias,
-            roleParameter: edgeAlias + 2
-        });
-    }
-    emitFact(factTypeName) {
-        if (this.shouldEmitFacts) {
-            const factAlias = this.nextFact++;
-            this.queryParts.joins.push({
-                table: 'fact',
-                factAlias: factAlias
-            });
-            this.factTypeNames.push(factTypeName);
-        }
-    }
-    pushExistentialCondition(typeId, typeName, state, step) {
-        if (this.queryParts.joins.length === 0) {
-            // We cannot apply a condition until we have some joins.
-            return state;
-        }
-        const lastJoin = this.queryParts.joins[this.queryParts.joins.length - 1];
-        if (lastJoin.table !== 'edge') {
-            throw new Error(`Existential condition on non-edge table ${lastJoin.table}`);
-        }
-        const nested = this.buildNestedSql(typeId, typeName, step.steps);
-        if (!nested) {
-            if (step.quantifier === jinaga_1.Quantifier.Exists) {
-                // An empty positive existential condition cannot match any facts.
-                return {
-                    state: 'empty'
-                };
-            }
-            else {
-                // An empty negative existential condition cannot exclude any facts.
-                return state;
-            }
-        }
-        this.queryParts.existentialClauses.push({
-            quantifier: step.quantifier,
-            priorEdgeJoin: lastJoin,
-            query: nested
-        });
-        return state;
-    }
-}
-//# sourceMappingURL=sql.js.map

package/dist/postgres/sql.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"sql.js","sourceRoot":"","sources":["../../src/postgres/sql.ts"],"names":[],"mappings":";;;AAAA,mCAAmH;AAEnH,iCAA6F;AAU7F,SAAgB,YAAY,CAAC,KAAoB,EAAE,KAAa,EAAE,SAAsB,EAAE,OAAgB,EAAE,MAAc;IACtH,MAAM,OAAO,GAAG,IAAI,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAErD,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AACpD,CAAC;AAJD,oCAIC;AAmBA,CAAC;AA2CF,MAAM,YAAY;IAWd,YAAoB,SAAsB,EAAU,OAAgB;QAAhD,cAAS,GAAT,SAAS,CAAa;QAAU,YAAO,GAAP,OAAO,CAAS;QAV5D,aAAQ,GAAW,CAAC,CAAC;QACrB,aAAQ,GAAW,CAAC,CAAC;QACrB,oBAAe,GAAY,IAAI,CAAC;QAChC,eAAU,GAAe;YAC7B,KAAK,EAAE,EAAE;YACT,kBAAkB,EAAE,EAAE;SACzB,CAAC;QACM,YAAO,GAAa,EAAE,CAAC;QACvB,kBAAa,GAAa,EAAE,CAAC;IAGrC,CAAC;IAED,UAAU,CAAC,KAAoB,EAAE,KAAa,EAAE,MAAc;QAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;YACpB,OAAO,IAAI,CAAC;SACf;QAED,MAAM,WAAW,GAAG,IAAA,0BAAmB,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,UAAU,GAAsB;YAClC,KAAK,EAAE,OAAO;YACd,MAAM,EAAE,WAAW;YACnB,QAAQ,EAAE,KAAK,CAAC,IAAI;SACvB,CAAC;QACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAwB,EAAE,IAAI,EAAE,EAAE;YAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,EAAE,UAAU,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAErB,IAAI,UAAU,CAAC,KAAK,KAAK,OAAO,EAAE;YAC9B,OAAO;gBACH,KAAK,EAAE,IAAI;gBACX,GAAG,EAAE,EAAE;gBACP,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,CAAC;gBACb,aAAa,EAAE,EAAE;aACpB,CAAC;SACL;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK;aACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAmB,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC3E,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QACtF,MAAM,GAAG,GAAG,UAAU,MAAM,SAAS,MAAM,WAAW,KAAK,+CAA+C,WAAW,EAAE,CAAC;QAExH,OAAO;YACH,KAAK,EAAE,KAAK;YACZ,GAAG;YACH,UAAU,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;YACtD,UAAU,EAAE,WAAW,CAAC,MAAM;YAC9B,aAAa,EAAE,IAAI,CAAC,aAAa;SACpC,CAAC;IACN,CAAC;IAEO,UAAU,CAAC,MAAc,EAAE,KAAkB,EAAE,WAAmB;QAIrE,CAAC;QACF,MAAM,YAAY,GAAU;YACxB,WAAW;YACX,OAAO,EAAE,EAAE;SACd,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YACzC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,EAAE;gBACvB,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,EAAE;oBAChC,MAAM,MAAM,GAAG,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,GAAG;wBACrD,OAAO,IAAI,CAAC,SAAS,0BAA0B,KAAK,CAAC,WAAW,GAAG;wBACnE,QAAQ,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAAC;oBAC9D,OAAO;wBACH,WAAW,EAAE,IAAI,IAAI,CAAC,SAAS,oBAAoB;wBACnD,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;qBACtC,CAAC;iBACL;qBACI;oBACD,MAAM,MAAM,GAAG,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,GAAG;wBACrD,OAAO,IAAI,CAAC,SAAS,wBAAwB,KAAK,CAAC,WAAW,GAAG;wBACjE,QAAQ,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAAC;oBAC9D,OAAO;wBACH,WAAW,EAAE,IAAI,IAAI,CAAC,SAAS,sBAAsB;wBACrD,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;qBACtC,CAAC;iBACL;aACJ;iBAAM;gBACH,MAAM,MAAM,GAAG,SAAS,MAAM,UAAU,IAAI,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS,cAAc,KAAK,CAAC,WAAW,EAAE,CAAC;gBAC9G,OAAO;oBACH,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;iBACtC,CAAC;aACL;QACL,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC;QACzB,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,gBAAgB,CAAC,MAAc,EAAE,kBAAuC;QACpE,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE;YACjC,OAAO,EAAE,CAAC;SACb;QAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YAC5C,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,KAAK,mBAAU,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;YACxF,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAqB,MAAM,CAAC,KAAK,CAAC,KAAwB,CAAC;YACjF,MAAM,eAAe,GAAG,KAAK,CAAC,SAAS,KAAK,aAAa;gBACrD,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,sBAAsB;gBAC3C,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,CAAC;YAC9C,MAAM,eAAe,GAAG,KAAK,CAAC,SAAS,KAAK,aAAa;gBACrD,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB;gBACzC,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,sBAAsB,CAAC;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,KAAK,aAAa;gBAChE,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,SAAS,sBAAsB;gBAC1D,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,SAAS,oBAAoB,CAAC;YAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACnF,OAAO,QAAQ,aAAa,mBAAmB,MAAM,UAAU,KAAK,CAAC,SAAS,GAAG,KAAK,GAAG;gBACrF,SAAS,eAAe,MAAM,WAAW,GAAG;gBAC5C,QAAQ,KAAK,CAAC,SAAS,eAAe,KAAK,CAAC,aAAa,GAAG,WAAW,GAAG,CAAC;QACnF,CAAC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,cAAc,CAAC,MAAc,EAAE,QAAgB,EAAE,KAAa;QAC1D,iCAAiC;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,MAAM,oBAAoB,GAAG,IAAI,CAAC,eAAe,CAAC;QAClD,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG;YACd,KAAK,EAAE,EAAE;YACT,kBAAkB,EAAE,EAAE;SACzB,CAAC;QAEF,MAAM,UAAU,GAAsB;YAClC,KAAK,EAAE,kBAAkB;YACzB,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,QAAQ;SACrB,CAAC;QACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAwB,EAAE,IAAI,EAAE,EAAE;YAC/D,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,EAAE,UAAU,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAErB,6CAA6C;QAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,oBAAoB,CAAC;QAC5C,IAAI,CAAC,UAAU,GAAG,WAAW,CAAC;QAE9B,6DAA6D;QAC7D,IAAI,UAAU,CAAC,KAAK,KAAK,OAAO,EAAE;YAC9B,OAAO,IAAI,CAAC;SACf;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;IAEO,SAAS,CAAC,KAAwB,EAAE,IAAU;QAClD,QAAQ,KAAK,CAAC,KAAK,EAAE;YACjB,KAAK,OAAO;gBACR,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5C,KAAK,kBAAkB;gBACnB,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtD,KAAK,kBAAkB;gBACnB,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtD,KAAK,gBAAgB;gBACjB,OAAO,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpD,KAAK,gBAAgB;gBACjB,OAAO,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpD,KAAK,OAAO;gBACR,OAAO,KAAK,CAAC;YACjB;gBACI,MAAM,IAAI,KAAK,CAAC,kBAAmB,KAAa,CAAC,KAAK,EAAE,CAAC,CAAC;SACjE;IACL,CAAC;IAEO,cAAc,CAAC,KAA6B,EAAE,IAAU;QAC5D,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;gBACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;aACnG;YACD,OAAO,KAAK,CAAC;SAChB;aACI,IAAI,IAAI,YAAY,aAAI,EAAE;YAC3B,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,WAAW,EAAE;gBAC1C,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,MAAM,EAAE;oBACT,OAAO;wBACH,KAAK,EAAE,OAAO;qBACjB,CAAC;iBACL;gBACD,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;oBACH,KAAK,EAAE,kBAAkB;oBACzB,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;iBAC7C,CAAA;aACJ;iBACI,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,SAAS,EAAE;gBAC7C,OAAO;oBACH,KAAK,EAAE,gBAAgB;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAA;aACJ;iBACI;gBACD,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;aAC1D;SACJ;aACI,IAAI,IAAI,YAAY,6BAAoB,EAAE;YAC3C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;SACnF;aACI;YACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D;IACL,CAAC;IAEO,wBAAwB,CAAC,KAAuC,EAAE,IAAU;QAChF,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;gBACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;aACnG;YACD,OAAO,KAAK,CAAC;SAChB;aACI,IAAI,IAAI,YAAY,aAAI,EAAE;YAC3B,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,WAAW,EAAE;gBAC1C,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,MAAM,EAAE;oBACT,OAAO;wBACH,KAAK,EAAE,OAAO;qBACjB,CAAC;iBACL;gBACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;oBACH,KAAK,EAAE,kBAAkB;oBACzB,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;iBAC7C,CAAA;aACJ;iBACI,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,SAAS,EAAE;gBAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,OAAO;oBACH,KAAK,EAAE,gBAAgB;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAA;aACJ;iBACI;gBACD,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;aAC1D;SACJ;aACI,IAAI,IAAI,YAAY,6BAAoB,EAAE;YAC3C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;SACnF;aACI;YACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D;IACL,CAAC;IAEO,wBAAwB,CAAC,KAAuC,EAAE,IAAU;QAChF,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;YACD,OAAO;gBACH,KAAK,EAAE,kBAAkB;gBACzB,MAAM;gBACN,QAAQ,EAAE,IAAI,CAAC,KAAK;aACvB,CAAC;SACL;aACI;YACD,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;SAC1D;IACL,CAAC;IAEO,sBAAsB,CAAC,KAAqC,EAAE,IAAU;QAC5E,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;YACD,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;YACD,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACnC,OAAO;gBACH,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,IAAI,CAAC,KAAK;aACvB,CAAC;SACL;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;SAC1D;IACL,CAAC;IAEO,sBAAsB,CAAC,KAAqC,EAAE,IAAU;QAC5E,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;gBACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;aACnG;YACD,OAAO,KAAK,CAAC;SAChB;aACI,IAAI,IAAI,YAAY,aAAI,EAAE;YAC3B,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,WAAW,EAAE;gBAC1C,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,MAAM,EAAE;oBACT,OAAO;wBACH,KAAK,EAAE,OAAO;qBACjB,CAAC;iBACL;gBACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;oBACH,KAAK,EAAE,kBAAkB;oBACzB,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;iBAC7C,CAAC;aACL;iBACI;gBACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,OAAO;oBACH,KAAK,EAAE,gBAAgB;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAC;aACL;SACJ;aACI,IAAI,IAAI,YAAY,6BAAoB,EAAE;YAC3C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;SACnF;aACI;YACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D;IACL,CAAC;IAEO,GAAG,CAAC,UAA6B;QACrC,IAAI,UAAU,CAAC,KAAK,KAAK,gBAAgB,EAAE;YACvC,MAAM,IAAI,KAAK,CAAC,yBAAyB,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;SAC/D;aACI,IAAI,UAAU,CAAC,KAAK,KAAK,kBAAkB,EAAE;YAC9C,MAAM,IAAI,KAAK,CAAC,oBAAoB,UAAU,CAAC,QAAQ,GAAG,CAAC,CAAC;SAC/D;aACI,IAAI,UAAU,CAAC,KAAK,KAAK,kBAAkB,IAAI,UAAU,CAAC,KAAK,KAAK,gBAAgB,EAAE;YACvF,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;SACtC;IACL,CAAC;IAEO,QAAQ,CAAC,SAAsC,EAAE,MAAc;QACnE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;YACvB,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,SAAS;YACpB,aAAa,EAAE,SAAS,GAAG,CAAC;SAC/B,CAAC,CAAC;IACP,CAAC;IAEO,QAAQ,CAAC,YAAoB;QACjC,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;gBACvB,KAAK,EAAE,MAAM;gBACb,SAAS,EAAE,SAAS;aACvB,CAAC,CAAC;YACH,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;SACzC;IACL,CAAC;IAEO,wBAAwB,CAAC,MAAc,EAAE,QAAgB,EAAE,KAAwB,EAAE,IAA0B;QACnH,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;YACpC,wDAAwD;YACxD,OAAO,KAAK,CAAC;SAChB;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,EAAE;YAC3B,MAAM,IAAI,KAAK,CAAC,2CAA2C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;SAChF;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM,EAAE;YACT,IAAI,IAAI,CAAC,UAAU,KAAK,mBAAU,CAAC,MAAM,EAAE;gBACvC,kEAAkE;gBAClE,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;iBACI;gBACD,oEAAoE;gBACpE,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC;YACpC,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,aAAa,EAAE,QAAQ;YACvB,KAAK,EAAE,MAAM;SAChB,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ"}