@eagleoutice/flowr 2.9.13 → 2.9.14

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.9.13, R grammar v14 (tree-sitter engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -33,7 +33,7 @@ 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
        ╰ File Path Validity (file-path-validity):
@@ -45,7 +45,7 @@ It offers a wide variety of features, for example:
        ╰ Absolute Paths (absolute-file-paths):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ Metadata: totalConsidered: 1, totalUnknown: 0, searchTimeMs: 1, processTimeMs: 0
+           ╰ Metadata: totalConsidered: 1, totalUnknown: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Unused Definitions (unused-definitions):
            ╰ Metadata: totalConsidered: 0, searchTimeMs: 0, processTimeMs: 0
        ╰ Naming Convention (naming-convention):
@@ -58,7 +58,9 @@ It offers a wide variety of features, for example:
            ╰ 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)
+       ╰ 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)
     ```
     
     
@@ -105,11 +107,13 @@ It offers a wide variety of features, for example:
     &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;╰ **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.
@@ -236,6 +240,14 @@ It offers a wide variety of features, for example:
               "searchTimeMs": 0,
               "processTimeMs": 0
             }
+          },
+          "stop-call": {
+            "results": [],
+            ".meta": {
+              "consideredNodes": 0,
+              "searchTimeMs": 0,
+              "processTimeMs": 0
+            }
           }
         },
         ".meta": {
@@ -308,7 +320,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.9.13, R grammar v14 (tree-sitter engine)
     R> :query @static-slice (11@sum) file://test/testfiles/example.R
     ```
     
@@ -322,7 +334,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 ≈1 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -356,7 +368,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!">101.1 ms</span></i> (as of Feb 28, 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 +404,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.9.13, R grammar v14 (tree-sitter engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -700,7 +712,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.)
     
     
     

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/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 { SliceDirection } from '../../../util/slice-direction';
 /**
  * Checks whether the given argument represents a slicing direction with an `f` suffix.
  */

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 = {

package/config.d.ts

@@ -231,7 +231,7 @@ export declare const FlowrConfig: {
      * The default configuration for flowR, used when no config file is found or when a config file is missing some options.
      * You can use this as a base for your own config and only specify the options you want to change.
      */
-    readonly default: () => FlowrConfig;
+    readonly default: (this: void) => FlowrConfig;
     /**
      * The Joi schema for validating a config file, use this to validate your config file before using it. You can also use this to generate documentation for the config file format.
      */
@@ -239,26 +239,26 @@ export declare const FlowrConfig: {
     /**
      * Parses the given JSON string as a flowR config file, returning the resulting config object if the parsing and validation were successful, or `undefined` if there was an error.
      */
-    readonly parse: (jsonString: string) => FlowrConfig | undefined;
+    readonly parse: (this: void, jsonString: string) => FlowrConfig | undefined;
     /**
      * Creates a new flowr config that has the updated values.
      */
-    readonly amend: (config: FlowrConfig, amendmentFunc: (config: DeepWritable<FlowrConfig>) => FlowrConfig | void) => FlowrConfig;
+    readonly amend: (this: void, config: FlowrConfig, amendmentFunc: (config: DeepWritable<FlowrConfig>) => FlowrConfig | void) => FlowrConfig;
     /**
      * Clones the given flowr config object.
      */
-    readonly clone: (config: FlowrConfig) => FlowrConfig;
+    readonly clone: (this: void, config: FlowrConfig) => FlowrConfig;
     /**
      * Loads the flowr config from the given file or the default locations.
      * Please note that you can also use this without a path parameter to
      * infer the config from flowR's default locations.
      * This is mostly useful for user-facing features.
      */
-    readonly fromFile: (configFile?: string, configWorkingDirectory?: string) => FlowrConfig;
+    readonly fromFile: (this: void, configFile?: string, configWorkingDirectory?: string) => FlowrConfig;
     /**
      * Gets the configuration for the given engine type from the config.
      */
-    readonly getForEngine: <T extends EngineConfig["type"]>(config: FlowrConfig, engine: T) => (EngineConfig & {
+    readonly getForEngine: <T extends EngineConfig["type"]>(this: void, config: FlowrConfig, engine: T) => (EngineConfig & {
         type: T;
     }) | undefined;
     /**
@@ -272,10 +272,10 @@ export declare const FlowrConfig: {
      * console.log(newConfig.solver.variables); // Output: "builtin"
      * ```
      */
-    readonly setInConfig: <Path extends ValidFlowrConfigPaths>(config: FlowrConfig, key: Path, value: PathValue<FlowrConfig, Path>) => FlowrConfig;
+    readonly setInConfig: <Path extends ValidFlowrConfigPaths>(this: void, config: FlowrConfig, key: Path, value: PathValue<FlowrConfig, Path>) => FlowrConfig;
     /**
      * Modifies the given config object in place by setting the given value at the given key, where the key is a dot-separated path to the value in the config object.
      * @see {@link setInConfig} for a version that returns a new config object instead of modifying the given one in place.
      */
-    readonly setInConfigInPlace: <Path extends ValidFlowrConfigPaths>(config: FlowrConfig, key: Path, value: PathValue<FlowrConfig, Path>) => void;
+    readonly setInConfigInPlace: <Path extends ValidFlowrConfigPaths>(this: void, config: FlowrConfig, key: Path, value: PathValue<FlowrConfig, Path>) => void;
 };

package/control-flow/extract-cfg.js

@@ -13,9 +13,9 @@ const vertex_1 = require("../dataflow/graph/vertex");
 const control_flow_graph_1 = require("./control-flow-graph");
 const cfg_simplification_1 = require("./cfg-simplification");
 const assert_1 = require("../util/assert");
-const built_in_1 = require("../dataflow/environments/built-in");
 const stateful_fold_1 = require("../r-bridge/lang-4.x/ast/model/processing/stateful-fold");
 const model_1 = require("../r-bridge/lang-4.x/ast/model/model");
+const built_in_proc_name_1 = require("../dataflow/environments/built-in-proc-name");
 const cfgFolds = {
     down: (n, down) => {
         if (r_function_definition_1.RFunctionDefinition.is(n)) {
@@ -382,7 +382,7 @@ function cfgFunctionCall(call, name, args, down) {
 }
 exports.ResolvedCallSuffix = control_flow_graph_1.CfgVertex.toExitId('-resolved-call');
 const OriginToFoldTypeMap = {
-    [built_in_1.BuiltInProcName.IfThenElse]: (folds, call, args, down) => {
+    [built_in_proc_name_1.BuiltInProcName.IfThenElse]: (folds, call, args, down) => {
         // arguments are in order!
         return folds.foldIfThenElse(call, // we will have to this more sophisticated if we rewrite the dfg based generation
         args[0] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[0], args[1] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[1], args[2] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[2], down);

package/control-flow/semantic-cfg-guided-visitor.d.ts

@@ -11,10 +11,10 @@ import type { RLogical } from '../r-bridge/lang-4.x/ast/model/nodes/r-logical';
 import type { DataflowGraph, FunctionArgument } from '../dataflow/graph/graph';
 import type { NoInfo, RNode } from '../r-bridge/lang-4.x/ast/model/model';
 import type { RSymbol } from '../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
-import { BuiltInProcName } from '../dataflow/environments/built-in';
 import type { RExpressionList } from '../r-bridge/lang-4.x/ast/model/nodes/r-expression-list';
 import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
 import { RNull } from '../r-bridge/lang-4.x/convert-values';
+import { BuiltInProcName } from '../dataflow/environments/built-in-proc-name';
 export interface SemanticCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Dfg extends DataflowGraph = DataflowGraph> extends DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>, SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> {
     readonly ctx: ReadOnlyFlowrAnalyzerContext;
 }