@traqula/rules-sparql-1-1 0.0.1-alpha.10

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.
Files changed (115) hide show
  1. package/LICENSE.txt +22 -0
  2. package/README.md +17 -0
  3. package/lib/RoundTripTypes.d.ts +379 -0
  4. package/lib/RoundTripTypes.js +2 -0
  5. package/lib/RoundTripTypes.js.map +1 -0
  6. package/lib/Sparql11types.d.ts +68 -0
  7. package/lib/Sparql11types.js +2 -0
  8. package/lib/Sparql11types.js.map +1 -0
  9. package/lib/SparqlParser.d.ts +23 -0
  10. package/lib/SparqlParser.js +32 -0
  11. package/lib/SparqlParser.js.map +1 -0
  12. package/lib/expressionHelpers.d.ts +45 -0
  13. package/lib/expressionHelpers.js +161 -0
  14. package/lib/expressionHelpers.js.map +1 -0
  15. package/lib/factory.d.ts +447 -0
  16. package/lib/factory.js +105 -0
  17. package/lib/factory.js.map +1 -0
  18. package/lib/factoryMixins/ContextFactory.d.ts +38 -0
  19. package/lib/factoryMixins/ContextFactory.js +30 -0
  20. package/lib/factoryMixins/ContextFactory.js.map +1 -0
  21. package/lib/factoryMixins/ExpressionFactory.d.ts +60 -0
  22. package/lib/factoryMixins/ExpressionFactory.js +83 -0
  23. package/lib/factoryMixins/ExpressionFactory.js.map +1 -0
  24. package/lib/factoryMixins/GraphRefFactory.d.ts +43 -0
  25. package/lib/factoryMixins/GraphRefFactory.js +51 -0
  26. package/lib/factoryMixins/GraphRefFactory.js.map +1 -0
  27. package/lib/factoryMixins/PathFactory.d.ts +51 -0
  28. package/lib/factoryMixins/PathFactory.js +68 -0
  29. package/lib/factoryMixins/PathFactory.js.map +1 -0
  30. package/lib/factoryMixins/Patternfactory.d.ts +55 -0
  31. package/lib/factoryMixins/Patternfactory.js +98 -0
  32. package/lib/factoryMixins/Patternfactory.js.map +1 -0
  33. package/lib/factoryMixins/QueryFactory.d.ts +41 -0
  34. package/lib/factoryMixins/QueryFactory.js +43 -0
  35. package/lib/factoryMixins/QueryFactory.js.map +1 -0
  36. package/lib/factoryMixins/SolutionModifiersFactory.d.ts +43 -0
  37. package/lib/factoryMixins/SolutionModifiersFactory.js +55 -0
  38. package/lib/factoryMixins/SolutionModifiersFactory.js.map +1 -0
  39. package/lib/factoryMixins/TermFactory.d.ts +76 -0
  40. package/lib/factoryMixins/TermFactory.js +84 -0
  41. package/lib/factoryMixins/TermFactory.js.map +1 -0
  42. package/lib/factoryMixins/UpdateOperationFactory.d.ts +68 -0
  43. package/lib/factoryMixins/UpdateOperationFactory.js +126 -0
  44. package/lib/factoryMixins/UpdateOperationFactory.js.map +1 -0
  45. package/lib/factoryMixins/mixins.d.ts +14 -0
  46. package/lib/factoryMixins/mixins.js +20 -0
  47. package/lib/factoryMixins/mixins.js.map +1 -0
  48. package/lib/grammar/builtIn.d.ts +89 -0
  49. package/lib/grammar/builtIn.js +247 -0
  50. package/lib/grammar/builtIn.js.map +1 -0
  51. package/lib/grammar/dataSetClause.d.ts +34 -0
  52. package/lib/grammar/dataSetClause.js +81 -0
  53. package/lib/grammar/dataSetClause.js.map +1 -0
  54. package/lib/grammar/expression.d.ts +63 -0
  55. package/lib/grammar/expression.js +383 -0
  56. package/lib/grammar/expression.js.map +1 -0
  57. package/lib/grammar/general.d.ts +36 -0
  58. package/lib/grammar/general.js +145 -0
  59. package/lib/grammar/general.js.map +1 -0
  60. package/lib/grammar/index.d.ts +12 -0
  61. package/lib/grammar/index.js +13 -0
  62. package/lib/grammar/index.js.map +1 -0
  63. package/lib/grammar/literals.d.ts +55 -0
  64. package/lib/grammar/literals.js +258 -0
  65. package/lib/grammar/literals.js.map +1 -0
  66. package/lib/grammar/propertyPaths.d.ts +43 -0
  67. package/lib/grammar/propertyPaths.js +182 -0
  68. package/lib/grammar/propertyPaths.js.map +1 -0
  69. package/lib/grammar/queryUnit/queryUnit.d.ts +48 -0
  70. package/lib/grammar/queryUnit/queryUnit.js +366 -0
  71. package/lib/grammar/queryUnit/queryUnit.js.map +1 -0
  72. package/lib/grammar/solutionModifier.d.ts +44 -0
  73. package/lib/grammar/solutionModifier.js +253 -0
  74. package/lib/grammar/solutionModifier.js.map +1 -0
  75. package/lib/grammar/tripleBlock.d.ts +36 -0
  76. package/lib/grammar/tripleBlock.js +357 -0
  77. package/lib/grammar/tripleBlock.js.map +1 -0
  78. package/lib/grammar/updateUnit/updateUnit.d.ts +95 -0
  79. package/lib/grammar/updateUnit/updateUnit.js +493 -0
  80. package/lib/grammar/updateUnit/updateUnit.js.map +1 -0
  81. package/lib/grammar/whereClause.d.ts +76 -0
  82. package/lib/grammar/whereClause.js +441 -0
  83. package/lib/grammar/whereClause.js.map +1 -0
  84. package/lib/grammar-helpers/utils.d.ts +12 -0
  85. package/lib/grammar-helpers/utils.js +16 -0
  86. package/lib/grammar-helpers/utils.js.map +1 -0
  87. package/lib/index.cjs +14565 -0
  88. package/lib/index.d.ts +10 -0
  89. package/lib/index.js +11 -0
  90. package/lib/index.js.map +1 -0
  91. package/lib/lexer/BuildinCalls.d.ts +126 -0
  92. package/lib/lexer/BuildinCalls.js +188 -0
  93. package/lib/lexer/BuildinCalls.js.map +1 -0
  94. package/lib/lexer/graph.d.ts +6 -0
  95. package/lib/lexer/graph.js +8 -0
  96. package/lib/lexer/graph.js.map +1 -0
  97. package/lib/lexer/index.d.ts +5 -0
  98. package/lib/lexer/index.js +6 -0
  99. package/lib/lexer/index.js.map +1 -0
  100. package/lib/lexer/lexer.d.ts +54 -0
  101. package/lib/lexer/lexer.js +70 -0
  102. package/lib/lexer/lexer.js.map +1 -0
  103. package/lib/lexer/symbols.d.ts +28 -0
  104. package/lib/lexer/symbols.js +29 -0
  105. package/lib/lexer/symbols.js.map +1 -0
  106. package/lib/lexer/terminals.d.ts +26 -0
  107. package/lib/lexer/terminals.js +63 -0
  108. package/lib/lexer/terminals.js.map +1 -0
  109. package/lib/utils.d.ts +5 -0
  110. package/lib/utils.js +24 -0
  111. package/lib/utils.js.map +1 -0
  112. package/lib/validation/validators.d.ts +14 -0
  113. package/lib/validation/validators.js +235 -0
  114. package/lib/validation/validators.js.map +1 -0
  115. package/package.json +48 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"queryUnit.js","sourceRoot":"","sources":["queryUnit.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,aAAa,CAAC;AAmBjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEzD;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAkD;IACtE,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC;CACvD,CAAC;AAIF;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAuC;IACvD,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,EAAE,CAA6B;YAC7C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE;YAC9C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE;YACjD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,SAAS,CAAC,EAAE;YAChD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAEhD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAQ;YAC1B,OAAO,EAAE,cAAc;YACvB,GAAG,OAAO;YACV,IAAI,EAAE,OAAO;YACb,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;YACzB,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAC3B,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,EACpB,OAAO,EACP,MAAM,CACP;SACD,CAAA,CAAC,CAAC;IACN,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,cAAc,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAwE;IAC9F,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QAEvD,OAAO,MAAM,CAAC,GAAG,EAAE;YACjB,MAAM,GAAG,GAAG;gBACV,OAAO,EAAE,QAAQ;gBACjB,KAAK,EAAE,KAAK,CAAC,GAAG;gBAChB,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,IAAI;gBACd,GAAG,SAAS,CAAC,GAAG;gBAChB,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAC3B,SAAS,EACT,KAAK,EACL,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,WAAW,CACtB;aAC0C,CAAC;YAC9C,WAAW,CAAC,GAAG,CAAC,CAAC;YACjB,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9C,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC;YAC3B,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,OAAO,EAAE,GAAG,CAAC,OAAO;SACrB,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACnD,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAClE,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAsD;IAC1E,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAEhD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;YACxC,KAAK,EAAE,KAAK,CAAC,GAAG;YAChB,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;YAClE,OAAO,EAAE,EAAE;YACX,iBAAiB,EAAE,SAAS;YAC5B,GAAG,SAAS,CAAC,GAAG;YAChB,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;SAC1B,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CACzB,SAAS,EACT,KAAK,EACL,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,WAAW,EACrB,MAAM,CACP,CAAC,CAAC,CAAC;IACN,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAA8F;IACrH,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EACL,MAAM,EACN,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,GACJ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACV,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAElH,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAqB;YAC9D,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACpB,OAAe,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;gBACjC,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACnB,OAAe,CAAE,KAAK,EAAE,IAAI,CAAE,CAAC;gBACjC,CAAC,EAAE;SACJ,CAAC,CAAC,IAAI,CAAE,KAAK,EAAE,KAAK,CAAE,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE;YAC1B,MAAM,CAAE,QAAQ,EAAE,OAAO,CAAE,GAAG,kBAAkB,CAAC;YACjD,OAAO;gBACL,GAAG,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC7B,GAAG,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,CAAC;aAC5B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,IAAwB,CAAC;QAC7B,MAAM,GAAG,GAAG,GAAG,CAA4C;YACzD,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACrC,OAAO,MAAM,CAAC,GAAG,EAAE;wBACjB,IAAI,GAAG,IAAI,CAAC;wBACZ,OAAO,EAAE,SAAS,EAAE,CAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,OAAO,EAAE,CAAC;oBAC3F,CAAC,CAAC,CAAC;gBACL,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,QAAQ,GAAmB,EAAE,CAAC;oBACpC,MAAM,SAAS,GAAmC,EAAE,CAAC;oBACrD,YAAY,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;wBACrB,EAAE,GAAG,EAAE,GAAG,EAAE;gCACV,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gCACtC,MAAM,CAAC,GAAG,EAAE;oCACV,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wCAC9C,MAAM,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,KAAK,uCAAuC,CAAC,CAAC;oCAChF,CAAC;oCACD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oCACnB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oCACpB,IAAI,GAAG,GAAG,CAAC;gCACb,CAAC,CAAC,CAAC;4BACL,CAAC,EAAE;wBACH,EAAE,GAAG,EAAE,GAAG,EAAE;gCACV,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gCACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gCAC7C,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gCACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gCAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gCACxC,MAAM,CAAC,GAAG,EAAE;oCACV,IAAI,GAAG,KAAK,CAAC;oCACb,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wCACnD,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,KAAK,uCAAuC,CAAC,CAAC;oCACrF,CAAC;oCACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oCACxB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gCAC9F,CAAC,CAAC,CAAC;4BACL,CAAC,EAAE;qBACJ,CAAC,CAAC,CAAC;oBACJ,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;gBACnC,CAAC,EAAE;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACxE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;YACtB,UAAU,CAAC,QAAQ,CAAC,CAAC;YACrB,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACrB,UAAU,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;iBAAM,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;gBAC3B,UAAU,CAAC,SAAS,CAAC,CAAC;YACxB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3B,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;iBAAM,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9B,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1C,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBACpD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC3C,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC5C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAA8E;IACvG,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACvC,OAAO,EAAE,CAAsC;YAC7C,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,QAAQ,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;oBACxD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;oBACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;oBAC/C,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;oBACxD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;wBACnB,OAAO,EAAE,WAAW;wBACpB,QAAQ,EAAE,QAAQ,CAAC,GAAG;wBACtB,QAAQ,EAAE,IAAI;wBACd,KAAK,EAAE,KAAK,CAAC,GAAG;wBAChB,iBAAiB,EAAE,SAAS;wBAC5B,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAC3B,SAAS,EACT,KAAK,EACL,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,WAAW,CACtB;qBAC6C,CAAA,CAAC,CAAC;gBACpD,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;oBACpD,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACjB,wDAAwD;oBACxD,MAAM,QAAQ,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;oBACxD,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;oBAExD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;wBACnB,OAAO,EAAE,WAAW;wBACpB,QAAQ,EAAE,QAAQ,CAAC,GAAG;wBACtB,QAAQ,EAAE,IAAI;wBACd,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAE,QAAQ,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;wBAC3E,iBAAiB,EAAE,SAAS;wBAC5B,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAC3B,SAAS,EACT,QAAQ,EACR,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,WAAW,CACtB;qBACF,CAAC,CAAC,CAAC;gBACN,CAAC,EAAE;SACJ,CAAC,CAAC;IACL,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,CAAC,CAAC,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACpD,uCAAuC;YACvC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC/C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAE,GAAG,CAAC,QAAQ,CAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAChH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAA4E;IACpG,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,EAAE,CAA6B;YAC/C,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,SAAS,GAA+B,EAAE,CAAC;oBACjD,YAAY,CAAC,GAAG,EAAE;wBAChB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;oBAChD,CAAC,CAAC,CAAC;oBACH,OAAO,SAAS,CAAC;gBACnB,CAAC,EAAE;YACH,EAAE,GAAG,EAAE,GAAG,EAAE;oBACV,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACrC,OAAO,CAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC;gBAC9E,CAAC,EAAE;SACJ,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,OAAO,EAAE,UAAU;YACnB,SAAS;YACT,QAAQ,EAAE,IAAI;YACd,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;YAClC,iBAAiB,EAAE,SAAS;YAC5B,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAC3B,QAAQ,EACR,GAAG,SAAS,EACZ,IAAI,EACJ,KAAK,EACL,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,WAAW,CACtB;SACF,CAAC,CAAC,CAAC;IACN,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,QAAQ,IAAuD,GAAG,CAAC,SAAU,EAAE,CAAC;gBACzF,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;QACD,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YACd,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAkE;IACrF,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QAEvD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,IAAI;YACd,KAAK,EAAE,KAAK,CAAC,GAAG;YAChB,iBAAiB,EAAE,SAAS;YAC5B,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAC3B,GAAG,EACH,IAAI,EACJ,KAAK,EACL,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,WAAW,CACtB;SACwC,CAAA,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5C,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC5D,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAyE;IAChG,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;CAClF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqE;IACjG,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACrD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAExC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAChC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,EAC/D,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CACtC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA8D;IACzF,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,eAAe,CAAC,IAAI;CAC3B,CAAC","sourcesContent":["import type { Localized, RuleDefReturn, Wrap } from '@traqula/core';\nimport type { IToken } from 'chevrotain';\nimport * as l from '../../lexer';\nimport type {\n PatternBgp,\n PatternBind,\n PatternValues,\n Query,\n QueryAsk,\n QueryConstruct,\n QueryDescribe,\n QuerySelect,\n SubSelect,\n TermIri,\n TermVariable,\n Wildcard,\n} from '../../RoundTripTypes';\nimport type {\n SparqlGrammarRule,\n SparqlRule,\n} from '../../Sparql11types';\nimport { queryIsGood } from '../../validation/validators';\nimport { datasetClauseStar } from '../dataSetClause';\nimport { expression } from '../expression';\nimport { prologue, var_, varOrIri, varOrTerm } from '../general';\nimport { solutionModifier } from '../solutionModifier';\nimport { triplesBlock, triplesTemplate } from '../tripleBlock';\nimport { inlineData, whereClause } from '../whereClause';\n\n/**\n * [[1]](https://www.w3.org/TR/sparql11-query/#rQueryUnit)\n */\nexport const queryUnit: SparqlGrammarRule<'queryUnit', Query> = <const> {\n name: 'queryUnit',\n impl: ({ SUBRULE }) => () => SUBRULE(query, undefined),\n};\n\nexport type HandledByBase = 'type' | 'context' | 'values';\n\n/**\n * [[2]](https://www.w3.org/TR/sparql11-query/#rQuery)\n */\nexport const query: SparqlRule<'query', Query> = <const> {\n name: 'query',\n impl: ({ ACTION, SUBRULE, OR }) => (C) => {\n const prologueValues = SUBRULE(prologue, undefined);\n const subType = OR<Omit<Query, HandledByBase>>([\n { ALT: () => SUBRULE(selectQuery, undefined) },\n { ALT: () => SUBRULE(constructQuery, undefined) },\n { ALT: () => SUBRULE(describeQuery, undefined) },\n { ALT: () => SUBRULE(askQuery, undefined) },\n ]);\n const values = SUBRULE(valuesClause, undefined);\n\n return ACTION(() => (<Query>{\n context: prologueValues,\n ...subType,\n type: 'query',\n ...(values && { values }),\n loc: C.factory.sourceLocation(\n prologueValues.at(0),\n subType,\n values,\n ),\n }));\n },\n gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n SUBRULE(prologue, ast.context, undefined);\n if (F.isQuerySelect(ast)) {\n SUBRULE(selectQuery, ast, undefined);\n } else if (F.isQueryConstruct(ast)) {\n SUBRULE(constructQuery, ast, undefined);\n } else if (F.isQueryDescribe(ast)) {\n SUBRULE(describeQuery, ast, undefined);\n } else if (F.isQueryAsk(ast)) {\n SUBRULE(askQuery, ast, undefined);\n }\n if (ast.values) {\n SUBRULE(inlineData, ast.values, undefined);\n }\n },\n};\n\n/**\n * [[7]](https://www.w3.org/TR/sparql11-query/#rSelectQuery)\n */\nexport const selectQuery: SparqlRule<'selectQuery', Omit<QuerySelect, HandledByBase>> = <const> {\n name: 'selectQuery',\n impl: ({ ACTION, SUBRULE }) => (C) => {\n const selectVal = SUBRULE(selectClause, undefined);\n const from = SUBRULE(datasetClauseStar, undefined);\n const where = SUBRULE(whereClause, undefined);\n const modifiers = SUBRULE(solutionModifier, undefined);\n\n return ACTION(() => {\n const ret = {\n subType: 'select',\n where: where.val,\n solutionModifiers: modifiers,\n datasets: from,\n ...selectVal.val,\n loc: C.factory.sourceLocation(\n selectVal,\n where,\n modifiers.group,\n modifiers.having,\n modifiers.order,\n modifiers.limitOffset,\n ),\n } satisfies RuleDefReturn<typeof selectQuery>;\n queryIsGood(ret);\n return ret;\n });\n },\n gImpl: ({ SUBRULE }) => (ast, { factory: F }) => {\n SUBRULE(selectClause, F.wrap({\n variables: ast.variables,\n distinct: ast.distinct,\n reduced: ast.reduced,\n }, F.sourceLocation(...ast.variables)), undefined);\n SUBRULE(datasetClauseStar, ast.datasets, undefined);\n SUBRULE(whereClause, F.wrap(ast.where, ast.where.loc), undefined);\n SUBRULE(solutionModifier, ast.solutionModifiers, undefined);\n },\n};\n\n/**\n * [[8]](https://www.w3.org/TR/sparql11-query/#rSubSelect)\n */\nexport const subSelect: SparqlGrammarRule<'subSelect', SubSelect> = <const> {\n name: 'subSelect',\n impl: ({ ACTION, SUBRULE }) => (C) => {\n const selectVal = SUBRULE(selectClause, undefined);\n const where = SUBRULE(whereClause, undefined);\n const modifiers = SUBRULE(solutionModifier, undefined);\n const values = SUBRULE(valuesClause, undefined);\n\n return ACTION(() => C.factory.querySelect({\n where: where.val,\n datasets: C.factory.datasetClauses([], C.factory.sourceLocation()),\n context: [],\n solutionModifiers: modifiers,\n ...selectVal.val,\n ...(values && { values }),\n }, C.factory.sourceLocation(\n selectVal,\n where,\n modifiers.group,\n modifiers.having,\n modifiers.order,\n modifiers.limitOffset,\n values,\n )));\n },\n};\n\n/**\n * [[9]](https://www.w3.org/TR/sparql11-query/#rSelectClause)\n */\nexport const selectClause: SparqlRule<'selectClause', Wrap<Pick<QuerySelect, 'variables' | 'distinct' | 'reduced'>>> = {\n name: 'selectClause',\n impl: ({\n ACTION,\n AT_LEAST_ONE,\n SUBRULE1,\n SUBRULE2,\n CONSUME,\n OPTION,\n OR1,\n OR2,\n OR3,\n }) => (C) => {\n const select = CONSUME(l.select);\n const couldParseAgg = ACTION(() => C.parseMode.has('canParseAggregate') || !C.parseMode.add('canParseAggregate'));\n\n const distinctAndReduced = OPTION(() => OR1<[boolean, boolean]>([\n { ALT: () => {\n CONSUME(l.distinct);\n return <const> [ true, false ];\n } },\n { ALT: () => {\n CONSUME(l.reduced);\n return <const> [ false, true ];\n } },\n ])) ?? [ false, false ];\n const distRed = ACTION(() => {\n const [ distinct, reduced ] = distinctAndReduced;\n return {\n ...(distinct && { distinct }),\n ...(reduced && { reduced }),\n };\n });\n\n let last: Localized | IToken;\n const val = OR2<RuleDefReturn<typeof selectClause>['val']>([\n { ALT: () => {\n const star = CONSUME(l.symbols.star);\n return ACTION(() => {\n last = star;\n return { variables: [ C.factory.wildcard(C.factory.sourceLocation(star)) ], ...distRed };\n });\n } },\n { ALT: () => {\n const usedVars: TermVariable[] = [];\n const variables: (TermVariable | PatternBind)[] = [];\n AT_LEAST_ONE(() => OR3([\n { ALT: () => {\n const raw = SUBRULE1(var_, undefined);\n ACTION(() => {\n if (usedVars.some(v => v.value === raw.value)) {\n throw new Error(`Variable ${raw.value} used more than once in SELECT clause`);\n }\n usedVars.push(raw);\n variables.push(raw);\n last = raw;\n });\n } },\n { ALT: () => {\n const open = CONSUME(l.symbols.LParen);\n const expr = SUBRULE1(expression, undefined);\n CONSUME(l.as);\n const variable = SUBRULE2(var_, undefined);\n const close = CONSUME(l.symbols.RParen);\n ACTION(() => {\n last = close;\n if (usedVars.some(v => v.value === variable.value)) {\n throw new Error(`Variable ${variable.value} used more than once in SELECT clause`);\n }\n usedVars.push(variable);\n variables.push(C.factory.patternBind(expr, variable, C.factory.sourceLocation(open, last)));\n });\n } },\n ]));\n return { variables, ...distRed };\n } },\n ]);\n ACTION(() => !couldParseAgg && C.parseMode.delete('canParseAggregate'));\n return ACTION(() => C.factory.wrap(val, C.factory.sourceLocation(select, last)));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => {\n PRINT_WORD('SELECT');\n if (ast.val.distinct) {\n PRINT_WORD('DISTINCT');\n } else if (ast.val.reduced) {\n PRINT_WORD('REDUCED');\n }\n });\n for (const variable of ast.val.variables) {\n if (F.isWildcard(variable)) {\n F.printFilter(ast, () => PRINT_WORD('*'));\n } else if (F.isTerm(variable)) {\n SUBRULE(var_, variable, undefined);\n } else {\n F.printFilter(ast, () => PRINT_WORD('('));\n SUBRULE(expression, variable.expression, undefined);\n F.printFilter(ast, () => PRINT_WORD('AS'));\n SUBRULE(var_, variable.variable, undefined);\n F.printFilter(ast, () => PRINT_WORD(')'));\n }\n }\n },\n};\n\n/**\n * [[10]](https://www.w3.org/TR/sparql11-query/#rConstructQuery)\n */\nexport const constructQuery: SparqlRule<'constructQuery', Omit<QueryConstruct, HandledByBase>> = <const> {\n name: 'constructQuery',\n impl: ({ ACTION, SUBRULE1, SUBRULE2, CONSUME, OR }) => (C) => {\n const construct = CONSUME(l.construct);\n return OR<Omit<QueryConstruct, HandledByBase>>([\n { ALT: () => {\n const template = SUBRULE1(constructTemplate, undefined);\n const from = SUBRULE1(datasetClauseStar, undefined);\n const where = SUBRULE1(whereClause, undefined);\n const modifiers = SUBRULE1(solutionModifier, undefined);\n return ACTION(() => ({\n subType: 'construct',\n template: template.val,\n datasets: from,\n where: where.val,\n solutionModifiers: modifiers,\n loc: C.factory.sourceLocation(\n construct,\n where,\n modifiers.group,\n modifiers.having,\n modifiers.order,\n modifiers.limitOffset,\n ),\n } satisfies Omit<QueryConstruct, HandledByBase>));\n } },\n { ALT: () => {\n const from = SUBRULE2(datasetClauseStar, undefined);\n CONSUME(l.where);\n // ConstructTemplate is same as '{' TriplesTemplate? '}'\n const template = SUBRULE2(constructTemplate, undefined);\n const modifiers = SUBRULE2(solutionModifier, undefined);\n\n return ACTION(() => ({\n subType: 'construct',\n template: template.val,\n datasets: from,\n where: C.factory.patternGroup([ template.val ], C.factory.sourceLocation()),\n solutionModifiers: modifiers,\n loc: C.factory.sourceLocation(\n construct,\n template,\n modifiers.group,\n modifiers.having,\n modifiers.order,\n modifiers.limitOffset,\n ),\n }));\n } },\n ]);\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('CONSTRUCT'));\n if (!F.isSourceLocationNoMaterialize(ast.where.loc)) {\n // You are NOT in second case construct\n F.printFilter(ast, () => PRINT_WORD('{'));\n SUBRULE(triplesBlock, ast.template, undefined);\n F.printFilter(ast, () => PRINT_WORD('}'));\n }\n SUBRULE(datasetClauseStar, ast.datasets, undefined);\n if (F.isSourceLocationNoMaterialize(ast.where.loc)) {\n SUBRULE(whereClause, F.wrap(F.patternGroup([ ast.template ], ast.template.loc), ast.template.loc), undefined);\n } else {\n SUBRULE(whereClause, F.wrap(ast.where, ast.where.loc), undefined);\n }\n SUBRULE(solutionModifier, ast.solutionModifiers, undefined);\n },\n};\n\n/**\n * [[11]](https://www.w3.org/TR/sparql11-query/#rDescribeQuery)\n */\nexport const describeQuery: SparqlRule<'describeQuery', Omit<QueryDescribe, HandledByBase>> = <const> {\n name: 'describeQuery',\n impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, CONSUME, OPTION, OR }) => (C) => {\n const describe = CONSUME(l.describe);\n const variables = OR<QueryDescribe['variables']>([\n { ALT: () => {\n const variables: (TermVariable | TermIri)[] = [];\n AT_LEAST_ONE(() => {\n variables.push(SUBRULE1(varOrIri, undefined));\n });\n return variables;\n } },\n { ALT: () => {\n const star = CONSUME(l.symbols.star);\n return [ ACTION(() => C.factory.wildcard(C.factory.sourceLocation(star))) ];\n } },\n ]);\n const from = SUBRULE1(datasetClauseStar, undefined);\n const where = OPTION(() => SUBRULE1(whereClause, undefined));\n const modifiers = SUBRULE1(solutionModifier, undefined);\n return ACTION(() => ({\n subType: 'describe',\n variables,\n datasets: from,\n ...(where && { where: where.val }),\n solutionModifiers: modifiers,\n loc: C.factory.sourceLocation(\n describe,\n ...variables,\n from,\n where,\n modifiers.group,\n modifiers.having,\n modifiers.order,\n modifiers.limitOffset,\n ),\n }));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('DESCRIBE'));\n if (F.isWildcard(ast.variables[0])) {\n F.printFilter(ast, () => PRINT_WORD('*'));\n } else {\n for (const variable of (<Exclude<QueryDescribe['variables'], [Wildcard]>> ast.variables)) {\n SUBRULE(varOrTerm, variable, undefined);\n }\n }\n SUBRULE(datasetClauseStar, ast.datasets, undefined);\n if (ast.where) {\n SUBRULE(whereClause, F.wrap(ast.where, ast.loc), undefined);\n }\n SUBRULE(solutionModifier, ast.solutionModifiers, undefined);\n },\n};\n\n/**\n * [[12]](https://www.w3.org/TR/sparql11-query/#rAskQuery)\n */\nexport const askQuery: SparqlRule<'askQuery', Omit<QueryAsk, HandledByBase>> = <const> {\n name: 'askQuery',\n impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n const ask = CONSUME(l.ask);\n const from = SUBRULE(datasetClauseStar, undefined);\n const where = SUBRULE(whereClause, undefined);\n const modifiers = SUBRULE(solutionModifier, undefined);\n\n return ACTION(() => ({\n subType: 'ask',\n datasets: from,\n where: where.val,\n solutionModifiers: modifiers,\n loc: C.factory.sourceLocation(\n ask,\n from,\n where,\n modifiers.group,\n modifiers.having,\n modifiers.order,\n modifiers.limitOffset,\n ),\n } satisfies RuleDefReturn<typeof askQuery>));\n },\n gImpl: ({ SUBRULE, PRINT_WORD }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('ASK'));\n SUBRULE(datasetClauseStar, ast.datasets, undefined);\n SUBRULE(whereClause, F.wrap(ast.where, ast.loc), undefined);\n SUBRULE(solutionModifier, ast.solutionModifiers, undefined);\n },\n};\n\n/**\n * [[28]](https://www.w3.org/TR/sparql11-query/#rValuesClause)\n */\nexport const valuesClause: SparqlGrammarRule<'valuesClause', PatternValues | undefined> = <const> {\n name: 'valuesClause',\n impl: ({ OPTION, SUBRULE }) => () => OPTION(() => SUBRULE(inlineData, undefined)),\n};\n\n/**\n * [[73]](https://www.w3.org/TR/sparql11-query/#ConstructTemplate)\n */\nexport const constructTemplate: SparqlGrammarRule<'constructTemplate', Wrap<PatternBgp>> = <const> {\n name: 'constructTemplate',\n impl: ({ ACTION, SUBRULE1, CONSUME, OPTION }) => (C) => {\n const open = CONSUME(l.symbols.LCurly);\n const triples = OPTION(() => SUBRULE1(constructTriples, undefined));\n const close = CONSUME(l.symbols.RCurly);\n\n return ACTION(() => C.factory.wrap(\n triples ?? C.factory.patternBgp([], C.factory.sourceLocation()),\n C.factory.sourceLocation(open, close),\n ));\n },\n};\n\n/**\n * [[12]](https://www.w3.org/TR/sparql11-query/#rConstructTriples)\n */\nexport const constructTriples: SparqlGrammarRule<'constructTriples', PatternBgp> = <const> {\n name: 'constructTriples',\n impl: triplesTemplate.impl,\n};\n"]}
@@ -0,0 +1,44 @@
1
+ import type { Wrap } from '@traqula/core';
2
+ import type { Expression, SolutionModifierGroup, SolutionModifierGroupBind, SolutionModifierHaving, SolutionModifierOrder, Ordering, SolutionModifierLimitOffset, SolutionModifiers } from '../RoundTripTypes';
3
+ import type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';
4
+ /**
5
+ * [[18]](https://www.w3.org/TR/sparql11-query/#rSolutionModifier)
6
+ */
7
+ export declare const solutionModifier: SparqlRule<'solutionModifier', SolutionModifiers>;
8
+ /**
9
+ * [[19]](https://www.w3.org/TR/sparql11-query/#rGroupClause)
10
+ */
11
+ export declare const groupClause: SparqlRule<'groupClause', SolutionModifierGroup>;
12
+ /**
13
+ * [[20]](https://www.w3.org/TR/sparql11-query/#rGroupCondition)
14
+ */
15
+ export declare const groupCondition: SparqlGrammarRule<'groupCondition', Expression | SolutionModifierGroupBind>;
16
+ /**
17
+ * [[21]](https://www.w3.org/TR/sparql11-query/#rHavingClause)
18
+ */
19
+ export declare const havingClause: SparqlRule<'havingClause', SolutionModifierHaving>;
20
+ /**
21
+ * [[22]](https://www.w3.org/TR/sparql11-query/#rHavingCondition)
22
+ */
23
+ export declare const havingCondition: SparqlGrammarRule<'havingCondition', Expression>;
24
+ /**
25
+ * [[23]](https://www.w3.org/TR/sparql11-query/#rOrderClause)
26
+ */
27
+ export declare const orderClause: SparqlRule<'orderClause', SolutionModifierOrder>;
28
+ /**
29
+ * [[24]](https://www.w3.org/TR/sparql11-query/#rOrderCondition)
30
+ */
31
+ export declare const orderCondition: SparqlGrammarRule<'orderCondition', Ordering>;
32
+ /**
33
+ * Parses limit and or offset in any order.
34
+ * [[25]](https://www.w3.org/TR/sparql11-query/#rLimitOffsetClauses)
35
+ */
36
+ export declare const limitOffsetClauses: SparqlRule<'limitOffsetClauses', SolutionModifierLimitOffset>;
37
+ /**
38
+ * [[26]](https://www.w3.org/TR/sparql11-query/#rLimitClause)
39
+ */
40
+ export declare const limitClause: SparqlGrammarRule<'limitClause', Wrap<number>>;
41
+ /**
42
+ * [[27]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
43
+ */
44
+ export declare const offsetClause: SparqlGrammarRule<'offsetClause', Wrap<number>>;
@@ -0,0 +1,253 @@
1
+ import * as l from '../lexer';
2
+ import { builtInCall } from './builtIn';
3
+ import { brackettedExpression, expression } from './expression';
4
+ import { var_ } from './general';
5
+ import { constraint, functionCall } from './whereClause';
6
+ /**
7
+ * [[18]](https://www.w3.org/TR/sparql11-query/#rSolutionModifier)
8
+ */
9
+ export const solutionModifier = {
10
+ name: 'solutionModifier',
11
+ impl: ({ ACTION, SUBRULE, OPTION1, OPTION2, OPTION3, OPTION4 }) => () => {
12
+ const group = OPTION1(() => SUBRULE(groupClause, undefined));
13
+ const having = OPTION2(() => SUBRULE(havingClause, undefined));
14
+ const order = OPTION3(() => SUBRULE(orderClause, undefined));
15
+ const limitOffset = OPTION4(() => SUBRULE(limitOffsetClauses, undefined));
16
+ return ACTION(() => ({
17
+ ...(limitOffset && { limitOffset }),
18
+ ...(group && { group }),
19
+ ...(having && { having }),
20
+ ...(order && { order }),
21
+ }));
22
+ },
23
+ gImpl: ({ SUBRULE }) => (ast) => {
24
+ if (ast.group) {
25
+ SUBRULE(groupClause, ast.group, undefined);
26
+ }
27
+ if (ast.having) {
28
+ SUBRULE(havingClause, ast.having, undefined);
29
+ }
30
+ if (ast.order) {
31
+ SUBRULE(orderClause, ast.order, undefined);
32
+ }
33
+ if (ast.limitOffset) {
34
+ SUBRULE(limitOffsetClauses, ast.limitOffset, undefined);
35
+ }
36
+ },
37
+ };
38
+ /**
39
+ * [[19]](https://www.w3.org/TR/sparql11-query/#rGroupClause)
40
+ */
41
+ export const groupClause = {
42
+ name: 'groupClause',
43
+ impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, CONSUME }) => (C) => {
44
+ const groupings = [];
45
+ const start = CONSUME(l.groupByGroup);
46
+ CONSUME(l.by);
47
+ AT_LEAST_ONE(() => {
48
+ groupings.push(SUBRULE1(groupCondition, undefined));
49
+ });
50
+ return ACTION(() => ({
51
+ type: 'solutionModifier',
52
+ subType: 'group',
53
+ groupings,
54
+ loc: C.factory.sourceLocation(start, groupings.at(-1)),
55
+ }));
56
+ },
57
+ gImpl: ({ PRINT_WORDS, SUBRULE }) => (ast, { factory: F }) => {
58
+ F.printFilter(ast, () => PRINT_WORDS('GROUP', 'BY'));
59
+ for (const grouping of ast.groupings) {
60
+ if (F.isExpression(grouping)) {
61
+ SUBRULE(expression, grouping, undefined);
62
+ }
63
+ else {
64
+ F.printFilter(ast, () => PRINT_WORDS('('));
65
+ SUBRULE(expression, grouping.value, undefined);
66
+ F.printFilter(ast, () => PRINT_WORDS('AS'));
67
+ SUBRULE(var_, grouping.variable, undefined);
68
+ F.printFilter(ast, () => PRINT_WORDS(')'));
69
+ }
70
+ }
71
+ },
72
+ };
73
+ /**
74
+ * [[20]](https://www.w3.org/TR/sparql11-query/#rGroupCondition)
75
+ */
76
+ export const groupCondition = {
77
+ name: 'groupCondition',
78
+ impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR }) => C => OR([
79
+ { ALT: () => SUBRULE(builtInCall, undefined) },
80
+ { ALT: () => SUBRULE(functionCall, undefined) },
81
+ { ALT: () => SUBRULE2(var_, undefined) },
82
+ {
83
+ ALT: () => {
84
+ // Creates a bracketted expression or a Bind.
85
+ const open = CONSUME(l.symbols.LParen);
86
+ const expressionValue = SUBRULE(expression, undefined);
87
+ const variable = OPTION(() => {
88
+ CONSUME(l.as);
89
+ return SUBRULE1(var_, undefined);
90
+ });
91
+ const close = CONSUME(l.symbols.RParen);
92
+ return ACTION(() => {
93
+ if (variable !== undefined) {
94
+ return {
95
+ variable,
96
+ value: expressionValue,
97
+ loc: C.factory.sourceLocation(open, close),
98
+ };
99
+ }
100
+ return expressionValue;
101
+ });
102
+ },
103
+ },
104
+ ]),
105
+ };
106
+ /**
107
+ * [[21]](https://www.w3.org/TR/sparql11-query/#rHavingClause)
108
+ */
109
+ export const havingClause = {
110
+ name: 'havingClause',
111
+ impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME }) => (C) => {
112
+ const having = CONSUME(l.having);
113
+ const expressions = [];
114
+ const couldParseAgg = ACTION(() => C.parseMode.has('canParseAggregate') || !C.parseMode.add('canParseAggregate'));
115
+ AT_LEAST_ONE(() => {
116
+ expressions.push(SUBRULE(havingCondition, undefined));
117
+ });
118
+ ACTION(() => !couldParseAgg && C.parseMode.delete('canParseAggregate'));
119
+ return ACTION(() => C.factory.solutionModifierHaving(expressions, C.factory.sourceLocation(having, expressions.at(-1))));
120
+ },
121
+ gImpl: ({ PRINT_WORD, SUBRULE }) => (ast, { factory: F }) => {
122
+ F.printFilter(ast, () => PRINT_WORD('HAVING'));
123
+ for (const having of ast.having) {
124
+ SUBRULE(expression, having, undefined);
125
+ }
126
+ },
127
+ };
128
+ /**
129
+ * [[22]](https://www.w3.org/TR/sparql11-query/#rHavingCondition)
130
+ */
131
+ export const havingCondition = {
132
+ name: 'havingCondition',
133
+ impl: ({ SUBRULE }) => () => SUBRULE(constraint, undefined),
134
+ };
135
+ /**
136
+ * [[23]](https://www.w3.org/TR/sparql11-query/#rOrderClause)
137
+ */
138
+ export const orderClause = {
139
+ name: 'orderClause',
140
+ impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, CONSUME }) => (C) => {
141
+ const order = CONSUME(l.order);
142
+ CONSUME(l.by);
143
+ const orderings = [];
144
+ const couldParseAgg = ACTION(() => C.parseMode.has('canParseAggregate') || !C.parseMode.add('canParseAggregate'));
145
+ AT_LEAST_ONE(() => {
146
+ orderings.push(SUBRULE1(orderCondition, undefined));
147
+ });
148
+ ACTION(() => !couldParseAgg && C.parseMode.delete('canParseAggregate'));
149
+ return ACTION(() => C.factory.solutionModifierOrder(orderings, C.factory.sourceLocation(order, orderings.at(-1))));
150
+ },
151
+ gImpl: ({ PRINT_WORDS, SUBRULE }) => (ast, { factory: F }) => {
152
+ F.printFilter(ast, () => PRINT_WORDS('ORDER', 'BY'));
153
+ for (const ordering of ast.orderDefs) {
154
+ if (ordering.descending) {
155
+ F.printFilter(ast, () => PRINT_WORDS('DESC'));
156
+ }
157
+ else {
158
+ F.printFilter(ast, () => PRINT_WORDS('ASC'));
159
+ }
160
+ F.printFilter(ast, () => PRINT_WORDS('('));
161
+ SUBRULE(expression, ordering.expression, undefined);
162
+ F.printFilter(ast, () => PRINT_WORDS(')'));
163
+ }
164
+ },
165
+ };
166
+ /**
167
+ * [[24]](https://www.w3.org/TR/sparql11-query/#rOrderCondition)
168
+ */
169
+ export const orderCondition = {
170
+ name: 'orderCondition',
171
+ impl: ({ ACTION, SUBRULE, CONSUME, OR1, OR2 }) => C => OR1([
172
+ { ALT: () => {
173
+ const descending = OR2([
174
+ { ALT: () => {
175
+ const token = CONSUME(l.orderAsc);
176
+ return [false, token];
177
+ } },
178
+ { ALT: () => {
179
+ const token = CONSUME(l.orderDesc);
180
+ return [true, token];
181
+ } },
182
+ ]);
183
+ const expr = SUBRULE(brackettedExpression, undefined);
184
+ return ACTION(() => ({
185
+ expression: expr,
186
+ descending: descending[0],
187
+ loc: C.factory.sourceLocation(descending[1], expr),
188
+ }));
189
+ } },
190
+ { ALT: () => {
191
+ const expr = SUBRULE(constraint, undefined);
192
+ return ACTION(() => ({ expression: expr, descending: false, loc: expr.loc }));
193
+ } },
194
+ { ALT: () => {
195
+ const expr = SUBRULE(var_, undefined);
196
+ return ACTION(() => ({ expression: expr, descending: false, loc: expr.loc }));
197
+ } },
198
+ ]),
199
+ };
200
+ /**
201
+ * Parses limit and or offset in any order.
202
+ * [[25]](https://www.w3.org/TR/sparql11-query/#rLimitOffsetClauses)
203
+ */
204
+ export const limitOffsetClauses = {
205
+ name: 'limitOffsetClauses',
206
+ impl: ({ ACTION, SUBRULE1, SUBRULE2, OPTION1, OPTION2, OR }) => C => OR([
207
+ { ALT: () => {
208
+ const limit = SUBRULE1(limitClause, undefined);
209
+ const offset = OPTION1(() => SUBRULE1(offsetClause, undefined));
210
+ return ACTION(() => C.factory.solutionModifierLimitOffset(limit.val, offset?.val, C.factory.sourceLocation(limit, ...(offset ? [offset] : []))));
211
+ } },
212
+ { ALT: () => {
213
+ const offset = SUBRULE2(offsetClause, undefined);
214
+ const limit = OPTION2(() => SUBRULE2(limitClause, undefined));
215
+ return ACTION(() => C.factory.solutionModifierLimitOffset(limit?.val, offset.val, C.factory.sourceLocation(offset, limit)));
216
+ } },
217
+ ]),
218
+ gImpl: ({ PRINT_WORDS }) => (ast, { factory: F }) => {
219
+ F.printFilter(ast, () => {
220
+ if (ast.limit) {
221
+ PRINT_WORDS('LIMIT', String(ast.limit));
222
+ }
223
+ if (ast.offset) {
224
+ PRINT_WORDS('OFFSET', String(ast.offset));
225
+ }
226
+ });
227
+ },
228
+ };
229
+ /**
230
+ * [[26]](https://www.w3.org/TR/sparql11-query/#rLimitClause)
231
+ */
232
+ export const limitClause = {
233
+ name: 'limitClause',
234
+ impl: ({ ACTION, CONSUME }) => (C) => {
235
+ const offset = CONSUME(l.limit);
236
+ const value = CONSUME(l.terminals.integer);
237
+ const val = Number.parseInt(value.image, 10);
238
+ return ACTION(() => C.factory.wrap(val, C.factory.sourceLocation(offset, value)));
239
+ },
240
+ };
241
+ /**
242
+ * [[27]](https://www.w3.org/TR/sparql11-query/#rWhereClause)
243
+ */
244
+ export const offsetClause = {
245
+ name: 'offsetClause',
246
+ impl: ({ CONSUME, ACTION }) => (C) => {
247
+ const offset = CONSUME(l.offset);
248
+ const value = CONSUME(l.terminals.integer);
249
+ const val = Number.parseInt(value.image, 10);
250
+ return ACTION(() => C.factory.wrap(val, C.factory.sourceLocation(offset, value)));
251
+ },
252
+ };
253
+ //# sourceMappingURL=solutionModifier.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"solutionModifier.js","sourceRoot":"","sources":["solutionModifier.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,UAAU,CAAC;AAY9B,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEzD;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA8D;IACzF,IAAI,EAAE,kBAAkB;IACxB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,GAAG,CAAC,WAAW,IAAI,EAAE,WAAW,EAAE,CAAC;YACnC,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;YACvB,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;YACzB,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;SACxB,CAAC,CAAC,CAAC;IACN,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YACd,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YACd,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YACpB,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA6D;IACnF,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3D,MAAM,SAAS,GAA+C,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACd,YAAY,CAAC,GAAG,EAAE;YAChB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACnB,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,OAAO;YAChB,SAAS;YACT,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;SACvD,CAAC,CAAC,CAAC;IACN,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC3D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC3C,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC/C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5C,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC5C,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAuF;IAChH,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAC1E,EAAE,CAAyC;QACzC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE;QAC9C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE;QAC/C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE;QACxC;YACE,GAAG,EAAE,GAAG,EAAE;gBACR,6CAA6C;gBAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACvC,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE;oBAC3B,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACd,OAAO,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACnC,CAAC,CAAC,CAAC;gBACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACxC,OAAO,MAAM,CAAC,GAAG,EAAE;oBACjB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,OAAO;4BACL,QAAQ;4BACR,KAAK,EAAE,eAAe;4BACtB,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC;yBACP,CAAC;oBACxC,CAAC;oBACD,OAAO,eAAe,CAAC;gBACzB,CAAC,CAAC,CAAC;YACL,CAAC;SACF;KACF,CAAC;CACL,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAA+D;IACtF,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,WAAW,GAAiB,EAAE,CAAC;QAErC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,EAAE,CAChC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACjF,YAAY,CAAC,GAAG,EAAE;YAChB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAExE,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC1D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAChC,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAA6D;IACvF,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC;CAC5D,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA6D;IACnF,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,SAAS,GAAe,EAAE,CAAC;QAEjC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,EAAE,CAChC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACjF,YAAY,CAAC,GAAG,EAAE;YAChB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAExE,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAC3D,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACrC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACxB,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YAChD,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3C,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACpD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAA0D;IACnF,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAW;QACnE,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,UAAU,GAAG,GAAG,CAAoB;oBACxC,EAAE,GAAG,EAAE,GAAG,EAAE;4BACV,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;4BAClC,OAAc,CAAE,KAAK,EAAE,KAAK,CAAE,CAAC;wBACjC,CAAC,EAAE;oBACH,EAAE,GAAG,EAAE,GAAG,EAAE;4BACV,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;4BACnC,OAAe,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;wBACjC,CAAC,EAAE;iBACJ,CAAC,CAAC;gBAEH,MAAM,IAAI,GAAG,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;gBAEtD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;oBACnB,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;oBACzB,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;iBACnD,CAAC,CAAC,CAAC;YACN,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAChF,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACtC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAChF,CAAC,EAAE;KACJ,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0E;IACvG,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACtE,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;gBAChE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CACvD,KAAK,CAAC,GAAG,EACT,MAAM,EAAE,GAAG,EACX,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,MAAM,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC/D,CAAC,CAAC;YACL,CAAC,EAAE;QACH,EAAE,GAAG,EAAE,GAAG,EAAE;gBACV,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;gBACjD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC9D,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CACvD,KAAK,EAAE,GAAG,EACV,MAAM,CAAC,GAAG,EACV,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CACxC,CAAC,CAAC;YACL,CAAC,EAAE;KACJ,CAAC;IACF,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QAClD,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE;YACtB,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACd,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACf,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAA2D;IACjF,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAA4D;IACnF,IAAI,EAAU,cAAc;IAC5B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;CACF,CAAC","sourcesContent":["import type { IToken } from '@chevrotain/types';\nimport type { Wrap } from '@traqula/core';\nimport * as l from '../lexer';\nimport type {\n Expression,\n SolutionModifierGroup,\n SolutionModifierGroupBind,\n SolutionModifierHaving,\n SolutionModifierOrder,\n Ordering,\n SolutionModifierLimitOffset,\n SolutionModifiers,\n} from '../RoundTripTypes';\nimport type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';\nimport { builtInCall } from './builtIn';\nimport { brackettedExpression, expression } from './expression';\nimport { var_ } from './general';\nimport { constraint, functionCall } from './whereClause';\n\n/**\n * [[18]](https://www.w3.org/TR/sparql11-query/#rSolutionModifier)\n */\nexport const solutionModifier: SparqlRule<'solutionModifier', SolutionModifiers> = <const> {\n name: 'solutionModifier',\n impl: ({ ACTION, SUBRULE, OPTION1, OPTION2, OPTION3, OPTION4 }) => () => {\n const group = OPTION1(() => SUBRULE(groupClause, undefined));\n const having = OPTION2(() => SUBRULE(havingClause, undefined));\n const order = OPTION3(() => SUBRULE(orderClause, undefined));\n const limitOffset = OPTION4(() => SUBRULE(limitOffsetClauses, undefined));\n return ACTION(() => ({\n ...(limitOffset && { limitOffset }),\n ...(group && { group }),\n ...(having && { having }),\n ...(order && { order }),\n }));\n },\n gImpl: ({ SUBRULE }) => (ast) => {\n if (ast.group) {\n SUBRULE(groupClause, ast.group, undefined);\n }\n if (ast.having) {\n SUBRULE(havingClause, ast.having, undefined);\n }\n if (ast.order) {\n SUBRULE(orderClause, ast.order, undefined);\n }\n if (ast.limitOffset) {\n SUBRULE(limitOffsetClauses, ast.limitOffset, undefined);\n }\n },\n};\n\n/**\n * [[19]](https://www.w3.org/TR/sparql11-query/#rGroupClause)\n */\nexport const groupClause: SparqlRule<'groupClause', SolutionModifierGroup> = <const> {\n name: 'groupClause',\n impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, CONSUME }) => (C) => {\n const groupings: (Expression | SolutionModifierGroupBind)[] = [];\n const start = CONSUME(l.groupByGroup);\n CONSUME(l.by);\n AT_LEAST_ONE(() => {\n groupings.push(SUBRULE1(groupCondition, undefined));\n });\n\n return ACTION(() => ({\n type: 'solutionModifier',\n subType: 'group',\n groupings,\n loc: C.factory.sourceLocation(start, groupings.at(-1)),\n }));\n },\n gImpl: ({ PRINT_WORDS, SUBRULE }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORDS('GROUP', 'BY'));\n for (const grouping of ast.groupings) {\n if (F.isExpression(grouping)) {\n SUBRULE(expression, grouping, undefined);\n } else {\n F.printFilter(ast, () => PRINT_WORDS('('));\n SUBRULE(expression, grouping.value, undefined);\n F.printFilter(ast, () => PRINT_WORDS('AS'));\n SUBRULE(var_, grouping.variable, undefined);\n F.printFilter(ast, () => PRINT_WORDS(')'));\n }\n }\n },\n};\n\n/**\n * [[20]](https://www.w3.org/TR/sparql11-query/#rGroupCondition)\n */\nexport const groupCondition: SparqlGrammarRule<'groupCondition', Expression | SolutionModifierGroupBind> = <const>{\n name: 'groupCondition',\n impl: ({ ACTION, SUBRULE, CONSUME, SUBRULE1, SUBRULE2, OPTION, OR }) => C =>\n OR<Expression | SolutionModifierGroupBind>([\n { ALT: () => SUBRULE(builtInCall, undefined) },\n { ALT: () => SUBRULE(functionCall, undefined) },\n { ALT: () => SUBRULE2(var_, undefined) },\n {\n ALT: () => {\n // Creates a bracketted expression or a Bind.\n const open = CONSUME(l.symbols.LParen);\n const expressionValue = SUBRULE(expression, undefined);\n const variable = OPTION(() => {\n CONSUME(l.as);\n return SUBRULE1(var_, undefined);\n });\n const close = CONSUME(l.symbols.RParen);\n return ACTION(() => {\n if (variable !== undefined) {\n return {\n variable,\n value: expressionValue,\n loc: C.factory.sourceLocation(open, close),\n } satisfies SolutionModifierGroupBind;\n }\n return expressionValue;\n });\n },\n },\n ]),\n};\n\n/**\n * [[21]](https://www.w3.org/TR/sparql11-query/#rHavingClause)\n */\nexport const havingClause: SparqlRule<'havingClause', SolutionModifierHaving> = <const> {\n name: 'havingClause',\n impl: ({ ACTION, AT_LEAST_ONE, SUBRULE, CONSUME }) => (C) => {\n const having = CONSUME(l.having);\n const expressions: Expression[] = [];\n\n const couldParseAgg = ACTION(() =>\n C.parseMode.has('canParseAggregate') || !C.parseMode.add('canParseAggregate'));\n AT_LEAST_ONE(() => {\n expressions.push(SUBRULE(havingCondition, undefined));\n });\n ACTION(() => !couldParseAgg && C.parseMode.delete('canParseAggregate'));\n\n return ACTION(() =>\n C.factory.solutionModifierHaving(expressions, C.factory.sourceLocation(having, expressions.at(-1))));\n },\n gImpl: ({ PRINT_WORD, SUBRULE }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORD('HAVING'));\n for (const having of ast.having) {\n SUBRULE(expression, having, undefined);\n }\n },\n};\n\n/**\n * [[22]](https://www.w3.org/TR/sparql11-query/#rHavingCondition)\n */\nexport const havingCondition: SparqlGrammarRule<'havingCondition', Expression> = <const> {\n name: 'havingCondition',\n impl: ({ SUBRULE }) => () => SUBRULE(constraint, undefined),\n};\n\n/**\n * [[23]](https://www.w3.org/TR/sparql11-query/#rOrderClause)\n */\nexport const orderClause: SparqlRule<'orderClause', SolutionModifierOrder> = <const> {\n name: 'orderClause',\n impl: ({ ACTION, AT_LEAST_ONE, SUBRULE1, CONSUME }) => (C) => {\n const order = CONSUME(l.order);\n CONSUME(l.by);\n const orderings: Ordering[] = [];\n\n const couldParseAgg = ACTION(() =>\n C.parseMode.has('canParseAggregate') || !C.parseMode.add('canParseAggregate'));\n AT_LEAST_ONE(() => {\n orderings.push(SUBRULE1(orderCondition, undefined));\n });\n ACTION(() => !couldParseAgg && C.parseMode.delete('canParseAggregate'));\n\n return ACTION(() =>\n C.factory.solutionModifierOrder(orderings, C.factory.sourceLocation(order, orderings.at(-1))));\n },\n gImpl: ({ PRINT_WORDS, SUBRULE }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => PRINT_WORDS('ORDER', 'BY'));\n for (const ordering of ast.orderDefs) {\n if (ordering.descending) {\n F.printFilter(ast, () => PRINT_WORDS('DESC'));\n } else {\n F.printFilter(ast, () => PRINT_WORDS('ASC'));\n }\n F.printFilter(ast, () => PRINT_WORDS('('));\n SUBRULE(expression, ordering.expression, undefined);\n F.printFilter(ast, () => PRINT_WORDS(')'));\n }\n },\n};\n\n/**\n * [[24]](https://www.w3.org/TR/sparql11-query/#rOrderCondition)\n */\nexport const orderCondition: SparqlGrammarRule<'orderCondition', Ordering> = <const> {\n name: 'orderCondition',\n impl: ({ ACTION, SUBRULE, CONSUME, OR1, OR2 }) => C => OR1<Ordering>([\n { ALT: () => {\n const descending = OR2<[boolean, IToken]>([\n { ALT: () => {\n const token = CONSUME(l.orderAsc);\n return <const>[ false, token ];\n } },\n { ALT: () => {\n const token = CONSUME(l.orderDesc);\n return <const> [ true, token ];\n } },\n ]);\n\n const expr = SUBRULE(brackettedExpression, undefined);\n\n return ACTION(() => ({\n expression: expr,\n descending: descending[0],\n loc: C.factory.sourceLocation(descending[1], expr),\n }));\n } },\n { ALT: () => {\n const expr = SUBRULE(constraint, undefined);\n return ACTION(() => ({ expression: expr, descending: false, loc: expr.loc }));\n } },\n { ALT: () => {\n const expr = SUBRULE(var_, undefined);\n return ACTION(() => ({ expression: expr, descending: false, loc: expr.loc }));\n } },\n ]),\n};\n\n/**\n * Parses limit and or offset in any order.\n * [[25]](https://www.w3.org/TR/sparql11-query/#rLimitOffsetClauses)\n */\nexport const limitOffsetClauses: SparqlRule<'limitOffsetClauses', SolutionModifierLimitOffset> = <const> {\n name: 'limitOffsetClauses',\n impl: ({ ACTION, SUBRULE1, SUBRULE2, OPTION1, OPTION2, OR }) => C => OR([\n { ALT: () => {\n const limit = SUBRULE1(limitClause, undefined);\n const offset = OPTION1(() => SUBRULE1(offsetClause, undefined));\n return ACTION(() => C.factory.solutionModifierLimitOffset(\n limit.val,\n offset?.val,\n C.factory.sourceLocation(limit, ...(offset ? [ offset ] : [])),\n ));\n } },\n { ALT: () => {\n const offset = SUBRULE2(offsetClause, undefined);\n const limit = OPTION2(() => SUBRULE2(limitClause, undefined));\n return ACTION(() => C.factory.solutionModifierLimitOffset(\n limit?.val,\n offset.val,\n C.factory.sourceLocation(offset, limit),\n ));\n } },\n ]),\n gImpl: ({ PRINT_WORDS }) => (ast, { factory: F }) => {\n F.printFilter(ast, () => {\n if (ast.limit) {\n PRINT_WORDS('LIMIT', String(ast.limit));\n }\n if (ast.offset) {\n PRINT_WORDS('OFFSET', String(ast.offset));\n }\n });\n },\n};\n\n/**\n * [[26]](https://www.w3.org/TR/sparql11-query/#rLimitClause)\n */\nexport const limitClause: SparqlGrammarRule<'limitClause', Wrap<number>> = <const> {\n name: 'limitClause',\n impl: ({ ACTION, CONSUME }) => (C) => {\n const offset = CONSUME(l.limit);\n const value = CONSUME(l.terminals.integer);\n const val = Number.parseInt(value.image, 10);\n return ACTION(() => C.factory.wrap(val, C.factory.sourceLocation(offset, value)));\n },\n};\n\n/**\n * [[27]](https://www.w3.org/TR/sparql11-query/#rWhereClause)\n */\nexport const offsetClause: SparqlGrammarRule<'offsetClause', Wrap<number>> = <const> {\n name: <const> 'offsetClause',\n impl: ({ CONSUME, ACTION }) => (C) => {\n const offset = CONSUME(l.offset);\n const value = CONSUME(l.terminals.integer);\n const val = Number.parseInt(value.image, 10);\n return ACTION(() => C.factory.wrap(val, C.factory.sourceLocation(offset, value)));\n },\n};\n"]}
@@ -0,0 +1,36 @@
1
+ import type { BasicGraphPattern, Path, PatternBgp, Term, TermVariable, TripleCollection, TripleCollectionBlankNodeProperties, TripleCollectionList, TripleNesting } from '../RoundTripTypes';
2
+ import type { SparqlGrammarRule, SparqlRule } from '../Sparql11types';
3
+ /**
4
+ * [[55]](https://www.w3.org/TR/sparql11-query/#rTriplesBlock)
5
+ */
6
+ export declare const triplesBlock: SparqlRule<'triplesBlock', PatternBgp>;
7
+ export declare const triplesSameSubject: SparqlGrammarRule<"triplesSameSubject", BasicGraphPattern>;
8
+ export declare const triplesSameSubjectPath: SparqlGrammarRule<"triplesSameSubjectPath", BasicGraphPattern>;
9
+ /**
10
+ * [[52]](https://www.w3.org/TR/sparql11-query/#rTriplesTemplate)
11
+ */
12
+ export declare const triplesTemplate: SparqlGrammarRule<'triplesTemplate', PatternBgp>;
13
+ export declare const propertyList: SparqlGrammarRule<"propertyList", TripleNesting[], Pick<TripleNesting, "subject">>;
14
+ export declare const propertyListPath: SparqlGrammarRule<"propertyListPath", TripleNesting[], Pick<TripleNesting, "subject">>;
15
+ export declare const propertyListNotEmpty: SparqlGrammarRule<"propertyListNotEmpty", TripleNesting[], Pick<TripleNesting, "subject">>;
16
+ export declare const propertyListPathNotEmpty: SparqlGrammarRule<"propertyListPathNotEmpty", TripleNesting[], Pick<TripleNesting, "subject">>;
17
+ /**
18
+ * [[84]](https://www.w3.org/TR/sparql11-query/#rVerbPath)
19
+ */
20
+ export declare const verbPath: SparqlGrammarRule<'verbPath', Path>;
21
+ /**
22
+ * [[85]](https://www.w3.org/TR/sparql11-query/#rVerbSimple)
23
+ */
24
+ export declare const verbSimple: SparqlGrammarRule<'verbSimple', TermVariable>;
25
+ export declare const objectList: SparqlGrammarRule<"objectList", TripleNesting[], Pick<TripleNesting, "subject" | "predicate">>;
26
+ export declare const objectListPath: SparqlGrammarRule<"objectListPath", TripleNesting[], Pick<TripleNesting, "subject" | "predicate">>;
27
+ export declare const object: SparqlGrammarRule<"object", TripleNesting, Pick<TripleNesting, "subject" | "predicate">>;
28
+ export declare const objectPath: SparqlGrammarRule<"objectPath", TripleNesting, Pick<TripleNesting, "subject" | "predicate">>;
29
+ export declare const collection: SparqlRule<"collection", TripleCollectionList>;
30
+ export declare const collectionPath: SparqlRule<"collectionPath", TripleCollectionList>;
31
+ export declare const triplesNode: SparqlRule<"triplesNode", TripleCollection>;
32
+ export declare const triplesNodePath: SparqlRule<"triplesNodePath", TripleCollection>;
33
+ export declare const blankNodePropertyList: SparqlRule<"blankNodePropertyList", TripleCollectionBlankNodeProperties>;
34
+ export declare const blankNodePropertyListPath: SparqlRule<"blankNodePropertyListPath", TripleCollectionBlankNodeProperties>;
35
+ export declare const graphNode: SparqlRule<"graphNode", TripleCollection | Term>;
36
+ export declare const graphNodePath: SparqlRule<"graphNodePath", TripleCollection | Term>;