@eagleoutice/flowr 2.6.0 → 2.6.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 (703) hide show
  1. package/README.md +142 -45
  2. package/abstract-interpretation/data-frame/absint-info.d.ts +1 -1
  3. package/abstract-interpretation/data-frame/absint-visitor.d.ts +3 -4
  4. package/abstract-interpretation/data-frame/absint-visitor.js +16 -11
  5. package/abstract-interpretation/data-frame/dataframe-domain.d.ts +18 -12
  6. package/abstract-interpretation/data-frame/dataframe-domain.js +25 -13
  7. package/abstract-interpretation/data-frame/mappers/access-mapper.d.ts +0 -1
  8. package/abstract-interpretation/data-frame/mappers/access-mapper.js +0 -1
  9. package/abstract-interpretation/data-frame/mappers/arguments.d.ts +1 -10
  10. package/abstract-interpretation/data-frame/mappers/arguments.js +0 -7
  11. package/abstract-interpretation/data-frame/mappers/assignment-mapper.d.ts +0 -1
  12. package/abstract-interpretation/data-frame/mappers/assignment-mapper.js +0 -1
  13. package/abstract-interpretation/data-frame/mappers/function-mapper.d.ts +4 -5
  14. package/abstract-interpretation/data-frame/mappers/function-mapper.js +3 -4
  15. package/abstract-interpretation/data-frame/mappers/replacement-mapper.d.ts +0 -1
  16. package/abstract-interpretation/data-frame/mappers/replacement-mapper.js +0 -1
  17. package/abstract-interpretation/data-frame/resolve-args.d.ts +1 -1
  18. package/abstract-interpretation/data-frame/semantics.d.ts +3 -4
  19. package/abstract-interpretation/data-frame/semantics.js +171 -162
  20. package/abstract-interpretation/data-frame/shape-inference.d.ts +1 -4
  21. package/abstract-interpretation/data-frame/shape-inference.js +7 -9
  22. package/abstract-interpretation/domains/abstract-domain.d.ts +59 -18
  23. package/abstract-interpretation/domains/abstract-domain.js +74 -1
  24. package/abstract-interpretation/domains/bounded-set-domain.d.ts +37 -24
  25. package/abstract-interpretation/domains/bounded-set-domain.js +70 -47
  26. package/abstract-interpretation/domains/interval-domain.d.ts +33 -25
  27. package/abstract-interpretation/domains/interval-domain.js +109 -50
  28. package/abstract-interpretation/domains/lattice.d.ts +19 -11
  29. package/abstract-interpretation/domains/mapped-abstract-domain.d.ts +34 -0
  30. package/abstract-interpretation/domains/mapped-abstract-domain.js +189 -0
  31. package/abstract-interpretation/domains/positive-interval-domain.d.ts +16 -12
  32. package/abstract-interpretation/domains/positive-interval-domain.js +20 -11
  33. package/abstract-interpretation/domains/product-domain.d.ts +18 -23
  34. package/abstract-interpretation/domains/product-domain.js +11 -19
  35. package/abstract-interpretation/domains/satisfiable-domain.d.ts +29 -0
  36. package/abstract-interpretation/domains/satisfiable-domain.js +24 -0
  37. package/abstract-interpretation/domains/set-upper-bound-domain.d.ts +54 -0
  38. package/abstract-interpretation/domains/set-upper-bound-domain.js +197 -0
  39. package/abstract-interpretation/domains/singleton-domain.d.ts +24 -19
  40. package/abstract-interpretation/domains/singleton-domain.js +52 -37
  41. package/abstract-interpretation/domains/state-abstract-domain.d.ts +8 -24
  42. package/abstract-interpretation/domains/state-abstract-domain.js +2 -167
  43. package/abstract-interpretation/normalized-ast-fold.d.ts +1 -7
  44. package/abstract-interpretation/normalized-ast-fold.js +0 -5
  45. package/benchmark/slicer.d.ts +3 -7
  46. package/benchmark/slicer.js +14 -19
  47. package/benchmark/stats/print.d.ts +6 -0
  48. package/benchmark/stats/print.js +6 -0
  49. package/benchmark/stats/size-of.d.ts +0 -1
  50. package/benchmark/stats/size-of.js +0 -1
  51. package/benchmark/stats/stats.d.ts +2 -2
  52. package/benchmark/stopwatch.d.ts +11 -13
  53. package/benchmark/stopwatch.js +11 -13
  54. package/benchmark/summarizer/first-phase/input.d.ts +6 -0
  55. package/benchmark/summarizer/first-phase/input.js +6 -0
  56. package/benchmark/summarizer/first-phase/process.d.ts +13 -1
  57. package/benchmark/summarizer/first-phase/process.js +12 -0
  58. package/benchmark/summarizer/second-phase/graph.d.ts +3 -0
  59. package/benchmark/summarizer/second-phase/graph.js +3 -0
  60. package/benchmark/summarizer/second-phase/process.d.ts +12 -0
  61. package/benchmark/summarizer/second-phase/process.js +12 -0
  62. package/benchmark/summarizer/summarizer.d.ts +1 -2
  63. package/cli/benchmark-app.js +0 -2
  64. package/cli/common/features.d.ts +7 -1
  65. package/cli/common/features.js +6 -0
  66. package/cli/common/script.d.ts +3 -1
  67. package/cli/common/script.js +3 -1
  68. package/cli/common/scripts-info.d.ts +3 -1
  69. package/cli/common/scripts-info.js +3 -0
  70. package/cli/flowr-main-options.d.ts +3 -0
  71. package/cli/flowr-main-options.js +3 -0
  72. package/cli/flowr.js +8 -4
  73. package/cli/repl/commands/repl-cfg.js +4 -4
  74. package/cli/repl/commands/repl-commands.d.ts +13 -0
  75. package/cli/repl/commands/repl-commands.js +15 -4
  76. package/cli/repl/commands/repl-dataflow.js +4 -4
  77. package/cli/repl/commands/repl-execute.d.ts +5 -1
  78. package/cli/repl/commands/repl-execute.js +12 -8
  79. package/cli/repl/commands/repl-main.d.ts +17 -14
  80. package/cli/repl/commands/repl-normalize.js +2 -2
  81. package/cli/repl/commands/repl-parse.js +4 -3
  82. package/cli/repl/commands/repl-query.js +18 -7
  83. package/cli/repl/commands/repl-quit.js +1 -1
  84. package/cli/repl/commands/repl-version.d.ts +1 -16
  85. package/cli/repl/commands/repl-version.js +2 -19
  86. package/cli/repl/core.d.ts +32 -14
  87. package/cli/repl/core.js +38 -35
  88. package/cli/repl/execute.d.ts +0 -2
  89. package/cli/repl/execute.js +0 -2
  90. package/cli/repl/parser/slice-query-parser.d.ts +14 -0
  91. package/cli/repl/parser/slice-query-parser.js +34 -0
  92. package/cli/repl/print-version.d.ts +6 -0
  93. package/cli/repl/print-version.js +8 -2
  94. package/cli/repl/server/compact.d.ts +8 -0
  95. package/cli/repl/server/compact.js +8 -0
  96. package/cli/repl/server/connection.d.ts +4 -3
  97. package/cli/repl/server/connection.js +9 -33
  98. package/cli/repl/server/messages/all-messages.d.ts +1 -3
  99. package/cli/repl/server/messages/all-messages.js +0 -1
  100. package/cli/repl/server/messages/message-analysis.d.ts +0 -2
  101. package/cli/repl/server/messages/message-hello.d.ts +1 -1
  102. package/cli/repl/server/messages/message-query.d.ts +1 -1
  103. package/cli/repl/server/messages/message-repl.d.ts +0 -1
  104. package/cli/repl/server/send.d.ts +6 -0
  105. package/cli/repl/server/send.js +6 -0
  106. package/cli/repl/server/server.d.ts +1 -1
  107. package/cli/repl/server/server.js +2 -2
  108. package/cli/repl/server/validate.d.ts +10 -1
  109. package/cli/repl/server/validate.js +9 -0
  110. package/cli/run-script.d.ts +1 -2
  111. package/cli/run-script.js +0 -1
  112. package/cli/script-core/statistics-core.d.ts +3 -0
  113. package/cli/script-core/statistics-core.js +3 -0
  114. package/cli/script-core/statistics-helper-core.d.ts +4 -1
  115. package/cli/script-core/statistics-helper-core.js +3 -0
  116. package/cli/script-core/summarizer-core.d.ts +3 -0
  117. package/cli/script-core/summarizer-core.js +3 -0
  118. package/cli/summarizer-app.d.ts +2 -3
  119. package/cli/summarizer-app.js +2 -3
  120. package/config.d.ts +17 -3
  121. package/config.js +15 -0
  122. package/control-flow/basic-cfg-guided-visitor.d.ts +1 -2
  123. package/control-flow/basic-cfg-guided-visitor.js +0 -1
  124. package/control-flow/cfg-to-basic-blocks.d.ts +1 -1
  125. package/control-flow/control-flow-graph.d.ts +20 -12
  126. package/control-flow/control-flow-graph.js +16 -4
  127. package/control-flow/dfg-cfg-guided-visitor.d.ts +2 -3
  128. package/control-flow/diff-cfg.d.ts +3 -5
  129. package/control-flow/diff-cfg.js +0 -1
  130. package/control-flow/extract-cfg.d.ts +3 -6
  131. package/control-flow/extract-cfg.js +0 -3
  132. package/control-flow/happens-before.d.ts +1 -1
  133. package/control-flow/semantic-cfg-guided-visitor.d.ts +2 -31
  134. package/control-flow/semantic-cfg-guided-visitor.js +0 -28
  135. package/control-flow/simple-visitor.d.ts +1 -3
  136. package/control-flow/simple-visitor.js +0 -2
  137. package/control-flow/syntax-cfg-guided-visitor.d.ts +1 -2
  138. package/control-flow/useless-loop.d.ts +0 -3
  139. package/control-flow/useless-loop.js +2 -5
  140. package/core/pipeline-executor.d.ts +8 -16
  141. package/core/pipeline-executor.js +9 -18
  142. package/core/print/dataflow-printer.d.ts +19 -0
  143. package/core/print/dataflow-printer.js +19 -0
  144. package/core/print/normalize-printer.d.ts +21 -1
  145. package/core/print/normalize-printer.js +20 -0
  146. package/core/print/parse-printer.d.ts +6 -1
  147. package/core/print/parse-printer.js +5 -0
  148. package/core/print/print.d.ts +0 -1
  149. package/core/print/print.js +0 -1
  150. package/core/print/slice-diff-ansi.d.ts +3 -0
  151. package/core/print/slice-diff-ansi.js +3 -0
  152. package/core/steps/all/core/00-parse.d.ts +1 -1
  153. package/core/steps/all/core/01-parse-tree-sitter.d.ts +1 -11
  154. package/core/steps/all/core/10-normalize.d.ts +3 -0
  155. package/core/steps/all/core/10-normalize.js +3 -0
  156. package/core/steps/all/core/11-normalize-tree-sitter.d.ts +4 -3
  157. package/core/steps/all/core/20-dataflow.d.ts +3 -1
  158. package/core/steps/pipeline/create-pipeline.d.ts +1 -1
  159. package/core/steps/pipeline/default-pipelines.d.ts +29 -13
  160. package/core/steps/pipeline/default-pipelines.js +0 -4
  161. package/core/steps/pipeline/pipeline.d.ts +1 -8
  162. package/core/steps/pipeline/pipeline.js +1 -3
  163. package/core/steps/pipeline-step.d.ts +0 -1
  164. package/core/steps/pipeline-step.js +0 -1
  165. package/dataflow/cluster.d.ts +3 -0
  166. package/dataflow/cluster.js +3 -0
  167. package/dataflow/environments/append.d.ts +1 -1
  168. package/dataflow/environments/built-in-config.d.ts +1 -5
  169. package/dataflow/environments/built-in-config.js +0 -1
  170. package/dataflow/environments/built-in.d.ts +10 -5
  171. package/dataflow/environments/built-in.js +6 -1
  172. package/dataflow/environments/clone.d.ts +1 -1
  173. package/dataflow/environments/default-builtin-config.d.ts +3 -0
  174. package/dataflow/environments/default-builtin-config.js +12 -1
  175. package/dataflow/environments/diff.d.ts +11 -2
  176. package/dataflow/environments/diff.js +9 -0
  177. package/dataflow/environments/environment.d.ts +3 -3
  178. package/dataflow/environments/environment.js +8 -6
  179. package/dataflow/environments/identifier.d.ts +0 -4
  180. package/dataflow/environments/identifier.js +0 -1
  181. package/dataflow/environments/overwrite.d.ts +4 -1
  182. package/dataflow/environments/overwrite.js +3 -0
  183. package/dataflow/environments/resolve-by-name.d.ts +4 -4
  184. package/dataflow/environments/resolve-by-name.js +3 -2
  185. package/dataflow/environments/scoping.d.ts +4 -1
  186. package/dataflow/environments/scoping.js +3 -0
  187. package/dataflow/eval/resolve/alias-tracking.d.ts +4 -10
  188. package/dataflow/eval/resolve/alias-tracking.js +13 -14
  189. package/dataflow/eval/resolve/resolve-argument.d.ts +1 -1
  190. package/dataflow/eval/resolve/resolve.d.ts +1 -7
  191. package/dataflow/eval/resolve/resolve.js +3 -5
  192. package/dataflow/eval/values/general.d.ts +1 -3
  193. package/dataflow/eval/values/general.js +0 -1
  194. package/dataflow/eval/values/intervals/interval-constants.d.ts +7 -1
  195. package/dataflow/eval/values/intervals/interval-constants.js +6 -0
  196. package/dataflow/eval/values/logical/logical-constants.d.ts +4 -1
  197. package/dataflow/eval/values/logical/logical-constants.js +3 -0
  198. package/dataflow/eval/values/r-value.d.ts +16 -1
  199. package/dataflow/eval/values/r-value.js +14 -0
  200. package/dataflow/eval/values/scalar/scalar-consatnts.d.ts +7 -1
  201. package/dataflow/eval/values/scalar/scalar-consatnts.js +6 -0
  202. package/dataflow/eval/values/sets/set-constants.d.ts +7 -2
  203. package/dataflow/eval/values/sets/set-constants.js +6 -0
  204. package/dataflow/eval/values/string/string-constants.d.ts +10 -1
  205. package/dataflow/eval/values/string/string-constants.js +9 -0
  206. package/dataflow/eval/values/vectors/vector-constants.d.ts +1 -1
  207. package/dataflow/extractor.d.ts +5 -2
  208. package/dataflow/extractor.js +7 -5
  209. package/dataflow/fn/higher-order-function.d.ts +9 -0
  210. package/dataflow/fn/higher-order-function.js +75 -0
  211. package/dataflow/graph/dataflowgraph-builder.d.ts +20 -38
  212. package/dataflow/graph/dataflowgraph-builder.js +6 -23
  213. package/dataflow/graph/diff-dataflow-graph.d.ts +16 -6
  214. package/dataflow/graph/diff-dataflow-graph.js +12 -1
  215. package/dataflow/graph/edge.d.ts +9 -0
  216. package/dataflow/graph/edge.js +9 -0
  217. package/dataflow/graph/graph.d.ts +6 -19
  218. package/dataflow/graph/graph.js +4 -15
  219. package/dataflow/graph/invert-dfg.d.ts +3 -0
  220. package/dataflow/graph/invert-dfg.js +3 -0
  221. package/dataflow/graph/quads.d.ts +1 -1
  222. package/dataflow/graph/unknown-replacement.d.ts +6 -0
  223. package/dataflow/graph/unknown-replacement.js +6 -0
  224. package/dataflow/graph/unknown-side-effect.d.ts +8 -0
  225. package/dataflow/graph/unknown-side-effect.js +8 -0
  226. package/dataflow/graph/vertex.d.ts +9 -9
  227. package/dataflow/graph/vertex.js +9 -1
  228. package/dataflow/info.d.ts +9 -10
  229. package/dataflow/info.js +6 -1
  230. package/dataflow/internal/linker.d.ts +25 -9
  231. package/dataflow/internal/linker.js +23 -7
  232. package/dataflow/internal/process/functions/call/argument/make-argument.d.ts +6 -0
  233. package/dataflow/internal/process/functions/call/argument/make-argument.js +6 -0
  234. package/dataflow/internal/process/functions/call/argument/unpack-argument.d.ts +1 -1
  235. package/dataflow/internal/process/functions/call/built-in/built-in-access.d.ts +4 -1
  236. package/dataflow/internal/process/functions/call/built-in/built-in-access.js +3 -1
  237. package/dataflow/internal/process/functions/call/built-in/built-in-apply.d.ts +4 -1
  238. package/dataflow/internal/process/functions/call/built-in/built-in-apply.js +3 -0
  239. package/dataflow/internal/process/functions/call/built-in/built-in-assignment.d.ts +2 -2
  240. package/dataflow/internal/process/functions/call/built-in/built-in-eval.d.ts +6 -3
  241. package/dataflow/internal/process/functions/call/built-in/built-in-eval.js +3 -0
  242. package/dataflow/internal/process/functions/call/built-in/built-in-expression-list.d.ts +4 -1
  243. package/dataflow/internal/process/functions/call/built-in/built-in-expression-list.js +3 -0
  244. package/dataflow/internal/process/functions/call/built-in/built-in-for-loop.d.ts +5 -2
  245. package/dataflow/internal/process/functions/call/built-in/built-in-for-loop.js +3 -0
  246. package/dataflow/internal/process/functions/call/built-in/built-in-function-definition.d.ts +10 -4
  247. package/dataflow/internal/process/functions/call/built-in/built-in-function-definition.js +6 -0
  248. package/dataflow/internal/process/functions/call/built-in/built-in-get.d.ts +3 -0
  249. package/dataflow/internal/process/functions/call/built-in/built-in-get.js +3 -0
  250. package/dataflow/internal/process/functions/call/built-in/built-in-if-then-else.d.ts +5 -2
  251. package/dataflow/internal/process/functions/call/built-in/built-in-if-then-else.js +4 -0
  252. package/dataflow/internal/process/functions/call/built-in/built-in-library.d.ts +3 -0
  253. package/dataflow/internal/process/functions/call/built-in/built-in-library.js +3 -0
  254. package/dataflow/internal/process/functions/call/built-in/built-in-list.d.ts +1 -1
  255. package/dataflow/internal/process/functions/call/built-in/built-in-pipe.d.ts +3 -0
  256. package/dataflow/internal/process/functions/call/built-in/built-in-pipe.js +3 -0
  257. package/dataflow/internal/process/functions/call/built-in/built-in-quote.d.ts +3 -0
  258. package/dataflow/internal/process/functions/call/built-in/built-in-quote.js +3 -0
  259. package/dataflow/internal/process/functions/call/built-in/built-in-repeat-loop.d.ts +5 -2
  260. package/dataflow/internal/process/functions/call/built-in/built-in-repeat-loop.js +3 -0
  261. package/dataflow/internal/process/functions/call/built-in/built-in-replacement.d.ts +6 -3
  262. package/dataflow/internal/process/functions/call/built-in/built-in-replacement.js +3 -1
  263. package/dataflow/internal/process/functions/call/built-in/built-in-rm.d.ts +4 -1
  264. package/dataflow/internal/process/functions/call/built-in/built-in-rm.js +3 -0
  265. package/dataflow/internal/process/functions/call/built-in/built-in-source.d.ts +23 -6
  266. package/dataflow/internal/process/functions/call/built-in/built-in-source.js +20 -1
  267. package/dataflow/internal/process/functions/call/built-in/built-in-special-bin-op.d.ts +3 -0
  268. package/dataflow/internal/process/functions/call/built-in/built-in-special-bin-op.js +3 -0
  269. package/dataflow/internal/process/functions/call/built-in/built-in-vector.d.ts +1 -1
  270. package/dataflow/internal/process/functions/call/built-in/built-in-while-loop.d.ts +5 -2
  271. package/dataflow/internal/process/functions/call/built-in/built-in-while-loop.js +3 -0
  272. package/dataflow/internal/process/functions/call/common.d.ts +11 -5
  273. package/dataflow/internal/process/functions/call/common.js +6 -0
  274. package/dataflow/internal/process/functions/call/default-call-handling.d.ts +3 -0
  275. package/dataflow/internal/process/functions/call/default-call-handling.js +3 -0
  276. package/dataflow/internal/process/functions/call/known-call-handling.d.ts +12 -5
  277. package/dataflow/internal/process/functions/call/known-call-handling.js +7 -0
  278. package/dataflow/internal/process/functions/call/named-call-handling.d.ts +7 -1
  279. package/dataflow/internal/process/functions/call/named-call-handling.js +6 -0
  280. package/dataflow/internal/process/functions/call/unnamed-call-handling.d.ts +4 -1
  281. package/dataflow/internal/process/functions/call/unnamed-call-handling.js +3 -0
  282. package/dataflow/internal/process/functions/process-argument.d.ts +8 -2
  283. package/dataflow/internal/process/functions/process-argument.js +6 -0
  284. package/dataflow/internal/process/functions/process-parameter.d.ts +5 -2
  285. package/dataflow/internal/process/functions/process-parameter.js +3 -0
  286. package/dataflow/internal/process/process-symbol.d.ts +3 -0
  287. package/dataflow/internal/process/process-symbol.js +3 -0
  288. package/dataflow/internal/process/process-uninteresting-leaf.d.ts +3 -0
  289. package/dataflow/internal/process/process-uninteresting-leaf.js +3 -0
  290. package/dataflow/internal/process/process-value.d.ts +3 -0
  291. package/dataflow/internal/process/process-value.js +3 -0
  292. package/dataflow/origin/dfg-get-origin.d.ts +0 -2
  293. package/dataflow/origin/dfg-get-symbol-refs.d.ts +5 -7
  294. package/dataflow/origin/dfg-get-symbol-refs.js +6 -8
  295. package/dataflow/processor.d.ts +0 -1
  296. package/dataflow/processor.js +0 -1
  297. package/documentation/data/dfg/doc-data-dfg-util.d.ts +6 -0
  298. package/documentation/data/dfg/doc-data-dfg-util.js +6 -0
  299. package/documentation/data/faq/faqs.d.ts +5 -0
  300. package/documentation/data/faq/faqs.js +78 -0
  301. package/documentation/data/faq/wiki-faq-store.d.ts +18 -0
  302. package/documentation/data/faq/wiki-faq-store.js +75 -0
  303. package/documentation/data/server/doc-data-server-messages.d.ts +3 -0
  304. package/documentation/data/server/doc-data-server-messages.js +4 -63
  305. package/documentation/doc-util/doc-auto-gen.d.ts +6 -0
  306. package/documentation/doc-util/doc-auto-gen.js +6 -0
  307. package/documentation/doc-util/doc-benchmarks.d.ts +12 -0
  308. package/documentation/doc-util/doc-benchmarks.js +12 -0
  309. package/documentation/doc-util/doc-cfg.d.ts +7 -1
  310. package/documentation/doc-util/doc-cfg.js +9 -0
  311. package/documentation/doc-util/doc-cli-option.d.ts +9 -0
  312. package/documentation/doc-util/doc-cli-option.js +9 -0
  313. package/documentation/doc-util/doc-code.d.ts +24 -0
  314. package/documentation/doc-util/doc-code.js +24 -0
  315. package/documentation/doc-util/doc-dfg.d.ts +7 -1
  316. package/documentation/doc-util/doc-dfg.js +9 -0
  317. package/documentation/doc-util/doc-env.d.ts +3 -0
  318. package/documentation/doc-util/doc-env.js +3 -0
  319. package/documentation/doc-util/doc-escape.d.ts +0 -1
  320. package/documentation/doc-util/doc-escape.js +0 -1
  321. package/documentation/doc-util/doc-files.d.ts +11 -0
  322. package/documentation/doc-util/doc-files.js +15 -4
  323. package/documentation/doc-util/doc-general.d.ts +6 -0
  324. package/documentation/doc-util/doc-general.js +6 -0
  325. package/documentation/doc-util/doc-normalized-ast.d.ts +7 -1
  326. package/documentation/doc-util/doc-normalized-ast.js +6 -0
  327. package/documentation/doc-util/doc-query.d.ts +15 -0
  328. package/documentation/doc-util/doc-query.js +17 -2
  329. package/documentation/doc-util/doc-repl.d.ts +6 -0
  330. package/documentation/doc-util/doc-repl.js +11 -2
  331. package/documentation/doc-util/doc-search.d.ts +15 -0
  332. package/documentation/doc-util/doc-search.js +17 -2
  333. package/documentation/doc-util/doc-server-message.d.ts +13 -1
  334. package/documentation/doc-util/doc-server-message.js +13 -1
  335. package/documentation/doc-util/doc-structure.d.ts +9 -0
  336. package/documentation/doc-util/doc-structure.js +10 -1
  337. package/documentation/doc-util/doc-types.d.ts +42 -0
  338. package/documentation/doc-util/doc-types.js +42 -0
  339. package/documentation/print-analyzer-wiki.js +4 -0
  340. package/documentation/print-core-wiki.d.ts +3 -0
  341. package/documentation/print-core-wiki.js +5 -2
  342. package/documentation/print-dataflow-graph-wiki.js +7 -7
  343. package/documentation/print-faq-wiki.js +3 -75
  344. package/documentation/print-interface-wiki.js +1 -1
  345. package/documentation/print-onboarding-wiki.js +1 -1
  346. package/documentation/print-query-wiki.js +24 -34
  347. package/documentation/print-readme.js +106 -1
  348. package/engines.d.ts +1 -1
  349. package/linter/linter-executor.d.ts +6 -3
  350. package/linter/linter-executor.js +3 -0
  351. package/linter/linter-format.d.ts +8 -0
  352. package/linter/linter-format.js +8 -0
  353. package/linter/rules/absolute-path.d.ts +3 -4
  354. package/linter/rules/dataframe-access-validation.d.ts +3 -4
  355. package/linter/rules/dataframe-access-validation.js +9 -11
  356. package/linter/rules/dead-code.d.ts +1 -1
  357. package/linter/rules/deprecated-functions.d.ts +1 -1
  358. package/linter/rules/file-path-validity.d.ts +1 -2
  359. package/linter/rules/function-finder-util.d.ts +1 -2
  360. package/linter/rules/naming-convention.d.ts +13 -2
  361. package/linter/rules/naming-convention.js +13 -1
  362. package/linter/rules/network-functions.d.ts +1 -1
  363. package/linter/rules/seeded-randomness.d.ts +1 -2
  364. package/linter/rules/unused-definition.d.ts +2 -3
  365. package/linter/rules/useless-loop.d.ts +1 -2
  366. package/package.json +2 -2
  367. package/project/cache/flowr-analyzer-cache.d.ts +8 -14
  368. package/project/cache/flowr-analyzer-cache.js +21 -19
  369. package/project/cfg-kind.d.ts +17 -0
  370. package/project/cfg-kind.js +22 -0
  371. package/project/context/abstract-flowr-analyzer-context.d.ts +4 -0
  372. package/project/context/flowr-analyzer-context.d.ts +9 -6
  373. package/project/context/flowr-analyzer-context.js +11 -0
  374. package/project/context/flowr-analyzer-dependencies-context.d.ts +1 -1
  375. package/project/context/flowr-analyzer-dependencies-context.js +4 -0
  376. package/project/context/flowr-analyzer-files-context.d.ts +3 -4
  377. package/project/context/flowr-analyzer-files-context.js +4 -0
  378. package/project/context/flowr-analyzer-loading-order-context.d.ts +1 -0
  379. package/project/context/flowr-analyzer-loading-order-context.js +6 -0
  380. package/project/context/flowr-file.d.ts +0 -1
  381. package/project/flowr-analyzer-builder.d.ts +1 -3
  382. package/project/flowr-analyzer-builder.js +5 -6
  383. package/project/flowr-analyzer.d.ts +42 -32
  384. package/project/flowr-analyzer.js +14 -8
  385. package/project/plugins/file-plugins/flowr-analyzer-description-file-plugin.d.ts +1 -1
  386. package/project/plugins/file-plugins/flowr-description-file.d.ts +1 -3
  387. package/project/plugins/file-plugins/flowr-description-file.js +0 -1
  388. package/project/plugins/project-discovery/flowr-analyzer-project-discovery-plugin.d.ts +1 -1
  389. package/queries/base-query-format.d.ts +2 -2
  390. package/queries/catalog/call-context-query/call-context-query-executor.d.ts +3 -0
  391. package/queries/catalog/call-context-query/call-context-query-executor.js +5 -1
  392. package/queries/catalog/call-context-query/call-context-query-format.d.ts +3 -3
  393. package/queries/catalog/call-context-query/identify-link-to-last-call-relation.d.ts +11 -2
  394. package/queries/catalog/call-context-query/identify-link-to-last-call-relation.js +9 -0
  395. package/queries/catalog/cluster-query/cluster-query-executor.d.ts +3 -0
  396. package/queries/catalog/cluster-query/cluster-query-executor.js +3 -0
  397. package/queries/catalog/cluster-query/cluster-query-format.d.ts +1 -1
  398. package/queries/catalog/config-query/config-query-executor.d.ts +3 -0
  399. package/queries/catalog/config-query/config-query-executor.js +3 -0
  400. package/queries/catalog/config-query/config-query-format.d.ts +6 -3
  401. package/queries/catalog/config-query/config-query-format.js +13 -16
  402. package/queries/catalog/control-flow-query/control-flow-query-executor.d.ts +3 -0
  403. package/queries/catalog/control-flow-query/control-flow-query-executor.js +5 -1
  404. package/queries/catalog/control-flow-query/control-flow-query-format.d.ts +3 -3
  405. package/queries/catalog/dataflow-lens-query/dataflow-lens-query-executor.d.ts +3 -0
  406. package/queries/catalog/dataflow-lens-query/dataflow-lens-query-executor.js +3 -0
  407. package/queries/catalog/dataflow-lens-query/dataflow-lens-query-format.d.ts +1 -1
  408. package/queries/catalog/dataflow-query/dataflow-query-executor.d.ts +3 -0
  409. package/queries/catalog/dataflow-query/dataflow-query-executor.js +3 -0
  410. package/queries/catalog/dataflow-query/dataflow-query-format.d.ts +1 -1
  411. package/queries/catalog/dependencies-query/dependencies-query-executor.d.ts +4 -1
  412. package/queries/catalog/dependencies-query/dependencies-query-executor.js +7 -4
  413. package/queries/catalog/dependencies-query/dependencies-query-format.d.ts +4 -1
  414. package/queries/catalog/dependencies-query/dependencies-query-format.js +4 -1
  415. package/queries/catalog/df-shape-query/df-shape-query-executor.d.ts +4 -1
  416. package/queries/catalog/df-shape-query/df-shape-query-executor.js +8 -4
  417. package/queries/catalog/df-shape-query/df-shape-query-format.d.ts +10 -3
  418. package/queries/catalog/df-shape-query/df-shape-query-format.js +24 -5
  419. package/queries/catalog/happens-before-query/happens-before-query-executor.d.ts +3 -0
  420. package/queries/catalog/happens-before-query/happens-before-query-executor.js +3 -0
  421. package/queries/catalog/happens-before-query/happens-before-query-format.d.ts +1 -1
  422. package/queries/catalog/id-map-query/id-map-query-executor.d.ts +3 -0
  423. package/queries/catalog/id-map-query/id-map-query-executor.js +3 -0
  424. package/queries/catalog/id-map-query/id-map-query-format.d.ts +1 -1
  425. package/queries/catalog/inspect-higher-order-query/inspect-higher-order-query-executor.d.ts +6 -0
  426. package/queries/catalog/inspect-higher-order-query/inspect-higher-order-query-executor.js +48 -0
  427. package/queries/catalog/inspect-higher-order-query/inspect-higher-order-query-format.d.ts +22 -0
  428. package/queries/catalog/inspect-higher-order-query/inspect-higher-order-query-format.js +32 -0
  429. package/queries/catalog/linter-query/linter-query-executor.d.ts +4 -0
  430. package/queries/catalog/linter-query/linter-query-executor.js +4 -0
  431. package/queries/catalog/linter-query/linter-query-format.d.ts +12 -3
  432. package/queries/catalog/linter-query/linter-query-format.js +67 -0
  433. package/queries/catalog/location-map-query/location-map-query-executor.d.ts +4 -0
  434. package/queries/catalog/location-map-query/location-map-query-executor.js +5 -1
  435. package/queries/catalog/location-map-query/location-map-query-format.d.ts +7 -1
  436. package/queries/catalog/location-map-query/location-map-query-format.js +12 -0
  437. package/queries/catalog/normalized-ast-query/normalized-ast-query-executor.d.ts +3 -0
  438. package/queries/catalog/normalized-ast-query/normalized-ast-query-executor.js +3 -0
  439. package/queries/catalog/normalized-ast-query/normalized-ast-query-format.d.ts +1 -1
  440. package/queries/catalog/origin-query/origin-query-executor.d.ts +7 -1
  441. package/queries/catalog/origin-query/origin-query-executor.js +6 -0
  442. package/queries/catalog/origin-query/origin-query-format.d.ts +7 -1
  443. package/queries/catalog/origin-query/origin-query-format.js +17 -1
  444. package/queries/catalog/project-query/project-query-executor.d.ts +3 -0
  445. package/queries/catalog/project-query/project-query-executor.js +3 -0
  446. package/queries/catalog/project-query/project-query-format.d.ts +1 -1
  447. package/queries/catalog/resolve-value-query/resolve-value-query-executor.d.ts +6 -0
  448. package/queries/catalog/resolve-value-query/resolve-value-query-executor.js +6 -0
  449. package/queries/catalog/resolve-value-query/resolve-value-query-format.d.ts +7 -1
  450. package/queries/catalog/resolve-value-query/resolve-value-query-format.js +19 -1
  451. package/queries/catalog/search-query/search-query-executor.d.ts +3 -0
  452. package/queries/catalog/search-query/search-query-executor.js +3 -0
  453. package/queries/catalog/search-query/search-query-format.d.ts +1 -1
  454. package/queries/catalog/static-slice-query/static-slice-query-executor.d.ts +9 -0
  455. package/queries/catalog/static-slice-query/static-slice-query-executor.js +9 -0
  456. package/queries/catalog/static-slice-query/static-slice-query-format.d.ts +7 -1
  457. package/queries/catalog/static-slice-query/static-slice-query-format.js +17 -0
  458. package/queries/query-print.d.ts +20 -4
  459. package/queries/query-print.js +18 -2
  460. package/queries/query.d.ts +91 -53
  461. package/queries/query.js +37 -23
  462. package/queries/virtual-query/virtual-queries.d.ts +1 -2
  463. package/r-bridge/data/get.d.ts +6 -0
  464. package/r-bridge/data/get.js +6 -0
  465. package/r-bridge/lang-4.x/ast/model/collect.d.ts +0 -1
  466. package/r-bridge/lang-4.x/ast/model/collect.js +0 -1
  467. package/r-bridge/lang-4.x/ast/model/model.d.ts +8 -11
  468. package/r-bridge/lang-4.x/ast/model/nodes/r-function-call.d.ts +0 -2
  469. package/r-bridge/lang-4.x/ast/model/nodes/r-number.d.ts +3 -0
  470. package/r-bridge/lang-4.x/ast/model/nodes/r-number.js +3 -0
  471. package/r-bridge/lang-4.x/ast/model/nodes/r-string.d.ts +3 -0
  472. package/r-bridge/lang-4.x/ast/model/nodes/r-string.js +3 -0
  473. package/r-bridge/lang-4.x/ast/model/nodes/r-symbol.d.ts +3 -0
  474. package/r-bridge/lang-4.x/ast/model/nodes/r-symbol.js +3 -0
  475. package/r-bridge/lang-4.x/ast/model/operators.d.ts +0 -1
  476. package/r-bridge/lang-4.x/ast/model/processing/decorate.d.ts +6 -7
  477. package/r-bridge/lang-4.x/ast/model/processing/decorate.js +6 -6
  478. package/r-bridge/lang-4.x/ast/model/processing/fold.d.ts +1 -1
  479. package/r-bridge/lang-4.x/ast/model/processing/node-id.d.ts +0 -1
  480. package/r-bridge/lang-4.x/ast/model/processing/node-id.js +0 -1
  481. package/r-bridge/lang-4.x/ast/model/processing/role.d.ts +0 -1
  482. package/r-bridge/lang-4.x/ast/model/processing/stateful-fold.d.ts +1 -2
  483. package/r-bridge/lang-4.x/ast/model/processing/visitor.d.ts +0 -1
  484. package/r-bridge/lang-4.x/ast/model/processing/visitor.js +0 -1
  485. package/r-bridge/lang-4.x/ast/model/type.d.ts +4 -5
  486. package/r-bridge/lang-4.x/ast/model/type.js +4 -5
  487. package/r-bridge/lang-4.x/ast/model/versions.d.ts +0 -1
  488. package/r-bridge/lang-4.x/ast/model/versions.js +0 -1
  489. package/r-bridge/lang-4.x/ast/parser/json/parser.d.ts +4 -5
  490. package/r-bridge/lang-4.x/ast/parser/json/parser.js +0 -1
  491. package/r-bridge/lang-4.x/ast/parser/main/internal/control/normalize-if-then.d.ts +1 -1
  492. package/r-bridge/lang-4.x/ast/parser/main/internal/expression/normalize-expression.d.ts +0 -1
  493. package/r-bridge/lang-4.x/ast/parser/main/internal/expression/normalize-expression.js +0 -1
  494. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-argument.d.ts +0 -2
  495. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-argument.js +0 -2
  496. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-call.d.ts +1 -3
  497. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-call.js +0 -2
  498. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-definition.d.ts +0 -2
  499. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-definition.js +0 -2
  500. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-parameter.d.ts +0 -2
  501. package/r-bridge/lang-4.x/ast/parser/main/internal/functions/normalize-parameter.js +0 -2
  502. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-break.d.ts +3 -0
  503. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-break.js +3 -0
  504. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-for.d.ts +4 -1
  505. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-for.js +3 -0
  506. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-next.d.ts +3 -0
  507. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-next.js +3 -0
  508. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-repeat.d.ts +0 -2
  509. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-repeat.js +0 -2
  510. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-while.d.ts +4 -1
  511. package/r-bridge/lang-4.x/ast/parser/main/internal/loops/normalize-while.js +3 -0
  512. package/r-bridge/lang-4.x/ast/parser/main/internal/normalize-access.d.ts +0 -2
  513. package/r-bridge/lang-4.x/ast/parser/main/internal/normalize-access.js +0 -2
  514. package/r-bridge/lang-4.x/ast/parser/main/internal/operators/normalize-binary.d.ts +1 -1
  515. package/r-bridge/lang-4.x/ast/parser/main/internal/operators/normalize-unary.d.ts +0 -2
  516. package/r-bridge/lang-4.x/ast/parser/main/internal/operators/normalize-unary.js +0 -2
  517. package/r-bridge/lang-4.x/ast/parser/main/internal/other/normalize-comment.d.ts +0 -1
  518. package/r-bridge/lang-4.x/ast/parser/main/internal/other/normalize-comment.js +0 -1
  519. package/r-bridge/lang-4.x/ast/parser/main/internal/other/normalize-line-directive.d.ts +0 -1
  520. package/r-bridge/lang-4.x/ast/parser/main/internal/other/normalize-line-directive.js +0 -1
  521. package/r-bridge/lang-4.x/ast/parser/main/internal/structure/normalize-delimiter.d.ts +3 -0
  522. package/r-bridge/lang-4.x/ast/parser/main/internal/structure/normalize-delimiter.js +3 -0
  523. package/r-bridge/lang-4.x/ast/parser/main/internal/structure/normalize-expressions.d.ts +9 -0
  524. package/r-bridge/lang-4.x/ast/parser/main/internal/structure/normalize-expressions.js +9 -0
  525. package/r-bridge/lang-4.x/ast/parser/main/internal/structure/normalize-single-node.d.ts +1 -3
  526. package/r-bridge/lang-4.x/ast/parser/main/internal/structure/normalize-single-node.js +0 -2
  527. package/r-bridge/lang-4.x/ast/parser/main/internal/values/normalize-number.d.ts +1 -2
  528. package/r-bridge/lang-4.x/ast/parser/main/internal/values/normalize-number.js +0 -1
  529. package/r-bridge/lang-4.x/ast/parser/main/internal/values/normalize-string.d.ts +0 -1
  530. package/r-bridge/lang-4.x/ast/parser/main/internal/values/normalize-string.js +0 -1
  531. package/r-bridge/lang-4.x/ast/parser/main/internal/values/normalize-symbol.d.ts +0 -2
  532. package/r-bridge/lang-4.x/ast/parser/main/internal/values/normalize-symbol.js +0 -2
  533. package/r-bridge/lang-4.x/ast/parser/main/normalize-meta.d.ts +14 -5
  534. package/r-bridge/lang-4.x/ast/parser/main/normalize-meta.js +13 -6
  535. package/r-bridge/lang-4.x/convert-values.d.ts +12 -1
  536. package/r-bridge/lang-4.x/convert-values.js +12 -1
  537. package/r-bridge/lang-4.x/tree-sitter/tree-sitter-executor.d.ts +7 -2
  538. package/r-bridge/lang-4.x/tree-sitter/tree-sitter-executor.js +17 -0
  539. package/r-bridge/lang-4.x/tree-sitter/tree-sitter-normalize.d.ts +13 -1
  540. package/r-bridge/lang-4.x/tree-sitter/tree-sitter-normalize.js +48 -19
  541. package/r-bridge/parser.d.ts +30 -2
  542. package/r-bridge/retriever.d.ts +16 -1
  543. package/r-bridge/retriever.js +15 -0
  544. package/r-bridge/shell-executor.d.ts +3 -3
  545. package/r-bridge/shell-executor.js +6 -1
  546. package/r-bridge/shell.d.ts +24 -23
  547. package/r-bridge/shell.js +37 -31
  548. package/reconstruct/auto-select/auto-select-defaults.d.ts +0 -1
  549. package/reconstruct/auto-select/magic-comments.d.ts +1 -2
  550. package/reconstruct/auto-select/magic-comments.js +1 -2
  551. package/reconstruct/reconstruct.d.ts +1 -3
  552. package/reconstruct/reconstruct.js +0 -2
  553. package/search/flowr-search-builder.d.ts +12 -5
  554. package/search/flowr-search-builder.js +7 -2
  555. package/search/flowr-search-executor.d.ts +3 -3
  556. package/search/flowr-search-filters.d.ts +14 -1
  557. package/search/flowr-search-filters.js +13 -0
  558. package/search/flowr-search-printer.d.ts +6 -0
  559. package/search/flowr-search-printer.js +6 -0
  560. package/search/flowr-search-traverse.d.ts +1 -1
  561. package/search/flowr-search.d.ts +3 -3
  562. package/search/search-executor/search-enrichers.d.ts +9 -6
  563. package/search/search-executor/search-enrichers.js +5 -1
  564. package/search/search-executor/search-generators.d.ts +19 -10
  565. package/search/search-executor/search-generators.js +49 -2
  566. package/search/search-executor/search-mappers.d.ts +8 -5
  567. package/search/search-executor/search-mappers.js +3 -0
  568. package/search/search-executor/search-transformer.d.ts +19 -16
  569. package/search/search-executor/search-transformer.js +3 -0
  570. package/slicing/criterion/collect-all.d.ts +10 -10
  571. package/slicing/criterion/parse.d.ts +4 -2
  572. package/slicing/criterion/parse.js +4 -2
  573. package/slicing/static/fingerprint.d.ts +9 -1
  574. package/slicing/static/fingerprint.js +8 -0
  575. package/slicing/static/slice-call.d.ts +2 -2
  576. package/slicing/static/static-slicer.d.ts +8 -4
  577. package/slicing/static/static-slicer.js +5 -1
  578. package/slicing/static/visiting-queue.d.ts +1 -1
  579. package/statistics/features/common-syntax-probability.d.ts +10 -1
  580. package/statistics/features/common-syntax-probability.js +9 -0
  581. package/statistics/features/feature.d.ts +0 -4
  582. package/statistics/features/feature.js +0 -1
  583. package/statistics/features/post-processing.d.ts +6 -0
  584. package/statistics/features/post-processing.js +6 -0
  585. package/statistics/features/supported/assignments/post-process.d.ts +3 -0
  586. package/statistics/features/supported/assignments/post-process.js +3 -0
  587. package/statistics/features/supported/comments/post-process.d.ts +3 -0
  588. package/statistics/features/supported/comments/post-process.js +3 -0
  589. package/statistics/features/supported/control-flow/post-process.d.ts +3 -0
  590. package/statistics/features/supported/control-flow/post-process.js +3 -0
  591. package/statistics/features/supported/data-access/data-access.d.ts +1 -1
  592. package/statistics/features/supported/data-access/post-process.d.ts +3 -0
  593. package/statistics/features/supported/data-access/post-process.js +3 -0
  594. package/statistics/features/supported/defined-functions/defined-functions.d.ts +1 -1
  595. package/statistics/features/supported/expression-list/post-process.d.ts +3 -0
  596. package/statistics/features/supported/expression-list/post-process.js +3 -0
  597. package/statistics/features/supported/loops/post-process.d.ts +3 -0
  598. package/statistics/features/supported/loops/post-process.js +3 -0
  599. package/statistics/features/supported/used-functions/used-functions.d.ts +1 -1
  600. package/statistics/features/supported/used-packages/post-process.d.ts +3 -0
  601. package/statistics/features/supported/used-packages/post-process.js +3 -0
  602. package/statistics/features/supported/values/post-process.d.ts +3 -0
  603. package/statistics/features/supported/values/post-process.js +3 -0
  604. package/statistics/features/supported/variables/post-process.d.ts +7 -1
  605. package/statistics/features/supported/variables/post-process.js +6 -0
  606. package/statistics/meta-statistics.d.ts +8 -9
  607. package/statistics/output/file-provider.d.ts +5 -6
  608. package/statistics/output/file-provider.js +5 -6
  609. package/statistics/output/print-stats.d.ts +13 -1
  610. package/statistics/output/print-stats.js +12 -0
  611. package/statistics/output/statistics-file.d.ts +1 -2
  612. package/statistics/output/statistics-file.js +0 -1
  613. package/statistics/statistics.d.ts +3 -4
  614. package/statistics/statistics.js +1 -2
  615. package/statistics/summarizer/auto-detect.d.ts +3 -0
  616. package/statistics/summarizer/auto-detect.js +3 -0
  617. package/statistics/summarizer/post-process/clusterer.d.ts +3 -4
  618. package/statistics/summarizer/post-process/clusterer.js +0 -2
  619. package/statistics/summarizer/post-process/file-based-count.d.ts +0 -1
  620. package/statistics/summarizer/post-process/file-based-count.js +0 -1
  621. package/statistics/summarizer/post-process/histogram.d.ts +0 -2
  622. package/statistics/summarizer/post-process/histogram.js +0 -2
  623. package/statistics/summarizer/post-process/post-process-output.d.ts +2 -4
  624. package/statistics/summarizer/post-process/post-process-output.js +0 -3
  625. package/statistics/summarizer/second-phase/process.d.ts +5 -3
  626. package/statistics/summarizer/second-phase/process.js +3 -1
  627. package/statistics/summarizer/summarizer.d.ts +1 -2
  628. package/util/assert.d.ts +52 -2
  629. package/util/assert.js +52 -2
  630. package/util/collections/arrays.d.ts +10 -5
  631. package/util/collections/arrays.js +10 -5
  632. package/util/collections/defaultmap.d.ts +11 -11
  633. package/util/collections/defaultmap.js +11 -11
  634. package/util/containers.d.ts +2 -7
  635. package/util/containers.js +0 -5
  636. package/util/diff-graph.d.ts +0 -1
  637. package/util/diff-graph.js +0 -1
  638. package/util/diff.d.ts +3 -1
  639. package/util/diff.js +3 -1
  640. package/util/files.d.ts +11 -11
  641. package/util/files.js +10 -10
  642. package/util/formats/adapter.d.ts +9 -0
  643. package/util/formats/adapter.js +9 -0
  644. package/util/formats/adapters/rmd-adapter.d.ts +10 -1
  645. package/util/formats/adapters/rmd-adapter.js +10 -1
  646. package/util/html-hover-over.d.ts +5 -0
  647. package/util/html-hover-over.js +5 -0
  648. package/util/json.d.ts +13 -0
  649. package/util/json.js +13 -0
  650. package/util/log.d.ts +2 -2
  651. package/util/log.js +2 -2
  652. package/util/mermaid/ast.d.ts +3 -0
  653. package/util/mermaid/ast.js +3 -0
  654. package/util/mermaid/cfg.d.ts +1 -1
  655. package/util/mermaid/dfg.d.ts +12 -4
  656. package/util/mermaid/dfg.js +9 -1
  657. package/util/mermaid/mermaid.d.ts +6 -1
  658. package/util/mermaid/mermaid.js +6 -1
  659. package/util/numbers.d.ts +7 -0
  660. package/util/numbers.js +7 -0
  661. package/util/objects.d.ts +0 -2
  662. package/util/os.d.ts +3 -0
  663. package/util/os.js +3 -0
  664. package/util/parallel.d.ts +4 -4
  665. package/util/parallel.js +4 -4
  666. package/util/prefix.d.ts +0 -1
  667. package/util/prefix.js +0 -1
  668. package/util/quads.d.ts +14 -17
  669. package/util/quads.js +3 -5
  670. package/util/r-value.d.ts +11 -2
  671. package/util/r-value.js +23 -0
  672. package/util/random.d.ts +3 -0
  673. package/util/random.js +3 -0
  674. package/util/range.d.ts +9 -3
  675. package/util/range.js +15 -2
  676. package/util/schema.d.ts +14 -1
  677. package/util/schema.js +15 -2
  678. package/util/simple-df/dfg-view.d.ts +4 -1
  679. package/util/simple-df/dfg-view.js +4 -1
  680. package/util/summarizer.d.ts +9 -1
  681. package/util/summarizer.js +9 -0
  682. package/util/text/ansi.d.ts +3 -0
  683. package/util/text/ansi.js +3 -0
  684. package/util/text/args.d.ts +2 -4
  685. package/util/text/args.js +7 -5
  686. package/util/text/text.d.ts +4 -0
  687. package/util/text/text.js +4 -0
  688. package/util/text/time.d.ts +0 -1
  689. package/util/text/time.js +0 -1
  690. package/util/version.d.ts +26 -0
  691. package/util/version.js +37 -1
  692. package/abstract-interpretation/data-frame/domain.d.ts +0 -107
  693. package/abstract-interpretation/data-frame/domain.js +0 -315
  694. package/abstract-interpretation/domains/set-bounded-set-domain.d.ts +0 -43
  695. package/abstract-interpretation/domains/set-bounded-set-domain.js +0 -164
  696. package/cli/repl/commands/repl-lineage.d.ts +0 -15
  697. package/cli/repl/commands/repl-lineage.js +0 -67
  698. package/cli/repl/server/messages/message-lineage.d.ts +0 -17
  699. package/cli/repl/server/messages/message-lineage.js +0 -25
  700. package/queries/catalog/lineage-query/lineage-query-executor.d.ts +0 -3
  701. package/queries/catalog/lineage-query/lineage-query-executor.js +0 -22
  702. package/queries/catalog/lineage-query/lineage-query-format.d.ts +0 -22
  703. package/queries/catalog/lineage-query/lineage-query-format.js +0 -31
@@ -69,7 +69,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
69
69
  *
70
70
  * This function is called for every use of a variable in the program and dispatches the appropriate event.
71
71
  * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onVariableUse|`onVariableUse`} instead.
72
- *
73
72
  * @protected
74
73
  */
75
74
  visitVariableUse(vertex) {
@@ -81,7 +80,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
81
80
  *
82
81
  * This function is called for every variable definition in the program and dispatches the appropriate event.
83
82
  * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onVariableDefinition|`onVariableDefinition`} instead.
84
- *
85
83
  * @protected
86
84
  */
87
85
  visitVariableDefinition(vertex) {
@@ -93,7 +91,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
93
91
  *
94
92
  * This function is called for every function definition in the program and dispatches the appropriate event.
95
93
  * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onFunctionDefinition|`onFunctionDefinition`} instead.
96
- *
97
94
  * @protected
98
95
  */
99
96
  visitFunctionDefinition(vertex) {
@@ -113,7 +110,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
113
110
  * You probably do not have to overwrite it and just use {@link SemanticCfgGuidedVisitor#onUnnamedCall|`onUnnamedCall`} for anonymous calls,
114
111
  * or {@link SemanticCfgGuidedVisitor#onDispatchFunctionCallOrigins|`onDispatchFunctionCallOrigins`} for named calls (or just overwrite
115
112
  * the events you are interested in directly).
116
- *
117
113
  * @protected
118
114
  */
119
115
  visitFunctionCall(vertex) {
@@ -130,7 +126,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
130
126
  * This function is called for every unknown vertex in the program.
131
127
  * It dispatches the appropriate event based on the type of the vertex.
132
128
  * In case you have to overwrite this function please make sure to still call this implementation to get a correctly working {@link SemanticCfgGuidedVisitor#onProgram|`onProgram`}.
133
- *
134
129
  * @protected
135
130
  */
136
131
  visitUnknown(vertex) {
@@ -146,7 +141,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
146
141
  * and aggregating their results (which is just additive by default).
147
142
  * If you want to change the behavior in case of multiple potential function definition targets, simply overwrite this function
148
143
  * with the logic you desire.
149
- *
150
144
  * @protected
151
145
  */
152
146
  onDispatchFunctionCallOrigins(call, origins) {
@@ -158,9 +152,7 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
158
152
  * This function is responsible for dispatching the appropriate event
159
153
  * based on a given dataflow vertex. The default serves as a backend
160
154
  * for the event functions, but you may overwrite and extend this function at will.
161
- *
162
155
  * @see {@link onDispatchFunctionCallOrigins} for the aggregation in case the function call target is ambiguous.
163
- *
164
156
  * @protected
165
157
  */
166
158
  onDispatchFunctionCallOrigin(call, origin) {
@@ -263,7 +255,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
263
255
  }
264
256
  /**
265
257
  * This event is called for the root program node, i.e., the program that is being analyzed.
266
- *
267
258
  * @protected
268
259
  */
269
260
  onProgram(_data) { }
@@ -335,7 +326,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
335
326
  * This is separate from {@link SemanticCfgGuidedVisitor#onDefaultFunctionCall|`onDefaultFunctionCall`} which is used for named function calls that do not trigger any of these events.
336
327
  * The main differentiation for these calls is that you may not infer their semantics from any name alone and probably _have_
337
328
  * to rely on {@link SemanticCfgGuidedVisitor#getOrigins|`getOrigins`} to get more information.
338
- *
339
329
  * @protected
340
330
  */
341
331
  onUnnamedCall(_data) { }
@@ -356,7 +346,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
356
346
  * This explicitly will not trigger for scenarios in which the function has no name (i.e., if it is anonymous).
357
347
  * For such cases, you may rely on the {@link SemanticCfgGuidedVisitor#onUnnamedCall|`onUnnamedCall`} event.
358
348
  * The main reason for this separation is part of flowR's handling of these functions, as anonymous calls cannot be resolved using the active environment.
359
- *
360
349
  * @protected
361
350
  */
362
351
  onDefaultFunctionCall(_data) { }
@@ -366,7 +355,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
366
355
  * For example, `eval` in `eval(parse(text = "x + 1"))`.
367
356
  *
368
357
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
369
- *
370
358
  * @protected
371
359
  */
372
360
  onEvalFunctionCall(_data) { }
@@ -376,7 +364,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
376
364
  * For example, `lapply` in `lapply(1:10, function(x) { x + 1 })`.
377
365
  *
378
366
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
379
- *
380
367
  * @protected
381
368
  */
382
369
  onApplyFunctionCall(_data) { }
@@ -385,7 +372,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
385
372
  *
386
373
  * For example, this triggers for the expression list created by `{` and `}` in `ìf (TRUE) { x <- 1; y <- 2; }`. But also for the implicit
387
374
  * expression list `x <- x + 1` in `for(x in 1:10) x <- x + 1`.
388
- *
389
375
  * @protected
390
376
  */
391
377
  onExpressionList(_data) { }
@@ -397,19 +383,16 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
397
383
  * By default, this does not provide the resolved source file. Yet you can access the {@link DataflowGraph} to ask for sourced files.
398
384
  *
399
385
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
400
- *
401
386
  * @protected
402
387
  */
403
388
  onSourceCall(_data) { }
404
389
  /**
405
390
  * This event triggers for every subsetting call, i.e., for every call to `[[`, `[`, or `$`.
406
- *
407
391
  * @protected
408
392
  */
409
393
  onAccessCall(_data) { }
410
394
  /**
411
395
  * This event triggers for every call to the `if` function, which is used to implement the `if-then-else` control flow.
412
- *
413
396
  * @protected
414
397
  */
415
398
  onIfThenElseCall(_data) { }
@@ -420,7 +403,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
420
403
  *
421
404
  * Please be aware, that with flowR resolving the `get` during the dataflow analysis,
422
405
  * this may very well trigger a {@link SemanticCfgGuidedVisitor#onVariableUse|`onVariableUse`} event as well.
423
- *
424
406
  * @protected
425
407
  */
426
408
  onGetCall(_data) { }
@@ -428,7 +410,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
428
410
  * This event triggers for every call to the `rm` function, which is used to remove variables from the environment.
429
411
  *
430
412
  * For example, `rm` in `rm(x)`.
431
- *
432
413
  * @protected
433
414
  */
434
415
  onRmCall(_data) { }
@@ -438,7 +419,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
438
419
  * For example, `library` in `library(dplyr)`.
439
420
  *
440
421
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
441
- *
442
422
  * @protected
443
423
  */
444
424
  onLibraryCall(_data) { }
@@ -458,13 +438,11 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
458
438
  * For example, this triggers for`%in%` in `x %in% y`.
459
439
  *
460
440
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
461
- *
462
441
  * @protected
463
442
  */
464
443
  onSpecialBinaryOpCall(_data) { }
465
444
  /**
466
445
  * This event triggers for every call to R's pipe operator, i.e., for every call to `|>`.
467
- *
468
446
  * @protected
469
447
  */
470
448
  onPipeCall(_data) { }
@@ -474,7 +452,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
474
452
  * For example, `quote` in `quote(x + 1)`.
475
453
  *
476
454
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
477
- *
478
455
  * @protected
479
456
  */
480
457
  onQuoteCall(_data) { }
@@ -484,7 +461,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
484
461
  * For example, this triggers for `for` in `for(i in 1:10) { print(i) }`.
485
462
  *
486
463
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
487
- *
488
464
  * @protected
489
465
  */
490
466
  onForLoopCall(_data) { }
@@ -494,7 +470,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
494
470
  * For example, this triggers for `while` in `while(i < 10) { i <- i + 1 }`.
495
471
  *
496
472
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
497
- *
498
473
  * @protected
499
474
  */
500
475
  onWhileLoopCall(_data) { }
@@ -504,7 +479,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
504
479
  * For example, this triggers for `repeat` in `repeat { i <- i + 1; if(i >= 10) break }`.
505
480
  *
506
481
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
507
- *
508
482
  * @protected
509
483
  */
510
484
  onRepeatLoopCall(_data) { }
@@ -526,7 +500,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
526
500
  * For example, this triggers for `list` in `list(1, 2, 3)`.
527
501
  *
528
502
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
529
- *
530
503
  * @protected
531
504
  */
532
505
  onListCall(_data) { }
@@ -536,7 +509,6 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
536
509
  * For example, this triggers for `c` in `c(1, 2, 3)`.
537
510
  *
538
511
  * More specifically, this relates to the corresponding {@link BuiltInProcessorMapper} handler.
539
- *
540
512
  * @protected
541
513
  */
542
514
  onVectorCall(_data) { }
@@ -1,4 +1,4 @@
1
- import type { ControlFlowGraph } from './control-flow-graph';
1
+ import { type ControlFlowGraph } from './control-flow-graph';
2
2
  import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
3
3
  export type SimpleCfgVisitor = (graph: ControlFlowGraph, nodes: readonly NodeId[], visitor: (node: NodeId) => boolean | void) => void;
4
4
  /**
@@ -8,7 +8,6 @@ export type SimpleCfgVisitor = (graph: ControlFlowGraph, nodes: readonly NodeId[
8
8
  * @param visitor - The visitor function to call for each node, if you return true the traversal from this node will be stopped.
9
9
  *
10
10
  * This function is of type {@link SimpleCfgVisitor}.
11
- *
12
11
  * @see {@link visitCfgInOrder} for a traversal in order
13
12
  */
14
13
  export declare function visitCfgInReverseOrder(graph: ControlFlowGraph, startNodes: readonly NodeId[], visitor: (node: NodeId) => boolean | void): void;
@@ -19,7 +18,6 @@ export declare function visitCfgInReverseOrder(graph: ControlFlowGraph, startNod
19
18
  * @param visitor - The visitor function to call for each node, if you return true the traversal from this node will be stopped.
20
19
  *
21
20
  * This function is of type {@link SimpleCfgVisitor}.
22
- *
23
21
  * @see {@link visitCfgInReverseOrder} for a traversal in reversed order
24
22
  */
25
23
  export declare function visitCfgInOrder(graph: ControlFlowGraph, startNodes: readonly NodeId[], visitor: (node: NodeId) => boolean | void): void;
@@ -11,7 +11,6 @@ const control_flow_graph_1 = require("./control-flow-graph");
11
11
  * @param visitor - The visitor function to call for each node, if you return true the traversal from this node will be stopped.
12
12
  *
13
13
  * This function is of type {@link SimpleCfgVisitor}.
14
- *
15
14
  * @see {@link visitCfgInOrder} for a traversal in order
16
15
  */
17
16
  function visitCfgInReverseOrder(graph, startNodes,
@@ -48,7 +47,6 @@ visitor) {
48
47
  * @param visitor - The visitor function to call for each node, if you return true the traversal from this node will be stopped.
49
48
  *
50
49
  * This function is of type {@link SimpleCfgVisitor}.
51
- *
52
50
  * @see {@link visitCfgInReverseOrder} for a traversal in reversed order
53
51
  */
54
52
  function visitCfgInOrder(graph, startNodes,
@@ -1,8 +1,7 @@
1
1
  import type { CfgExpressionVertex, CfgStatementVertex, ControlFlowInformation } from './control-flow-graph';
2
2
  import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
3
3
  import type { NormalizedAst, ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
4
- import type { BasicCfgGuidedVisitorConfiguration } from './basic-cfg-guided-visitor';
5
- import { BasicCfgGuidedVisitor } from './basic-cfg-guided-visitor';
4
+ import { type BasicCfgGuidedVisitorConfiguration, BasicCfgGuidedVisitor } from './basic-cfg-guided-visitor';
6
5
  import type { RAccess } from '../r-bridge/lang-4.x/ast/model/nodes/r-access';
7
6
  import type { RArgument } from '../r-bridge/lang-4.x/ast/model/nodes/r-argument';
8
7
  import type { RBinaryOp } from '../r-bridge/lang-4.x/ast/model/nodes/r-binary-op';
@@ -6,9 +6,6 @@ import type { ControlFlowInformation } from './control-flow-graph';
6
6
  export declare const loopyFunctions: Set<"builtin:default" | "builtin:eval" | "builtin:apply" | "builtin:expression-list" | "builtin:source" | "builtin:access" | "builtin:if-then-else" | "builtin:get" | "builtin:rm" | "builtin:library" | "builtin:assignment" | "builtin:special-bin-op" | "builtin:pipe" | "builtin:function-definition" | "builtin:quote" | "builtin:for-loop" | "builtin:repeat-loop" | "builtin:while-loop" | "builtin:replacement" | "builtin:list" | "builtin:vector">;
7
7
  /**
8
8
  * Checks whether a loop only loops once
9
- *
10
- *
11
- *
12
9
  * @param loop - nodeid of the loop to analyse
13
10
  * @param dataflow - dataflow graph
14
11
  * @param controlflow - control flow graph
@@ -13,9 +13,6 @@ const semantic_cfg_guided_visitor_1 = require("./semantic-cfg-guided-visitor");
13
13
  exports.loopyFunctions = new Set(['builtin:for-loop', 'builtin:while-loop', 'builtin:repeat-loop']);
14
14
  /**
15
15
  * Checks whether a loop only loops once
16
- *
17
- *
18
- *
19
16
  * @param loop - nodeid of the loop to analyse
20
17
  * @param dataflow - dataflow graph
21
18
  * @param controlflow - control flow graph
@@ -93,9 +90,9 @@ class CfgSingleIterationLoopDetector extends semantic_cfg_guided_visitor_1.Seman
93
90
  stack.unshift(to);
94
91
  }
95
92
  }
96
- this.onlyLoopyOnce ||= this.encounteredLoopBreaker && (0, info_1.happensInEveryBranch)(this.loopCds);
93
+ this.onlyLoopyOnce ||= this.encounteredLoopBreaker && (0, info_1.happensInEveryBranch)(this.loopCds?.filter(c => !c.byIteration));
97
94
  }
98
- this.onlyLoopyOnce ||= this.encounteredLoopBreaker && (0, info_1.happensInEveryBranch)(this.loopCds);
95
+ this.onlyLoopyOnce ||= this.encounteredLoopBreaker && (0, info_1.happensInEveryBranch)(this.loopCds?.filter(c => !c.byIteration));
99
96
  }
100
97
  app(cds) {
101
98
  if (cds === undefined) {
@@ -1,5 +1,4 @@
1
- import type { PipelineStepName } from './steps/pipeline-step';
2
- import { PipelineStepStage } from './steps/pipeline-step';
1
+ import { type PipelineStepName, PipelineStepStage } from './steps/pipeline-step';
3
2
  import type { Pipeline, PipelineInput, PipelineOutput, PipelinePerRequestInput, PipelineStepOutputWithName } from './steps/pipeline/pipeline';
4
3
  import type { FlowrConfigOptions } from '../config';
5
4
  /**
@@ -22,13 +21,13 @@ import type { FlowrConfigOptions } from '../config';
22
21
  * ```ts
23
22
  * const stepper = new PipelineExecutor( ... )
24
23
  * while(stepper.hasNextStep()) {
25
- * await stepper.nextStep()
24
+ * await stepper.nextStep()
26
25
  * }
27
26
  *
28
27
  * stepper.switchToRequestStage()
29
28
  *
30
29
  * while(stepper.hasNextStep()) {
31
- * await stepper.nextStep()
30
+ * await stepper.nextStep()
32
31
  * }
33
32
  *
34
33
  * const result = stepper.getResults()
@@ -66,10 +65,10 @@ import type { FlowrConfigOptions } from '../config';
66
65
  *
67
66
  * ```ts
68
67
  * const slicer = new PipelineExecutor(DEFAULT_SLICING_PIPELINE, {
69
- * parser: new RShell(),
70
- * // of course, the criterion and request given here are just examples, you can use whatever you want to slice!
71
- * criterion: ['2@b'],
72
- * request: requestFromInput('b <- 3; x <- 5\ncat(b)'),
68
+ * parser: new RShell(),
69
+ * // of course, the criterion and request given here are just examples, you can use whatever you want to slice!
70
+ * criterion: ['2@b'],
71
+ * request: requestFromInput('b <- 3; x <- 5\ncat(b)'),
73
72
  * })
74
73
  * const result = await slicer.allRemainingSteps()
75
74
  * ```
@@ -80,12 +79,10 @@ import type { FlowrConfigOptions } from '../config';
80
79
  * stepper.updateRequest({ criterion: ['1@x'] })
81
80
  * const result2 = await stepper.allRemainingSteps()
82
81
  * ```
83
- *
84
82
  * @note Even though using the pipeline executor introduces a small performance overhead, we consider
85
83
  * it to be the baseline for performance benchmarking. It may very well be possible to squeeze out a little bit more by
86
84
  * directly constructing the steps in the right order. However, we consider this to be negligible when compared with the time required
87
85
  * for, for example, the dataflow analysis of larger files.
88
- *
89
86
  * @see PipelineExecutor#allRemainingSteps
90
87
  * @see PipelineExecutor#nextStep
91
88
  */
@@ -103,7 +100,6 @@ export declare class PipelineExecutor<P extends Pipeline> {
103
100
  *
104
101
  * Please see {@link createDataflowPipeline} and friends for engine agnostic shortcuts to create a pipeline executor.
105
102
  * And in general, please prefer using the {@link FlowrAnalyzer} and its {@link FlowrAnalyzerBuilder|builder} to create and use an analyzer instance.
106
- *
107
103
  * @param pipeline - The {@link Pipeline} to execute, probably created with {@link createPipeline}.
108
104
  * @param input - External {@link PipelineInput|configuration and input} required to execute the given pipeline.
109
105
  * @param flowrConfig - The flowr config containing the built-in definitions
@@ -115,7 +111,6 @@ export declare class PipelineExecutor<P extends Pipeline> {
115
111
  getPipeline(): P;
116
112
  /**
117
113
  * Retrieve the current {@link PipelineStepStage|stage} the pipeline executor is in.
118
- *
119
114
  * @see currentExecutionStage
120
115
  * @see switchToRequestStage
121
116
  * @see PipelineStepStage
@@ -126,7 +121,6 @@ export declare class PipelineExecutor<P extends Pipeline> {
126
121
  *
127
122
  * This will fail if either a step change is currently not valid (as not all steps have been executed),
128
123
  * or if there is no next stage (i.e., the pipeline is already completed or in the last stage).
129
- *
130
124
  * @see PipelineExecutor
131
125
  * @see getCurrentStage
132
126
  */
@@ -144,9 +138,8 @@ export declare class PipelineExecutor<P extends Pipeline> {
144
138
  * Execute the next {@link IPipelineStep|step} and return the name of the {@link IPipelineStep|step} that was executed,
145
139
  * so you can guard if the {@link IPipelineStep|step} differs from what you are interested in.
146
140
  * Furthermore, it returns the {@link IPipelineStep|step's} result.
147
- *
148
141
  * @param expectedStepName - A safeguard if you want to retrieve the result.
149
- * If given, it causes the execution to fail if the next step is not the one you expect.
142
+ * If given, it causes the execution to fail if the next step is not the one you expect.
150
143
  *
151
144
  * _Without `expectedStepName`, please refrain from accessing the result, as you have no safeguards if the pipeline changes._
152
145
  */
@@ -158,7 +151,6 @@ export declare class PipelineExecutor<P extends Pipeline> {
158
151
  /**
159
152
  * This only makes sense if you have already run a request and want to re-use the per-file results for a new one.
160
153
  * (or if for whatever reason, you did not pass information for the pipeline with the constructor).
161
- *
162
154
  * @param newRequestData - Data for the new request
163
155
  */
164
156
  updateRequest(newRequestData: PipelinePerRequestInput<P>): void;
@@ -22,13 +22,13 @@ const assert_1 = require("../util/assert");
22
22
  * ```ts
23
23
  * const stepper = new PipelineExecutor( ... )
24
24
  * while(stepper.hasNextStep()) {
25
- * await stepper.nextStep()
25
+ * await stepper.nextStep()
26
26
  * }
27
27
  *
28
28
  * stepper.switchToRequestStage()
29
29
  *
30
30
  * while(stepper.hasNextStep()) {
31
- * await stepper.nextStep()
31
+ * await stepper.nextStep()
32
32
  * }
33
33
  *
34
34
  * const result = stepper.getResults()
@@ -66,10 +66,10 @@ const assert_1 = require("../util/assert");
66
66
  *
67
67
  * ```ts
68
68
  * const slicer = new PipelineExecutor(DEFAULT_SLICING_PIPELINE, {
69
- * parser: new RShell(),
70
- * // of course, the criterion and request given here are just examples, you can use whatever you want to slice!
71
- * criterion: ['2@b'],
72
- * request: requestFromInput('b <- 3; x <- 5\ncat(b)'),
69
+ * parser: new RShell(),
70
+ * // of course, the criterion and request given here are just examples, you can use whatever you want to slice!
71
+ * criterion: ['2@b'],
72
+ * request: requestFromInput('b <- 3; x <- 5\ncat(b)'),
73
73
  * })
74
74
  * const result = await slicer.allRemainingSteps()
75
75
  * ```
@@ -80,12 +80,10 @@ const assert_1 = require("../util/assert");
80
80
  * stepper.updateRequest({ criterion: ['1@x'] })
81
81
  * const result2 = await stepper.allRemainingSteps()
82
82
  * ```
83
- *
84
83
  * @note Even though using the pipeline executor introduces a small performance overhead, we consider
85
84
  * it to be the baseline for performance benchmarking. It may very well be possible to squeeze out a little bit more by
86
85
  * directly constructing the steps in the right order. However, we consider this to be negligible when compared with the time required
87
86
  * for, for example, the dataflow analysis of larger files.
88
- *
89
87
  * @see PipelineExecutor#allRemainingSteps
90
88
  * @see PipelineExecutor#nextStep
91
89
  */
@@ -103,7 +101,6 @@ class PipelineExecutor {
103
101
  *
104
102
  * Please see {@link createDataflowPipeline} and friends for engine agnostic shortcuts to create a pipeline executor.
105
103
  * And in general, please prefer using the {@link FlowrAnalyzer} and its {@link FlowrAnalyzerBuilder|builder} to create and use an analyzer instance.
106
- *
107
104
  * @param pipeline - The {@link Pipeline} to execute, probably created with {@link createPipeline}.
108
105
  * @param input - External {@link PipelineInput|configuration and input} required to execute the given pipeline.
109
106
  * @param flowrConfig - The flowr config containing the built-in definitions
@@ -122,7 +119,6 @@ class PipelineExecutor {
122
119
  }
123
120
  /**
124
121
  * Retrieve the current {@link PipelineStepStage|stage} the pipeline executor is in.
125
- *
126
122
  * @see currentExecutionStage
127
123
  * @see switchToRequestStage
128
124
  * @see PipelineStepStage
@@ -135,7 +131,6 @@ class PipelineExecutor {
135
131
  *
136
132
  * This will fail if either a step change is currently not valid (as not all steps have been executed),
137
133
  * or if there is no next stage (i.e., the pipeline is already completed or in the last stage).
138
- *
139
134
  * @see PipelineExecutor
140
135
  * @see getCurrentStage
141
136
  */
@@ -146,10 +141,9 @@ class PipelineExecutor {
146
141
  }
147
142
  /**
148
143
  * Returns the results of the pipeline.
149
- *
150
144
  * @param intermediate - Normally you can only receive the results *after* the stepper completed the step of interested.
151
- * However, if you pass `true` to this parameter, you can also receive the results *before* the {@link PipelineExecutor|pipeline executor}
152
- * completed, although the typing system then cannot guarantee which of the steps have already happened.
145
+ * However, if you pass `true` to this parameter, you can also receive the results *before* the {@link PipelineExecutor|pipeline executor}
146
+ * completed, although the typing system then cannot guarantee which of the steps have already happened.
153
147
  */
154
148
  getResults(intermediate = false) {
155
149
  (0, assert_1.guard)(intermediate || this.stepCounter >= this.length, 'Without the intermediate flag, the pipeline must be completed before providing access to the results.');
@@ -168,9 +162,8 @@ class PipelineExecutor {
168
162
  * Execute the next {@link IPipelineStep|step} and return the name of the {@link IPipelineStep|step} that was executed,
169
163
  * so you can guard if the {@link IPipelineStep|step} differs from what you are interested in.
170
164
  * Furthermore, it returns the {@link IPipelineStep|step's} result.
171
- *
172
165
  * @param expectedStepName - A safeguard if you want to retrieve the result.
173
- * If given, it causes the execution to fail if the next step is not the one you expect.
166
+ * If given, it causes the execution to fail if the next step is not the one you expect.
174
167
  *
175
168
  * _Without `expectedStepName`, please refrain from accessing the result, as you have no safeguards if the pipeline changes._
176
169
  */
@@ -193,7 +186,6 @@ class PipelineExecutor {
193
186
  /**
194
187
  * This only makes sense if you have already run a request and want to re-use the per-file results for a new one.
195
188
  * (or if for whatever reason, you did not pass information for the pipeline with the constructor).
196
- *
197
189
  * @param newRequestData - Data for the new request
198
190
  */
199
191
  updateRequest(newRequestData) {
@@ -214,7 +206,6 @@ class PipelineExecutor {
214
206
  * @param canSwitchStage - If true, automatically switch to the request stage if necessary
215
207
  * (i.e., this is what you want if you have never executed {@link nextStep} and you want to execute *all* steps).
216
208
  * However, passing false allows you to only execute the steps of the 'once-per-file' stage (i.e., the steps that can be cached).
217
- *
218
209
  * @note There is a small type difference if you pass 'false' and already have manually switched to the 'once-per-request' stage.
219
210
  * Because now, the results of these steps are no longer part of the result type (although they are still included).
220
211
  * In such a case, you may be better off with simply passing 'true' as the function will detect that the stage is already switched.
@@ -2,6 +2,25 @@ import type { DataflowInformation } from '../../dataflow/info';
2
2
  import type { QuadSerializationConfiguration } from '../../util/quads';
3
3
  /** Should work with larger things as well */
4
4
  export declare function dataflowGraphToJson(df: DataflowInformation): string;
5
+ /**
6
+ * Convert the dataflow graph to a mermaid string.
7
+ * @see {@link graphToMermaid}
8
+ * @see {@link dataflowGraphToMermaidUrl}
9
+ * @see {@link dataflowGraphToJson}
10
+ */
5
11
  export declare function dataflowGraphToMermaid(df: DataflowInformation): string;
12
+ /**
13
+ * Convert the dataflow graph to a mermaid URL.
14
+ * @see {@link graphToMermaidUrl}
15
+ * @see {@link dataflowGraphToMermaid}
16
+ * @see {@link dataflowGraphToJson}
17
+ */
6
18
  export declare function dataflowGraphToMermaidUrl(df: DataflowInformation): string;
19
+ /**
20
+ * Transforms the dataflow graph into a quad serialization.
21
+ * @see {@link df2quads}
22
+ * @see {@link dataflowGraphToMermaidUrl}
23
+ * @see {@link dataflowGraphToMermaid}
24
+ * @see {@link dataflowGraphToJson}
25
+ */
7
26
  export declare function dataflowGraphToQuads(df: DataflowInformation, config: QuadSerializationConfiguration): string;
@@ -52,12 +52,31 @@ function objectJson(df) {
52
52
  function dataflowGraphToJson(df) {
53
53
  return objectJson(df);
54
54
  }
55
+ /**
56
+ * Convert the dataflow graph to a mermaid string.
57
+ * @see {@link graphToMermaid}
58
+ * @see {@link dataflowGraphToMermaidUrl}
59
+ * @see {@link dataflowGraphToJson}
60
+ */
55
61
  function dataflowGraphToMermaid(df) {
56
62
  return (0, dfg_1.graphToMermaid)({ graph: df.graph }).string;
57
63
  }
64
+ /**
65
+ * Convert the dataflow graph to a mermaid URL.
66
+ * @see {@link graphToMermaidUrl}
67
+ * @see {@link dataflowGraphToMermaid}
68
+ * @see {@link dataflowGraphToJson}
69
+ */
58
70
  function dataflowGraphToMermaidUrl(df) {
59
71
  return (0, dfg_1.graphToMermaidUrl)(df.graph);
60
72
  }
73
+ /**
74
+ * Transforms the dataflow graph into a quad serialization.
75
+ * @see {@link df2quads}
76
+ * @see {@link dataflowGraphToMermaidUrl}
77
+ * @see {@link dataflowGraphToMermaid}
78
+ * @see {@link dataflowGraphToJson}
79
+ */
61
80
  function dataflowGraphToQuads(df, config) {
62
81
  return (0, quads_1.df2quads)(df.graph, config);
63
82
  }
@@ -1,7 +1,27 @@
1
- import type { QuadSerializationConfiguration } from '../../util/quads';
1
+ import { type QuadSerializationConfiguration } from '../../util/quads';
2
2
  import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
3
3
  /** Should work with larger things as well */
4
4
  export declare function normalizedAstToJson(ast: NormalizedAst): string;
5
+ /**
6
+ * Normalized AST to quads serialization
7
+ * @see {@link serialize2quads}
8
+ * @see {@link QuadSerializationConfiguration}
9
+ * @see {@link normalizedAstToMermaid}
10
+ * @see {@link normalizedAstToMermaidUrl}
11
+ * @see {@link printNormalizedAstToMermaidUrl}
12
+ */
5
13
  export declare function normalizedAstToQuads(ast: NormalizedAst, config: QuadSerializationConfiguration): string;
14
+ /**
15
+ * Serialize the normalized AST to mermaid format
16
+ * @see {@link normalizedAstToMermaid}
17
+ * @see {@link normalizedAstToMermaidUrl}
18
+ * @see {@link printNormalizedAstToMermaidUrl}
19
+ */
6
20
  export declare function printNormalizedAstToMermaid(ast: NormalizedAst): string;
21
+ /**
22
+ * Serialize the normalized AST to a mermaid URL
23
+ * @see {@link normalizedAstToMermaid}
24
+ * @see {@link normalizedAstToMermaidUrl}
25
+ * @see {@link printNormalizedAstToMermaid}
26
+ */
7
27
  export declare function printNormalizedAstToMermaidUrl(ast: NormalizedAst): string;
@@ -17,12 +17,32 @@ function normalizedAstToJson(ast) {
17
17
  return (0, json_1.jsonReplacer)(k, v);
18
18
  });
19
19
  }
20
+ /**
21
+ * Normalized AST to quads serialization
22
+ * @see {@link serialize2quads}
23
+ * @see {@link QuadSerializationConfiguration}
24
+ * @see {@link normalizedAstToMermaid}
25
+ * @see {@link normalizedAstToMermaidUrl}
26
+ * @see {@link printNormalizedAstToMermaidUrl}
27
+ */
20
28
  function normalizedAstToQuads(ast, config) {
21
29
  return (0, quads_1.serialize2quads)(ast.ast, config);
22
30
  }
31
+ /**
32
+ * Serialize the normalized AST to mermaid format
33
+ * @see {@link normalizedAstToMermaid}
34
+ * @see {@link normalizedAstToMermaidUrl}
35
+ * @see {@link printNormalizedAstToMermaidUrl}
36
+ */
23
37
  function printNormalizedAstToMermaid(ast) {
24
38
  return (0, ast_1.normalizedAstToMermaid)(ast.ast);
25
39
  }
40
+ /**
41
+ * Serialize the normalized AST to a mermaid URL
42
+ * @see {@link normalizedAstToMermaid}
43
+ * @see {@link normalizedAstToMermaidUrl}
44
+ * @see {@link printNormalizedAstToMermaid}
45
+ */
26
46
  function printNormalizedAstToMermaidUrl(ast) {
27
47
  return (0, ast_1.normalizedAstToMermaidUrl)(ast.ast);
28
48
  }
@@ -1,2 +1,7 @@
1
- import type { QuadSerializationConfiguration } from '../../util/quads';
1
+ import { type QuadSerializationConfiguration } from '../../util/quads';
2
+ /**
3
+ * Parse R code and serialize it to quads
4
+ * @see {@link serialize2quads}
5
+ * @see {@link QuadSerializationConfiguration}
6
+ */
2
7
  export declare function parseToQuads(code: string, config: QuadSerializationConfiguration): string;
@@ -3,6 +3,11 @@ Object.defineProperty(exports, "__esModule", { value: true });
3
3
  exports.parseToQuads = parseToQuads;
4
4
  const quads_1 = require("../../util/quads");
5
5
  const format_1 = require("../../r-bridge/lang-4.x/ast/parser/json/format");
6
+ /**
7
+ * Parse R code and serialize it to quads
8
+ * @see {@link serialize2quads}
9
+ * @see {@link QuadSerializationConfiguration}
10
+ */
6
11
  function parseToQuads(code, config) {
7
12
  return (0, quads_1.serialize2quads)((0, format_1.convertPreparedParsedData)((0, format_1.prepareParsedData)(code)), config);
8
13
  }
@@ -37,7 +37,6 @@ export declare const enum StepOutputFormat {
37
37
  }
38
38
  /**
39
39
  * Helper function to support the {@link Internal} format, as it is simply returning the input.
40
- *
41
40
  * @see IPipelineStepPrinter
42
41
  */
43
42
  export declare function internalPrinter<Input>(input: Input): Input;
@@ -5,7 +5,6 @@ exports.printStepResult = printStepResult;
5
5
  const assert_1 = require("../../util/assert");
6
6
  /**
7
7
  * Helper function to support the {@link Internal} format, as it is simply returning the input.
8
- *
9
8
  * @see IPipelineStepPrinter
10
9
  */
11
10
  function internalPrinter(input) {
@@ -1,3 +1,6 @@
1
1
  import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
2
2
  import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
3
+ /**
4
+ * Print a slice diff with ANSI colors
5
+ */
3
6
  export declare function sliceDiffAnsi(slice: ReadonlySet<NodeId>, normalized: NormalizedAst, criteriaIds: ReadonlySet<NodeId>, originalCode: string): string;