@eagleoutice/flowr 2.6.3 → 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.2, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.6.3, R grammar v14 (tree-sitter engine)
     R> :query @linter "read.csv(\"/root/x.txt\")"
     ```
     
@@ -33,19 +33,19 @@ It offers a wide variety of features, for example:
     
     
     ```text
-    Query: linter (3 ms)
+    Query: linter (2 ms)
        ╰ **Deprecated Functions** (deprecated-functions):
            ╰ _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":0,"processTimeMs":1}</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,"callsWithOtherBranchProducers":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Absolute Paths** (absolute-file-paths):
            ╰ certain:
                ╰ Path `/root/x.txt` at 1.1-23
-           ╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":0,"processTimeMs":0}</code>
+           ╰ _Metadata_: <code>{"totalConsidered":1,"totalUnknown":0,"searchTimeMs":1,"processTimeMs":0}</code>
        ╰ **Unused Definitions** (unused-definitions):
            ╰ _Metadata_: <code>{"totalConsidered":0,"searchTimeMs":0,"processTimeMs":0}</code>
        ╰ **Naming Convention** (naming-convention):
@@ -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 ≈3 ms (1ms accuracy, total 3 ms)
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -105,11 +105,11 @@ 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>\
-    _All queries together required ≈3 ms (1ms accuracy, total 4 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 _3.7 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.
@@ -307,7 +307,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.2, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.6.3, R grammar v14 (tree-sitter engine)
     R> :query @static-slice (11@sum) file://test/testfiles/example.R
     ```
     
@@ -321,7 +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 ≈3 ms (1ms accuracy, total 4 ms)
+    All queries together required ≈2 ms (1ms accuracy, total 2 ms)
     ```
     
     
@@ -355,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!">138.7 ms</span></i> (as of Nov 9, 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.
 
@@ -391,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.2, R grammar v14 (tree-sitter engine)
+    flowR repl using flowR v2.6.3, R grammar v14 (tree-sitter engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -696,7 +696,7 @@ It offers a wide variety of features, for example:
     ```
     
     	
-    (The analysis required _2.3 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 _2.1 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/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,7 +80,7 @@ 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);
         }
     }
@@ -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);
         }

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,11 +1,11 @@
 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';
 import type { DataFrameExpressionInfo, DataFrameOperation } from '../absint-info';
 import { type FunctionParameterLocation } from './arguments';
-import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 /**
  * Represents the different types of data frames in R
  */

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

@@ -528,7 +528,7 @@ function mapDataFrameFunctionCall(node, dfg, ctx) {
     if (node.type !== type_1.RType.FunctionCall || !node.named) {
         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 (isDataFrameFunction(node.functionName.content)) {
         const functionName = node.functionName.content;
@@ -946,20 +946,20 @@ function mapDataFrameMutate(args, params, info) {
             columns: accessedNames
         });
     }
-    if (deletedCols === undefined || deletedCols.length > 0) {
+    if (mutatedCols === undefined || mutatedCols.length > 0 || deletedCols?.length === 0) {
         result.push({
-            operation: 'removeCols',
+            operation: 'mutateCols',
             operand: operand?.info.id,
-            colnames: deletedCols,
-            options: { maybe: true }
+            colnames: mutatedCols
         });
         operand = undefined;
     }
-    if (mutatedCols === undefined || mutatedCols.length > 0 || deletedCols?.length === 0) {
+    if (deletedCols === undefined || deletedCols.length > 0) {
         result.push({
-            operation: 'mutateCols',
+            operation: 'removeCols',
             operand: operand?.info.id,
-            colnames: mutatedCols
+            colnames: deletedCols,
+            options: { maybe: true }
         });
         operand = undefined;
     }

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

@@ -2,10 +2,12 @@ import type { DataflowGraph } from '../../../dataflow/graph/graph';
 import type { RNode } from '../../../r-bridge/lang-4.x/ast/model/model';
 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 replacement function to abstract data frame operations.
  * @param node - The R node of the replacement function
  * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx - The read-only Flowr analysis context
  * @returns Data frame expression info containing the mapped abstract data frame operations, or `undefined` if the node does not represent a data frame replacement function
  */
-export declare function mapDataFrameReplacementFunction(node: RNode<ParentInformation>, expression: RNode<ParentInformation>, dfg: DataflowGraph): DataFrameExpressionInfo | undefined;
+export declare function mapDataFrameReplacementFunction(node: RNode<ParentInformation>, expression: RNode<ParentInformation>, dfg: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext): DataFrameExpressionInfo | undefined;

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

@@ -21,11 +21,12 @@ const DataFrameReplacementFunctionMapper = {
  * Maps a concrete data frame replacement function to abstract data frame operations.
  * @param node - The R node of the replacement function
  * @param dfg  - The data flow graph for resolving the arguments
+ * @param ctx - The read-only Flowr analysis context
  * @returns Data frame expression info containing the mapped abstract data frame operations, or `undefined` if the node does not represent a data frame replacement function
  */
-function mapDataFrameReplacementFunction(node, expression, dfg) {
+function mapDataFrameReplacementFunction(node, expression, dfg, ctx) {
     const parent = hasParentReplacement(node, dfg) ? dfg.idMap?.get(node.info.parent) : undefined;
-    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 (node.type === type_1.RType.Access) {
         if (node.access.every(arg => arg === r_function_call_1.EmptyArgument)) {