@manta-eu/react 0.1.1 → 0.1.2

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 (410) hide show
  1. package/README.md +2 -5
  2. package/dist/components/breadcrumbs/index.d.ts +26 -0
  3. package/dist/components/breadcrumbs/index.d.ts.map +1 -0
  4. package/dist/components/breadcrumbs/index.js +36 -0
  5. package/dist/components/chip/index.d.ts +14 -0
  6. package/dist/components/chip/index.d.ts.map +1 -0
  7. package/dist/components/chip/index.js +8 -0
  8. package/dist/components/editable-text/index.d.ts +13 -0
  9. package/dist/components/editable-text/index.d.ts.map +1 -0
  10. package/dist/components/editable-text/index.js +61 -0
  11. package/dist/components/explain-fact/ExplainFact.d.ts +16 -0
  12. package/dist/components/explain-fact/ExplainFact.d.ts.map +1 -0
  13. package/dist/components/{rdfox-explain/RDFoxExplain.js → explain-fact/ExplainFact.js} +12 -12
  14. package/dist/components/explain-fact/OutdatedFactNotice.d.ts.map +1 -0
  15. package/dist/components/input/index.d.ts +2 -0
  16. package/dist/components/input/index.d.ts.map +1 -1
  17. package/dist/components/input/index.js +2 -0
  18. package/dist/components/input/input-numeric.d.ts +19 -0
  19. package/dist/components/input/input-numeric.d.ts.map +1 -0
  20. package/dist/components/input/input-numeric.js +85 -0
  21. package/dist/components/input/input-tags.d.ts +17 -0
  22. package/dist/components/input/input-tags.d.ts.map +1 -0
  23. package/dist/components/input/input-tags.js +46 -0
  24. package/dist/components/multi-select/index.d.ts +32 -0
  25. package/dist/components/multi-select/index.d.ts.map +1 -0
  26. package/dist/components/multi-select/index.js +33 -0
  27. package/dist/components/multi-select/toggle-value.d.ts +2 -0
  28. package/dist/components/multi-select/toggle-value.d.ts.map +1 -0
  29. package/dist/components/multi-select/toggle-value.js +3 -0
  30. package/dist/components/sidebar/index.d.ts +4 -1
  31. package/dist/components/sidebar/index.d.ts.map +1 -1
  32. package/dist/components/sidebar/index.js +2 -2
  33. package/dist/components/skeleton/index.js +1 -1
  34. package/dist/components/tool-invocation-card/ExplainFactResultDisplay.d.ts +9 -0
  35. package/dist/components/tool-invocation-card/ExplainFactResultDisplay.d.ts.map +1 -0
  36. package/dist/components/tool-invocation-card/{ExplainRDFoxResultDisplay.js → ExplainFactResultDisplay.js} +3 -3
  37. package/dist/components/tool-invocation-card/ToolOutputRenderer.js +2 -2
  38. package/dist/components/tool-invocation-card/types.d.ts +4 -4
  39. package/dist/components/tool-invocation-card/types.d.ts.map +1 -1
  40. package/dist/components/tool-invocation-card/types.js +2 -2
  41. package/dist/components/tree-multi-select/index.d.ts +1 -1
  42. package/dist/components/tree-multi-select/index.d.ts.map +1 -1
  43. package/dist/components/tree-multi-select/index.js +1 -1
  44. package/dist/components/tree-multi-select/tree-multi-select-rows.d.ts +2 -1
  45. package/dist/components/tree-multi-select/tree-multi-select-rows.d.ts.map +1 -1
  46. package/dist/components/tree-multi-select/tree-multi-select-rows.js +21 -31
  47. package/dist/components/tree-multi-select/tree-multi-select.d.ts +2 -0
  48. package/dist/components/tree-multi-select/tree-multi-select.d.ts.map +1 -1
  49. package/dist/components/tree-multi-select/tree-multi-select.js +21 -8
  50. package/dist/explain-fact/DatalogCode.d.ts.map +1 -0
  51. package/dist/explain-fact/EntityChip.d.ts.map +1 -0
  52. package/dist/explain-fact/EntityChip.js +17 -0
  53. package/dist/explain-fact/ExplainCompactView.d.ts.map +1 -0
  54. package/dist/explain-fact/ExplainFactState.d.ts +7 -0
  55. package/dist/explain-fact/ExplainFactState.d.ts.map +1 -0
  56. package/dist/{rdfox-explain/RDFoxExplainState.js → explain-fact/ExplainFactState.js} +1 -1
  57. package/dist/explain-fact/ExplainFullView.d.ts.map +1 -0
  58. package/dist/explain-fact/ExplainStates.d.ts.map +1 -0
  59. package/dist/explain-fact/ExplainTag.d.ts.map +1 -0
  60. package/dist/explain-fact/FactNotice.d.ts +7 -0
  61. package/dist/explain-fact/FactNotice.d.ts.map +1 -0
  62. package/dist/explain-fact/FactNotice.js +25 -0
  63. package/dist/explain-fact/FactValue.d.ts.map +1 -0
  64. package/dist/explain-fact/NumDot.d.ts.map +1 -0
  65. package/dist/explain-fact/PanelLabel.d.ts.map +1 -0
  66. package/dist/explain-fact/ProofSubjectHeader.d.ts.map +1 -0
  67. package/dist/explain-fact/ProvenanceBadge.d.ts.map +1 -0
  68. package/dist/{rdfox-explain → explain-fact}/ProvenanceBadge.js +2 -1
  69. package/dist/explain-fact/RuleVariableTypes.d.ts.map +1 -0
  70. package/dist/explain-fact/SubstitutedFactNotice.d.ts.map +1 -0
  71. package/dist/explain-fact/ValuePill.d.ts.map +1 -0
  72. package/dist/explain-fact/conclusion/ConclusionCard.d.ts.map +1 -0
  73. package/dist/explain-fact/conclusion/ConclusionSubtitle.d.ts.map +1 -0
  74. package/dist/{rdfox-explain → explain-fact}/conclusion/ConclusionSubtitle.js +3 -1
  75. package/dist/explain-fact/conclusion/index.d.ts.map +1 -0
  76. package/dist/explain-fact/explain-styles.d.ts.map +1 -0
  77. package/dist/explain-fact/fact-token.d.ts.map +1 -0
  78. package/dist/explain-fact/formula-hues.d.ts.map +1 -0
  79. package/dist/{rdfox-explain → explain-fact}/index.d.ts +2 -3
  80. package/dist/explain-fact/index.d.ts.map +1 -0
  81. package/dist/{rdfox-explain → explain-fact}/index.js +2 -3
  82. package/dist/explain-fact/inspector/ExplainInspector.d.ts.map +1 -0
  83. package/dist/explain-fact/inspector/ExplainInspector.js +20 -0
  84. package/dist/explain-fact/inspector/InspectorBindings.d.ts.map +1 -0
  85. package/dist/explain-fact/inspector/InspectorFact.d.ts.map +1 -0
  86. package/dist/explain-fact/inspector/InspectorHeader.d.ts.map +1 -0
  87. package/dist/{rdfox-explain → explain-fact}/inspector/InspectorRule.d.ts +3 -0
  88. package/dist/explain-fact/inspector/InspectorRule.d.ts.map +1 -0
  89. package/dist/{rdfox-explain → explain-fact}/inspector/InspectorRule.js +4 -5
  90. package/dist/explain-fact/inspector/SupportsSection.d.ts.map +1 -0
  91. package/dist/{rdfox-explain → explain-fact}/inspector/SupportsSection.js +2 -1
  92. package/dist/explain-fact/inspector/index.d.ts.map +1 -0
  93. package/dist/explain-fact/proof-tree/ProofFactLabel.d.ts.map +1 -0
  94. package/dist/explain-fact/proof-tree/ProofRowBadge.d.ts.map +1 -0
  95. package/dist/explain-fact/proof-tree/ProofRowContent.d.ts.map +1 -0
  96. package/dist/explain-fact/proof-tree/ProofRowValue.d.ts.map +1 -0
  97. package/dist/explain-fact/proof-tree/ProofTree.d.ts.map +1 -0
  98. package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTree.js +1 -1
  99. package/dist/explain-fact/proof-tree/ProofTreeFormulaFooter.d.ts.map +1 -0
  100. package/dist/explain-fact/proof-tree/ProofTreeNode.d.ts.map +1 -0
  101. package/dist/explain-fact/proof-tree/SupportsTag.d.ts.map +1 -0
  102. package/dist/explain-fact/proof-tree/SupportsTag.js +6 -0
  103. package/dist/explain-fact/proof-tree/index.d.ts.map +1 -0
  104. package/dist/explain-fact/proof-tree/proof-tree-navigation.d.ts.map +1 -0
  105. package/dist/explain-fact/proof-tree/proof-tree-root-view.d.ts.map +1 -0
  106. package/dist/explain-fact/proof-tree/visible-premises.d.ts.map +1 -0
  107. package/dist/explain-fact/rule-presentation.d.ts.map +1 -0
  108. package/dist/{rdfox-explain → explain-fact}/tree-model.d.ts +18 -9
  109. package/dist/explain-fact/tree-model.d.ts.map +1 -0
  110. package/dist/{rdfox-explain → explain-fact}/tree-model.js +19 -10
  111. package/dist/explain-fact/use-fact-measure.d.ts.map +1 -0
  112. package/dist/globals.css +237 -18
  113. package/dist/hooks/useValidateActionPlan.d.ts.map +1 -1
  114. package/dist/index.d.ts +3 -0
  115. package/dist/index.d.ts.map +1 -1
  116. package/dist/index.js +3 -0
  117. package/dist/ldo-ui.d.ts +1 -1
  118. package/dist/ldo-ui.d.ts.map +1 -1
  119. package/dist/ldo-ui.js +1 -1
  120. package/dist/lib/datastore-route-paths.d.ts +2 -2
  121. package/dist/lib/datastore-route-paths.d.ts.map +1 -1
  122. package/dist/lib/datastore-route-paths.js +2 -2
  123. package/dist/lib/datastore-route-table.d.ts +36 -0
  124. package/dist/lib/datastore-route-table.d.ts.map +1 -0
  125. package/dist/lib/datastore-route-table.js +43 -0
  126. package/dist/lib/datastore-routes.d.ts +1 -1
  127. package/dist/lib/datastore-routes.d.ts.map +1 -1
  128. package/dist/lib/datastore-routes.js +1 -1
  129. package/dist/lib/spa-routes.d.ts +3 -0
  130. package/dist/lib/spa-routes.d.ts.map +1 -0
  131. package/dist/lib/spa-routes.js +5 -0
  132. package/dist/routes/data-explorer/components/Breadcrumbs.d.ts.map +1 -1
  133. package/dist/routes/data-explorer/components/Breadcrumbs.js +5 -5
  134. package/dist/routes/datastores/components/DatastoreFormDialog.d.ts +18 -0
  135. package/dist/routes/datastores/components/DatastoreFormDialog.d.ts.map +1 -0
  136. package/dist/routes/datastores/components/DatastoreFormDialog.js +27 -0
  137. package/dist/routes/datastores/components/DatastoreTableSkeleton.d.ts +2 -0
  138. package/dist/routes/datastores/components/DatastoreTableSkeleton.d.ts.map +1 -0
  139. package/dist/routes/datastores/components/DatastoreTableSkeleton.js +7 -0
  140. package/dist/routes/datastores/components/DatastoresToolbar.d.ts +18 -0
  141. package/dist/routes/datastores/components/DatastoresToolbar.d.ts.map +1 -0
  142. package/dist/routes/datastores/components/DatastoresToolbar.js +29 -0
  143. package/dist/routes/datastores/components/LinkUnlinkedDatastoreDialog.d.ts +14 -0
  144. package/dist/routes/datastores/components/LinkUnlinkedDatastoreDialog.d.ts.map +1 -0
  145. package/dist/routes/datastores/components/LinkUnlinkedDatastoreDialog.js +83 -0
  146. package/dist/routes/datastores/components/RenameDatastoreGroupDialog.d.ts +9 -0
  147. package/dist/routes/datastores/components/RenameDatastoreGroupDialog.d.ts.map +1 -0
  148. package/dist/routes/datastores/components/RenameDatastoreGroupDialog.js +21 -0
  149. package/dist/routes/datastores/components/StatusBadge.d.ts +21 -0
  150. package/dist/routes/datastores/components/StatusBadge.d.ts.map +1 -0
  151. package/dist/routes/datastores/components/StatusBadge.js +49 -0
  152. package/dist/routes/datastores/components/UnlinkedDatastoresPanel.d.ts +20 -0
  153. package/dist/routes/datastores/components/UnlinkedDatastoresPanel.d.ts.map +1 -0
  154. package/dist/routes/datastores/components/UnlinkedDatastoresPanel.js +13 -0
  155. package/dist/routes/datastores/flatten.d.ts +33 -0
  156. package/dist/routes/datastores/flatten.d.ts.map +1 -0
  157. package/dist/routes/datastores/flatten.js +86 -0
  158. package/dist/routes/datastores/hooks/useDatastoreColumns.d.ts +47 -0
  159. package/dist/routes/datastores/hooks/useDatastoreColumns.d.ts.map +1 -0
  160. package/dist/routes/datastores/hooks/useDatastoreColumns.js +165 -0
  161. package/dist/routes/datastores/hooks/useDatastoreTable.d.ts +14 -0
  162. package/dist/routes/datastores/hooks/useDatastoreTable.d.ts.map +1 -0
  163. package/dist/routes/datastores/hooks/useDatastoreTable.js +45 -0
  164. package/dist/routes/datastores/index.d.ts +2 -0
  165. package/dist/routes/datastores/index.d.ts.map +1 -0
  166. package/dist/routes/datastores/index.js +467 -0
  167. package/dist/routes/explain/ExplainEmpty.d.ts +2 -0
  168. package/dist/routes/explain/ExplainEmpty.d.ts.map +1 -0
  169. package/dist/routes/explain/ExplainEmpty.js +8 -0
  170. package/dist/routes/explain/index.d.ts +2 -0
  171. package/dist/routes/explain/index.d.ts.map +1 -0
  172. package/dist/routes/explain/index.js +16 -0
  173. package/dist/routes/explain/url-params.d.ts +9 -0
  174. package/dist/routes/explain/url-params.d.ts.map +1 -0
  175. package/dist/routes/explain/url-params.js +21 -0
  176. package/dist/routes/integrations/components/ConnectionRow.d.ts.map +1 -1
  177. package/dist/routes/integrations/components/ConnectionRow.js +1 -1
  178. package/dist/routes/integrations/connection-view.d.ts.map +1 -1
  179. package/dist/routes/integrations/connection-view.js +17 -1
  180. package/dist/routes/integrations/types.d.ts +2 -1
  181. package/dist/routes/integrations/types.d.ts.map +1 -1
  182. package/dist/routes/rules/components/CreateRuleChatModal.d.ts +10 -0
  183. package/dist/routes/rules/components/CreateRuleChatModal.d.ts.map +1 -0
  184. package/dist/routes/rules/components/CreateRuleChatModal.js +52 -0
  185. package/dist/routes/rules/components/RuleActionabilityBadge.d.ts +8 -0
  186. package/dist/routes/rules/components/RuleActionabilityBadge.d.ts.map +1 -0
  187. package/dist/routes/rules/components/RuleActionabilityBadge.js +18 -0
  188. package/dist/routes/rules/components/RuleAffectedActionPlansSection.d.ts +6 -0
  189. package/dist/routes/rules/components/RuleAffectedActionPlansSection.d.ts.map +1 -0
  190. package/dist/routes/rules/components/RuleAffectedActionPlansSection.js +151 -0
  191. package/dist/routes/rules/components/RuleAst.d.ts +6 -0
  192. package/dist/routes/rules/components/RuleAst.d.ts.map +1 -0
  193. package/dist/routes/rules/components/RuleAst.js +23 -0
  194. package/dist/routes/rules/components/RuleDependentRulesSection.d.ts +6 -0
  195. package/dist/routes/rules/components/RuleDependentRulesSection.d.ts.map +1 -0
  196. package/dist/routes/rules/components/RuleDependentRulesSection.js +16 -0
  197. package/dist/routes/rules/components/RuleDetailsPage.d.ts +14 -0
  198. package/dist/routes/rules/components/RuleDetailsPage.d.ts.map +1 -0
  199. package/dist/routes/rules/components/RuleDetailsPage.js +51 -0
  200. package/dist/routes/rules/components/RuleProducersSection.d.ts +7 -0
  201. package/dist/routes/rules/components/RuleProducersSection.d.ts.map +1 -0
  202. package/dist/routes/rules/components/RuleProducersSection.js +10 -0
  203. package/dist/routes/rules/components/RuleSampleFactsSection.d.ts +7 -0
  204. package/dist/routes/rules/components/RuleSampleFactsSection.d.ts.map +1 -0
  205. package/dist/routes/rules/components/RuleSampleFactsSection.js +70 -0
  206. package/dist/routes/rules/components/RulesOverviewHeaderActions.d.ts +17 -0
  207. package/dist/routes/rules/components/RulesOverviewHeaderActions.d.ts.map +1 -0
  208. package/dist/routes/rules/components/RulesOverviewHeaderActions.js +55 -0
  209. package/dist/routes/rules/components/RulesOverviewPage.d.ts +13 -0
  210. package/dist/routes/rules/components/RulesOverviewPage.d.ts.map +1 -0
  211. package/dist/routes/rules/components/RulesOverviewPage.js +236 -0
  212. package/dist/routes/rules/components/SupportedActionShapesList/SupportedActionShapeDetails.d.ts +7 -0
  213. package/dist/routes/rules/components/SupportedActionShapesList/SupportedActionShapeDetails.d.ts.map +1 -0
  214. package/dist/routes/rules/components/SupportedActionShapesList/SupportedActionShapeDetails.js +47 -0
  215. package/dist/routes/rules/components/SupportedActionShapesList/SupportedActionShapesList.d.ts +8 -0
  216. package/dist/routes/rules/components/SupportedActionShapesList/SupportedActionShapesList.d.ts.map +1 -0
  217. package/dist/routes/rules/components/SupportedActionShapesList/SupportedActionShapesList.js +76 -0
  218. package/dist/routes/rules/components/SupportedActionShapesList/TokenList.d.ts +6 -0
  219. package/dist/routes/rules/components/SupportedActionShapesList/TokenList.d.ts.map +1 -0
  220. package/dist/routes/rules/components/SupportedActionShapesList/TokenList.js +9 -0
  221. package/dist/routes/rules/components/SupportedActionShapesList/index.d.ts +2 -0
  222. package/dist/routes/rules/components/SupportedActionShapesList/index.d.ts.map +1 -0
  223. package/dist/routes/rules/components/SupportedActionShapesList/index.js +1 -0
  224. package/dist/routes/rules/components/SupportedActionShapesList/shacl-shape.d.ts +20 -0
  225. package/dist/routes/rules/components/SupportedActionShapesList/shacl-shape.d.ts.map +1 -0
  226. package/dist/routes/rules/components/SupportedActionShapesList/shacl-shape.js +48 -0
  227. package/dist/routes/rules/components/datalog-editor/BindingsPreview.d.ts +9 -0
  228. package/dist/routes/rules/components/datalog-editor/BindingsPreview.d.ts.map +1 -0
  229. package/dist/routes/rules/components/datalog-editor/BindingsPreview.js +38 -0
  230. package/dist/routes/rules/components/datalog-editor/FactsPreview.d.ts +10 -0
  231. package/dist/routes/rules/components/datalog-editor/FactsPreview.d.ts.map +1 -0
  232. package/dist/routes/rules/components/datalog-editor/FactsPreview.js +43 -0
  233. package/dist/routes/rules/components/datalog-editor/PreviewPanel.d.ts +7 -0
  234. package/dist/routes/rules/components/datalog-editor/PreviewPanel.d.ts.map +1 -0
  235. package/dist/routes/rules/components/datalog-editor/PreviewPanel.js +8 -0
  236. package/dist/routes/rules/components/datalog-editor/QueryResults.d.ts +9 -0
  237. package/dist/routes/rules/components/datalog-editor/QueryResults.d.ts.map +1 -0
  238. package/dist/routes/rules/components/datalog-editor/QueryResults.js +22 -0
  239. package/dist/routes/rules/components/datalog-editor/SparqlQueryPanel.d.ts +11 -0
  240. package/dist/routes/rules/components/datalog-editor/SparqlQueryPanel.d.ts.map +1 -0
  241. package/dist/routes/rules/components/datalog-editor/SparqlQueryPanel.js +21 -0
  242. package/dist/routes/rules/components/rule-producers.d.ts +15 -0
  243. package/dist/routes/rules/components/rule-producers.d.ts.map +1 -0
  244. package/dist/routes/rules/components/rule-producers.js +76 -0
  245. package/dist/routes/rules/components/sample-facts-query.d.ts +9 -0
  246. package/dist/routes/rules/components/sample-facts-query.d.ts.map +1 -0
  247. package/dist/routes/rules/components/sample-facts-query.js +71 -0
  248. package/dist/routes/rules/datalog-editor.d.ts +6 -0
  249. package/dist/routes/rules/datalog-editor.d.ts.map +1 -0
  250. package/dist/routes/rules/datalog-editor.js +7 -0
  251. package/dist/routes/rules/hooks/useRuleFactsPreview.d.ts +53 -0
  252. package/dist/routes/rules/hooks/useRuleFactsPreview.d.ts.map +1 -0
  253. package/dist/routes/rules/hooks/useRuleFactsPreview.js +214 -0
  254. package/dist/routes/rules/hooks/useSparqlQueryExecution.d.ts +14 -0
  255. package/dist/routes/rules/hooks/useSparqlQueryExecution.d.ts.map +1 -0
  256. package/dist/routes/rules/hooks/useSparqlQueryExecution.js +77 -0
  257. package/dist/routes/rules/pages.d.ts +6 -0
  258. package/dist/routes/rules/pages.d.ts.map +1 -0
  259. package/dist/routes/rules/pages.js +7 -0
  260. package/dist/rules/RuleNameLink.d.ts +6 -0
  261. package/dist/rules/RuleNameLink.d.ts.map +1 -0
  262. package/dist/rules/RuleNameLink.js +8 -0
  263. package/package.json +59 -24
  264. package/src/globals.css +5 -0
  265. package/src/themes/manta-dark.css +1 -0
  266. package/src/themes/manta.css +1 -0
  267. package/src/themes/standard.css +1 -0
  268. package/dist/components/rdfox-explain/OutdatedFactNotice.d.ts.map +0 -1
  269. package/dist/components/rdfox-explain/RDFoxExplain.d.ts +0 -16
  270. package/dist/components/rdfox-explain/RDFoxExplain.d.ts.map +0 -1
  271. package/dist/components/tool-invocation-card/ExplainRDFoxResultDisplay.d.ts +0 -9
  272. package/dist/components/tool-invocation-card/ExplainRDFoxResultDisplay.d.ts.map +0 -1
  273. package/dist/lib/test-utils.d.ts +0 -4
  274. package/dist/lib/test-utils.d.ts.map +0 -1
  275. package/dist/lib/test-utils.js +0 -16
  276. package/dist/rdfox-explain/AbsentFactNotice.d.ts +0 -5
  277. package/dist/rdfox-explain/AbsentFactNotice.d.ts.map +0 -1
  278. package/dist/rdfox-explain/AbsentFactNotice.js +0 -6
  279. package/dist/rdfox-explain/DatalogCode.d.ts.map +0 -1
  280. package/dist/rdfox-explain/EntityChip.d.ts.map +0 -1
  281. package/dist/rdfox-explain/EntityChip.js +0 -9
  282. package/dist/rdfox-explain/ExplainCompactView.d.ts.map +0 -1
  283. package/dist/rdfox-explain/ExplainFullView.d.ts.map +0 -1
  284. package/dist/rdfox-explain/ExplainStates.d.ts.map +0 -1
  285. package/dist/rdfox-explain/ExplainTag.d.ts.map +0 -1
  286. package/dist/rdfox-explain/FactValue.d.ts.map +0 -1
  287. package/dist/rdfox-explain/NumDot.d.ts.map +0 -1
  288. package/dist/rdfox-explain/PanelLabel.d.ts.map +0 -1
  289. package/dist/rdfox-explain/ProofSubjectHeader.d.ts.map +0 -1
  290. package/dist/rdfox-explain/ProvenanceBadge.d.ts.map +0 -1
  291. package/dist/rdfox-explain/RDFoxExplainState.d.ts +0 -7
  292. package/dist/rdfox-explain/RDFoxExplainState.d.ts.map +0 -1
  293. package/dist/rdfox-explain/RuleVariableTypes.d.ts.map +0 -1
  294. package/dist/rdfox-explain/StoredFactNotice.d.ts +0 -5
  295. package/dist/rdfox-explain/StoredFactNotice.d.ts.map +0 -1
  296. package/dist/rdfox-explain/StoredFactNotice.js +0 -6
  297. package/dist/rdfox-explain/SubstitutedFactNotice.d.ts.map +0 -1
  298. package/dist/rdfox-explain/ValuePill.d.ts.map +0 -1
  299. package/dist/rdfox-explain/busy-aggregate-fixture.d.ts +0 -7
  300. package/dist/rdfox-explain/busy-aggregate-fixture.d.ts.map +0 -1
  301. package/dist/rdfox-explain/busy-aggregate-fixture.js +0 -6
  302. package/dist/rdfox-explain/conclusion/ConclusionCard.d.ts.map +0 -1
  303. package/dist/rdfox-explain/conclusion/ConclusionSubtitle.d.ts.map +0 -1
  304. package/dist/rdfox-explain/conclusion/index.d.ts.map +0 -1
  305. package/dist/rdfox-explain/explain-styles.d.ts.map +0 -1
  306. package/dist/rdfox-explain/fact-token.d.ts.map +0 -1
  307. package/dist/rdfox-explain/formula-hues.d.ts.map +0 -1
  308. package/dist/rdfox-explain/index.d.ts.map +0 -1
  309. package/dist/rdfox-explain/inspector/ExplainInspector.d.ts.map +0 -1
  310. package/dist/rdfox-explain/inspector/ExplainInspector.js +0 -22
  311. package/dist/rdfox-explain/inspector/InspectorBindings.d.ts.map +0 -1
  312. package/dist/rdfox-explain/inspector/InspectorFact.d.ts.map +0 -1
  313. package/dist/rdfox-explain/inspector/InspectorHeader.d.ts.map +0 -1
  314. package/dist/rdfox-explain/inspector/InspectorRule.d.ts.map +0 -1
  315. package/dist/rdfox-explain/inspector/SupportsSection.d.ts.map +0 -1
  316. package/dist/rdfox-explain/inspector/index.d.ts.map +0 -1
  317. package/dist/rdfox-explain/proof-tree/ProofFactLabel.d.ts.map +0 -1
  318. package/dist/rdfox-explain/proof-tree/ProofRowBadge.d.ts.map +0 -1
  319. package/dist/rdfox-explain/proof-tree/ProofRowContent.d.ts.map +0 -1
  320. package/dist/rdfox-explain/proof-tree/ProofRowValue.d.ts.map +0 -1
  321. package/dist/rdfox-explain/proof-tree/ProofTree.d.ts.map +0 -1
  322. package/dist/rdfox-explain/proof-tree/ProofTreeFormulaFooter.d.ts.map +0 -1
  323. package/dist/rdfox-explain/proof-tree/ProofTreeNode.d.ts.map +0 -1
  324. package/dist/rdfox-explain/proof-tree/SupportsTag.d.ts.map +0 -1
  325. package/dist/rdfox-explain/proof-tree/SupportsTag.js +0 -6
  326. package/dist/rdfox-explain/proof-tree/index.d.ts.map +0 -1
  327. package/dist/rdfox-explain/proof-tree/proof-tree-navigation.d.ts.map +0 -1
  328. package/dist/rdfox-explain/proof-tree/proof-tree-root-view.d.ts.map +0 -1
  329. package/dist/rdfox-explain/proof-tree/visible-premises.d.ts.map +0 -1
  330. package/dist/rdfox-explain/rule-presentation.d.ts.map +0 -1
  331. package/dist/rdfox-explain/tree-model.d.ts.map +0 -1
  332. package/dist/rdfox-explain/use-fact-measure.d.ts.map +0 -1
  333. package/dist/test-support.d.ts +0 -9
  334. package/dist/test-support.d.ts.map +0 -1
  335. package/dist/test-support.js +0 -18
  336. /package/dist/components/{rdfox-explain → explain-fact}/OutdatedFactNotice.d.ts +0 -0
  337. /package/dist/components/{rdfox-explain → explain-fact}/OutdatedFactNotice.js +0 -0
  338. /package/dist/{rdfox-explain → explain-fact}/DatalogCode.d.ts +0 -0
  339. /package/dist/{rdfox-explain → explain-fact}/DatalogCode.js +0 -0
  340. /package/dist/{rdfox-explain → explain-fact}/EntityChip.d.ts +0 -0
  341. /package/dist/{rdfox-explain → explain-fact}/ExplainCompactView.d.ts +0 -0
  342. /package/dist/{rdfox-explain → explain-fact}/ExplainCompactView.js +0 -0
  343. /package/dist/{rdfox-explain → explain-fact}/ExplainFullView.d.ts +0 -0
  344. /package/dist/{rdfox-explain → explain-fact}/ExplainFullView.js +0 -0
  345. /package/dist/{rdfox-explain → explain-fact}/ExplainStates.d.ts +0 -0
  346. /package/dist/{rdfox-explain → explain-fact}/ExplainStates.js +0 -0
  347. /package/dist/{rdfox-explain → explain-fact}/ExplainTag.d.ts +0 -0
  348. /package/dist/{rdfox-explain → explain-fact}/ExplainTag.js +0 -0
  349. /package/dist/{rdfox-explain → explain-fact}/FactValue.d.ts +0 -0
  350. /package/dist/{rdfox-explain → explain-fact}/FactValue.js +0 -0
  351. /package/dist/{rdfox-explain → explain-fact}/NumDot.d.ts +0 -0
  352. /package/dist/{rdfox-explain → explain-fact}/NumDot.js +0 -0
  353. /package/dist/{rdfox-explain → explain-fact}/PanelLabel.d.ts +0 -0
  354. /package/dist/{rdfox-explain → explain-fact}/PanelLabel.js +0 -0
  355. /package/dist/{rdfox-explain → explain-fact}/ProofSubjectHeader.d.ts +0 -0
  356. /package/dist/{rdfox-explain → explain-fact}/ProofSubjectHeader.js +0 -0
  357. /package/dist/{rdfox-explain → explain-fact}/ProvenanceBadge.d.ts +0 -0
  358. /package/dist/{rdfox-explain → explain-fact}/RuleVariableTypes.d.ts +0 -0
  359. /package/dist/{rdfox-explain → explain-fact}/RuleVariableTypes.js +0 -0
  360. /package/dist/{rdfox-explain → explain-fact}/SubstitutedFactNotice.d.ts +0 -0
  361. /package/dist/{rdfox-explain → explain-fact}/SubstitutedFactNotice.js +0 -0
  362. /package/dist/{rdfox-explain → explain-fact}/ValuePill.d.ts +0 -0
  363. /package/dist/{rdfox-explain → explain-fact}/ValuePill.js +0 -0
  364. /package/dist/{rdfox-explain → explain-fact}/conclusion/ConclusionCard.d.ts +0 -0
  365. /package/dist/{rdfox-explain → explain-fact}/conclusion/ConclusionCard.js +0 -0
  366. /package/dist/{rdfox-explain → explain-fact}/conclusion/ConclusionSubtitle.d.ts +0 -0
  367. /package/dist/{rdfox-explain → explain-fact}/conclusion/index.d.ts +0 -0
  368. /package/dist/{rdfox-explain → explain-fact}/conclusion/index.js +0 -0
  369. /package/dist/{rdfox-explain → explain-fact}/explain-styles.d.ts +0 -0
  370. /package/dist/{rdfox-explain → explain-fact}/explain-styles.js +0 -0
  371. /package/dist/{rdfox-explain → explain-fact}/fact-token.d.ts +0 -0
  372. /package/dist/{rdfox-explain → explain-fact}/fact-token.js +0 -0
  373. /package/dist/{rdfox-explain → explain-fact}/formula-hues.d.ts +0 -0
  374. /package/dist/{rdfox-explain → explain-fact}/formula-hues.js +0 -0
  375. /package/dist/{rdfox-explain → explain-fact}/inspector/ExplainInspector.d.ts +0 -0
  376. /package/dist/{rdfox-explain → explain-fact}/inspector/InspectorBindings.d.ts +0 -0
  377. /package/dist/{rdfox-explain → explain-fact}/inspector/InspectorBindings.js +0 -0
  378. /package/dist/{rdfox-explain → explain-fact}/inspector/InspectorFact.d.ts +0 -0
  379. /package/dist/{rdfox-explain → explain-fact}/inspector/InspectorFact.js +0 -0
  380. /package/dist/{rdfox-explain → explain-fact}/inspector/InspectorHeader.d.ts +0 -0
  381. /package/dist/{rdfox-explain → explain-fact}/inspector/InspectorHeader.js +0 -0
  382. /package/dist/{rdfox-explain → explain-fact}/inspector/SupportsSection.d.ts +0 -0
  383. /package/dist/{rdfox-explain → explain-fact}/inspector/index.d.ts +0 -0
  384. /package/dist/{rdfox-explain → explain-fact}/inspector/index.js +0 -0
  385. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofFactLabel.d.ts +0 -0
  386. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofFactLabel.js +0 -0
  387. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofRowBadge.d.ts +0 -0
  388. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofRowBadge.js +0 -0
  389. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofRowContent.d.ts +0 -0
  390. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofRowContent.js +0 -0
  391. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofRowValue.d.ts +0 -0
  392. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofRowValue.js +0 -0
  393. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTree.d.ts +0 -0
  394. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTreeFormulaFooter.d.ts +0 -0
  395. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTreeFormulaFooter.js +0 -0
  396. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTreeNode.d.ts +0 -0
  397. /package/dist/{rdfox-explain → explain-fact}/proof-tree/ProofTreeNode.js +0 -0
  398. /package/dist/{rdfox-explain → explain-fact}/proof-tree/SupportsTag.d.ts +0 -0
  399. /package/dist/{rdfox-explain → explain-fact}/proof-tree/index.d.ts +0 -0
  400. /package/dist/{rdfox-explain → explain-fact}/proof-tree/index.js +0 -0
  401. /package/dist/{rdfox-explain → explain-fact}/proof-tree/proof-tree-navigation.d.ts +0 -0
  402. /package/dist/{rdfox-explain → explain-fact}/proof-tree/proof-tree-navigation.js +0 -0
  403. /package/dist/{rdfox-explain → explain-fact}/proof-tree/proof-tree-root-view.d.ts +0 -0
  404. /package/dist/{rdfox-explain → explain-fact}/proof-tree/proof-tree-root-view.js +0 -0
  405. /package/dist/{rdfox-explain → explain-fact}/proof-tree/visible-premises.d.ts +0 -0
  406. /package/dist/{rdfox-explain → explain-fact}/proof-tree/visible-premises.js +0 -0
  407. /package/dist/{rdfox-explain → explain-fact}/rule-presentation.d.ts +0 -0
  408. /package/dist/{rdfox-explain → explain-fact}/rule-presentation.js +0 -0
  409. /package/dist/{rdfox-explain → explain-fact}/use-fact-measure.d.ts +0 -0
  410. /package/dist/{rdfox-explain → explain-fact}/use-fact-measure.js +0 -0
@@ -1 +0,0 @@
1
- {"version":3,"file":"formula-hues.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/formula-hues.ts"],"names":[],"mappings":"AAwBA,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAE9D"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC;AAC7B,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,yBAAyB,CAAC;AACxC,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ExplainInspector.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/ExplainInspector.tsx"],"names":[],"mappings":"AAIA,OAAO,EAAuC,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAQzF,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,cAAc,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,2CAiC5D"}
@@ -1,22 +0,0 @@
1
- import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
2
- import { isPresent } from "@manta-eu/lib/present";
3
- import { AbsentFactNotice } from "../AbsentFactNotice.js";
4
- import { presentRule } from "../rule-presentation.js";
5
- import { StoredFactNotice } from "../StoredFactNotice.js";
6
- import { consumingRuleNode, multipleSupports } from "../tree-model.js";
7
- import { InspectorBindings } from "./InspectorBindings.js";
8
- import { InspectorFact } from "./InspectorFact.js";
9
- import { InspectorHeader } from "./InspectorHeader.js";
10
- import { InspectorRule } from "./InspectorRule.js";
11
- import { SupportsSection } from "./SupportsSection.js";
12
- import { cn } from "#style";
13
- export function ExplainInspector(props) {
14
- const { tree, selectedNodeId, className } = props;
15
- const node = tree.byId[selectedNodeId] ?? tree.root;
16
- const ruleNode = consumingRuleNode(tree, node);
17
- const presentation = ruleNode?.rule ? presentRule(ruleNode.rule, ruleNode.groundedRule) : undefined;
18
- const highlightedAtomIndex = node.id === ruleNode?.id ? undefined : node.bodyIndex;
19
- const supports = multipleSupports(node);
20
- const noticeClassName = "rounded-md border border-dashed p-4";
21
- return (_jsxs("div", { className: cn("flex min-w-0 flex-col gap-3.5", className), children: [_jsx(InspectorHeader, { node: node }), _jsx(InspectorFact, { node: node }), supports && _jsx(SupportsSection, { supports: supports }, node.id), presentation && (_jsx(InspectorRule, { presentation: presentation, highlightedAtomIndex: highlightedAtomIndex, derivedFactText: ruleNode?.display })), !presentation && node.provenance === "absent" && (_jsx(AbsentFactNotice, { className: cn(noticeClassName, "border-error-foreground/40 bg-error/5") })), !presentation && node.provenance !== "absent" && (_jsx(StoredFactNotice, { className: cn(noticeClassName, "border-muted-border bg-background/50") })), presentation && isPresent(presentation.bindings) && _jsx(InspectorBindings, { presentation: presentation })] }));
22
- }
@@ -1 +0,0 @@
1
- {"version":3,"file":"InspectorBindings.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/InspectorBindings.tsx"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAQ7D,MAAM,MAAM,sBAAsB,GAAG;IACnC,YAAY,EAAE,gBAAgB,CAAC;CAChC,CAAC;AAUF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,2CA2F9D"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"InspectorFact.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/InspectorFact.tsx"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAIhE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,kDAyBtD"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"InspectorHeader.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/InspectorHeader.tsx"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAQhE,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,2CAqF1D"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"InspectorRule.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/InspectorRule.tsx"],"names":[],"mappings":"AASA,OAAO,EAKL,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AA8B9B,MAAM,MAAM,kBAAkB,GAAG;IAC/B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,2CAqJtD"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"SupportsSection.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/SupportsSection.tsx"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAGtD,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;CAC9B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,kDAgD1D"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/inspector/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofFactLabel.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofFactLabel.tsx"],"names":[],"mappings":"AACA,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAMtE,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,2CAsBxD"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofRowBadge.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofRowBadge.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAGvC,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAEhE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,CASlE"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofRowContent.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofRowContent.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAOvC,OAAO,EAA0B,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAarG,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;CAC1B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,SAAS,CAiCtE"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofRowValue.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofRowValue.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAKvC,OAAO,EAAc,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAGzF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,CA+BlE"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofTree.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofTree.tsx"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AASxE,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,kDAkG9C"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofTreeFormulaFooter.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofTreeFormulaFooter.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAMxD,MAAM,MAAM,2BAA2B,GAAG;IACxC,OAAO,EAAE,uBAAuB,CAAC;IACjC,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,2BAA2B,2CAgBxE"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"ProofTreeNode.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/ProofTreeNode.tsx"],"names":[],"mappings":"AAGA,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,cAAc,EACpB,MAAM,eAAe,CAAC;AAOvB,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,kBAAkB,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,QAAQ,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,kBAAkB,2CA+EtD"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"SupportsTag.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/SupportsTag.tsx"],"names":[],"mappings":"AAEA,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,WAAW,CAAC,KAAK,EAAE,gBAAgB,2CAYlD"}
@@ -1,6 +0,0 @@
1
- import { jsxs as _jsxs } from "react/jsx-runtime";
2
- import { ExplainTag } from "../ExplainTag.js";
3
- export function SupportsTag(props) {
4
- const { count, className } = props;
5
- return (_jsxs(ExplainTag, { variant: "success", title: `RDFox holds ${count} independent derivations of this fact. It survives deletion of any one of them.`, className: className, children: [count, " ways"] }));
6
- }
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,cAAc,aAAa,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"proof-tree-navigation.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/proof-tree-navigation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAkB,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpE,MAAM,MAAM,uBAAuB,GAAG;IACpC,IAAI,EAAE,cAAc,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC9B,CAAC;AAUF,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,uBAAuB,GAAG,yBAAyB,CA+BrG;AAqDD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBrH"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"proof-tree-root-view.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/proof-tree-root-view.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpE,KAAK,iBAAiB,GAAG;IACvB,OAAO,CAAC,EAAE,uBAAuB,CAAC;IAClC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,WAAW,EAAE,OAAO,CAAC;CACtB,CAAC;AAIF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,iBAAiB,CAwBzE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAEhE"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"visible-premises.d.ts","sourceRoot":"","sources":["../../../src/rdfox-explain/proof-tree/visible-premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAMrF,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,cAAc,EACpB,IAAI,EAAE,cAAc,EACpB,YAAY,CAAC,EAAE,MAAM,GACpB,cAAc,EAAE,CASlB"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"rule-presentation.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/rule-presentation.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAKV,WAAW,EAEZ,MAAM,0BAA0B,CAAC;AAIlC,OAAO,EAIL,KAAK,kBAAkB,EAGxB,MAAM,cAAc,CAAC;AAEtB,MAAM,MAAM,oBAAoB,GAAG;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,kBAAkB,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAuJF,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,CAUrF;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAMF,wBAAgB,eAAe,CAC7B,SAAS,EAAE,wBAAwB,EAAE,EACrC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAC3B,wBAAwB,GAAG,SAAS,CAMtC;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAOF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,wBAAwB,EAAE,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,uBAAuB,CAAC;CACnC,CAAC;AAEF,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,CAE5E;AAKD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAiBjF;AAoVD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAYrG"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"tree-model.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/tree-model.ts"],"names":[],"mappings":"AAAA,OAAO,EAWL,KAAK,kBAAkB,EAExB,MAAM,0BAA0B,CAAC;AAOlC,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAG7F,MAAM,MAAM,kBAAkB,GAAG;IAC/B,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;IACxC,gBAAgB,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACvC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IACjC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,eAAe,GACf,WAAW,GACX,MAAM,GACN,QAAQ,GACR,UAAU,GACV,QAAQ,CAAC;AAEb,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE5E,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEtD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAIhF;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,SAAS,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxC,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACtC,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAExD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAExD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,EAAE,GAAG,SAAS,CAIrF;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIzF;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,GAAG,cAAc,GAAG,SAAS,CAQxG;AAaD,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAW1D;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAqCpE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,kBAAkB,GAAG,cAAc,GAAG,IAAI,CA8J3E;AA2FD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAOjD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAIpD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQvD;AAsBD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB,CASlF;AAoHD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CA8BrE"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"use-fact-measure.d.ts","sourceRoot":"","sources":["../../src/rdfox-explain/use-fact-measure.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGvE,wBAAgB,cAAc,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAE1E;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAmB5F"}
@@ -1,9 +0,0 @@
1
- import type { RDF } from "ldkit/rdf";
2
- import type { ReactNode } from "react";
3
- import type { OntologyTerm } from "./lib/ontology-terms.js";
4
- export declare function fakeBinding(entries: Record<string, string | undefined>): RDF.Bindings;
5
- export declare function ontologyTerm(overrides: Partial<OntologyTerm> & {
6
- iri: string;
7
- }): OntologyTerm;
8
- export declare function withOntologyTerms(terms: OntologyTerm[], children: ReactNode): ReactNode;
9
- //# sourceMappingURL=test-support.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"test-support.d.ts","sourceRoot":"","sources":["../src/test-support.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAEvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,QAAQ,CAIrF;AAED,wBAAgB,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,CAE7F;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,QAAQ,EAAE,SAAS,GAAG,SAAS,CAWvF"}
@@ -1,18 +0,0 @@
1
- import { jsx as _jsx } from "react/jsx-runtime";
2
- import { OntologyTermsContext } from "./hooks/use-ontology-terms.js";
3
- import { TooltipProvider } from "#components/tooltip/index";
4
- export function fakeBinding(entries) {
5
- return {
6
- get: (key) => (entries[key] === undefined ? undefined : { value: entries[key] }),
7
- };
8
- }
9
- export function ontologyTerm(overrides) {
10
- return { domainIncludes: [], rangeIncludes: [], subClassOf: [], personalDataCategories: [], ...overrides };
11
- }
12
- export function withOntologyTerms(terms, children) {
13
- const termsValue = {
14
- values: new Map(terms.map((term) => [term.iri, term])),
15
- request: () => { },
16
- };
17
- return (_jsx(TooltipProvider, { children: _jsx(OntologyTermsContext.Provider, { value: termsValue, children: children }) }));
18
- }
File without changes