@eagleoutice/flowr 2.6.2 → 2.7.0

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.6.1, R v4.5.0 (r-shell engine)
+    flowR repl using flowR v2.6.3, R grammar v14 (tree-sitter engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -33,15 +33,15 @@ It offers a wide variety of features, for example:
     
     
     ```text
-    Query: linter (6 ms)
+    Query: linter (2 ms)
        ╰ **Deprecated Functions** (deprecated-functions):
-           ╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":3,"processTimeMs":0}</code>
+           ╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":1,"processTimeMs":0}</code>
        ╰ **File Path Validity** (file-path-validity):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ _Metadata_: <code>{"totalReads":1,"totalUnknown":0,"totalWritesBeforeAlways":0,"totalValid":0,"searchTimeMs":1,"processTimeMs":0}</code>
+           ╰ _Metadata_: <code>{"totalReads":1,"totalUnknown":0,"totalWritesBeforeAlways":0,"totalValid":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Seeded Randomness** (seeded-randomness):
-           ╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>
+           ╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"callsWithOtherBranchProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Absolute Paths** (absolute-file-paths):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
@@ -53,12 +53,12 @@ It offers a wide variety of features, for example:
        ╰ **Network Functions** (network-functions):
            ╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Dataframe Access Validation** (dataframe-access-validation):
-           ╰ _Metadata_: <code>{"numOperations":0,"numAccesses":0,"totalAccessed":0,"searchTimeMs":0,"processTimeMs":1}</code>
+           ╰ _Metadata_: <code>{"numOperations":0,"numAccesses":0,"totalAccessed":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Dead Code** (dead-code):
            ╰ _Metadata_: <code>{"consideredNodes":5,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Useless Loops** (useless-loop):
            ╰ _Metadata_: <code>{"numOfUselessLoops":0,"searchTimeMs":0,"processTimeMs":0}</code>
-    All queries together required ≈6 ms (1ms accuracy, total 9 ms)
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -80,36 +80,36 @@ It offers a wide variety of features, for example:
     
     _Results (prettified and summarized):_
     
-    Query: **linter** (212 ms)\
+    Query: **linter** (3 ms)\
     &nbsp;&nbsp;&nbsp;╰ **Deprecated Functions** (deprecated-functions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":198,"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":5,"processTimeMs":1}</code>\
+    &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;╰ **Seeded Randomness** (seeded-randomness):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"consumerCalls":0,"callsWithFunctionProducers":0,"callsWithAssignmentProducers":0,"callsWithNonConstantProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>\
+    &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":2,"processTimeMs":1}</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):\
     &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"numMatches":0,"numBreak":0,"searchTimeMs":0,"processTimeMs":0}</code>\
     &nbsp;&nbsp;&nbsp;╰ **Network Functions** (network-functions):\
-    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;╰ _Metadata_: <code>{"totalCalls":0,"totalFunctionDefinitions":0,"searchTimeMs":0,"processTimeMs":1}</code>\
+    &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":2}</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":1}</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>\
-    _All queries together required ≈213 ms (1ms accuracy, total 213 ms)_
+    _All queries together required ≈3 ms (1ms accuracy, total 3 ms)_
     
     <details> <summary style="color:gray">Show Detailed Results as Json</summary>
     
-    The analysis required _213.3 ms_ (including parsing and normalization and the query) within the generation environment.
+    The analysis required _3.2 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 +126,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalCalls": 0,
               "totalFunctionDefinitions": 0,
-              "searchTimeMs": 198,
+              "searchTimeMs": 1,
               "processTimeMs": 0
             }
           },
@@ -148,8 +148,8 @@ It offers a wide variety of features, for example:
               "totalUnknown": 0,
               "totalWritesBeforeAlways": 0,
               "totalValid": 0,
-              "searchTimeMs": 5,
-              "processTimeMs": 1
+              "searchTimeMs": 1,
+              "processTimeMs": 0
             }
           },
           "seeded-randomness": {
@@ -159,6 +159,7 @@ It offers a wide variety of features, for example:
               "callsWithFunctionProducers": 0,
               "callsWithAssignmentProducers": 0,
               "callsWithNonConstantProducers": 0,
+              "callsWithOtherBranchProducers": 0,
               "searchTimeMs": 0,
               "processTimeMs": 0
             }
@@ -179,8 +180,8 @@ It offers a wide variety of features, for example:
             ".meta": {
               "totalConsidered": 1,
               "totalUnknown": 0,
-              "searchTimeMs": 2,
-              "processTimeMs": 1
+              "searchTimeMs": 1,
+              "processTimeMs": 0
             }
           },
           "unused-definitions": {
@@ -206,7 +207,7 @@ It offers a wide variety of features, for example:
               "totalCalls": 0,
               "totalFunctionDefinitions": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 1
+              "processTimeMs": 0
             }
           },
           "dataframe-access-validation": {
@@ -216,7 +217,7 @@ It offers a wide variety of features, for example:
               "numAccesses": 0,
               "totalAccessed": 0,
               "searchTimeMs": 0,
-              "processTimeMs": 2
+              "processTimeMs": 0
             }
           },
           "dead-code": {
@@ -224,7 +225,7 @@ It offers a wide variety of features, for example:
             ".meta": {
               "consideredNodes": 5,
               "searchTimeMs": 0,
-              "processTimeMs": 1
+              "processTimeMs": 0
             }
           },
           "useless-loop": {
@@ -237,11 +238,11 @@ It offers a wide variety of features, for example:
           }
         },
         ".meta": {
-          "timing": 212
+          "timing": 3
         }
       },
       ".meta": {
-        "timing": 213
+        "timing": 3
       }
     }
     ```
@@ -306,8 +307,8 @@ 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.6.1, R v4.5.0 (r-shell engine)
-    R> :slicer test/testfiles/example.R --criterion "11@sum"
+    flowR repl using flowR v2.6.3, R grammar v14 (tree-sitter engine)
+    R> :query @static-slice (11@sum) file://test/testfiles/example.R
     ```
     
     <details>
@@ -320,6 +321,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 ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -353,7 +355,7 @@ It offers a wide variety of features, for example:
         
 
 * 🚀 **fast data- and control-flow graphs**\
-  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">137.6 ms</span></i> (as of Oct 21, 2025), 
+  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">125 ms</span></i> (as of Nov 25, 2025), 
   _flowR_ can analyze the data- and control-flow of the average real-world R 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 graph.
 
@@ -389,7 +391,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.6.1, R v4.5.0 (r-shell engine)
+    flowR repl using flowR v2.6.3, R grammar v14 (tree-sitter engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -694,7 +696,7 @@ It offers a wide variety of features, for example:
     ```
     
     	
-    (The analysis required _14.2 ms_ (including parse and normalize, using the [r-shell](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
+    (The analysis required _2.1 ms_ (including parse and normalize, using the [tree-sitter](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
     
     
     
@@ -873,6 +875,6 @@ It is partially supported by the German Research Foundation (DFG) under the gran
 
 ### Generation Notice
 
-Please notice that this file was generated automatically using the file [src/documentation/print-readme.ts](https://github.com/flowr-analysis/flowr/tree/main//src/documentation/print-readme.ts) as a source.\
+Please notice that this file was generated automatically using the file [src/documentation/doc-readme.ts](https://github.com/flowr-analysis/flowr/tree/main//src/documentation/doc-readme.ts) as a source.\
 If you want to make changes please edit the source file (the CI will take care of the rest).
-In fact, many files in the [wiki](https://github.com/flowr-analysis/flowr/wiki) are generated, so make sure to check for the source file if you want to make changes.
+In fact, many files in the [wiki](https://github.com/flowr-analysis/flowr/wiki) are generated, so make sure to check for the source file if you want to make changes.

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

@@ -1,5 +1,5 @@
 import { type CfgBasicBlockVertex, type CfgSimpleVertex, type ControlFlowInformation } from '../../control-flow/control-flow-graph';
-import { type SemanticCfgGuidedVisitorConfiguration, SemanticCfgGuidedVisitor } from '../../control-flow/semantic-cfg-guided-visitor';
+import { SemanticCfgGuidedVisitor, type SemanticCfgGuidedVisitorConfiguration } from '../../control-flow/semantic-cfg-guided-visitor';
 import type { DataflowGraph } from '../../dataflow/graph/graph';
 import type { DataflowGraphVertexFunctionCall, DataflowGraphVertexVariableDefinition } from '../../dataflow/graph/vertex';
 import type { NoInfo } from '../../r-bridge/lang-4.x/ast/model/model';

package/abstract-interpretation/data-frame/absint-visitor.js

@@ -72,7 +72,7 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
         const targetNode = this.getNormalizedAst(target);
         const sourceNode = this.getNormalizedAst(source);
         if (node !== undefined && (0, assignment_mapper_1.isAssignmentTarget)(targetNode) && sourceNode !== undefined) {
-            node.info.dataFrame = (0, assignment_mapper_1.mapDataFrameVariableAssignment)(targetNode, sourceNode, this.config.dfg);
+            node.info.dataFrame = (0, assignment_mapper_1.mapDataFrameVariableAssignment)(targetNode, sourceNode, this.config.dfg, this.config.ctx);
             this.applyDataFrameAssignment(node);
             this.clearUnassignedInfo(targetNode);
         }
@@ -80,14 +80,14 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
     onAccessCall({ call }) {
         const node = this.getNormalizedAst(call.id);
         if (node !== undefined) {
-            node.info.dataFrame = (0, access_mapper_1.mapDataFrameAccess)(node, this.config.dfg);
+            node.info.dataFrame = (0, access_mapper_1.mapDataFrameAccess)(node, this.config.dfg, this.config.ctx);
             this.applyDataFrameExpression(node);
         }
     }
     onDefaultFunctionCall({ call }) {
         const node = this.getNormalizedAst(call.id);
         if (node !== undefined) {
-            node.info.dataFrame = (0, function_mapper_1.mapDataFrameFunctionCall)(node, this.config.dfg, this.config.flowrConfig);
+            node.info.dataFrame = (0, function_mapper_1.mapDataFrameFunctionCall)(node, this.config.dfg, this.config.ctx);
             this.applyDataFrameExpression(node);
         }
     }
@@ -96,7 +96,7 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
         const targetNode = this.getNormalizedAst(target);
         const sourceNode = this.getNormalizedAst(source);
         if (node !== undefined && targetNode !== undefined && sourceNode !== undefined) {
-            node.info.dataFrame = (0, replacement_mapper_1.mapDataFrameReplacementFunction)(node, sourceNode, this.config.dfg);
+            node.info.dataFrame = (0, replacement_mapper_1.mapDataFrameReplacementFunction)(node, sourceNode, this.config.dfg, this.config.ctx);
             this.applyDataFrameExpression(node);
             this.clearUnassignedInfo(targetNode);
         }
@@ -119,7 +119,7 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
         if (!(0, absint_info_1.hasDataFrameExpressionInfo)(node)) {
             return;
         }
-        const maxColNames = this.config.flowrConfig.abstractInterpretation.dataFrame.maxColNames;
+        const maxColNames = this.config.ctx.config.abstractInterpretation.dataFrame.maxColNames;
         let value = dataframe_domain_1.DataFrameDomain.top(maxColNames);
         for (const { operation, operand, type, options, ...args } of node.info.dataFrame.operations) {
             const operandValue = operand !== undefined ? (0, shape_inference_1.resolveIdToDataFrameShape)(operand, this.config.dfg, this.newDomain) : value;
@@ -159,7 +159,7 @@ class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.Seman
             .toArray() ?? [];
     }
     shouldWiden(vertex) {
-        return (this.visited.get(vertex.id) ?? 0) >= this.config.flowrConfig.abstractInterpretation.dataFrame.wideningThreshold;
+        return (this.visited.get(vertex.id) ?? 0) >= this.config.ctx.config.abstractInterpretation.dataFrame.wideningThreshold;
     }
     clearUnassignedInfo(node) {
         if ((0, absint_info_1.hasDataFrameInfoMarker)(node, absint_info_1.DataFrameInfoMarker.Unassigned)) {

package/abstract-interpretation/data-frame/dataframe-domain.d.ts

@@ -2,11 +2,12 @@ import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-i
 import type { AbstractDomainValue } from '../domains/abstract-domain';
 import { PosIntervalDomain } from '../domains/positive-interval-domain';
 import { ProductDomain } from '../domains/product-domain';
-import { SetUpperBoundDomain } from '../domains/set-upper-bound-domain';
+import type { SetRangeLimit } from '../domains/set-range-domain';
+import { SetRangeDomain } from '../domains/set-range-domain';
 import { StateAbstractDomain } from '../domains/state-abstract-domain';
 /** The type of the abstract product representing the shape of data frames */
 export type AbstractDataFrameShape = {
-    colnames: SetUpperBoundDomain<string>;
+    colnames: SetRangeDomain<string>;
     cols: PosIntervalDomain;
     rows: PosIntervalDomain;
 };
@@ -16,7 +17,7 @@ export type DataFrameShapeProperty<Property extends keyof AbstractDataFrameShape
  * The data frame abstract domain as product domain of a column names domain, column count domain, and row count domain.
  */
 export declare class DataFrameDomain extends ProductDomain<AbstractDataFrameShape> {
-    constructor(value: AbstractDataFrameShape, maxColNames?: number);
+    constructor(value: AbstractDataFrameShape, maxColNames?: SetRangeLimit | number);
     create(value: AbstractDataFrameShape): this;
     /**
      * The current abstract value of the column names domain.
@@ -30,10 +31,6 @@ export declare class DataFrameDomain extends ProductDomain<AbstractDataFrameShap
      * The current abstract value of the row count domain.
      */
     get rows(): AbstractDataFrameShape['rows'];
-    /**
-     * The maximum number of inferred column names of the column names domain.
-     */
-    get maxColNames(): number;
     static bottom(maxColNames?: number): DataFrameDomain;
     static top(maxColNames?: number): DataFrameDomain;
 }

package/abstract-interpretation/data-frame/dataframe-domain.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.DataFrameStateDomain = exports.DataFrameDomain = void 0;
 const positive_interval_domain_1 = require("../domains/positive-interval-domain");
 const product_domain_1 = require("../domains/product-domain");
-const set_upper_bound_domain_1 = require("../domains/set-upper-bound-domain");
+const set_range_domain_1 = require("../domains/set-range-domain");
 const state_abstract_domain_1 = require("../domains/state-abstract-domain");
 /**
  * The data frame abstract domain as product domain of a column names domain, column count domain, and row count domain.
@@ -11,13 +11,13 @@ const state_abstract_domain_1 = require("../domains/state-abstract-domain");
 class DataFrameDomain extends product_domain_1.ProductDomain {
     constructor(value, maxColNames) {
         super({
-            colnames: new set_upper_bound_domain_1.SetUpperBoundDomain(value.colnames.value, maxColNames ?? value.colnames.limit),
+            colnames: new set_range_domain_1.SetRangeDomain(value.colnames.value, maxColNames ?? value.colnames.limit),
             cols: new positive_interval_domain_1.PosIntervalDomain(value.cols.value),
             rows: new positive_interval_domain_1.PosIntervalDomain(value.rows.value)
         });
     }
     create(value) {
-        return new DataFrameDomain(value, this.maxColNames);
+        return new DataFrameDomain(value, this.colnames.limit);
     }
     /**
      * The current abstract value of the column names domain.
@@ -37,22 +37,16 @@ class DataFrameDomain extends product_domain_1.ProductDomain {
     get rows() {
         return this.value.rows;
     }
-    /**
-     * The maximum number of inferred column names of the column names domain.
-     */
-    get maxColNames() {
-        return this.value.colnames.limit;
-    }
     static bottom(maxColNames) {
         return new DataFrameDomain({
-            colnames: set_upper_bound_domain_1.SetUpperBoundDomain.bottom(maxColNames),
+            colnames: set_range_domain_1.SetRangeDomain.bottom(maxColNames),
             cols: positive_interval_domain_1.PosIntervalDomain.bottom(),
             rows: positive_interval_domain_1.PosIntervalDomain.bottom()
         });
     }
     static top(maxColNames) {
         return new DataFrameDomain({
-            colnames: set_upper_bound_domain_1.SetUpperBoundDomain.top(maxColNames),
+            colnames: set_range_domain_1.SetRangeDomain.top(maxColNames),
             cols: positive_interval_domain_1.PosIntervalDomain.top(),
             rows: positive_interval_domain_1.PosIntervalDomain.top()
         });

package/abstract-interpretation/data-frame/mappers/access-mapper.d.ts

@@ -3,13 +3,15 @@ import type { RNode } from '../../../r-bridge/lang-4.x/ast/model/model';
 import type { RAccess, RNamedAccess } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-access';
 import type { ParentInformation } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { DataFrameExpressionInfo } from '../absint-info';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 /**
  * Maps a concrete data frame access to abstract data frame operations.
  * @param node - The R node of the access
  * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx  - The read-only Flowr analyzer context
  * @returns Data frame expression info containing the mapped abstract data frame operations, or `undefined` if the node does not represent a data frame access
  */
-export declare function mapDataFrameAccess(node: RNode<ParentInformation>, dfg: DataflowGraph): DataFrameExpressionInfo | undefined;
+export declare function mapDataFrameAccess(node: RNode<ParentInformation>, dfg: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext): DataFrameExpressionInfo | undefined;
 /**
  * Checks whether an access node represents a string-based access (`$` or `@`), and no index-based access (`[` or `[[`).
  */

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

@@ -18,13 +18,14 @@ const SpecialAccessArgumentsMapper = {
  * Maps a concrete data frame access to abstract data frame operations.
  * @param node - The R node of the access
  * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx  - The read-only Flowr analyzer context
  * @returns Data frame expression info containing the mapped abstract data frame operations, or `undefined` if the node does not represent a data frame access
  */
-function mapDataFrameAccess(node, dfg) {
+function mapDataFrameAccess(node, dfg, ctx) {
     if (node.type !== type_1.RType.Access) {
         return;
     }
-    const resolveInfo = { graph: dfg, idMap: dfg.idMap, full: true, resolve: config_1.VariableResolve.Alias };
+    const resolveInfo = { graph: dfg, idMap: dfg.idMap, full: true, resolve: config_1.VariableResolve.Alias, ctx };
     let operations;
     if (isStringBasedAccess(node)) {
         operations = mapDataFrameNamedColumnAccess(node, resolveInfo);

package/abstract-interpretation/data-frame/mappers/arguments.js

@@ -15,11 +15,11 @@ exports.isValidColName = isValidColName;
 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");
+const visitor_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/visitor");
 const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
 const convert_values_1 = require("../../../r-bridge/lang-4.x/convert-values");
-const shape_inference_1 = require("../shape-inference");
 const resolve_args_1 = require("../resolve-args");
-const visitor_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/visitor");
+const shape_inference_1 = require("../shape-inference");
 /** Regular expression representing valid columns names, e.g. for `data.frame` */
 const ColNamesRegex = /^[A-Za-z.][A-Za-z0-9_.]*$/;
 /**

package/abstract-interpretation/data-frame/mappers/assignment-mapper.d.ts

@@ -4,15 +4,17 @@ import type { RString } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-strin
 import type { RSymbol } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import type { ParentInformation } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { DataFrameAssignmentInfo } from '../absint-info';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 /**
  * Maps a concrete data frame assignment to data frame assignment info containing the ids of the identifier and assigned expression.
  * We currently do not support function assignments dealing with data frames.
  * @param identifier - The R node of the variable identifier
  * @param expression - The R node of the assigned expression
  * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx - The analysis context
  * @returns Data frame assignment info containing the IDs of the identifier and expression, or `undefined` if the node does not represent a data frame assignment
  */
-export declare function mapDataFrameVariableAssignment(identifier: RSymbol<ParentInformation> | RString<ParentInformation>, expression: RNode<ParentInformation>, dfg: DataflowGraph): DataFrameAssignmentInfo | undefined;
+export declare function mapDataFrameVariableAssignment(identifier: RSymbol<ParentInformation> | RString<ParentInformation>, expression: RNode<ParentInformation>, dfg: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext): DataFrameAssignmentInfo | undefined;
 /**
  * Checks whether a R node represents an assignment target, i.e. is a `RSymbol` or `RString`.
  */

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

@@ -11,10 +11,11 @@ const arguments_1 = require("./arguments");
  * @param identifier - The R node of the variable identifier
  * @param expression - The R node of the assigned expression
  * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx - The analysis context
  * @returns Data frame assignment info containing the IDs of the identifier and expression, or `undefined` if the node does not represent a data frame assignment
  */
-function mapDataFrameVariableAssignment(identifier, expression, dfg) {
-    const resolveInfo = { graph: dfg, idMap: dfg.idMap, full: true, resolve: config_1.VariableResolve.Alias };
+function mapDataFrameVariableAssignment(identifier, expression, dfg, ctx) {
+    const resolveInfo = { graph: dfg, idMap: dfg.idMap, full: true, resolve: config_1.VariableResolve.Alias, ctx };
     if (!(0, arguments_1.isDataFrameArgument)(expression, resolveInfo)) {
         return;
     }

package/abstract-interpretation/data-frame/mappers/function-mapper.d.ts

@@ -1,6 +1,6 @@
-import { type FlowrConfigOptions } from '../../../config';
 import { type ResolveInfo } from '../../../dataflow/eval/resolve/alias-tracking';
 import type { DataflowGraph } from '../../../dataflow/graph/graph';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 import type { RNode } from '../../../r-bridge/lang-4.x/ast/model/model';
 import { type RFunctionArgument } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
 import type { ParentInformation } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
@@ -179,12 +179,12 @@ declare const DataFrameFunctionMapper: {
 type DataFrameFunction = keyof typeof DataFrameFunctionMapper;
 /**
  * Maps a concrete data frame function call to abstract data frame operations.
- * @param node   - The R node of the function call
- * @param dfg    - The data flow graph for resolving the arguments
- * @param config - The flowR configuration to use
+ * @param node - The R node of the function call
+ * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx  - The current flowR analyzer context
  * @returns Data frame expression info containing the mapped abstract data frame operations, or `undefined` if the node does not represent a data frame function call
  */
-export declare function mapDataFrameFunctionCall<Name extends DataFrameFunction>(node: RNode<ParentInformation>, dfg: DataflowGraph, config: FlowrConfigOptions): DataFrameExpressionInfo | undefined;
+export declare function mapDataFrameFunctionCall<Name extends DataFrameFunction>(node: RNode<ParentInformation>, dfg: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext): DataFrameExpressionInfo | undefined;
 declare function mapDataFrameCreate(args: readonly RFunctionArgument<ParentInformation>[], params: {
     checkNames: FunctionParameterLocation<boolean>;
     noDupNames: FunctionParameterLocation<boolean>;
@@ -204,7 +204,7 @@ declare function mapDataFrameRead(args: readonly RFunctionArgument<ParentInforma
     checkNames: FunctionParameterLocation<boolean>;
     noDupNames: FunctionParameterLocation<boolean>;
     noEmptyNames?: boolean;
-}, info: ResolveInfo, config: FlowrConfigOptions): DataFrameOperation[];
+}, info: ResolveInfo, ctx: ReadOnlyFlowrAnalyzerContext): DataFrameOperation[];
 declare function mapDataFrameColBind(args: readonly RFunctionArgument<ParentInformation>[], params: {
     special: string[];
 }, info: ResolveInfo): DataFrameOperation[] | undefined;
@@ -251,7 +251,7 @@ declare function mapDataFrameJoin(args: readonly RFunctionArgument<ParentInforma
     joinAll: FunctionParameterLocation<boolean>;
     joinLeft: FunctionParameterLocation<boolean>;
     joinRight: FunctionParameterLocation<boolean>;
-}, info: ResolveInfo, config: FlowrConfigOptions): DataFrameOperation[] | undefined;
+}, info: ResolveInfo, ctx: ReadOnlyFlowrAnalyzerContext): DataFrameOperation[] | undefined;
 declare function mapDataFrameIdentity(args: readonly RFunctionArgument<ParentInformation>[], params: {
     dataFrame: FunctionParameterLocation;
     special: string[];