@eagleoutice/flowr 2.9.13 → 2.10.1

package/README.md

@@ -24,7 +24,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.9.12, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.10.0, R grammar v14 (tree-sitter engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -33,13 +33,13 @@ It offers a wide variety of features, for example:
     
     
     ```text
-    Query: linter (3 ms)
+    Query: linter (2 ms)
        ╰ Deprecated Functions (deprecated-functions):
-           ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0
+           ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 1, processTimeMs: 0
        ╰ File Path Validity (file-path-validity):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ Metadata: totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 1, processTimeMs: 0
+           ╰ Metadata: totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Seeded Randomness (seeded-randomness):
            ╰ Metadata: consumerCalls: 0, callsWithFunctionProducers: 0, callsWithAssignmentProducers: 0, callsWithNonConstantProducers: 0, callsWithOtherBranchProducers: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Absolute Paths (absolute-file-paths):
@@ -53,12 +53,16 @@ It offers a wide variety of features, for example:
        ╰ Network Functions (network-functions):
            ╰ Metadata: totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Dataframe Access Validation (dataframe-access-validation):
-           ╰ Metadata: numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 1
+           ╰ Metadata: numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Dead Code (dead-code):
            ╰ Metadata: consideredNodes: 5, searchTimeMs: 0, processTimeMs: 0
        ╰ Useless Loops (useless-loop):
            ╰ Metadata: numOfUselessLoops: 0, searchTimeMs: 0, processTimeMs: 0
-    All queries together required ≈3 ms (1ms accuracy, total 3 ms)
+       ╰ Problematic eval (problematic-eval):
+           ╰ Metadata: searchTimeMs: 0, processTimeMs: 0
+       ╰ Stop without call.=False argument (stop-call):
+           ╰ Metadata: consideredNodes: 0, searchTimeMs: 0, processTimeMs: 0
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -82,17 +86,17 @@ It offers a wide variety of features, for example:
     
     Query: **linter** (2 ms)\
        ╰ **Deprecated Functions** (deprecated-functions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 1, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **File Path Validity** (file-path-validity):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ certain:\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ Path `/root/x.txt` at 1.1-23\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 1, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalReads: 1, totalUnknown: 0, totalWritesBeforeAlways: 0, totalValid: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Seeded Randomness** (seeded-randomness):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consumerCalls: 0, callsWithFunctionProducers: 0, callsWithAssignmentProducers: 0, callsWithNonConstantProducers: 0, callsWithOtherBranchProducers: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Absolute Paths** (absolute-file-paths):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ certain:\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ Path `/root/x.txt` at 1.1-23\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 1, totalUnknown: 0, searchTimeMs: 0, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 1, totalUnknown: 0, searchTimeMs: 1, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Unused Definitions** (unused-definitions):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalConsidered: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Naming Convention** (naming-convention):\
@@ -100,16 +104,20 @@ It offers a wide variety of features, for example:
     &nbsp;&nbsp;&nbsp;╰ **Network Functions** (network-functions):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>totalCalls: 0, totalFunctionDefinitions: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dataframe Access Validation** (dataframe-access-validation):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 1</code>\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOperations: 0, numAccesses: 0, totalAccessed: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Dead Code** (dead-code):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consideredNodes: 5, searchTimeMs: 0, processTimeMs: 0</code>\
     &nbsp;&nbsp;&nbsp;╰ **Useless Loops** (useless-loop):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>numOfUselessLoops: 0, searchTimeMs: 0, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;╰ **Problematic eval** (problematic-eval):\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>searchTimeMs: 0, processTimeMs: 0</code>\
+    &nbsp;&nbsp;&nbsp;╰ **Stop without call.=False argument** (stop-call):\
+    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>consideredNodes: 0, searchTimeMs: 0, processTimeMs: 0</code>\
     _All queries together required ≈2 ms (1ms accuracy, total 2 ms)_
     
     <details> <summary style="color:gray">Show Detailed Results as Json</summary>
     
-    The analysis required _2.1 ms_ (including parsing and normalization and the query) within the generation environment.
+    The analysis required _2.3 ms_ (including parsing and normalization and the query) within the generation environment.
     
     In general, the JSON contains the Ids of the nodes in question as they are present in the normalized AST or the dataflow graph of flowR.
     Please consult the [Interface](https://github.com/flowr-analysis/flowr/wiki/Interface) wiki page for more information on how to get those.
@@ -126,7 +134,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalCalls": 0,
               "totalFunctionDefinitions": 0,
-              "searchTimeMs": 0,
+              "searchTimeMs": 1,
               "processTimeMs": 0
             }
           },
@@ -149,7 +157,7 @@ It offers a wide variety of features, for example:
               "totalUnknown": 0,
               "totalWritesBeforeAlways": 0,
               "totalValid": 0,
-              "searchTimeMs": 1,
+              "searchTimeMs": 0,
               "processTimeMs": 0
             }
           },
@@ -181,7 +189,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalConsidered": 1,
               "totalUnknown": 0,
-              "searchTimeMs": 0,
+              "searchTimeMs": 1,
               "processTimeMs": 0
             }
           },
@@ -218,7 +226,7 @@ It offers a wide variety of features, for example:
               "numAccesses": 0,
               "totalAccessed": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 1
+              "processTimeMs": 0
             }
           },
           "dead-code": {
@@ -236,6 +244,21 @@ It offers a wide variety of features, for example:
               "searchTimeMs": 0,
               "processTimeMs": 0
             }
+          },
+          "problematic-eval": {
+            "results": [],
+            ".meta": {
+              "searchTimeMs": 0,
+              "processTimeMs": 0
+            }
+          },
+          "stop-call": {
+            "results": [],
+            ".meta": {
+              "consideredNodes": 0,
+              "searchTimeMs": 0,
+              "processTimeMs": 0
+            }
           }
         },
         ".meta": {
@@ -308,7 +331,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.9.12, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.10.0, R grammar v14 (tree-sitter engine)
     R> :query @static-slice (11@sum) file://test/testfiles/example.R
     ```
     
@@ -322,7 +345,7 @@ It offers a wide variety of features, for example:
     N <- 10
     for(i in 1:(N-1)) sum <- sum + i + w
     sum
-    All queries together required ≈3 ms (1ms accuracy, total 4 ms)
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -356,7 +379,7 @@ It offers a wide variety of features, for example:
          
 
 * 🚀 **fast call-graph, data-, and control-flow graphs**\
-  Within just [<i><span title="This measurement is automatically fetched from the latest benchmark!">97.7 ms</span></i> (as of Feb 19, 2026)](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark), 
+  Within just [<i><span title="This measurement is automatically fetched from the latest benchmark!">99.2 ms</span></i> (as of Mar 13, 2026)](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark), 
   _flowR_ can analyze the data- and control-flow of the average real-world R&nbsp;script. See the [benchmarks](https://flowr-analysis.github.io/flowr/wiki/stats/benchmark) for more information,
   and consult the [wiki pages](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) for more details on the [dataflow graphs](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph) as well as [call graphs](https://github.com/flowr-analysis/flowr/wiki/dataflow-graph#perspectives-cg).
 
@@ -392,7 +415,7 @@ It offers a wide variety of features, for example:
     
     ```shell
     $ docker run -it --rm eagleoutice/flowr # or npm run flowr 
-    flowR repl using flowR v2.9.12, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.10.0, R grammar v14 (tree-sitter engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -418,7 +441,7 @@ It offers a wide variety of features, for example:
           *1.8*`"}}
        %% No edges found for 1
         0["`#91;RSymbol#93; sum
-          (0)
+          (0, sources: [1])
           *1.1-3*`"]
         2[["`#91;RBinaryOp#93; #60;#45;
           (2)
@@ -432,7 +455,7 @@ It offers a wide variety of features, for example:
           *2.12*`"}}
        %% No edges found for 4
         3["`#91;RSymbol#93; product
-          (3)
+          (3, sources: [4])
           *2.1-7*`"]
         5[["`#91;RBinaryOp#93; #60;#45;
           (5)
@@ -443,7 +466,7 @@ It offers a wide variety of features, for example:
           *3.6*`"}}
        %% No edges found for 7
         6["`#91;RSymbol#93; w
-          (6)
+          (6, sources: [7])
           *3.1*`"]
         8[["`#91;RBinaryOp#93; #60;#45;
           (8)
@@ -454,14 +477,14 @@ It offers a wide variety of features, for example:
           *4.6-7*`"}}
        %% No edges found for 10
         9["`#91;RSymbol#93; N
-          (9)
+          (9, sources: [10])
           *4.1*`"]
         11[["`#91;RBinaryOp#93; #60;#45;
           (11)
           *4.1-7*
         (9, 10)`"]]
         12["`#91;RSymbol#93; i
-          (12)
+          (12, sources: [20])
           *6.6*`"]
         13{{"`#91;RNumber#93; 1
           (13)
@@ -513,7 +536,7 @@ It offers a wide variety of features, for example:
           *7.10-20*
         (26, 27)`"]]
         23["`#91;RSymbol#93; sum
-          (23, :may:36+)
+          (23, :may:36+, sources: [28])
           *7.3-5*`"]
         29[["`#91;RBinaryOp#93; #60;#45;
           (29, :may:36+)
@@ -530,7 +553,7 @@ It offers a wide variety of features, for example:
           *8.14-24*
         (31, 32)`"]]
         30["`#91;RSymbol#93; product
-          (30, :may:36+)
+          (30, :may:36+, sources: [33])
           *8.3-9*`"]
         34[["`#91;RBinaryOp#93; #60;#45;
           (34, :may:36+)
@@ -700,7 +723,7 @@ It offers a wide variety of features, for example:
     ```
     
     	
-    (The analysis required _1.5 ms_ (including parse and normalize, using the [tree-sitter](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
+    (The analysis required _1.6 ms_ (including parse and normalize, using the [tree-sitter](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
     
     
     
@@ -877,7 +900,8 @@ We welcome every contribution! Please check out the [developer onboarding](https
 
 *flowr* is actively developed by [Florian Sihler](https://eagleoutice.github.io/portfolio/) and (since October 1st 2025) [Oliver Gerstl](https://www.linkedin.com/in/oliver-gerstl) under the
 [GPLv3 License](LICENSE).\
-It is partially supported by the German Research Foundation (DFG) under the grant [504226141](https://gepris.dfg.de/gepris/projekt/504226141) ("CodeInspector").
+It is partially supported by the German Research Foundation (DFG) under the grant [504226141](https://gepris.dfg.de/gepris/projekt/504226141) ("CodeInspector")
+and received an unrestricted gift from [Posit](https://posit.co/), the open-source data science company. 
 
 ----
 

package/abstract-interpretation/absint-visitor.d.ts

@@ -2,7 +2,6 @@ import type { ControlFlowInformation } from '../control-flow/control-flow-graph'
 import { CfgVertex } from '../control-flow/control-flow-graph';
 import type { SemanticCfgGuidedVisitorConfiguration } from '../control-flow/semantic-cfg-guided-visitor';
 import { SemanticCfgGuidedVisitor } from '../control-flow/semantic-cfg-guided-visitor';
-import { BuiltInProcName } from '../dataflow/environments/built-in';
 import type { DataflowGraph } from '../dataflow/graph/graph';
 import { type DataflowGraphVertexFunctionCall, type DataflowGraphVertexVariableDefinition } from '../dataflow/graph/vertex';
 import type { NoInfo, RNode } from '../r-bridge/lang-4.x/ast/model/model';
@@ -11,6 +10,7 @@ import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import { type AnyAbstractDomain } from './domains/abstract-domain';
 import type { StateAbstractDomain } from './domains/state-abstract-domain';
 import { MutableStateAbstractDomain } from './domains/state-abstract-domain';
+import { BuiltInProcName } from '../dataflow/environments/built-in-proc-name';
 export type AbsintVisitorConfiguration = Omit<SemanticCfgGuidedVisitorConfiguration<NoInfo, ControlFlowInformation, NormalizedAst>, 'defaultVisitingOrder' | 'defaultVisitingType'>;
 /**
  * A control flow graph visitor to perform abstract interpretation.

package/abstract-interpretation/absint-visitor.js

@@ -3,15 +3,15 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.AbstractInterpretationVisitor = void 0;
 const control_flow_graph_1 = require("../control-flow/control-flow-graph");
 const semantic_cfg_guided_visitor_1 = require("../control-flow/semantic-cfg-guided-visitor");
-const built_in_1 = require("../dataflow/environments/built-in");
 const vertex_1 = require("../dataflow/graph/vertex");
-const dfg_get_origin_1 = require("../dataflow/origin/dfg-get-origin");
 const model_1 = require("../r-bridge/lang-4.x/ast/model/model");
 const r_function_call_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const type_1 = require("../r-bridge/lang-4.x/ast/model/type");
 const assert_1 = require("../util/assert");
 const abstract_domain_1 = require("./domains/abstract-domain");
 const state_abstract_domain_1 = require("./domains/state-abstract-domain");
+const df_helper_1 = require("../dataflow/graph/df-helper");
+const built_in_proc_name_1 = require("../dataflow/environments/built-in-proc-name");
 /**
  * A control flow graph visitor to perform abstract interpretation.
  *
@@ -86,7 +86,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
         else if (node.type === type_1.RType.ExpressionList && node.children.length > 0) {
             return this.getAbstractValue(node.children.at(-1), state);
         }
-        else if (origins.includes(built_in_1.BuiltInProcName.Pipe)) {
+        else if (origins.includes(built_in_proc_name_1.BuiltInProcName.Pipe)) {
             if (node.type === type_1.RType.Pipe || node.type === type_1.RType.BinaryOp) {
                 return this.getAbstractValue(node.rhs, state);
             }
@@ -94,7 +94,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
                 return this.getAbstractValue(call.args[1].nodeId, state);
             }
         }
-        else if (origins.includes(built_in_1.BuiltInProcName.IfThenElse)) {
+        else if (origins.includes(built_in_proc_name_1.BuiltInProcName.IfThenElse)) {
             let values = [];
             if (node.type === type_1.RType.IfThenElse && node.otherwise !== undefined) {
                 values = [node.then, node.otherwise].map(entry => this.getAbstractValue(entry, state));
@@ -203,20 +203,20 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
     onDispatchFunctionCallOrigin(call, origin) {
         super.onDispatchFunctionCallOrigin(call, origin);
         switch (origin) {
-            case built_in_1.BuiltInProcName.ExpressionList:
-            case built_in_1.BuiltInProcName.IfThenElse:
-            case built_in_1.BuiltInProcName.ForLoop:
-            case built_in_1.BuiltInProcName.WhileLoop:
-            case built_in_1.BuiltInProcName.RepeatLoop:
-            case built_in_1.BuiltInProcName.FunctionDefinition:
-            case built_in_1.BuiltInProcName.Assignment:
-            case built_in_1.BuiltInProcName.AssignmentLike:
-            case built_in_1.BuiltInProcName.TableAssignment:
-            case built_in_1.BuiltInProcName.Replacement:
-            case built_in_1.BuiltInProcName.Access:
-            case built_in_1.BuiltInProcName.Pipe:
-            case built_in_1.BuiltInProcName.Break:
-            case built_in_1.BuiltInProcName.Return:
+            case built_in_proc_name_1.BuiltInProcName.ExpressionList:
+            case built_in_proc_name_1.BuiltInProcName.IfThenElse:
+            case built_in_proc_name_1.BuiltInProcName.ForLoop:
+            case built_in_proc_name_1.BuiltInProcName.WhileLoop:
+            case built_in_proc_name_1.BuiltInProcName.RepeatLoop:
+            case built_in_proc_name_1.BuiltInProcName.FunctionDefinition:
+            case built_in_proc_name_1.BuiltInProcName.Assignment:
+            case built_in_proc_name_1.BuiltInProcName.AssignmentLike:
+            case built_in_proc_name_1.BuiltInProcName.TableAssignment:
+            case built_in_proc_name_1.BuiltInProcName.Replacement:
+            case built_in_proc_name_1.BuiltInProcName.Access:
+            case built_in_proc_name_1.BuiltInProcName.Pipe:
+            case built_in_proc_name_1.BuiltInProcName.Break:
+            case built_in_proc_name_1.BuiltInProcName.Return:
                 return;
             default:
                 return this.onFunctionCall({ call });
@@ -273,7 +273,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
     }
     /** Gets each variable origin that has already been visited and whose assignment has already been processed */
     getVariableOrigins(nodeId) {
-        return (0, dfg_get_origin_1.getOriginInDfg)(this.config.dfg, nodeId)
+        return df_helper_1.Dataflow.origin(this.config.dfg, nodeId)
             ?.filter(origin => origin.type === 0 /* OriginType.ReadVariableOrigin */)
             .map(origin => origin.id)
             .filter(origin => this.trace.has(origin) && !this.unassigned.has(origin)) ?? [];
@@ -293,7 +293,7 @@ class AbstractInterpretationVisitor extends semantic_cfg_guided_visitor_1.Semant
             return false;
         }
         const origin = dataflowVertex.origin;
-        return origin.includes(built_in_1.BuiltInProcName.ForLoop) || origin.includes(built_in_1.BuiltInProcName.WhileLoop) || origin.includes(built_in_1.BuiltInProcName.RepeatLoop);
+        return origin.includes(built_in_proc_name_1.BuiltInProcName.ForLoop) || origin.includes(built_in_proc_name_1.BuiltInProcName.WhileLoop) || origin.includes(built_in_proc_name_1.BuiltInProcName.RepeatLoop);
     }
     /**
      * Checks whether a control flow graph vertex should be skipped during visitation.

package/abstract-interpretation/data-frame/mappers/replacement-mapper.js

@@ -2,7 +2,6 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.mapDataFrameReplacementFunction = mapDataFrameReplacementFunction;
 const config_1 = require("../../../config");
-const built_in_1 = require("../../../dataflow/environments/built-in");
 const vertex_1 = require("../../../dataflow/graph/vertex");
 const make_argument_1 = require("../../../dataflow/internal/process/functions/call/argument/make-argument");
 const r_function_call_1 = require("../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
@@ -12,6 +11,7 @@ const semantics_1 = require("../semantics");
 const access_mapper_1 = require("./access-mapper");
 const arguments_1 = require("./arguments");
 const identifier_1 = require("../../../dataflow/environments/identifier");
+const built_in_proc_name_1 = require("../../../dataflow/environments/built-in-proc-name");
 /** Mapper for mapping the supported data frame replacement functions to mapper functions */
 const DataFrameReplacementFunctionMapper = {
     'colnames': mapDataFrameColNamesAssignment,
@@ -59,7 +59,7 @@ function isDataFrameReplacement(functionName) {
 }
 function hasParentReplacement(node, dfg) {
     const parentVertex = node.info.parent ? dfg.getVertex(node.info.parent) : undefined;
-    return (0, vertex_1.isFunctionCallVertex)(parentVertex) && parentVertex.origin.includes(built_in_1.BuiltInProcName.Replacement);
+    return (0, vertex_1.isFunctionCallVertex)(parentVertex) && parentVertex.origin.includes(built_in_proc_name_1.BuiltInProcName.Replacement);
 }
 function mapDataFrameContentAssignment(access, expression, inference) {
     const dataFrame = access.accessed;

package/benchmark/slicer.d.ts

@@ -8,7 +8,7 @@ import type { SliceResult } from '../slicing/static/slicer-types';
 import type { ReconstructionResult } from '../reconstruct/reconstruct';
 import type { PerSliceStats, SlicerStats, SlicerStatsDfShape } from './stats/stats';
 import type { NormalizedAst } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { SlicingCriteria } from '../slicing/criterion/parse';
+import { SlicingCriteria } from '../slicing/criterion/parse';
 import { type RParseRequestFromFile, type RParseRequestFromText } from '../r-bridge/retriever';
 import { type SlicingCriteriaFilter } from '../slicing/criterion/collect-all';
 import type { AutoSelectPredicate } from '../reconstruct/auto-select/auto-select-defaults';

package/benchmark/slicer.js

@@ -13,6 +13,7 @@ const seedrandom_1 = __importDefault(require("seedrandom"));
 const log_1 = require("../util/log");
 const assert_1 = require("../util/assert");
 const strings_1 = require("../util/text/strings");
+const parse_1 = require("../slicing/criterion/parse");
 const default_pipelines_1 = require("../core/steps/pipeline/default-pipelines");
 const retriever_1 = require("../r-bridge/retriever");
 const collect_all_1 = require("../slicing/criterion/collect-all");
@@ -199,15 +200,16 @@ class BenchmarkSlicer {
         this.executor.updateRequest({ criterion: slicingCriteria });
         const totalStopwatch = measurements.start('total');
         const slicedOutput = await this.measureSliceStep('slice', measurements, 'static slicing');
-        stats.slicingCriteria = [...slicedOutput.decodedCriteria];
+        const decodedCriteria = parse_1.SlicingCriteria.decodeAll(slicingCriteria, this.normalizedAst.idMap);
+        stats.slicingCriteria = Array.from(decodedCriteria);
         stats.reconstructedCode = await this.measureSliceStep('reconstruct', measurements, 'reconstruct code');
         totalStopwatch.stop();
         exports.benchmarkLogger.debug(`Produced code for ${JSON.stringify(slicingCriteria)}: ${stats.reconstructedCode.code}`);
         const results = this.executor.getResults(false);
         if (exports.benchmarkLogger.settings.minLevel >= 3 /* LogLevel.Info */) {
-            exports.benchmarkLogger.info(`mapped slicing criteria: ${slicedOutput.decodedCriteria.map(c => {
-                const node = results.normalize.idMap.get(c.id);
-                return `\n-   id: ${c.id}, location: ${JSON.stringify(node?.location)}, lexeme: ${JSON.stringify(node?.lexeme)}`;
+            exports.benchmarkLogger.info(`mapped slicing criteria: ${slicedOutput.slicedFor.map(id => {
+                const node = results.normalize.idMap.get(id);
+                return `\n-   id: ${id}, location: ${JSON.stringify(node?.location)}, lexeme: ${JSON.stringify(node?.lexeme)}`;
             }).join('')}`);
         }
         // if it is not in the dataflow graph it was kept to be safe and should not count to the included nodes
@@ -235,7 +237,7 @@ class BenchmarkSlicer {
         this.guardActive();
         const g = this.dataflow?.graph;
         (0, assert_1.guard)(g !== undefined, 'dataflow should be defined for call graph extraction');
-        this.callGraph = this.measureSimpleStep('extract call graph', () => (0, call_graph_1.computeCallGraph)(g));
+        this.callGraph = this.measureSimpleStep('extract call graph', () => call_graph_1.CallGraph.compute(g));
     }
     /**
      * Infer the shape of data frames using abstract interpretation with {@link inferDataFrameShapes}

package/benchmark/stats/stats.d.ts

@@ -1,4 +1,4 @@
-import type { SingleSlicingCriterion, SlicingCriteria } from '../../slicing/criterion/parse';
+import type { SlicingCriterion, SlicingCriteria } from '../../slicing/criterion/parse';
 import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ReconstructionResult } from '../../reconstruct/reconstruct';
 import type { RParseRequestFromFile, RParseRequestFromText } from '../../r-bridge/retriever';
@@ -15,7 +15,7 @@ export type ElapsedTime = bigint;
 export interface PerSliceStats {
     measurements: Map<PerSliceMeasurements, ElapsedTime>;
     slicingCriteria: {
-        criterion: SingleSlicingCriterion;
+        criterion: SlicingCriterion;
         id: NodeId;
     }[];
     reconstructedCode: ReconstructionResult;

package/cli/repl/commands/repl-dataflow.js

@@ -35,11 +35,11 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.dataflowSimpleStarCommand = exports.dataflowSimplifiedCommand = exports.dataflowSilentCommand = exports.dataflowAsciiCommand = exports.dataflowStarCommand = exports.dataflowCommand = void 0;
 const retriever_1 = require("../../../r-bridge/retriever");
-const dfg_1 = require("../../../util/mermaid/dfg");
 const ansi_1 = require("../../../util/text/ansi");
 const core_1 = require("../core");
 const vertex_1 = require("../../../dataflow/graph/vertex");
 const dfg_ascii_1 = require("../../../util/simple-df/dfg-ascii");
+const df_helper_1 = require("../../../dataflow/graph/df-helper");
 function formatInfo(out, type, meta) {
     return out.formatter.format(`Copied ${type} to clipboard (dataflow: ${meta['.meta'].timing + 'ms'}).`, { color: 7 /* Colors.White */, effect: ansi_1.ColorEffect.Foreground, style: 3 /* FontStyles.Italic */ });
 }
@@ -52,7 +52,7 @@ exports.dataflowCommand = {
     argsParser: (args) => (0, core_1.handleString)(args),
     fn: async ({ output, analyzer }) => {
         const result = await analyzer.dataflow();
-        const mermaid = (0, dfg_1.graphToMermaid)({ graph: result.graph, includeEnvironments: false }).string;
+        const mermaid = df_helper_1.Dataflow.visualize.mermaid.convert({ graph: result.graph, includeEnvironments: false }).string;
         output.stdout(mermaid);
         try {
             const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
@@ -72,7 +72,7 @@ exports.dataflowStarCommand = {
     argsParser: (args) => (0, core_1.handleString)(args),
     fn: async ({ output, analyzer }) => {
         const result = await analyzer.dataflow();
-        const mermaid = (0, dfg_1.graphToMermaidUrl)(result.graph, false);
+        const mermaid = df_helper_1.Dataflow.visualize.mermaid.url(result.graph, false);
         output.stdout(mermaid);
         try {
             const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
@@ -126,7 +126,7 @@ exports.dataflowSimplifiedCommand = {
     argsParser: (args) => (0, core_1.handleString)(args),
     fn: async ({ output, analyzer }) => {
         const result = await analyzer.dataflow();
-        const mermaid = (0, dfg_1.graphToMermaid)({ graph: result.graph, includeEnvironments: false, simplified: true }).string;
+        const mermaid = df_helper_1.Dataflow.visualize.mermaid.convert({ graph: result.graph, includeEnvironments: false, simplified: true }).string;
         output.stdout(mermaid);
         try {
             const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
@@ -145,7 +145,7 @@ exports.dataflowSimpleStarCommand = {
     argsParser: (args) => (0, core_1.handleString)(args),
     fn: async ({ output, analyzer }) => {
         const result = await analyzer.dataflow();
-        const mermaid = (0, dfg_1.graphToMermaidUrl)(result.graph, false, undefined, true);
+        const mermaid = df_helper_1.Dataflow.visualize.mermaid.url(result.graph, false, undefined, true);
         output.stdout(mermaid);
         try {
             const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));

package/cli/repl/parser/slice-query-parser.d.ts

@@ -1,5 +1,5 @@
-import { SliceDirection } from '../../../core/steps/all/static-slicing/00-slice';
-import type { SingleSlicingCriterion, SlicingCriteria } from '../../../slicing/criterion/parse';
+import type { SlicingCriterion, SlicingCriteria } from '../../../slicing/criterion/parse';
+import { SliceDirection } from '../../../util/slice-direction';
 /**
  * Checks whether the given argument represents a slicing direction with an `f` suffix.
  */
@@ -7,7 +7,7 @@ export declare function sliceDirectionParser(argument: string): SliceDirection;
 /**
  * Parses a single slicing criterion from the given argument.
  */
-export declare function sliceCriterionParser(argument: string | undefined): SingleSlicingCriterion | undefined;
+export declare function sliceCriterionParser(argument: string | undefined): SlicingCriterion | undefined;
 /**
  * Parses multiple slicing criteria from the given argument.
  */

package/cli/repl/parser/slice-query-parser.js

@@ -3,13 +3,13 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.sliceDirectionParser = sliceDirectionParser;
 exports.sliceCriterionParser = sliceCriterionParser;
 exports.sliceCriteriaParser = sliceCriteriaParser;
-const _00_slice_1 = require("../../../core/steps/all/static-slicing/00-slice");
+const slice_direction_1 = require("../../../util/slice-direction");
 /**
  * Checks whether the given argument represents a slicing direction with an `f` suffix.
  */
 function sliceDirectionParser(argument) {
     const endBracket = argument.indexOf(')');
-    return argument[endBracket + 1] === 'f' ? _00_slice_1.SliceDirection.Forward : _00_slice_1.SliceDirection.Backward;
+    return argument[endBracket + 1] === 'f' ? slice_direction_1.SliceDirection.Forward : slice_direction_1.SliceDirection.Backward;
 }
 /**
  * Parses a single slicing criterion from the given argument.

package/cli/repl/server/connection.js

@@ -58,8 +58,8 @@ const tmp = __importStar(require("tmp"));
 const fs_1 = __importDefault(require("fs"));
 const message_query_1 = require("./messages/message-query");
 const compact_1 = require("./compact");
-const _00_slice_1 = require("../../../core/steps/all/static-slicing/00-slice");
 const flowr_analyzer_builder_1 = require("../../../project/flowr-analyzer-builder");
+const slice_direction_1 = require("../../../util/slice-direction");
 /**
  * Each connection handles a single client, answering to its requests.
  * There is no need to construct this class manually, {@link FlowRServer} will do it for you.
@@ -235,7 +235,7 @@ class FlowRServerConnection {
             return;
         }
         const request = requestResult.message;
-        this.logger.info(`[${request.filetoken}] Received ${request.direction ?? _00_slice_1.SliceDirection.Backward} slice request with criteria ${JSON.stringify(request.criterion)}`);
+        this.logger.info(`[${request.filetoken}] Received ${request.direction ?? slice_direction_1.SliceDirection.Backward} slice request with criteria ${JSON.stringify(request.criterion)}`);
         const fileInformation = this.fileMap.get(request.filetoken);
         if (!fileInformation) {
             (0, send_1.sendMessage)(this.socket, {

package/cli/repl/server/messages/message-slice.d.ts

@@ -2,7 +2,7 @@ import type { IdMessageBase, MessageDefinition } from './all-messages';
 import type { SlicingCriteria } from '../../../../slicing/criterion/parse';
 import type { PipelineOutput } from '../../../../core/steps/pipeline/pipeline';
 import type { DEFAULT_DATAFLOW_PIPELINE, DEFAULT_SLICING_PIPELINE } from '../../../../core/steps/pipeline/default-pipelines';
-import { SliceDirection } from '../../../../core/steps/all/static-slicing/00-slice';
+import { SliceDirection } from '../../../../util/slice-direction';
 /**
  * Can only be sent after you have sent the {@link FileAnalysisRequestMessage}.
  * Using the same `filetoken` as in the {@link FileAnalysisRequestMessage} you

package/cli/repl/server/messages/message-slice.js

@@ -35,7 +35,7 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.responseSliceMessage = exports.requestSliceMessage = void 0;
 const Joi = __importStar(require("joi"));
-const _00_slice_1 = require("../../../../core/steps/all/static-slicing/00-slice");
+const slice_direction_1 = require("../../../../util/slice-direction");
 exports.requestSliceMessage = {
     type: 'request-slice',
     schema: Joi.object({
@@ -43,7 +43,7 @@ exports.requestSliceMessage = {
         id: Joi.string().optional().description('The id of the message, if you passed one in the request.'),
         filetoken: Joi.string().required().description('The filetoken of the file to slice must be the same as with the analysis request.'),
         criterion: Joi.array().items(Joi.string()).min(0).required().required().description('The slicing criteria to use.'),
-        direction: Joi.string().valid(...Object.values(_00_slice_1.SliceDirection)).description('The direction to slice in. Defaults to backward slicing if unset.')
+        direction: Joi.string().valid(...Object.values(slice_direction_1.SliceDirection)).description('The direction to slice in. Defaults to backward slicing if unset.')
     })
 };
 exports.responseSliceMessage = {