@eagleoutice/flowr 2.8.3 → 2.8.5

package/cli/repl/core.js

@@ -61,6 +61,7 @@ const repl_main_1 = require("./commands/repl-main");
 const log_1 = require("../../util/log");
 const query_1 = require("../../queries/query");
 const strings_1 = require("../../util/text/strings");
+const instrument_dataflow_count_1 = require("../../dataflow/instrument/instrument-dataflow-count");
 let _replCompleterKeywords = undefined;
 function replCompleterKeywords() {
     if (_replCompleterKeywords === undefined) {
@@ -146,6 +147,10 @@ function handleString(code) {
 }
 async function replProcessStatement(output, statement, analyzer, allowRSessionAccess) {
     const time = Date.now();
+    const heatMap = new Map();
+    if (analyzer.inspectContext().config.repl.dfProcessorHeat) {
+        analyzer.context().config.solver.instrument.dataflowExtractors = (0, instrument_dataflow_count_1.instrumentDataflowCount)(heatMap, map => map.clear());
+    }
     if (statement.startsWith(':')) {
         const command = statement.slice(1).split(' ')[0].toLowerCase();
         const processor = (0, repl_commands_1.getCommand)(command);
@@ -201,6 +206,23 @@ async function replProcessStatement(output, statement, analyzer, allowRSessionAc
             // do nothing, this is just a nice-to-have
         }
     }
+    if (heatMap.size > 0 && analyzer.inspectContext().config.repl.dfProcessorHeat) {
+        const sorted = Array.from(heatMap.entries()).sort((a, b) => b[1] - a[1]);
+        console.log(output.formatter.format('[REPL Stats] Dataflow Processor Heatmap:', {
+            style: 3 /* FontStyles.Italic */,
+            effect: ansi_1.ColorEffect.Foreground,
+            color: 7 /* Colors.White */
+        }));
+        const longestKey = Math.max(...Array.from(heatMap.keys(), k => k.length));
+        const longestValue = Math.max(...Array.from(heatMap.values(), v => v.toString().length));
+        for (const [rType, count] of sorted) {
+            console.log(output.formatter.format(` - ${(rType + ':').padEnd(longestKey + 1, ' ')} ${count.toString().padStart(longestValue, ' ')}`, {
+                style: 3 /* FontStyles.Italic */,
+                effect: ansi_1.ColorEffect.Foreground,
+                color: 7 /* Colors.White */
+            }));
+        }
+    }
 }
 /**
  * This function interprets the given `expr` as a REPL command (see {@link repl} for more on the semantics).

package/config.d.ts

@@ -3,6 +3,9 @@ import Joi from 'joi';
 import type { BuiltInDefinitions } from './dataflow/environments/built-in-config';
 import type { KnownParser } from './r-bridge/parser';
 import type { DeepWritable } from 'ts-essentials';
+import type { DataflowProcessors } from './dataflow/processor';
+import type { ParentInformation } from './r-bridge/lang-4.x/ast/model/processing/decorate';
+import type { FlowrAnalyzerContext } from './project/context/flowr-analyzer-context';
 export declare enum VariableResolve {
     /** Don't resolve constants at all */
     Disabled = "disabled",
@@ -102,6 +105,8 @@ export interface FlowrConfigOptions extends MergeableRecord {
     readonly repl: {
         /** Whether to show quick stats in the REPL after each evaluation */
         quickStats: boolean;
+        /** This instruments the dataflow processors to count how often each processor is called */
+        dfProcessorHeat: boolean;
     };
     readonly project: {
         /** Whether to resolve unknown paths loaded by the r project disk when trying to source/analyze files */
@@ -137,6 +142,15 @@ export interface FlowrConfigOptions extends MergeableRecord {
              */
             readonly maxIndexCount: number;
         };
+        /** These keys are only intended for use within code, allowing to instrument the dataflow analyzer! */
+        readonly instrument: {
+            /**
+             * Modify the dataflow processors used during dataflow analysis.
+             * Make sure that all processors required for correct analysis are still present!
+             * This may have arbitrary consequences on the analysis precision and performance, consider focusing on decorating existing processors instead of replacing them.
+             */
+            dataflowExtractors?: (extractor: DataflowProcessors<ParentInformation>, ctx: FlowrAnalyzerContext) => DataflowProcessors<ParentInformation>;
+        };
         /**
          * If lax source calls are active, flowR searches for sourced files much more freely,
          * based on the configurations you give it.

package/config.js

@@ -66,7 +66,8 @@ exports.defaultConfigOptions = {
         }
     },
     repl: {
-        quickStats: false
+        quickStats: false,
+        dfProcessorHeat: false
     },
     project: {
         resolveUnknownPathsOnDisk: true
@@ -84,6 +85,9 @@ exports.defaultConfigOptions = {
             searchPath: [],
             repeatedSourceLimit: 2
         },
+        instrument: {
+            dataflowExtractors: undefined
+        },
         slicer: {
             threshold: 50
         }
@@ -110,7 +114,8 @@ exports.flowrConfigFileSchema = joi_1.default.object({
         }).optional().description('Semantics regarding how to handle the R environment.')
     }).description('Configure language semantics and how flowR handles them.'),
     repl: joi_1.default.object({
-        quickStats: joi_1.default.boolean().optional().description('Whether to show quick stats in the REPL after each evaluation.')
+        quickStats: joi_1.default.boolean().optional().description('Whether to show quick stats in the REPL after each evaluation.'),
+        dfProcessorHeat: joi_1.default.boolean().optional().description('This instruments the dataflow processors to count how often each processor is called.')
     }).description('Configuration options for the REPL.'),
     project: joi_1.default.object({
         resolveUnknownPathsOnDisk: joi_1.default.boolean().optional().description('Whether to resolve unknown paths loaded by the r project disk when trying to source/analyze files.')
@@ -131,6 +136,9 @@ exports.flowrConfigFileSchema = joi_1.default.object({
         pointerTracking: joi_1.default.alternatives(joi_1.default.boolean(), joi_1.default.object({
             maxIndexCount: joi_1.default.number().required().description('The maximum number of indices tracked per object with the pointer analysis.')
         })).description('Whether to track pointers in the dataflow graph, if not, the graph will be over-approximated wrt. containers and accesses.'),
+        instrument: joi_1.default.object({
+            dataflowExtractors: joi_1.default.any().optional().description('These keys are only intended for use within code, allowing to instrument the dataflow analyzer!')
+        }),
         resolveSource: joi_1.default.object({
             dropPaths: joi_1.default.string().valid(...Object.values(DropPathsOption)).description('Allow to drop the first or all parts of the sourced path, if it is relative.'),
             ignoreCapitalization: joi_1.default.boolean().description('Search for filenames matching in the lowercase.'),

package/control-flow/extract-cfg.js

@@ -148,8 +148,10 @@ function cfgIfThenElse(ifNode, condition, then, otherwise) {
     for (const entryPoint of condition.entryPoints) {
         graph.addEdge(entryPoint, ifId, { label: 0 /* CfgEdgeType.Fd */ });
     }
-    for (const exit of [...then.exitPoints, ...otherwise?.exitPoints ?? []]) {
-        graph.addEdge(ifId + '-exit', exit, { label: 0 /* CfgEdgeType.Fd */ });
+    for (const exits of [then.exitPoints, otherwise?.exitPoints ?? []]) {
+        for (const exit of exits) {
+            graph.addEdge(ifId + '-exit', exit, { label: 0 /* CfgEdgeType.Fd */ });
+        }
     }
     if (!otherwise) {
         for (const e of condition.exitPoints) {
@@ -173,8 +175,10 @@ function cfgRepeat(repeat, body) {
         graph.addEdge(entryPoint, repeat.info.id, { label: 0 /* CfgEdgeType.Fd */ });
     }
     // loops automatically
-    for (const next of [...body.nexts, ...body.exitPoints]) {
-        graph.addEdge(repeat.info.id, next, { label: 0 /* CfgEdgeType.Fd */ });
+    for (const nexts of [body.nexts, body.exitPoints]) {
+        for (const next of nexts) {
+            graph.addEdge(repeat.info.id, next, { label: 0 /* CfgEdgeType.Fd */ });
+        }
     }
     for (const breakPoint of body.breaks) {
         graph.addEdge(repeat.info.id + '-exit', breakPoint, { label: 0 /* CfgEdgeType.Fd */ });
@@ -195,8 +199,10 @@ function cfgWhile(whileLoop, condition, body) {
             graph.addEdge(entry, e, { label: 1 /* CfgEdgeType.Cd */, when: convert_values_1.RTrue, caused: whileId });
         }
     }
-    for (const next of [...body.nexts, ...body.exitPoints]) {
-        graph.addEdge(whileId, next, { label: 0 /* CfgEdgeType.Fd */ });
+    for (const nexts of [body.nexts, body.exitPoints]) {
+        for (const next of nexts) {
+            graph.addEdge(whileId, next, { label: 0 /* CfgEdgeType.Fd */ });
+        }
     }
     for (const breakPoint of body.breaks) {
         graph.addEdge(whileId + '-exit', breakPoint, { label: 0 /* CfgEdgeType.Fd */ });
@@ -230,8 +236,10 @@ function cfgFor(forLoop, variable, vector, body) {
             graph.addEdge(entry, e, { label: 1 /* CfgEdgeType.Cd */, when: convert_values_1.RTrue, caused: forLoopId });
         }
     }
-    for (const next of [...body.nexts, ...body.exitPoints]) {
-        graph.addEdge(forLoopId, next, { label: 0 /* CfgEdgeType.Fd */ });
+    for (const points of [body.nexts, body.exitPoints]) {
+        for (const next of points) {
+            graph.addEdge(forLoopId, next, { label: 0 /* CfgEdgeType.Fd */ });
+        }
     }
     for (const breakPoint of body.breaks) {
         graph.addEdge(forLoopId + '-exit', breakPoint, { label: 0 /* CfgEdgeType.Fd */ });
@@ -257,10 +265,14 @@ function cfgFunctionDefinition(fn, params, body) {
     graph.addVertex({ id: fnId + '-exit', type: control_flow_graph_1.CfgVertexType.EndMarker, root: fnId }, false);
     graph.addVertex({ id: fnId, children, type: identifyMayStatementType(fn), mid: paramExits, end: [fnId + '-exit'] });
     graph.mergeWith(body.graph, true);
-    children.push(...body.graph.rootIds());
+    for (const r of body.graph.rootIds()) {
+        children.push(r);
+    }
     for (const param of params) {
         graph.mergeWith(param.graph, true);
-        children.push(...param.graph.rootIds());
+        for (const r of param.graph.rootIds()) {
+            children.push(r);
+        }
         for (const entry of param.entryPoints) {
             graph.addEdge(entry, fnId, { label: 0 /* CfgEdgeType.Fd */ });
         }
@@ -282,7 +294,14 @@ function cfgFunctionDefinition(fn, params, body) {
 function cfgFunctionCall(call, name, args, exit = 'exit') {
     const callId = call.info.id;
     const graph = name.graph;
-    const info = { graph, breaks: [...name.breaks], nexts: [...name.nexts], returns: [...name.returns], exitPoints: [callId + '-' + exit], entryPoints: [callId] };
+    const info = {
+        graph,
+        breaks: Array.from(name.breaks),
+        nexts: Array.from(name.nexts),
+        returns: Array.from(name.returns),
+        exitPoints: [callId + '-' + exit],
+        entryPoints: [callId]
+    };
     graph.addVertex({ id: callId, type: identifyMayStatementType(call), mid: name.exitPoints, end: [callId + '-' + exit] });
     for (const entryPoint of name.entryPoints) {
         graph.addEdge(entryPoint, callId, { label: 0 /* CfgEdgeType.Fd */ });
@@ -333,8 +352,10 @@ function cfgFunctionCallWithDataflow(graph) {
                 type: control_flow_graph_1.CfgVertexType.EndMarker,
                 root: call.info.id
             });
-            for (const exit of [...baseCfg.exitPoints, ...exits]) {
-                baseCfg.graph.addEdge(call.info.id + exports.ResolvedCallSuffix, exit, { label: 0 /* CfgEdgeType.Fd */ });
+            for (const col of [baseCfg.exitPoints, exits]) {
+                for (const exit of col) {
+                    baseCfg.graph.addEdge(call.info.id + exports.ResolvedCallSuffix, exit, { label: 0 /* CfgEdgeType.Fd */ });
+                }
             }
             return {
                 ...baseCfg,
@@ -380,7 +401,7 @@ function cfgArgumentOrParameter(node, name, value) {
 }
 function cfgBinaryOp(binOp, lhs, rhs) {
     const graph = new control_flow_graph_1.ControlFlowGraph().mergeWith(lhs.graph).mergeWith(rhs.graph);
-    const result = { graph, breaks: [...lhs.breaks, ...rhs.breaks], nexts: [...lhs.nexts, ...rhs.nexts], returns: [...lhs.returns, ...rhs.returns], entryPoints: [binOp.info.id], exitPoints: [binOp.info.id + '-exit'] };
+    const result = { graph, breaks: lhs.breaks.concat(rhs.breaks), nexts: lhs.nexts.concat(rhs.nexts), returns: lhs.returns.concat(rhs.returns), entryPoints: [binOp.info.id], exitPoints: [binOp.info.id + '-exit'] };
     graph.addVertex({ id: binOp.info.id, type: binOp.flavor === 'assignment' ? control_flow_graph_1.CfgVertexType.Statement : control_flow_graph_1.CfgVertexType.Expression, end: [binOp.info.id + '-exit'] });
     graph.addVertex({ id: binOp.info.id + '-exit', type: control_flow_graph_1.CfgVertexType.EndMarker, root: binOp.info.id });
     for (const exitPoint of lhs.exitPoints) {

package/core/print/slice-diff-ansi.js

@@ -13,7 +13,7 @@ function mergeJointRangesInSorted(loc) {
             return [
                 ...acc.slice(0, -1), {
                     selected: curr.selected || acc[acc.length - 1].selected,
-                    location: (0, range_1.mergeRanges)(acc[acc.length - 1].location, curr.location)
+                    location: (0, range_1.mergeRanges)([acc[acc.length - 1].location, curr.location])
                 }
             ];
         }

package/dataflow/extractor.js

@@ -89,7 +89,7 @@ function resolveLinkToSideEffects(ast, graph) {
             continue;
         }
         /* this has to change whenever we add a new link to relations because we currently offer no abstraction for the type */
-        const potentials = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(s.id, cf.graph, graph, s.linkTo, knownCalls);
+        const potentials = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(s.id, cf?.graph, graph, s.linkTo, knownCalls);
         for (const pot of potentials) {
             graph.addEdge(s.id, pot, edge_1.EdgeType.Reads);
         }
@@ -113,7 +113,7 @@ function produceDataFlowGraph(parser, completeAst, ctx) {
         parser,
         completeAst,
         environment: ctx.env.makeCleanEnv(),
-        processors: exports.processors,
+        processors: ctx.config.solver.instrument.dataflowExtractors?.(exports.processors, ctx) ?? exports.processors,
         controlDependencies: undefined,
         referenceChain: [files[0].filePath],
         ctx

package/dataflow/graph/graph.js

@@ -5,7 +5,6 @@ exports.isPositionalArgument = isPositionalArgument;
 exports.isNamedArgument = isNamedArgument;
 exports.getReferenceOfArgument = getReferenceOfArgument;
 const assert_1 = require("../../util/assert");
-const diff_dataflow_graph_1 = require("./diff-dataflow-graph");
 const vertex_1 = require("./vertex");
 const arrays_1 = require("../../util/collections/arrays");
 const r_function_call_1 = require("../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
@@ -385,9 +384,6 @@ function mergeNodeInfos(current, next) {
     if (current.tag === vertex_1.VertexType.VariableDefinition) {
         (0, assert_1.guard)(current.scope === next.scope, 'nodes to be joined for the same id must have the same scope');
     }
-    else if (current.tag === vertex_1.VertexType.FunctionCall) {
-        (0, assert_1.guard)((0, diff_dataflow_graph_1.equalFunctionArguments)(current.id, current.args, next.args), 'nodes to be joined for the same id must have the same function call information');
-    }
     else if (current.tag === vertex_1.VertexType.FunctionDefinition) {
         (0, assert_1.guard)(current.scope === next.scope, 'nodes to be joined for the same id must have the same scope');
         current.exitPoints = (0, arrays_1.uniqueArrayMerge)(current.exitPoints, next.exitPoints);

package/dataflow/instrument/instrument-dataflow-count.d.ts

@@ -0,0 +1,9 @@
+import type { DataflowProcessors } from '../processor';
+import type { ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import type { FlowrAnalyzerContext } from '../../project/context/flowr-analyzer-context';
+import type { RType } from '../../r-bridge/lang-4.x/ast/model/type';
+/**
+ * This takes the out parameter `countMap` and fills it with the count of how many times each RType was processed.
+ * The accompanying `reset` function can be used to reset the map to an empty state.
+ */
+export declare function instrumentDataflowCount(countMap: Map<RType, number>, reset: (map: Map<RType, number>) => void): (extractor: DataflowProcessors<ParentInformation>, ctx: FlowrAnalyzerContext) => DataflowProcessors<ParentInformation>;

package/dataflow/instrument/instrument-dataflow-count.js

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.instrumentDataflowCount = instrumentDataflowCount;
+/**
+ * This takes the out parameter `countMap` and fills it with the count of how many times each RType was processed.
+ * The accompanying `reset` function can be used to reset the map to an empty state.
+ */
+function instrumentDataflowCount(countMap, reset) {
+    return (extractor, _ctx) => {
+        reset(countMap);
+        const instrumented = {};
+        for (const [key, processor] of Object.entries(extractor)) {
+            instrumented[key] = ((...args) => {
+                const prev = countMap.get(key) ?? 0;
+                countMap.set(key, prev + 1);
+                return processor(...args);
+            });
+        }
+        return instrumented;
+    };
+}
+//# sourceMappingURL=instrument-dataflow-count.js.map

package/dataflow/internal/process/functions/call/built-in/built-in-assignment.js

@@ -221,13 +221,20 @@ function extractSourceAndTarget(args) {
  * Promotes the ingoing/unknown references of target (an assignment) to definitions
  */
 function produceWrittenNodes(rootId, target, referenceType, data, makeMaybe, value) {
-    return target.in.concat(target.unknownReferences).map(ref => ({
-        ...ref,
-        type: referenceType,
-        definedAt: rootId,
-        controlDependencies: data.controlDependencies ?? (makeMaybe ? [] : undefined),
-        value
-    }));
+    const written = [];
+    for (const refs of [target.in, target.unknownReferences]) {
+        for (const ref of refs) {
+            written.push({
+                nodeId: ref.nodeId,
+                name: ref.name,
+                type: referenceType,
+                definedAt: rootId,
+                controlDependencies: data.controlDependencies ?? (makeMaybe ? [] : undefined),
+                value
+            });
+        }
+    }
+    return written;
 }
 function processAssignmentToString(target, args, name, rootId, data, config, source) {
     const symbol = {

package/dataflow/internal/process/functions/call/built-in/built-in-expression-list.js

@@ -126,8 +126,10 @@ function processExpressionList(name, args, rootId, data) {
         }
         out = out.concat(processed.out);
         // all inputs that have not been written until now are read!
-        for (const read of processed.in.concat(processed.unknownReferences)) {
-            linkReadNameToWriteIfPossible(read, environment, listEnvironments, remainingRead, nextGraph);
+        for (const ls of [processed.in, processed.unknownReferences]) {
+            for (const read of ls) {
+                linkReadNameToWriteIfPossible(read, environment, listEnvironments, remainingRead, nextGraph);
+            }
         }
         const calledEnvs = (0, linker_1.linkFunctionCalls)(nextGraph, data.completeAst.idMap, processed.graph);
         for (const c of calledEnvs) {

package/documentation/wiki-interface.js

@@ -241,7 +241,8 @@ ${(0, doc_code_1.codeBlock)('json', JSON.stringify({
             }
         },
         repl: {
-            quickStats: false
+            quickStats: false,
+            dfProcessorHeat: false
         },
         project: {
             resolveUnknownPathsOnDisk: true
@@ -257,6 +258,7 @@ ${(0, doc_code_1.codeBlock)('json', JSON.stringify({
                 inferWorkingDirectory: config_1.InferWorkingDirectory.ActiveScript,
                 searchPath: []
             },
+            instrument: {},
             slicer: {
                 threshold: 50
             }

package/documentation/wiki-query.js

@@ -457,7 +457,7 @@ ${await (0, doc_repl_1.documentReplSession)(shell, [
         ])}
 
 One of the most useful options to change on-the-fly are probably those under \`repl\`. For example, setting \`repl.quickStats=true\`
-enables quick statistics after each REPL command.
+enables quick statistics after each REPL command. Likewise, setting \`repl.dfProcessorHeat=true\` enables the dataflow processor heatmap after each REPL command.
 `;
     }
 });

package/linter/linter-format.d.ts

@@ -11,6 +11,7 @@ import type { SourceRange } from '../util/range';
 import type { DataflowInformation } from '../dataflow/info';
 import type { ControlFlowInformation } from '../control-flow/control-flow-graph';
 import type { ReadonlyFlowrAnalysisProvider } from '../project/flowr-analyzer';
+import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 export interface LinterRuleInformation<Config extends MergeableRecord = never> {
     /** Human-Readable name of the linting rule. */
     readonly name: string;
@@ -94,11 +95,16 @@ export type LintQuickFix = LintQuickFixReplacement | LintQuickFixRemove;
  * A linting result for a single linting rule match.
  */
 export interface LintingResult {
+    /** The certainty of the linting result. */
     readonly certainty: LintingResultCertainty;
     /**
      * If available, what to do to fix the linting result.
      */
     readonly quickFix?: LintQuickFix[];
+    /**
+     * The node ID involved in this linting result, if applicable.
+     */
+    readonly involvedId: NodeId | undefined;
 }
 export interface ConfiguredLintingRule<Name extends LintingRuleNames = LintingRuleNames> {
     readonly name: Name;

package/linter/linter-rules.d.ts

@@ -9,6 +9,7 @@ export declare const LintingRules: {
         readonly processSearchResult: <T extends import("../search/flowr-search").FlowrSearchElement<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>(elements: import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
             results: {
                 certainty: import("./linter-format").LintingResultCertainty;
+                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
                 function: import("../dataflow/environments/identifier").Identifier;
                 range: import("../util/range").SourceRange;
             }[];
@@ -64,6 +65,7 @@ export declare const LintingRules: {
             analyzer: import("../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
         }) => {
             results: {
+                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
                 certainty: import("./linter-format").LintingResultCertainty;
                 function: import("../dataflow/environments/identifier").Identifier;
                 range: import("../util/range").SourceRange;
@@ -156,6 +158,7 @@ export declare const LintingRules: {
             analyzer: import("../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
         }) => {
             results: {
+                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
                 quickFix: import("./linter-format").LintQuickFixReplacement[] | undefined;
                 certainty: import("./linter-format").LintingResultCertainty;
                 detectedCasing: import("./rules/naming-convention").CasingConvention;
@@ -192,6 +195,7 @@ export declare const LintingRules: {
         }) => {
             results: {
                 certainty: import("./linter-format").LintingResultCertainty;
+                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
                 function: import("../dataflow/environments/identifier").Identifier;
                 range: import("../util/range").SourceRange;
             }[];
@@ -247,6 +251,7 @@ export declare const LintingRules: {
         }) => {
             results: {
                 certainty: import("./linter-format").LintingResultCertainty.Certain;
+                involvedId: undefined;
                 range: import("../util/range").SourceRange;
             }[];
             '.meta': import("./rules/dead-code").DeadCodeMetadata;
@@ -275,6 +280,7 @@ export declare const LintingRules: {
                 certainty: import("./linter-format").LintingResultCertainty.Certain;
                 name: string;
                 range: import("../util/range").SourceRange;
+                involvedId: import("../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
             }[];
             '.meta': {
                 numOfUselessLoops: number;

package/linter/rules/dataframe-access-validation.js

@@ -65,6 +65,7 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
         }))
             .map(({ node, operand, ...accessed }) => ({
             ...accessed,
+            involvedId: node?.info.id,
             access: node?.lexeme ?? '???',
             ...(operand?.type === type_1.RType.Symbol ? { operand: operand.content } : {}),
             range: node?.info.fullRange ?? node?.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),

package/linter/rules/dead-code.d.ts

@@ -26,6 +26,7 @@ export declare const DEAD_CODE: {
     }) => {
         results: {
             certainty: LintingResultCertainty.Certain;
+            involvedId: undefined;
             range: SourceRange;
         }[];
         '.meta': DeadCodeMetadata;

package/linter/rules/dead-code.js

@@ -29,6 +29,7 @@ exports.DEAD_CODE = {
                 .filter(assert_1.isNotUndefined)))
                 .map(range => ({
                 certainty: linter_format_1.LintingResultCertainty.Certain,
+                involvedId: undefined,
                 range
             })),
             '.meta': meta

package/linter/rules/deprecated-functions.d.ts

@@ -6,6 +6,7 @@ export declare const DEPRECATED_FUNCTIONS: {
     readonly processSearchResult: <T extends import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>(elements: import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
         results: {
             certainty: import("../linter-format").LintingResultCertainty;
+            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
             function: import("../../dataflow/environments/identifier").Identifier;
             range: import("../../util/range").SourceRange;
         }[];

package/linter/rules/file-path-validity.js

@@ -39,6 +39,7 @@ exports.FILE_PATH_VALIDITY = {
                     metadata.totalUnknown++;
                     if (config.includeUnknown) {
                         return [{
+                                involvedId: matchingRead.nodeId,
                                 range,
                                 filePath: dependencies_query_format_1.Unknown,
                                 certainty: linter_format_1.LintingResultCertainty.Uncertain
@@ -65,6 +66,7 @@ exports.FILE_PATH_VALIDITY = {
                     return [];
                 }
                 return [{
+                        involvedId: matchingRead.nodeId,
                         range,
                         filePath: matchingRead.value,
                         certainty: writesBefore && writesBefore.length && writesBefore.every(w => w === logic_1.Ternary.Maybe) ? linter_format_1.LintingResultCertainty.Uncertain : linter_format_1.LintingResultCertainty.Certain

package/linter/rules/function-finder-util.d.ts

@@ -29,6 +29,7 @@ export declare const functionFinderUtil: {
     processSearchResult: <T extends FlowrSearchElement<ParentInformation>[]>(elements: FlowrSearchElements<ParentInformation, T>, _config: unknown, _data: unknown, refineSearch?: (elements: T) => T) => {
         results: {
             certainty: LintingResultCertainty;
+            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
             function: Identifier;
             range: SourceRange;
         }[];

package/linter/rules/function-finder-util.js

@@ -45,6 +45,7 @@ exports.functionFinderUtil = {
         return {
             results: results.map(element => ({
                 certainty: linter_format_1.LintingResultCertainty.Certain,
+                involvedId: element.node.info.id,
                 function: element.target,
                 range: element.range
             })),

package/linter/rules/naming-convention.d.ts

@@ -60,6 +60,7 @@ export declare const NAMING_CONVENTION: {
         analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
+            involvedId: NodeId;
             quickFix: LintQuickFixReplacement[] | undefined;
             certainty: LintingResultCertainty;
             detectedCasing: CasingConvention;

package/linter/rules/naming-convention.js

@@ -168,6 +168,7 @@ exports.NAMING_CONVENTION = {
             const fix = fixCasing(m.name, casing);
             return {
                 ...m,
+                involvedId: id,
                 quickFix: fix ? createNamingConventionQuickFixes(data.dataflow.graph, id, fix, casing) : undefined
             };
         });

package/linter/rules/network-functions.d.ts

@@ -18,6 +18,7 @@ export declare const NETWORK_FUNCTIONS: {
     }) => {
         results: {
             certainty: import("../linter-format").LintingResultCertainty;
+            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
             function: import("../../dataflow/environments/identifier").Identifier;
             range: import("../../util/range").SourceRange;
         }[];

package/linter/rules/seeded-randomness.d.ts

@@ -38,6 +38,7 @@ export declare const SEEDED_RANDOMNESS: {
         analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
     }) => {
         results: {
+            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
             certainty: LintingResultCertainty;
             function: Identifier;
             range: SourceRange;

package/linter/rules/seeded-randomness.js

@@ -47,6 +47,7 @@ exports.SEEDED_RANDOMNESS = {
                 .flatMap(element => (0, search_enrichers_1.enrichmentContent)(element, search_enrichers_1.Enrichment.CallTargets).targets.map(target => {
                 metadata.consumerCalls++;
                 return {
+                    involvedId: element.node.info.id,
                     range: element.node.info.fullRange,
                     target: target,
                     searchElement: element
@@ -110,6 +111,7 @@ exports.SEEDED_RANDOMNESS = {
                     metadata.callsWithOtherBranchProducers++;
                 }
                 return [{
+                        involvedId: element.involvedId,
                         certainty: cdsOfProduces.size > 0 ? linter_format_1.LintingResultCertainty.Uncertain : linter_format_1.LintingResultCertainty.Certain,
                         function: element.target,
                         range: element.range

package/linter/rules/unused-definition.js

@@ -33,10 +33,11 @@ function buildQuickFix(variable, dfg, ast) {
     if (hasImportantArgs) {
         return undefined; // we can not remove this definition, it has important arguments
     }
-    const totalRangeToRemove = (0, range_1.mergeRanges)(...definedBys.map(d => {
-        const vertex = ast.idMap.get(d);
-        return vertex?.info.fullRange ?? vertex?.location;
-    }), variable.info.fullRange ?? variable.location);
+    const totalRangeToRemove = (0, range_1.mergeRanges)([...definedBys.map(d => {
+            const vertex = ast.idMap.get(d);
+            return vertex?.info.fullRange ?? vertex?.location;
+        }),
+        variable.info.fullRange ?? variable.location]);
     return [{
             type: 'remove',
             range: totalRangeToRemove,
@@ -52,7 +53,7 @@ function onlyKeepSupersetOfUnused(elements) {
         return elements; // nothing to filter, only one element
     }
     return elements.filter(e => {
-        const otherRange = (0, range_1.mergeRanges)(...(e.quickFix?.map(q => q.range) ?? [e.range]));
+        const otherRange = (0, range_1.mergeRanges)((e.quickFix?.map(q => q.range) ?? [e.range]));
         return !ranges.some(r => (0, range_1.rangeCompare)(r, otherRange) !== 0 && (0, range_1.rangeIsSubsetOf)(otherRange, r)); // there is no smaller remove
     });
 }
@@ -82,6 +83,7 @@ exports.UNUSED_DEFINITION = {
                 return [{
                         certainty: linter_format_1.LintingResultCertainty.Uncertain,
                         variableName,
+                        involvedId: element.node.info.id,
                         range: element.node.info.fullRange ?? element.node.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),
                         quickFix: buildQuickFix(element.node, data.dataflow.graph, data.normalize)
                     }];

package/linter/rules/useless-loop.d.ts

@@ -26,6 +26,7 @@ export declare const USELESS_LOOP: {
             certainty: LintingResultCertainty.Certain;
             name: string;
             range: SourceRange;
+            involvedId: import("../../r-bridge/lang-4.x/ast/model/processing/node-id").NodeId;
         }[];
         '.meta': {
             numOfUselessLoops: number;

package/linter/rules/useless-loop.js

@@ -19,7 +19,8 @@ exports.USELESS_LOOP = {
         }).filter(loop => (0, useless_loop_1.onlyLoopsOnce)(loop.node.info.id, dataflow.graph, cfg, normalize, analyzer.inspectContext())).map(res => ({
             certainty: linter_format_1.LintingResultCertainty.Certain,
             name: res.node.lexeme,
-            range: res.node.info.fullRange
+            range: res.node.info.fullRange,
+            involvedId: res.node.info.id
         }));
         return {
             results: results,