@_linked/core 2.11.1 → 2.12.0-next.20260706124103
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/CHANGELOG.md +39 -0
- package/README.md +3 -3
- package/lib/cjs/expressions/Expr.d.ts +22 -51
- package/lib/cjs/expressions/Expr.js +24 -176
- package/lib/cjs/expressions/Expr.js.map +1 -1
- package/lib/cjs/expressions/ExpressionMethods.d.ts +4 -0
- package/lib/cjs/expressions/ExpressionNode.d.ts +4 -0
- package/lib/cjs/expressions/ExpressionNode.js +13 -0
- package/lib/cjs/expressions/ExpressionNode.js.map +1 -1
- package/lib/cjs/index.d.ts +2 -2
- package/lib/cjs/index.js +6 -138
- package/lib/cjs/index.js.map +1 -1
- package/lib/cjs/interfaces/ICoreIterable.d.ts +1 -1
- package/lib/cjs/package.d.ts +2 -2
- package/lib/cjs/queries/ContextRef.d.ts +15 -4
- package/lib/cjs/queries/ContextRef.js +15 -4
- package/lib/cjs/queries/ContextRef.js.map +1 -1
- package/lib/cjs/queries/CreateBuilder.d.ts +3 -5
- package/lib/cjs/queries/CreateBuilder.js +4 -16
- package/lib/cjs/queries/CreateBuilder.js.map +1 -1
- package/lib/cjs/queries/DeleteBuilder.d.ts +3 -5
- package/lib/cjs/queries/DeleteBuilder.js +8 -20
- package/lib/cjs/queries/DeleteBuilder.js.map +1 -1
- package/lib/cjs/queries/DslJsonExpression.d.ts +8 -8
- package/lib/cjs/queries/DslJsonExpression.js +84 -26
- package/lib/cjs/queries/DslJsonExpression.js.map +1 -1
- package/lib/cjs/queries/FieldSet.d.ts +43 -14
- package/lib/cjs/queries/FieldSet.js +142 -77
- package/lib/cjs/queries/FieldSet.js.map +1 -1
- package/lib/cjs/queries/IRCanonicalize.d.ts +5 -9
- package/lib/cjs/queries/IRCanonicalize.js +7 -23
- package/lib/cjs/queries/IRCanonicalize.js.map +1 -1
- package/lib/cjs/queries/IRDesugar.d.ts +2 -1
- package/lib/cjs/queries/IRDesugar.js +1 -1
- package/lib/cjs/queries/IRDesugar.js.map +1 -1
- package/lib/cjs/queries/IRLower.js +7 -7
- package/lib/cjs/queries/IRLower.js.map +1 -1
- package/lib/cjs/queries/IntermediateRepresentation.d.ts +16 -2
- package/lib/cjs/queries/MutationQuery.d.ts +18 -1
- package/lib/cjs/queries/MutationQuery.js +83 -3
- package/lib/cjs/queries/MutationQuery.js.map +1 -1
- package/lib/cjs/queries/MutationSerialization.d.ts +11 -11
- package/lib/cjs/queries/MutationSerialization.js +51 -31
- package/lib/cjs/queries/MutationSerialization.js.map +1 -1
- package/lib/cjs/queries/MutationThenable.d.ts +18 -0
- package/lib/cjs/queries/MutationThenable.js +32 -0
- package/lib/cjs/queries/MutationThenable.js.map +1 -0
- package/lib/cjs/queries/QueryBuilder.d.ts +1 -1
- package/lib/cjs/queries/QueryBuilder.js +3 -3
- package/lib/cjs/queries/QueryBuilder.js.map +1 -1
- package/lib/cjs/queries/QueryBuilderSerialization.js +3 -4
- package/lib/cjs/queries/QueryBuilderSerialization.js.map +1 -1
- package/lib/cjs/queries/QueryContext.d.ts +1 -1
- package/lib/cjs/queries/QueryContext.js +7 -5
- package/lib/cjs/queries/QueryContext.js.map +1 -1
- package/lib/cjs/queries/QueryFactory.d.ts +0 -7
- package/lib/cjs/queries/QueryFactory.js +1 -20
- package/lib/cjs/queries/QueryFactory.js.map +1 -1
- package/lib/cjs/queries/SelectQuery.d.ts +19 -41
- package/lib/cjs/queries/SelectQuery.js +69 -118
- package/lib/cjs/queries/SelectQuery.js.map +1 -1
- package/lib/cjs/queries/UpdateBuilder.d.ts +3 -5
- package/lib/cjs/queries/UpdateBuilder.js +5 -17
- package/lib/cjs/queries/UpdateBuilder.js.map +1 -1
- package/lib/cjs/queries/lower.js +3 -4
- package/lib/cjs/queries/lower.js.map +1 -1
- package/lib/cjs/queries/lowerMutationJSON.js +39 -23
- package/lib/cjs/queries/lowerMutationJSON.js.map +1 -1
- package/lib/cjs/shapes/List.js +2 -9
- package/lib/cjs/shapes/List.js.map +1 -1
- package/lib/cjs/shapes/PathNode.js +5 -18
- package/lib/cjs/shapes/PathNode.js.map +1 -1
- package/lib/cjs/shapes/SHACL.d.ts +10 -0
- package/lib/cjs/shapes/SHACL.js +41 -0
- package/lib/cjs/shapes/SHACL.js.map +1 -1
- package/lib/cjs/shapes/Shape.d.ts +1 -1
- package/lib/cjs/shapes/Shape.js.map +1 -1
- package/lib/cjs/shapes/serializePathToNodeData.js +16 -0
- package/lib/cjs/shapes/serializePathToNodeData.js.map +1 -1
- package/lib/cjs/shapes/syncShapes.js +15 -0
- package/lib/cjs/shapes/syncShapes.js.map +1 -1
- package/lib/cjs/sparql/SparqlAlgebra.d.ts +8 -1
- package/lib/cjs/sparql/algebraToString.js +57 -11
- package/lib/cjs/sparql/algebraToString.js.map +1 -1
- package/lib/cjs/sparql/irToAlgebra.js +89 -31
- package/lib/cjs/sparql/irToAlgebra.js.map +1 -1
- package/lib/cjs/sparql/resultMapping.js +0 -11
- package/lib/cjs/sparql/resultMapping.js.map +1 -1
- package/lib/cjs/sparql/sparqlUtils.d.ts +21 -0
- package/lib/cjs/sparql/sparqlUtils.js +65 -0
- package/lib/cjs/sparql/sparqlUtils.js.map +1 -1
- package/lib/cjs/utils/LinkedStorage.d.ts +1 -2
- package/lib/cjs/utils/LinkedStorage.js +1 -2
- package/lib/cjs/utils/LinkedStorage.js.map +1 -1
- package/lib/cjs/utils/Package.js +11 -4
- package/lib/cjs/utils/Package.js.map +1 -1
- package/lib/cjs/utils/Prefix.d.ts +4 -5
- package/lib/cjs/utils/Prefix.js +13 -7
- package/lib/cjs/utils/Prefix.js.map +1 -1
- package/lib/cjs/utils/ShapeClass.d.ts +0 -11
- package/lib/cjs/utils/ShapeClass.js +0 -83
- package/lib/cjs/utils/ShapeClass.js.map +1 -1
- package/lib/cjs/utils/cached.d.ts +3 -0
- package/lib/cjs/utils/cached.js +26 -16
- package/lib/cjs/utils/cached.js.map +1 -1
- package/lib/cjs/utils/loadStores.js +4 -0
- package/lib/cjs/utils/loadStores.js.map +1 -1
- package/lib/esm/expressions/Expr.d.ts +22 -51
- package/lib/esm/expressions/Expr.js +24 -176
- package/lib/esm/expressions/Expr.js.map +1 -1
- package/lib/esm/expressions/ExpressionMethods.d.ts +4 -0
- package/lib/esm/expressions/ExpressionNode.d.ts +4 -0
- package/lib/esm/expressions/ExpressionNode.js +13 -0
- package/lib/esm/expressions/ExpressionNode.js.map +1 -1
- package/lib/esm/index.d.ts +2 -2
- package/lib/esm/index.js +3 -103
- package/lib/esm/index.js.map +1 -1
- package/lib/esm/interfaces/ICoreIterable.d.ts +1 -1
- package/lib/esm/package.d.ts +2 -2
- package/lib/esm/queries/ContextRef.d.ts +15 -4
- package/lib/esm/queries/ContextRef.js +15 -4
- package/lib/esm/queries/ContextRef.js.map +1 -1
- package/lib/esm/queries/CreateBuilder.d.ts +3 -5
- package/lib/esm/queries/CreateBuilder.js +4 -16
- package/lib/esm/queries/CreateBuilder.js.map +1 -1
- package/lib/esm/queries/DeleteBuilder.d.ts +3 -5
- package/lib/esm/queries/DeleteBuilder.js +8 -20
- package/lib/esm/queries/DeleteBuilder.js.map +1 -1
- package/lib/esm/queries/DslJsonExpression.d.ts +8 -8
- package/lib/esm/queries/DslJsonExpression.js +84 -26
- package/lib/esm/queries/DslJsonExpression.js.map +1 -1
- package/lib/esm/queries/FieldSet.d.ts +43 -14
- package/lib/esm/queries/FieldSet.js +142 -77
- package/lib/esm/queries/FieldSet.js.map +1 -1
- package/lib/esm/queries/IRCanonicalize.d.ts +5 -9
- package/lib/esm/queries/IRCanonicalize.js +6 -21
- package/lib/esm/queries/IRCanonicalize.js.map +1 -1
- package/lib/esm/queries/IRDesugar.d.ts +2 -1
- package/lib/esm/queries/IRDesugar.js +1 -1
- package/lib/esm/queries/IRDesugar.js.map +1 -1
- package/lib/esm/queries/IRLower.js +7 -7
- package/lib/esm/queries/IRLower.js.map +1 -1
- package/lib/esm/queries/IntermediateRepresentation.d.ts +16 -2
- package/lib/esm/queries/MutationQuery.d.ts +18 -1
- package/lib/esm/queries/MutationQuery.js +83 -3
- package/lib/esm/queries/MutationQuery.js.map +1 -1
- package/lib/esm/queries/MutationSerialization.d.ts +11 -11
- package/lib/esm/queries/MutationSerialization.js +51 -31
- package/lib/esm/queries/MutationSerialization.js.map +1 -1
- package/lib/esm/queries/MutationThenable.d.ts +18 -0
- package/lib/esm/queries/MutationThenable.js +28 -0
- package/lib/esm/queries/MutationThenable.js.map +1 -0
- package/lib/esm/queries/QueryBuilder.d.ts +1 -1
- package/lib/esm/queries/QueryBuilder.js +3 -3
- package/lib/esm/queries/QueryBuilder.js.map +1 -1
- package/lib/esm/queries/QueryBuilderSerialization.js +3 -4
- package/lib/esm/queries/QueryBuilderSerialization.js.map +1 -1
- package/lib/esm/queries/QueryContext.d.ts +1 -1
- package/lib/esm/queries/QueryContext.js +7 -5
- package/lib/esm/queries/QueryContext.js.map +1 -1
- package/lib/esm/queries/QueryFactory.d.ts +0 -7
- package/lib/esm/queries/QueryFactory.js +1 -19
- package/lib/esm/queries/QueryFactory.js.map +1 -1
- package/lib/esm/queries/SelectQuery.d.ts +19 -41
- package/lib/esm/queries/SelectQuery.js +69 -118
- package/lib/esm/queries/SelectQuery.js.map +1 -1
- package/lib/esm/queries/UpdateBuilder.d.ts +3 -5
- package/lib/esm/queries/UpdateBuilder.js +5 -17
- package/lib/esm/queries/UpdateBuilder.js.map +1 -1
- package/lib/esm/queries/lower.js +3 -4
- package/lib/esm/queries/lower.js.map +1 -1
- package/lib/esm/queries/lowerMutationJSON.js +39 -23
- package/lib/esm/queries/lowerMutationJSON.js.map +1 -1
- package/lib/esm/shapes/List.js +2 -9
- package/lib/esm/shapes/List.js.map +1 -1
- package/lib/esm/shapes/PathNode.js +5 -18
- package/lib/esm/shapes/PathNode.js.map +1 -1
- package/lib/esm/shapes/SHACL.d.ts +10 -0
- package/lib/esm/shapes/SHACL.js +41 -0
- package/lib/esm/shapes/SHACL.js.map +1 -1
- package/lib/esm/shapes/Shape.d.ts +1 -1
- package/lib/esm/shapes/Shape.js.map +1 -1
- package/lib/esm/shapes/serializePathToNodeData.js +16 -0
- package/lib/esm/shapes/serializePathToNodeData.js.map +1 -1
- package/lib/esm/shapes/syncShapes.js +15 -0
- package/lib/esm/shapes/syncShapes.js.map +1 -1
- package/lib/esm/sparql/SparqlAlgebra.d.ts +8 -1
- package/lib/esm/sparql/algebraToString.js +58 -12
- package/lib/esm/sparql/algebraToString.js.map +1 -1
- package/lib/esm/sparql/irToAlgebra.js +89 -31
- package/lib/esm/sparql/irToAlgebra.js.map +1 -1
- package/lib/esm/sparql/resultMapping.js +0 -11
- package/lib/esm/sparql/resultMapping.js.map +1 -1
- package/lib/esm/sparql/sparqlUtils.d.ts +21 -0
- package/lib/esm/sparql/sparqlUtils.js +62 -0
- package/lib/esm/sparql/sparqlUtils.js.map +1 -1
- package/lib/esm/utils/LinkedStorage.d.ts +1 -2
- package/lib/esm/utils/LinkedStorage.js +1 -2
- package/lib/esm/utils/LinkedStorage.js.map +1 -1
- package/lib/esm/utils/Package.js +11 -4
- package/lib/esm/utils/Package.js.map +1 -1
- package/lib/esm/utils/Prefix.d.ts +4 -5
- package/lib/esm/utils/Prefix.js +13 -7
- package/lib/esm/utils/Prefix.js.map +1 -1
- package/lib/esm/utils/ShapeClass.d.ts +0 -11
- package/lib/esm/utils/ShapeClass.js +0 -79
- package/lib/esm/utils/ShapeClass.js.map +1 -1
- package/lib/esm/utils/cached.d.ts +3 -0
- package/lib/esm/utils/cached.js +26 -16
- package/lib/esm/utils/cached.js.map +1 -1
- package/lib/esm/utils/loadStores.js +4 -0
- package/lib/esm/utils/loadStores.js.map +1 -1
- package/package.json +9 -3
- package/lib/cjs/collections/CoreMap.d.ts +0 -37
- package/lib/cjs/collections/CoreMap.js +0 -101
- package/lib/cjs/collections/CoreMap.js.map +0 -1
- package/lib/cjs/paths/serializePathToSHACL.d.ts +0 -22
- package/lib/cjs/paths/serializePathToSHACL.js +0 -126
- package/lib/cjs/paths/serializePathToSHACL.js.map +0 -1
- package/lib/cjs/queries/WhereCondition.d.ts +0 -18
- package/lib/cjs/queries/WhereCondition.js +0 -3
- package/lib/cjs/queries/WhereCondition.js.map +0 -1
- package/lib/cjs/test-helpers/FusekiStore.d.ts +0 -29
- package/lib/cjs/test-helpers/FusekiStore.js +0 -85
- package/lib/cjs/test-helpers/FusekiStore.js.map +0 -1
- package/lib/cjs/test-helpers/fuseki-test-store.d.ts +0 -46
- package/lib/cjs/test-helpers/fuseki-test-store.js +0 -244
- package/lib/cjs/test-helpers/fuseki-test-store.js.map +0 -1
- package/lib/cjs/test-helpers/query-capture-store.d.ts +0 -11
- package/lib/cjs/test-helpers/query-capture-store.js +0 -109
- package/lib/cjs/test-helpers/query-capture-store.js.map +0 -1
- package/lib/cjs/test-helpers/query-fixtures.d.ts +0 -819
- package/lib/cjs/test-helpers/query-fixtures.js +0 -605
- package/lib/cjs/test-helpers/query-fixtures.js.map +0 -1
- package/lib/cjs/test-helpers/test-utils.d.ts +0 -18
- package/lib/cjs/test-helpers/test-utils.js +0 -47
- package/lib/cjs/test-helpers/test-utils.js.map +0 -1
- package/lib/cjs/utils/Types.d.ts +0 -11
- package/lib/cjs/utils/Types.js +0 -3
- package/lib/cjs/utils/Types.js.map +0 -1
- package/lib/esm/collections/CoreMap.d.ts +0 -37
- package/lib/esm/collections/CoreMap.js +0 -97
- package/lib/esm/collections/CoreMap.js.map +0 -1
- package/lib/esm/paths/serializePathToSHACL.d.ts +0 -22
- package/lib/esm/paths/serializePathToSHACL.js +0 -122
- package/lib/esm/paths/serializePathToSHACL.js.map +0 -1
- package/lib/esm/queries/WhereCondition.d.ts +0 -18
- package/lib/esm/queries/WhereCondition.js +0 -2
- package/lib/esm/queries/WhereCondition.js.map +0 -1
- package/lib/esm/test-helpers/FusekiStore.d.ts +0 -29
- package/lib/esm/test-helpers/FusekiStore.js +0 -81
- package/lib/esm/test-helpers/FusekiStore.js.map +0 -1
- package/lib/esm/test-helpers/fuseki-test-store.d.ts +0 -46
- package/lib/esm/test-helpers/fuseki-test-store.js +0 -232
- package/lib/esm/test-helpers/fuseki-test-store.js.map +0 -1
- package/lib/esm/test-helpers/query-capture-store.d.ts +0 -11
- package/lib/esm/test-helpers/query-capture-store.js +0 -71
- package/lib/esm/test-helpers/query-capture-store.js.map +0 -1
- package/lib/esm/test-helpers/query-fixtures.d.ts +0 -819
- package/lib/esm/test-helpers/query-fixtures.js +0 -602
- package/lib/esm/test-helpers/query-fixtures.js.map +0 -1
- package/lib/esm/test-helpers/test-utils.d.ts +0 -18
- package/lib/esm/test-helpers/test-utils.js +0 -41
- package/lib/esm/test-helpers/test-utils.js.map +0 -1
- package/lib/esm/utils/Types.d.ts +0 -11
- package/lib/esm/utils/Types.js +0 -2
- package/lib/esm/utils/Types.js.map +0 -1
|
@@ -61,6 +61,21 @@ function buildPropertyShapeData(ps, shapeIri) {
|
|
|
61
61
|
d.lessThan = ps.lessThan;
|
|
62
62
|
if (ps.lessThanOrEquals)
|
|
63
63
|
d.lessThanOrEquals = ps.lessThanOrEquals;
|
|
64
|
+
if (ps.minInclusive !== undefined)
|
|
65
|
+
d.minInclusive = ps.minInclusive;
|
|
66
|
+
if (ps.maxInclusive !== undefined)
|
|
67
|
+
d.maxInclusive = ps.maxInclusive;
|
|
68
|
+
if (ps.minExclusive !== undefined)
|
|
69
|
+
d.minExclusive = ps.minExclusive;
|
|
70
|
+
if (ps.maxExclusive !== undefined)
|
|
71
|
+
d.maxExclusive = ps.maxExclusive;
|
|
72
|
+
if (typeof ps.minLength === 'number')
|
|
73
|
+
d.minLength = ps.minLength;
|
|
74
|
+
if (typeof ps.maxLength === 'number')
|
|
75
|
+
d.maxLength = ps.maxLength;
|
|
76
|
+
// sh:pattern is serialized as its regex source string.
|
|
77
|
+
if (ps.pattern)
|
|
78
|
+
d.pattern = ps.pattern.source;
|
|
64
79
|
if (ps.hasValueConstraint !== undefined)
|
|
65
80
|
d.hasValue = ps.hasValueConstraint;
|
|
66
81
|
if (ps.valueShape)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"syncShapes.js","sourceRoot":"","sources":["../../../src/shapes/syncShapes.ts"],"names":[],"mappings":";;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"syncShapes.js","sourceRoot":"","sources":["../../../src/shapes/syncShapes.ts"],"names":[],"mappings":";;;;;;;;;;;AAgHA,gCAuCC;AAkBD,8BAyBC;AAlMD;;;;GAIG;AACH,0DAAyE;AACzE,yCAAoD;AAEpD,kEAA0D;AAE1D,uCAAkC;AAClC,6EAAqE;AAErE;;;GAGG;AACH,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAE1C,mGAAmG;AACnG,SAAS,sBAAsB,CAAC,EAAiB,EAAE,QAAgB;IACjE,MAAM,KAAK,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;IACxC,MAAM,CAAC,GAA4B;QACjC,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,IAAA,oDAAuB,EAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;KAC9C,CAAC;IACF,IAAI,EAAE,CAAC,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC1C,IAAI,EAAE,CAAC,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC1C,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC9D,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC9D,IAAI,EAAE,CAAC,IAAI;QAAE,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IAC9B,IAAI,EAAE,CAAC,WAAW;QAAE,CAAC,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC;IACnD,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ;QAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACrD,IAAI,EAAE,CAAC,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACjC,IAAI,EAAE,CAAC,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACjC,IAAI,EAAE,CAAC,EAAE;QAAE,CAAC,CAAC,EAAE,GAAG,IAAA,iBAAO,EAAC,EAAE,CAAC,EAAE,EAAE,EAAC,IAAI,EAAE,GAAG,KAAK,KAAK,EAAC,CAAC,CAAC;IACxD,IAAI,EAAE,CAAC,gBAAgB;QAAE,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC;IACxD,IAAI,EAAE,CAAC,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC1C,IAAI,EAAE,CAAC,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC1C,IAAI,EAAE,CAAC,gBAAgB;QAAE,CAAC,CAAC,gBAAgB,GAAG,EAAE,CAAC,gBAAgB,CAAC;IAClE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACpE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACpE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACpE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACpE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IACjE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IACjE,uDAAuD;IACvD,IAAI,EAAE,CAAC,OAAO;QAAE,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,CAAC,kBAAkB,KAAK,SAAS;QAAE,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,kBAAkB,CAAC;IAC5E,IAAI,EAAE,CAAC,UAAU;QAAE,CAAC,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC;IAChD,IAAI,EAAE,CAAC,QAAQ;QAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;IACnC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,iGAAiG;AACjG,SAAS,kBAAkB,CAAC,SAAoB,EAAE,QAAgB;IAChE,MAAM,CAAC,GAA4B,EAAE,CAAC;IACtC,IAAI,SAAS,CAAC,WAAW;QAAE,CAAC,CAAC,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;IACjE,IAAI,SAAS,CAAC,WAAW;QAAE,CAAC,CAAC,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;IACjE,IAAI,SAAS,CAAC,OAAO;QAAE,CAAC,CAAC,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;IACrD,IAAI,SAAS,CAAC,SAAS;QAAE,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC;IAC5C,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;QAAE,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChE,IAAI,SAAS,CAAC,iBAAiB,IAAI,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;QACtE,CAAC,CAAC,iBAAiB,GAAG,SAAS,CAAC,iBAAiB,CAAC;IACpD,CAAC;IACD,qFAAqF;IACrF,CAAC,CAAC,UAAU,GAAG,SAAS;SACrB,uBAAuB,EAAE;SACzB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,SAAoB,EAAE,GAAW,EAAE,EAAa;IACtE,OAAO,GAAG,EAAE;QACV,qFAAqF;QACrF,oFAAoF;QACpF,MAAM,IAAI,GAAG,kBAAkB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAChD,OAAQ,gCAAa,CAAC,IAAI,CAAC,oBAAS,EAAE,EAAC,EAAE,EAAE,GAAG,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAsB;aAC3E,IAAI,CAAC,GAAG,EAAE,CACR,oBAAS,CAAC,MAAM,CAAC,IAAa,CAAC,CAAC,MAAM,CAAC,GAAG,CAEzC,CAAC,IAAI,CAAC,EAAE,CAAC,CACZ;aACA,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAsB,UAAU,CAAC,EAAa;;QAC5C,4EAA4E;QAC5E,MAAM,UAAU,GAA+C,EAAE,CAAC;QAClE,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,IAAA,kCAAkB,GAAE,EAAE,CAAC;YACrD,IAAI,CAAC,CAAA,UAAU,aAAV,UAAU,uBAAV,UAAU,CAAE,KAAK,CAAA;gBAAE,SAAS;YACjC,MAAM,GAAG,GAAI,UAAqC,CAAC,WAAW,CAAC;YAC/D,yFAAyF;YACzF,uEAAuE;YACvE,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,iBAAiB;gBAAE,SAAS;YAChD,UAAU,CAAC,IAAI,CAAC,EAAC,GAAG,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,EAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAE7D,8FAA8F;QAC9F,8EAA8E;QAC9E,MAAM,YAAY,GAAG,CAAC,MAAO,oBAE3B,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAwB,CAAC;QAC7C,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEjE,MAAM,MAAM,GAA+B,EAAE,CAAC;QAE9C,wDAAwD;QACxD,KAAK,MAAM,EAAC,GAAG,EAAE,SAAS,EAAC,IAAI,UAAU,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QAED,0FAA0F;QAC1F,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;YACpC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACd,gCAAa,CAAC,IAAI,CAAC,oBAAS,EAAE,EAAC,EAAE,EAAE,GAAG,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAsB,CAAC,IAAI,CAC1E,GAAG,EAAE,CAAC,SAAS,CAChB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CAAA;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,SAAS,CAAC,MAA6B,EAAE,EAAa;IACpE,iDAAiD;IACjD,MAAM,GAAG,GACP,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAA,6BAAa,EAAC,MAAM,CAAC,CAAC,CAAC,CAAE,MAAuB,CAAC;IAChF,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,KAAK,CAAC;IAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,OAAO,MAAM,KAAK,QAAQ;YACxB,CAAC,CAAC,0CAA0C,MAAM,EAAE;YACpD,CAAC,CAAC,6CAA6C,CAClD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzB,+FAA+F;IAC/F,uDAAuD;IACvD,MAAM,GAAG,GAAI,GAA8B,CAAC,WAAW,CAAC;IACxD,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO,cAAc,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AAC5C,CAAC"}
|
|
@@ -82,7 +82,14 @@ export type SparqlSubSelect = {
|
|
|
82
82
|
limit?: number;
|
|
83
83
|
offset?: number;
|
|
84
84
|
};
|
|
85
|
-
export type SparqlExpression = SparqlVariableExpr | SparqlIriExpr | SparqlLiteralExpr | SparqlBinaryExpr | SparqlLogicalExpr | SparqlNotExpr | SparqlFunctionExpr | SparqlAggregateExpr | SparqlExistsExpr | SparqlBoundExpr;
|
|
85
|
+
export type SparqlExpression = SparqlVariableExpr | SparqlIriExpr | SparqlLiteralExpr | SparqlBinaryExpr | SparqlLogicalExpr | SparqlNotExpr | SparqlFunctionExpr | SparqlAggregateExpr | SparqlExistsExpr | SparqlBoundExpr | SparqlInExpr;
|
|
86
|
+
/** Membership test — `value IN (list)` / `value NOT IN (list)`. */
|
|
87
|
+
export type SparqlInExpr = {
|
|
88
|
+
kind: 'in_expr';
|
|
89
|
+
negated: boolean;
|
|
90
|
+
value: SparqlExpression;
|
|
91
|
+
list: SparqlExpression[];
|
|
92
|
+
};
|
|
86
93
|
export type SparqlVariableExpr = {
|
|
87
94
|
kind: 'variable_expr';
|
|
88
95
|
name: string;
|
|
@@ -17,7 +17,7 @@ function collectUri(collector, uri) {
|
|
|
17
17
|
function serializeTerm(term, collector) {
|
|
18
18
|
switch (term.kind) {
|
|
19
19
|
case 'variable':
|
|
20
|
-
return `?${term.name}`;
|
|
20
|
+
return `?${(0, sparqlUtils_js_1.sanitizeVarName)(term.name)}`;
|
|
21
21
|
case 'iri':
|
|
22
22
|
if (collector)
|
|
23
23
|
collectUri(collector, term.value);
|
|
@@ -57,10 +57,45 @@ function serializeTriples(triples, collector) {
|
|
|
57
57
|
// ---------------------------------------------------------------------------
|
|
58
58
|
// Expression serialization
|
|
59
59
|
// ---------------------------------------------------------------------------
|
|
60
|
+
// SPARQL binary-operator precedence (higher binds tighter): multiplicative >
|
|
61
|
+
// additive > relational. Used to parenthesize nested `binary_expr` operands so
|
|
62
|
+
// arithmetic groups correctly (`(a+b)*c`, not `a+b*c`) and relational chains
|
|
63
|
+
// (`a=b=c`, a non-associative syntax error) get parenthesized.
|
|
64
|
+
const RELATIONAL_OPS = new Set(['=', '!=', '<', '>', '<=', '>=']);
|
|
65
|
+
function binaryPrecedence(op) {
|
|
66
|
+
if (op === '*' || op === '/')
|
|
67
|
+
return 3;
|
|
68
|
+
if (op === '+' || op === '-')
|
|
69
|
+
return 2;
|
|
70
|
+
if (RELATIONAL_OPS.has(op))
|
|
71
|
+
return 1;
|
|
72
|
+
return 0;
|
|
73
|
+
}
|
|
74
|
+
/**
|
|
75
|
+
* Serialize a `binary_expr` operand, wrapping it in parens when omitting them
|
|
76
|
+
* would change how SPARQL parses the expression.
|
|
77
|
+
*/
|
|
78
|
+
function wrapBinaryOperand(operand, parentOp, side, collector) {
|
|
79
|
+
const s = serializeExpression(operand, collector);
|
|
80
|
+
// Logical (&&/||) binds looser than any binary operator → always parenthesize.
|
|
81
|
+
if (operand.kind === 'logical_expr')
|
|
82
|
+
return `(${s})`;
|
|
83
|
+
if (operand.kind !== 'binary_expr')
|
|
84
|
+
return s;
|
|
85
|
+
const parentIsRel = RELATIONAL_OPS.has(parentOp);
|
|
86
|
+
const childIsRel = RELATIONAL_OPS.has(operand.op);
|
|
87
|
+
// Relational is non-associative in SPARQL: any relational-in-relational needs parens.
|
|
88
|
+
if (parentIsRel && childIsRel)
|
|
89
|
+
return `(${s})`;
|
|
90
|
+
const pc = binaryPrecedence(operand.op);
|
|
91
|
+
const pp = binaryPrecedence(parentOp);
|
|
92
|
+
const needs = side === 'left' ? pc < pp : pc <= pp;
|
|
93
|
+
return needs ? `(${s})` : s;
|
|
94
|
+
}
|
|
60
95
|
function serializeExpression(expr, collector) {
|
|
61
96
|
switch (expr.kind) {
|
|
62
97
|
case 'variable_expr':
|
|
63
|
-
return `?${expr.name}`;
|
|
98
|
+
return `?${(0, sparqlUtils_js_1.sanitizeVarName)(expr.name)}`;
|
|
64
99
|
case 'iri_expr':
|
|
65
100
|
if (collector)
|
|
66
101
|
collectUri(collector, expr.value);
|
|
@@ -71,8 +106,8 @@ function serializeExpression(expr, collector) {
|
|
|
71
106
|
return (0, sparqlUtils_js_1.formatLiteral)(expr.value, expr.datatype);
|
|
72
107
|
}
|
|
73
108
|
case 'binary_expr': {
|
|
74
|
-
const left =
|
|
75
|
-
const right =
|
|
109
|
+
const left = wrapBinaryOperand(expr.left, expr.op, 'left', collector);
|
|
110
|
+
const right = wrapBinaryOperand(expr.right, expr.op, 'right', collector);
|
|
76
111
|
return `${left} ${expr.op} ${right}`;
|
|
77
112
|
}
|
|
78
113
|
case 'logical_expr': {
|
|
@@ -90,12 +125,14 @@ function serializeExpression(expr, collector) {
|
|
|
90
125
|
case 'not_expr':
|
|
91
126
|
return `!(${serializeExpression(expr.inner, collector)})`;
|
|
92
127
|
case 'function_expr': {
|
|
128
|
+
(0, sparqlUtils_js_1.assertSafeCallName)(expr.name);
|
|
93
129
|
const args = expr.args
|
|
94
130
|
.map((a) => serializeExpression(a, collector))
|
|
95
131
|
.join(', ');
|
|
96
132
|
return `${expr.name}(${args})`;
|
|
97
133
|
}
|
|
98
134
|
case 'aggregate_expr': {
|
|
135
|
+
(0, sparqlUtils_js_1.assertSafeCallName)(expr.name);
|
|
99
136
|
const args = expr.args
|
|
100
137
|
.map((a) => serializeExpression(a, collector))
|
|
101
138
|
.join(', ');
|
|
@@ -108,7 +145,16 @@ function serializeExpression(expr, collector) {
|
|
|
108
145
|
return `${prefix} {\n${indent(inner)}\n}`;
|
|
109
146
|
}
|
|
110
147
|
case 'bound_expr':
|
|
111
|
-
return `BOUND(?${expr.variable})`;
|
|
148
|
+
return `BOUND(?${(0, sparqlUtils_js_1.sanitizeVarName)(expr.variable)})`;
|
|
149
|
+
case 'in_expr': {
|
|
150
|
+
// Empty list: `IN ()` matches nothing, `NOT IN ()` matches everything —
|
|
151
|
+
// fold to a boolean constant rather than emit an empty parenthesis list.
|
|
152
|
+
if (expr.list.length === 0)
|
|
153
|
+
return expr.negated ? 'true' : 'false';
|
|
154
|
+
const val = serializeExpression(expr.value, collector);
|
|
155
|
+
const items = expr.list.map((e) => serializeExpression(e, collector)).join(', ');
|
|
156
|
+
return `${val} ${expr.negated ? 'NOT IN' : 'IN'} (${items})`;
|
|
157
|
+
}
|
|
112
158
|
}
|
|
113
159
|
}
|
|
114
160
|
// ---------------------------------------------------------------------------
|
|
@@ -155,7 +201,7 @@ function serializeAlgebraNode(node, collector) {
|
|
|
155
201
|
case 'extend': {
|
|
156
202
|
const inner = serializeAlgebraNode(node.inner, collector);
|
|
157
203
|
const expr = serializeExpression(node.expression, collector);
|
|
158
|
-
return `${inner}\nBIND(${expr} AS ?${node.variable})`;
|
|
204
|
+
return `${inner}\nBIND(${expr} AS ?${(0, sparqlUtils_js_1.sanitizeVarName)(node.variable)})`;
|
|
159
205
|
}
|
|
160
206
|
case 'graph': {
|
|
161
207
|
if (collector)
|
|
@@ -171,11 +217,11 @@ function serializeAlgebraNode(node, collector) {
|
|
|
171
217
|
return (0, sparqlUtils_js_1.formatUri)(iri);
|
|
172
218
|
})
|
|
173
219
|
.join(' ');
|
|
174
|
-
return `VALUES ?${node.variable} { ${values} }`;
|
|
220
|
+
return `VALUES ?${(0, sparqlUtils_js_1.sanitizeVarName)(node.variable)} { ${values} }`;
|
|
175
221
|
}
|
|
176
222
|
case 'subselect': {
|
|
177
223
|
const innerBody = serializeAlgebraNode(node.inner, collector);
|
|
178
|
-
const projection = node.projection.map((v) => `?${v}`).join(' ');
|
|
224
|
+
const projection = node.projection.map((v) => `?${(0, sparqlUtils_js_1.sanitizeVarName)(v)}`).join(' ');
|
|
179
225
|
const lines = [`SELECT ${projection} WHERE {`];
|
|
180
226
|
lines.push(indent(innerBody));
|
|
181
227
|
lines.push('}');
|
|
@@ -227,12 +273,12 @@ function selectPlanToSparql(plan, _options) {
|
|
|
227
273
|
// 2. Build SELECT line
|
|
228
274
|
const projectionParts = plan.projection.map((item) => {
|
|
229
275
|
if (item.kind === 'variable') {
|
|
230
|
-
return `?${item.name}`;
|
|
276
|
+
return `?${(0, sparqlUtils_js_1.sanitizeVarName)(item.name)}`;
|
|
231
277
|
}
|
|
232
278
|
else {
|
|
233
279
|
// aggregate or expression projection: (expr AS ?alias)
|
|
234
280
|
const expr = serializeExpression(item.expression, collector);
|
|
235
|
-
return `(${expr} AS ?${item.alias})`;
|
|
281
|
+
return `(${expr} AS ?${(0, sparqlUtils_js_1.sanitizeVarName)(item.alias)})`;
|
|
236
282
|
}
|
|
237
283
|
});
|
|
238
284
|
const distinctStr = plan.distinct ? 'DISTINCT ' : '';
|
|
@@ -242,7 +288,7 @@ function selectPlanToSparql(plan, _options) {
|
|
|
242
288
|
// 4. Build trailing clauses
|
|
243
289
|
const clauses = [];
|
|
244
290
|
if (plan.groupBy && plan.groupBy.length > 0) {
|
|
245
|
-
clauses.push(`GROUP BY ${plan.groupBy.map((v) => `?${v}`).join(' ')}`);
|
|
291
|
+
clauses.push(`GROUP BY ${plan.groupBy.map((v) => `?${(0, sparqlUtils_js_1.sanitizeVarName)(v)}`).join(' ')}`);
|
|
246
292
|
}
|
|
247
293
|
if (plan.having) {
|
|
248
294
|
const havingExpr = serializeExpression(plan.having, collector);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"algebraToString.js","sourceRoot":"","sources":["../../../src/sparql/algebraToString.ts"],"names":[],"mappings":";;AAiCA,sCAyBC;AA6BD,kDA+DC;AAMD,oDA+FC;AA0BD,gDAmEC;AAED,wDAsBC;AAED,4DA4BC;AAED,0DAuBC;AA7ZD,qDAM0B;AAS1B,SAAS,UAAU,CAAC,SAAuB,EAAE,GAAW;IACtD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,SAAgB,aAAa,CAC3B,IAAgB,EAChB,SAAwB;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,KAAK;YACR,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,OAAO,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,IAAI,IAAA,mCAAkB,EAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChE,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,SAAS;oBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,MAAM;YACT,IAAI,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;oBAAE,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC1D,CAAC;YACD,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,eAAe,CACtB,MAAoB,EACpB,SAAwB;IAExB,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAuB,EACvB,SAAwB;IAExB,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,SAAgB,mBAAmB,CACjC,IAAsB,EACtB,SAAwB;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAEzB,KAAK,UAAU;YACb,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,OAAO,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE/B,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,QAAQ,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrE,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACzD,OAAO,GAAG,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;QACvC,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjC,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC5C,kEAAkE;gBAClE,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;oBACpE,OAAO,IAAI,CAAC,GAAG,CAAC;gBAClB,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,UAAU;YACb,OAAO,KAAK,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;QAE5D,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI;iBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;iBAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC;QACjC,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI;iBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;iBAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,cAAc,GAAG,IAAI,GAAG,CAAC;QAClD,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;YACtD,OAAO,GAAG,MAAM,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5C,CAAC;QAED,KAAK,YAAY;YACf,OAAO,UAAU,IAAI,CAAC,QAAQ,GAAG,CAAC;IACtC,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAgB,oBAAoB,CAClC,IAAuB,EACvB,SAAwB;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAEnD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,IAAI,aAAa,GAAG,eAAe,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YACtD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;gBAC5D,0DAA0D;gBAC1D,uDAAuD;gBACvD,aAAa,GAAG,eAAe,MAAM,CAAC,KAAK,CAAC,cAAc,IAAI,MAAM,CAAC;YACvE,CAAC;YACD,uEAAuE;YACvE,6CAA6C;YAC7C,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,aAAa,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;QAC5D,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,GAAG,KAAK,YAAY,IAAI,GAAG,CAAC;QACrC,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,MAAM,MAAM,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAChE,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,GAAG,IAAI,cAAc,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QACjD,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,GAAG,KAAK,UAAU,IAAI,QAAQ,IAAI,CAAC,QAAQ,GAAG,CAAC;QACxD,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,SAAS,IAAA,0BAAS,EAAC,IAAI,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/D,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI;iBACrB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACX,IAAI,SAAS;oBAAE,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC1C,OAAO,IAAA,0BAAS,EAAC,GAAG,CAAC,CAAC;YACxB,CAAC,CAAC;iBACD,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,WAAW,IAAI,CAAC,QAAQ,MAAM,MAAM,IAAI,CAAC;QAClD,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,MAAM,KAAK,GAAa,CAAC,UAAU,UAAU,UAAU,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAa,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC3C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;oBAC7D,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,CAAC;gBACtC,CAAC,CAAC,CAAC;gBACH,QAAQ,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACtC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBAC7C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,MAAM,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC;QACzC,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,MAAM,CAAC,IAAY,EAAE,QAAgB,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,IAAI;SACR,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAqB;IAC7C,MAAM,QAAQ,GAAG,IAAA,gCAAe,EAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;SACnC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,UAAU,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAgB,kBAAkB,CAChC,IAAsB,EACtB,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,0BAA0B;IAC1B,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAE3D,uBAAuB;IACvB,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,IAAI,IAAI,QAAQ,IAAI,CAAC,KAAK,GAAG,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,MAAM,UAAU,GAAG,UAAU,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAEvE,uBAAuB;IACvB,MAAM,UAAU,GAAG,YAAY,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IAEjD,4BAA4B;IAC5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,IAAI,CACV,YAAY,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACzD,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,CAAC,UAAU,UAAU,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC3C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,CAAC;QACtC,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,oDAAoD;IACpD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAErD,cAAc;IACd,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IAEvB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,sBAAsB,CACpC,IAA0B,EAC1B,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,IAAI,UAAkB,CAAC;IACvB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,IAAI,SAAS;YAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/D,UAAU,GAAG,SAAS,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC;IAC9E,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC;IAEvD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,wBAAwB,CACtC,IAA4B,EAC5B,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,eAAe;IACf,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,aAAa,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;IAE3D,8BAA8B;IAC9B,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QACvE,UAAU,GAAG,aAAa,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;IACzD,CAAC;IAED,cAAc;IACd,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,YAAY,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;IAErD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,IAAI,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,uBAAuB,CACrC,IAA2B,EAC3B,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAE5D,IAAI,OAAe,CAAC;IACpB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,IAAI,SAAS;YAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,GAAG,SAAS,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IACnE,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IAED,MAAM,MAAM,GAAG,mBAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAEvD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
|
|
1
|
+
{"version":3,"file":"algebraToString.js","sourceRoot":"","sources":["../../../src/sparql/algebraToString.ts"],"names":[],"mappings":";;AAmCA,sCAyBC;AAiED,kDA0EC;AAMD,oDA+FC;AA0BD,gDAmEC;AAED,wDAsBC;AAED,4DA4BC;AAED,0DAuBC;AA9cD,qDAQ0B;AAS1B,SAAS,UAAU,CAAC,SAAuB,EAAE,GAAW;IACtD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,SAAgB,aAAa,CAC3B,IAAgB,EAChB,SAAwB;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,IAAI,IAAA,gCAAe,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,KAAK,KAAK;YACR,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,OAAO,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,IAAI,IAAA,mCAAkB,EAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChE,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,SAAS;oBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,MAAM;YACT,IAAI,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;oBAAE,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC1D,CAAC;YACD,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,eAAe,CACtB,MAAoB,EACpB,SAAwB;IAExB,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAuB,EACvB,SAAwB;IAExB,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,+DAA+D;AAC/D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAClE,SAAS,gBAAgB,CAAC,EAAU;IAClC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;QAAE,OAAO,CAAC,CAAC;IACvC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;QAAE,OAAO,CAAC,CAAC;IACvC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,OAAyB,EACzB,QAAgB,EAChB,IAAsB,EACtB,SAAwB;IAExB,MAAM,CAAC,GAAG,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAClD,+EAA+E;IAC/E,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IACrD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClD,sFAAsF;IACtF,IAAI,WAAW,IAAI,UAAU;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IAC/C,MAAM,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACnD,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAgB,mBAAmB,CACjC,IAAsB,EACtB,SAAwB;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,IAAA,gCAAe,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAE1C,KAAK,UAAU;YACb,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,OAAO,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE/B,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,QAAQ,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrE,OAAO,IAAA,8BAAa,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YACzE,OAAO,GAAG,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;QACvC,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjC,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC5C,kEAAkE;gBAClE,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;oBACpE,OAAO,IAAI,CAAC,GAAG,CAAC;gBAClB,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,UAAU;YACb,OAAO,KAAK,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;QAE5D,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAA,mCAAkB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI;iBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;iBAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC;QACjC,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAA,mCAAkB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI;iBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;iBAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,cAAc,GAAG,IAAI,GAAG,CAAC;QAClD,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;YACtD,OAAO,GAAG,MAAM,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5C,CAAC;QAED,KAAK,YAAY;YACf,OAAO,UAAU,IAAA,gCAAe,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAErD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,wEAAwE;YACxE,yEAAyE;YACzE,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACnE,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjF,OAAO,GAAG,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,GAAG,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAgB,oBAAoB,CAClC,IAAuB,EACvB,SAAwB;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAEnD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,IAAI,aAAa,GAAG,eAAe,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YACtD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;gBAC5D,0DAA0D;gBAC1D,uDAAuD;gBACvD,aAAa,GAAG,eAAe,MAAM,CAAC,KAAK,CAAC,cAAc,IAAI,MAAM,CAAC;YACvE,CAAC;YACD,uEAAuE;YACvE,6CAA6C;YAC7C,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,aAAa,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;QAC5D,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,GAAG,KAAK,YAAY,IAAI,GAAG,CAAC;QACrC,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,MAAM,MAAM,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAChE,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,GAAG,IAAI,cAAc,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QACjD,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,GAAG,KAAK,UAAU,IAAI,QAAQ,IAAA,gCAAe,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACzE,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,SAAS;gBAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1D,OAAO,SAAS,IAAA,0BAAS,EAAC,IAAI,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/D,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI;iBACrB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACX,IAAI,SAAS;oBAAE,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC1C,OAAO,IAAA,0BAAS,EAAC,GAAG,CAAC,CAAC;YACxB,CAAC,CAAC;iBACD,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,WAAW,IAAA,gCAAe,EAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,MAAM,IAAI,CAAC;QACnE,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAA,gCAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClF,MAAM,KAAK,GAAa,CAAC,UAAU,UAAU,UAAU,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAa,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC3C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;oBAC7D,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,CAAC;gBACtC,CAAC,CAAC,CAAC;gBACH,QAAQ,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACtC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBAC7C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,MAAM,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC;QACzC,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,MAAM,CAAC,IAAY,EAAE,QAAgB,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,IAAI;SACR,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAqB;IAC7C,MAAM,QAAQ,GAAG,IAAA,gCAAe,EAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;SACnC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,UAAU,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAgB,kBAAkB,CAChC,IAAsB,EACtB,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,0BAA0B;IAC1B,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAE3D,uBAAuB;IACvB,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,IAAI,IAAA,gCAAe,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,IAAI,IAAI,QAAQ,IAAA,gCAAe,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,MAAM,UAAU,GAAG,UAAU,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAEvE,uBAAuB;IACvB,MAAM,UAAU,GAAG,YAAY,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IAEjD,4BAA4B;IAC5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,IAAI,CACV,YAAY,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAA,gCAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAC1E,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,CAAC,UAAU,UAAU,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC3C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7D,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,CAAC;QACtC,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,oDAAoD;IACpD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAErD,cAAc;IACd,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IAEvB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,sBAAsB,CACpC,IAA0B,EAC1B,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,IAAI,UAAkB,CAAC;IACvB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,IAAI,SAAS;YAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/D,UAAU,GAAG,SAAS,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC;IAC9E,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC;IAEvD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,wBAAwB,CACtC,IAA4B,EAC5B,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,eAAe;IACf,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,aAAa,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;IAE3D,8BAA8B;IAC9B,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QACvE,UAAU,GAAG,aAAa,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;IACzD,CAAC;IAED,cAAc;IACd,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,YAAY,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;IAErD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,IAAI,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,uBAAuB,CACrC,IAA2B,EAC3B,QAAwB;IAExB,MAAM,SAAS,GAAiB,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAC,CAAC;IAElD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAE5D,IAAI,OAAe,CAAC;IACpB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,IAAI,SAAS;YAAE,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,GAAG,SAAS,IAAA,0BAAS,EAAC,IAAI,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IACnE,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IAED,MAAM,MAAM,GAAG,mBAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAEvD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
|
|
@@ -69,28 +69,62 @@ function resolveShapeScanIri(shapeId) {
|
|
|
69
69
|
* that matched nothing.
|
|
70
70
|
* - No matching shape / unresolvable → `{kind:'iri'}` of the property id itself (unchanged shadow fallback).
|
|
71
71
|
*/
|
|
72
|
+
// Memoizes resolved predicate terms across the many call sites that resolve the
|
|
73
|
+
// same property. Guarded by the shape-registry size so it self-invalidates when
|
|
74
|
+
// new shapes register (e.g. across test-file module instances). Only successful
|
|
75
|
+
// resolutions are cached — a not-found fallback is never stored, so a predicate
|
|
76
|
+
// resolved before its shape registers can still resolve correctly afterwards.
|
|
77
|
+
const predicateTermCache = new Map();
|
|
78
|
+
let predicateTermCacheSize = -1;
|
|
72
79
|
function resolvePropertyPredicateTerm(propertyId) {
|
|
73
80
|
var _a, _b, _c;
|
|
74
81
|
const shapeClasses = (0, ShapeClass_js_1.getAllShapeClasses)();
|
|
82
|
+
if (shapeClasses.size !== predicateTermCacheSize) {
|
|
83
|
+
predicateTermCache.clear();
|
|
84
|
+
predicateTermCacheSize = shapeClasses.size;
|
|
85
|
+
}
|
|
86
|
+
const cached = predicateTermCache.get(propertyId);
|
|
87
|
+
if (cached)
|
|
88
|
+
return cached;
|
|
75
89
|
for (const shapeClass of shapeClasses.values()) {
|
|
76
90
|
const propertyShape = (_c = (_b = (_a = shapeClass.shape) === null || _a === void 0 ? void 0 : _a.getPropertyShapes) === null || _b === void 0 ? void 0 : _b.call(_a, true)) === null || _c === void 0 ? void 0 : _c.find((prop) => prop.id === propertyId);
|
|
77
91
|
if (!propertyShape)
|
|
78
92
|
continue;
|
|
79
93
|
const simplePathId = (0, normalizePropertyPath_js_1.getSimplePathId)(propertyShape.path);
|
|
94
|
+
let term;
|
|
80
95
|
if (simplePathId !== null) {
|
|
81
96
|
// Simple single-IRI path: resolve to the IRI, or fall back to the property id
|
|
82
97
|
// (e.g. unresolvable `linked://tmp/` ids) — unchanged from before.
|
|
83
|
-
|
|
98
|
+
term = iriTerm(shouldResolveShapeOrPropertyId(simplePathId) ? simplePathId : propertyId);
|
|
84
99
|
}
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
100
|
+
else {
|
|
101
|
+
// Structured sh:path — emit a property-path predicate instead of a shadow IRI.
|
|
102
|
+
term = {
|
|
103
|
+
kind: 'path',
|
|
104
|
+
value: (0, pathExprToSparql_js_1.pathExprToSparql)(propertyShape.path),
|
|
105
|
+
uris: (0, pathExprToSparql_js_1.collectPathUris)(propertyShape.path),
|
|
106
|
+
};
|
|
107
|
+
}
|
|
108
|
+
predicateTermCache.set(propertyId, term);
|
|
109
|
+
return term;
|
|
91
110
|
}
|
|
92
111
|
return iriTerm(propertyId);
|
|
93
112
|
}
|
|
113
|
+
/**
|
|
114
|
+
* Resolve the predicate term for a traversal/property node: a structured
|
|
115
|
+
* property-path when an explicit `pathExpr` is present, otherwise the
|
|
116
|
+
* registry-resolved predicate for `property`. Centralizes the invariant that
|
|
117
|
+
* these two branches stay in lockstep across every triple-building site.
|
|
118
|
+
*/
|
|
119
|
+
function buildPredicateTerm(spec) {
|
|
120
|
+
return spec.pathExpr
|
|
121
|
+
? {
|
|
122
|
+
kind: 'path',
|
|
123
|
+
value: (0, pathExprToSparql_js_1.pathExprToSparql)(spec.pathExpr),
|
|
124
|
+
uris: (0, pathExprToSparql_js_1.collectPathUris)(spec.pathExpr),
|
|
125
|
+
}
|
|
126
|
+
: resolvePropertyPredicateTerm(spec.property);
|
|
127
|
+
}
|
|
94
128
|
/** Produce variable name suffix from the last segment of a property URI. */
|
|
95
129
|
function propertySuffix(propertyUri) {
|
|
96
130
|
const hashIdx = propertyUri.lastIndexOf('#');
|
|
@@ -109,7 +143,7 @@ function sanitizeVarName(name) {
|
|
|
109
143
|
const IR_EXPRESSION_KINDS = new Set([
|
|
110
144
|
'literal_expr', 'property_expr', 'binary_expr', 'logical_expr',
|
|
111
145
|
'not_expr', 'function_expr', 'aggregate_expr', 'reference_expr',
|
|
112
|
-
'alias_expr', 'context_property_expr', 'exists_expr',
|
|
146
|
+
'alias_expr', 'context_property_expr', 'exists_expr', 'in_expr',
|
|
113
147
|
]);
|
|
114
148
|
function isIRExpression(value) {
|
|
115
149
|
return !!value && typeof value === 'object' && 'kind' in value &&
|
|
@@ -139,7 +173,7 @@ function contextAliasKey(contextIri) {
|
|
|
139
173
|
/**
|
|
140
174
|
* Defense-in-depth: a `reference_expr`/`context_property_expr` must arrive here with its
|
|
141
175
|
* IRI already resolved (lowering's `resolveContextRefs` fills it from `contextName`). If it
|
|
142
|
-
* didn't — an unresolved `{
|
|
176
|
+
* didn't — an unresolved `{@ctx}` reaching the algebra through some path that bypassed
|
|
143
177
|
* resolution — fail with a clear `UnresolvedContextError` instead of an opaque
|
|
144
178
|
* `undefined.substring` crash deeper in URI formatting.
|
|
145
179
|
*/
|
|
@@ -199,13 +233,7 @@ function collectTraversalAliases(patterns) {
|
|
|
199
233
|
return aliases;
|
|
200
234
|
}
|
|
201
235
|
function buildTraverseTriple(pattern) {
|
|
202
|
-
const predicate = pattern
|
|
203
|
-
? {
|
|
204
|
-
kind: 'path',
|
|
205
|
-
value: (0, pathExprToSparql_js_1.pathExprToSparql)(pattern.pathExpr),
|
|
206
|
-
uris: (0, pathExprToSparql_js_1.collectPathUris)(pattern.pathExpr),
|
|
207
|
-
}
|
|
208
|
-
: resolvePropertyPredicateTerm(pattern.property);
|
|
236
|
+
const predicate = buildPredicateTerm(pattern);
|
|
209
237
|
return tripleOf(varTerm(pattern.from), predicate, varTerm(pattern.to));
|
|
210
238
|
}
|
|
211
239
|
function collectTraversePatternsInOrder(patterns, out = []) {
|
|
@@ -261,6 +289,11 @@ function collectExpressionAliases(expr, aliases) {
|
|
|
261
289
|
collectExpressionAliases(expr.left, aliases);
|
|
262
290
|
collectExpressionAliases(expr.right, aliases);
|
|
263
291
|
break;
|
|
292
|
+
case 'in_expr':
|
|
293
|
+
collectExpressionAliases(expr.value, aliases);
|
|
294
|
+
for (const el of expr.source.list)
|
|
295
|
+
collectExpressionAliases(el, aliases);
|
|
296
|
+
break;
|
|
264
297
|
case 'logical_expr':
|
|
265
298
|
for (const sub of expr.expressions) {
|
|
266
299
|
collectExpressionAliases(sub, aliases);
|
|
@@ -392,6 +425,8 @@ function containsAggregate(expr) {
|
|
|
392
425
|
switch (expr.kind) {
|
|
393
426
|
case 'aggregate_expr':
|
|
394
427
|
return true;
|
|
428
|
+
case 'in_expr':
|
|
429
|
+
return containsAggregate(expr.value) || expr.list.some(containsAggregate);
|
|
395
430
|
case 'binary_expr':
|
|
396
431
|
return containsAggregate(expr.left) || containsAggregate(expr.right);
|
|
397
432
|
case 'logical_expr':
|
|
@@ -585,13 +620,7 @@ function selectToAlgebra(query, _options) {
|
|
|
585
620
|
// Every pattern here is a root→child paginated traversal (the deep-pagination
|
|
586
621
|
// guard above rejected anything else), so each maps 1:1 to a sub-SELECT.
|
|
587
622
|
for (const pattern of paginatedTraversePatterns) {
|
|
588
|
-
const predicate = pattern
|
|
589
|
-
? {
|
|
590
|
-
kind: 'path',
|
|
591
|
-
value: (0, pathExprToSparql_js_1.pathExprToSparql)(pattern.pathExpr),
|
|
592
|
-
uris: (0, pathExprToSparql_js_1.collectPathUris)(pattern.pathExpr),
|
|
593
|
-
}
|
|
594
|
-
: resolvePropertyPredicateTerm(pattern.property);
|
|
623
|
+
const predicate = buildPredicateTerm(pattern);
|
|
595
624
|
const innerTriple = tripleOf(iriTerm(singleSubjectIri), predicate, varTerm(pattern.to));
|
|
596
625
|
// Default ORDER BY ?childVar for a deterministic window, unless the nested
|
|
597
626
|
// select supplied its own ordering. When it did, each ordered property must
|
|
@@ -936,9 +965,7 @@ function processExpressionForProperties(expr, registry, optionalPropertyTriples,
|
|
|
936
965
|
case 'property_expr': {
|
|
937
966
|
if (!registry.has(expr.sourceAlias, expr.property)) {
|
|
938
967
|
const varName = registry.getOrCreate(expr.sourceAlias, expr.property);
|
|
939
|
-
const predicate = expr
|
|
940
|
-
? { kind: 'path', value: (0, pathExprToSparql_js_1.pathExprToSparql)(expr.pathExpr), uris: (0, pathExprToSparql_js_1.collectPathUris)(expr.pathExpr) }
|
|
941
|
-
: resolvePropertyPredicateTerm(expr.property);
|
|
968
|
+
const predicate = buildPredicateTerm(expr);
|
|
942
969
|
const triple = tripleOf(varTerm(expr.sourceAlias), predicate, varTerm(varName));
|
|
943
970
|
const triples = requiredPropertyKeys.has(bindingKey(expr.sourceAlias, expr.property))
|
|
944
971
|
? requiredPropertyTriples
|
|
@@ -951,6 +978,10 @@ function processExpressionForProperties(expr, registry, optionalPropertyTriples,
|
|
|
951
978
|
processExpressionForProperties(expr.left, registry, optionalPropertyTriples, requiredPropertyTriples, requiredPropertyKeys);
|
|
952
979
|
processExpressionForProperties(expr.right, registry, optionalPropertyTriples, requiredPropertyTriples, requiredPropertyKeys);
|
|
953
980
|
break;
|
|
981
|
+
case 'in_expr':
|
|
982
|
+
// The tested value binds a property; list elements are constants.
|
|
983
|
+
processExpressionForProperties(expr.value, registry, optionalPropertyTriples, requiredPropertyTriples, requiredPropertyKeys);
|
|
984
|
+
break;
|
|
954
985
|
case 'logical_expr':
|
|
955
986
|
for (const sub of expr.expressions) {
|
|
956
987
|
processExpressionForProperties(sub, registry, optionalPropertyTriples, requiredPropertyTriples, requiredPropertyKeys);
|
|
@@ -1007,6 +1038,9 @@ function collectRequiredBindingKeys(expr) {
|
|
|
1007
1038
|
return new Set([bindingKey(expr.sourceAlias, expr.property)]);
|
|
1008
1039
|
case 'context_property_expr':
|
|
1009
1040
|
return new Set([bindingKey(contextAliasKey(resolvedContextIri(expr.contextIri, expr.contextName)), expr.property)]);
|
|
1041
|
+
case 'in_expr':
|
|
1042
|
+
// The tested value must be bound; list elements are constants.
|
|
1043
|
+
return collectRequiredBindingKeys(expr.value);
|
|
1010
1044
|
case 'binary_expr':
|
|
1011
1045
|
return mergeKeySets(collectRequiredBindingKeys(expr.left), collectRequiredBindingKeys(expr.right));
|
|
1012
1046
|
case 'function_expr': {
|
|
@@ -1092,6 +1126,13 @@ function convertExpression(expr, registry, optionalPropertyTriples) {
|
|
|
1092
1126
|
const varName = registry.getOrCreate(expr.sourceAlias, expr.property);
|
|
1093
1127
|
return { kind: 'variable_expr', name: varName };
|
|
1094
1128
|
}
|
|
1129
|
+
case 'in_expr':
|
|
1130
|
+
return {
|
|
1131
|
+
kind: 'in_expr',
|
|
1132
|
+
negated: expr.negated,
|
|
1133
|
+
value: convertExpression(expr.value, registry, optionalPropertyTriples),
|
|
1134
|
+
list: expr.source.list.map((e) => convertExpression(e, registry, optionalPropertyTriples)),
|
|
1135
|
+
};
|
|
1095
1136
|
case 'binary_expr':
|
|
1096
1137
|
return {
|
|
1097
1138
|
kind: 'binary_expr',
|
|
@@ -1167,9 +1208,7 @@ function convertExpression(expr, registry, optionalPropertyTriples) {
|
|
|
1167
1208
|
function convertExistsPattern(pattern, registry) {
|
|
1168
1209
|
switch (pattern.kind) {
|
|
1169
1210
|
case 'traverse': {
|
|
1170
|
-
const existsPredicate = pattern
|
|
1171
|
-
? { kind: 'path', value: (0, pathExprToSparql_js_1.pathExprToSparql)(pattern.pathExpr), uris: (0, pathExprToSparql_js_1.collectPathUris)(pattern.pathExpr) }
|
|
1172
|
-
: resolvePropertyPredicateTerm(pattern.property);
|
|
1211
|
+
const existsPredicate = buildPredicateTerm(pattern);
|
|
1173
1212
|
const triple = tripleOf(varTerm(pattern.from), existsPredicate, varTerm(pattern.to));
|
|
1174
1213
|
return { type: 'bgp', triples: [triple] };
|
|
1175
1214
|
}
|
|
@@ -1254,6 +1293,14 @@ function fieldValueToTerms(value, options) {
|
|
|
1254
1293
|
if (value instanceof Date) {
|
|
1255
1294
|
return [literalTerm(value.toISOString(), XSD_DATETIME)];
|
|
1256
1295
|
}
|
|
1296
|
+
// Computed/expression value in create: create lowers to INSERT DATA (ground
|
|
1297
|
+
// triples, no WHERE), so an expression can't be evaluated here. Fail loudly
|
|
1298
|
+
// instead of silently emitting no triple (report 021 §3, G4).
|
|
1299
|
+
if (value &&
|
|
1300
|
+
typeof value === 'object' &&
|
|
1301
|
+
(isIRExpression(value) || 'ir' in value)) {
|
|
1302
|
+
throw new Error('Computed/expression values are not supported in create (INSERT DATA has no WHERE clause to evaluate them). Use a literal value, or use update.');
|
|
1303
|
+
}
|
|
1257
1304
|
// NodeReferenceValue
|
|
1258
1305
|
if (typeof value === 'object' && 'id' in value && !('shape' in value) && !('fields' in value)) {
|
|
1259
1306
|
return [iriTerm(value.id)];
|
|
@@ -1604,12 +1651,21 @@ function shapeHasContainsProperty(shapeId) {
|
|
|
1604
1651
|
.getPropertyShapes(true)
|
|
1605
1652
|
.some((ps) => ps.contains);
|
|
1606
1653
|
}
|
|
1654
|
+
// Memoized registry scan for cascade lowering — called once per update/delete and
|
|
1655
|
+
// again per owned-cascade item inside loops. Guarded by registry size (same rationale
|
|
1656
|
+
// as predicateTermCache). Callers treat the result as read-only.
|
|
1657
|
+
let containmentCache = null;
|
|
1658
|
+
let containmentCacheSize = -1;
|
|
1607
1659
|
/** Gather contains-predicate IRIs and dependent targetClass IRIs from the registry. */
|
|
1608
1660
|
function collectContainment() {
|
|
1609
1661
|
var _a;
|
|
1662
|
+
const shapeClasses = (0, ShapeClass_js_1.getAllShapeClasses)();
|
|
1663
|
+
if (containmentCache && shapeClasses.size === containmentCacheSize) {
|
|
1664
|
+
return containmentCache;
|
|
1665
|
+
}
|
|
1610
1666
|
const containsPreds = new Set();
|
|
1611
1667
|
const dependentTypes = new Set();
|
|
1612
|
-
for (const [, shapeClass] of
|
|
1668
|
+
for (const [, shapeClass] of shapeClasses) {
|
|
1613
1669
|
const nodeShape = shapeClass === null || shapeClass === void 0 ? void 0 : shapeClass.shape;
|
|
1614
1670
|
if (!nodeShape)
|
|
1615
1671
|
continue;
|
|
@@ -1627,7 +1683,9 @@ function collectContainment() {
|
|
|
1627
1683
|
}
|
|
1628
1684
|
}
|
|
1629
1685
|
}
|
|
1630
|
-
|
|
1686
|
+
containmentCache = { containsPreds: [...containsPreds], dependentTypes: [...dependentTypes] };
|
|
1687
|
+
containmentCacheSize = shapeClasses.size;
|
|
1688
|
+
return containmentCache;
|
|
1631
1689
|
}
|
|
1632
1690
|
/**
|
|
1633
1691
|
* Build DELETE patterns + WHERE OPTIONAL blocks that cascade-delete the owned subtree
|