@eagleoutice/flowr 2.2.5 → 2.2.6

package/README.md

@@ -48,7 +48,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.2.4, R v4.4.0 (r-shell engine)
+    flowR repl using flowR v2.2.5, R v4.4.0 (r-shell engine)
     R> :slicer test/testfiles/example.R --criterion "11@sum"
     ```
     
@@ -94,8 +94,8 @@ It offers a wide variety of features, for example:
     </details>
         
 
-* 🚀 **fast data and control-flow graphs**\
-  Within just <i><span title="This measurement is automatically fetched from the latest benchmarks!">119.8 ms</i></span> (as of Feb 16, 2025), 
+* 🚀 **fast data- and control-flow graphs**\
+  Within just <i><span title="This measurement is automatically fetched from the latest benchmark!">117.7 ms</i></span> (as of Feb 17, 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.
 
@@ -131,7 +131,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.2.4, R v4.4.0 (r-shell engine)
+    flowR repl using flowR v2.2.5, R v4.4.0 (r-shell engine)
     R> :dataflow* test/testfiles/example.R
     ```
     
@@ -375,7 +375,7 @@ It offers a wide variety of features, for example:
         52 -->|"argument"| 50
     ```
     	
-    (The analysis required _22.93 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 _24.34 ms_ (including parse and normalize, using the [r-shell](https://github.com/flowr-analysis/flowr/wiki/Engines) engine) within the generation environment.)
     
     
     
@@ -390,11 +390,11 @@ It offers a wide variety of features, for example:
 
 If you want to use flowR and the features it provides, feel free to check out the:
 
-- [Visual Studio Code extension](https://marketplace.visualstudio.com/items?itemName=code-inspect.vscode-flowr): provides access to flowR's capabilities directly in VS Code (also works in [vscode.dev](https://vscode.dev/))
+- [Visual Studio Code extension](https://marketplace.visualstudio.com/items?itemName=code-inspect.vscode-flowr): provides access to flowR directly in VS Code (or [vscode.dev](https://vscode.dev/))
 - [RStudio Addin](https://github.com/flowr-analysis/rstudio-addin-flowr): integrates flowR into [RStudio](https://posit.co/downloads/)
-- [R package](https://github.com/flowr-analysis/flowr-r-adapter): allows you to use flowR in your R scripts
+- [R package](https://github.com/flowr-analysis/flowr-r-adapter): use flowR in your R scripts
 - [Docker image](https://hub.docker.com/r/eagleoutice/flowr): run flowR in a container, this also includes [flowR's server](https://github.com/flowr-analysis/flowr/wiki/Interface#communicating-with-the-server)
-- [NPM package](https://www.npmjs.com/package/@eagleoutice/flowr): include flowR in your TypeScript and JavaScript projects (e.g., used for the VS Code extension)
+- [NPM package](https://www.npmjs.com/package/@eagleoutice/flowr): include flowR in your TypeScript and JavaScript projects
  
 ## ⭐ Getting Started
 

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

@@ -39,7 +39,6 @@ const default_pipelines_1 = require("../../../core/steps/pipeline/default-pipeli
 const retriever_1 = require("../../../r-bridge/retriever");
 const cfg_2 = require("../../../util/mermaid/cfg");
 const ansi_1 = require("../../../util/ansi");
-const clipboard = Promise.resolve().then(() => __importStar(require('clipboardy')));
 async function controlflow(parser, remainingLine) {
     return await (0, default_pipelines_1.createDataflowPipeline)(parser, {
         request: (0, retriever_1.requestFromInput)(remainingLine.trim())
@@ -62,7 +61,8 @@ exports.controlflowCommand = {
         const mermaid = (0, cfg_2.cfgToMermaid)(cfg, result.normalize);
         output.stdout(mermaid);
         try {
-            (await clipboard).default.writeSync(mermaid);
+            const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
+            clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid code'));
         }
         catch { /* do nothing this is a service thing */ }
@@ -79,7 +79,8 @@ exports.controlflowStarCommand = {
         const mermaid = (0, cfg_2.cfgToMermaidUrl)(cfg, result.normalize);
         output.stdout(mermaid);
         try {
-            (await clipboard).default.writeSync(mermaid);
+            const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
+            clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid url'));
         }
         catch { /* do nothing this is a service thing */ }

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

@@ -37,7 +37,6 @@ exports.dataflowStarCommand = exports.dataflowCommand = void 0;
 const default_pipelines_1 = require("../../../core/steps/pipeline/default-pipelines");
 const retriever_1 = require("../../../r-bridge/retriever");
 const dfg_1 = require("../../../util/mermaid/dfg");
-const clipboard = Promise.resolve().then(() => __importStar(require('clipboardy')));
 const ansi_1 = require("../../../util/ansi");
 /**
  * Obtain the dataflow graph using a known parser (such as the {@link RShell} or {@link TreeSitterExecutor}).
@@ -63,7 +62,8 @@ exports.dataflowCommand = {
         const mermaid = (0, dfg_1.graphToMermaid)({ graph: result.dataflow.graph, includeEnvironments: false }).string;
         output.stdout(mermaid);
         try {
-            (await clipboard).default.writeSync(mermaid);
+            const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
+            clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid code', result.dataflow['.meta'].timing));
         }
         catch { /* do nothing this is a service thing */ }
@@ -79,7 +79,8 @@ exports.dataflowStarCommand = {
         const mermaid = (0, dfg_1.graphToMermaidUrl)(result.dataflow.graph, false);
         output.stdout(mermaid);
         try {
-            (await clipboard).default.writeSync(mermaid);
+            const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
+            clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid url', result.dataflow['.meta'].timing));
         }
         catch { /* do nothing this is a service thing */ }

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

@@ -37,7 +37,6 @@ exports.normalizeStarCommand = exports.normalizeCommand = void 0;
 const default_pipelines_1 = require("../../../core/steps/pipeline/default-pipelines");
 const retriever_1 = require("../../../r-bridge/retriever");
 const ast_1 = require("../../../util/mermaid/ast");
-const clipboard = Promise.resolve().then(() => __importStar(require('clipboardy')));
 const ansi_1 = require("../../../util/ansi");
 async function normalize(parser, remainingLine) {
     return await (0, default_pipelines_1.createNormalizePipeline)(parser, {
@@ -60,7 +59,8 @@ exports.normalizeCommand = {
         const mermaid = (0, ast_1.normalizedAstToMermaid)(result.normalize.ast);
         output.stdout(mermaid);
         try {
-            (await clipboard).default.writeSync(mermaid);
+            const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
+            clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid url', result.normalize['.meta'].timing));
         }
         catch { /* do nothing this is a service thing */ }
@@ -76,7 +76,8 @@ exports.normalizeStarCommand = {
         const mermaid = (0, ast_1.normalizedAstToMermaidUrl)(result.normalize.ast);
         output.stdout(mermaid);
         try {
-            (await clipboard).default.writeSync(mermaid);
+            const clipboard = await Promise.resolve().then(() => __importStar(require('clipboardy')));
+            clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid url', result.normalize['.meta'].timing));
         }
         catch { /* do nothing this is a service thing */ }

package/dataflow/environments/resolve-by-name.d.ts

@@ -4,7 +4,7 @@ import type { Identifier, IdentifierDefinition } from './identifier';
 import { ReferenceType } from './identifier';
 import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { DataflowGraph } from '../graph/graph';
-import type { AstIdMap } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import type { AstIdMap, RNodeWithParent } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 /**
  * Resolves a given identifier name to a list of its possible definition location using R scoping and resolving rules.
  *
@@ -21,9 +21,31 @@ export declare function resolvesToBuiltInConstant(name: Identifier | undefined,
 export declare function resolveToConstants(name: Identifier | undefined, environment: REnvironmentInformation): unknown[] | undefined;
 export declare function getAliases(sourceIds: readonly NodeId[], dataflow: DataflowGraph, environment: REnvironmentInformation): NodeId[] | undefined;
 /** Please use {@link resolveValueOfVariable} */
-export declare function resolveToValues(identifier: Identifier | undefined, environment: REnvironmentInformation, idMap?: AstIdMap): unknown[] | undefined;
+export declare function trackAliasInEnvironments(identifier: Identifier | undefined, use: REnvironmentInformation, idMap?: AstIdMap): unknown[] | undefined;
+export declare function trackAliasesInGraph(id: NodeId, graph: DataflowGraph, idMap?: AstIdMap): unknown[] | undefined;
 /**
  * Convenience function using the variable resolver as specified within the configuration file
  * In the future we may want to have this set once at the start of the analysis
+ *
+ * @see {@link resolve} - for a more general approach which "evaluates" a node based on value resolve
  */
 export declare function resolveValueOfVariable(identifier: Identifier | undefined, environment: REnvironmentInformation, idMap?: AstIdMap): unknown[] | undefined;
+export interface ResolveInfo {
+    /** The current environment used for name resolution */
+    environment?: REnvironmentInformation;
+    /** The id map to resolve the node if given as an id */
+    idMap?: AstIdMap;
+    /** The graph to resolve in */
+    graph?: DataflowGraph;
+    /** Whether to track variables */
+    full?: boolean;
+}
+/**
+ * Generalized {@link resolveValueOfVariable} function which evaluates a node based on the value resolve
+ *
+ * @param id         - The node id or node to resolve
+ * @param environment - The current environment used for name resolution
+ * @param idMap      - The id map to resolve the node if given as an id
+ * @param full       - Whether to track variables
+ */
+export declare function resolve(id: NodeId | RNodeWithParent, { environment, graph, idMap, full }: ResolveInfo): unknown[] | undefined;

package/dataflow/environments/resolve-by-name.js

@@ -4,8 +4,10 @@ exports.resolveByName = resolveByName;
 exports.resolvesToBuiltInConstant = resolvesToBuiltInConstant;
 exports.resolveToConstants = resolveToConstants;
 exports.getAliases = getAliases;
-exports.resolveToValues = resolveToValues;
+exports.trackAliasInEnvironments = trackAliasInEnvironments;
+exports.trackAliasesInGraph = trackAliasesInGraph;
 exports.resolveValueOfVariable = resolveValueOfVariable;
+exports.resolve = resolve;
 const environment_1 = require("./environment");
 const logic_1 = require("../../util/logic");
 const identifier_1 = require("./identifier");
@@ -14,6 +16,10 @@ const node_id_1 = require("../../r-bridge/lang-4.x/ast/model/processing/node-id"
 const vertex_1 = require("../graph/vertex");
 const config_1 = require("../../config");
 const assert_1 = require("../../util/assert");
+const type_1 = require("../../r-bridge/lang-4.x/ast/model/type");
+const visiting_queue_1 = require("../../slicing/static/visiting-queue");
+const fingerprint_1 = require("../../slicing/static/fingerprint");
+const edge_1 = require("../graph/edge");
 const FunctionTargetTypes = identifier_1.ReferenceType.Function | identifier_1.ReferenceType.BuiltInFunction | identifier_1.ReferenceType.Unknown | identifier_1.ReferenceType.Argument | identifier_1.ReferenceType.Parameter;
 const VariableTargetTypes = identifier_1.ReferenceType.Variable | identifier_1.ReferenceType.Parameter | identifier_1.ReferenceType.Argument | identifier_1.ReferenceType.Unknown;
 const ConstantTargetTypes = identifier_1.ReferenceType.Constant | identifier_1.ReferenceType.BuiltInConstant | identifier_1.ReferenceType.Unknown;
@@ -149,11 +155,11 @@ function getAliases(sourceIds, dataflow, environment) {
     return [...definitions];
 }
 /** Please use {@link resolveValueOfVariable} */
-function resolveToValues(identifier, environment, idMap) {
+function trackAliasInEnvironments(identifier, use, idMap) {
     if (identifier === undefined) {
         return undefined;
     }
-    const defs = resolveByName(identifier, environment);
+    const defs = resolveByName(identifier, use);
     if (defs === undefined) {
         return undefined;
     }
@@ -183,17 +189,92 @@ function resolveToValues(identifier, environment, idMap) {
     }
     return values;
 }
+function trackAliasesInGraph(id, graph, idMap) {
+    idMap ??= graph.idMap;
+    (0, assert_1.guard)(idMap !== undefined, 'The ID map is required to get the lineage of a node');
+    const start = graph.getVertex(id);
+    (0, assert_1.guard)(start !== undefined, 'Unable to find start for alias tracking');
+    const queue = new visiting_queue_1.VisitingQueue(25);
+    const clean = (0, environment_1.initializeCleanEnvironments)();
+    const cleanFingerprint = (0, fingerprint_1.envFingerprint)(clean);
+    queue.add(id, clean, cleanFingerprint, false);
+    const resultIds = [];
+    while (queue.nonEmpty()) {
+        const { id, baseEnvironment } = queue.next();
+        const res = graph.get(id);
+        if (!res) {
+            continue;
+        }
+        const [vertex, outgoingEdges] = res;
+        if (vertex.tag === vertex_1.VertexType.Value) {
+            resultIds.push(id);
+            continue;
+        }
+        // travel all read and defined-by edges
+        for (const [targetId, edge] of outgoingEdges) {
+            if ((0, edge_1.edgeIncludesType)(edge.types, edge_1.EdgeType.Reads | edge_1.EdgeType.DefinedBy | edge_1.EdgeType.DefinedByOnCall)) {
+                queue.add(targetId, baseEnvironment, cleanFingerprint, false);
+            }
+        }
+    }
+    if (resultIds.length === 0) {
+        return undefined;
+    }
+    const values = [];
+    for (const id of resultIds) {
+        const node = idMap.get(id);
+        if (node !== undefined) {
+            values.push(node.content);
+        }
+    }
+    return values;
+}
 /**
  * Convenience function using the variable resolver as specified within the configuration file
  * In the future we may want to have this set once at the start of the analysis
+ *
+ * @see {@link resolve} - for a more general approach which "evaluates" a node based on value resolve
  */
 function resolveValueOfVariable(identifier, environment, idMap) {
     const resolve = (0, config_1.getConfig)().solver.variables;
     switch (resolve) {
-        case config_1.VariableResolve.Alias: return resolveToValues(identifier, environment, idMap);
+        case config_1.VariableResolve.Alias: return trackAliasInEnvironments(identifier, environment, idMap);
         case config_1.VariableResolve.Builtin: return resolveToConstants(identifier, environment);
         case config_1.VariableResolve.Disabled: return [];
         default: (0, assert_1.assertUnreachable)(resolve);
     }
 }
+/**
+ * Generalized {@link resolveValueOfVariable} function which evaluates a node based on the value resolve
+ *
+ * @param id         - The node id or node to resolve
+ * @param environment - The current environment used for name resolution
+ * @param idMap      - The id map to resolve the node if given as an id
+ * @param full       - Whether to track variables
+ */
+function resolve(id, { environment, graph, idMap, full }) {
+    idMap ??= graph?.idMap;
+    const node = typeof id === 'object' ? id : idMap?.get(id);
+    if (node === undefined) {
+        return undefined;
+    }
+    switch (node.type) {
+        case type_1.RType.Symbol:
+            if (environment) {
+                return full ? resolveValueOfVariable(node.lexeme, environment, idMap) : undefined;
+            }
+            else if (graph && (0, config_1.getConfig)().solver.variables === config_1.VariableResolve.Alias) {
+                return full ? trackAliasesInGraph(node.info.id, graph, idMap) : undefined;
+            }
+            else {
+                return undefined;
+            }
+        case type_1.RType.String:
+        case type_1.RType.Number:
+        case type_1.RType.Logical:
+            return [node.content];
+        default:
+            return undefined;
+    }
+}
 //# sourceMappingURL=resolve-by-name.js.map

package/documentation/print-query-wiki.js

@@ -208,9 +208,10 @@ ${await (0, doc_query_1.showQuery)(shell, example_query_code_1.exampleQueryCode,
     buildExplanation: async (shell) => {
         const exampleCode = 'x <- 1\nprint(x)';
         return `
-With this query you can use flowR's value-tracking capabilities to resolve identifiers to all potential values they may have at runtime (if possible). The extend to which flowR traces values (e.g. built-ins vs. constants) can be configured in flowR's Configuration file (see the [Interface](${doc_files_1.FlowrWikiBaseRef}/Interface) wiki page for more information). 
+With this query you can use flowR's value-tracking capabilities to resolve identifiers to all potential values they may have at runtime (if possible).
+The extent to which flowR traces values (e.g., built-ins vs. constants) can be configured in flowR's Configuration file (see the [Interface](${doc_files_1.FlowrWikiBaseRef}/Interface) wiki page for more information).
 
-Using the example code \`${exampleCode}\`, the following query returns all values of 'x' in the code:
+Using the example code \`${exampleCode}\` (with the \`print(x)\` in the second line), the following query returns all values of \`x\` in the code:
 ${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
                 type: 'resolve-value',
                 criteria: ['2@x']
@@ -419,7 +420,7 @@ ${await (0, doc_query_1.showQuery)(shell, longerCode, [{
                 type: 'dependencies'
             }], { showCode: false, collapseQuery: true, collapseResult: true })}
 
-Currently the dependency extraction may fail as it is essentially a set of heuristics guessing the dependencies.
+Currently, the dependency extraction may fail as it is essentially a set of heuristics guessing the dependencies.
 We welcome any feedback on this (consider opening a [new issue](${doc_issue_1.NewIssueUrl})).
 
 In the meantime we offer several properties to overwrite the default behavior (e.g., function names that should be collected)
@@ -427,12 +428,13 @@ In the meantime we offer several properties to overwrite the default behavior (e
 ${await (0, doc_query_1.showQuery)(shell, longerCode, [{
                 type: 'dependencies',
                 ignoreDefaultFunctions: true,
-                libraryFunctions: [{ name: 'print', argIdx: 0, argName: 'library' }],
+                libraryFunctions: [{ name: 'print', argIdx: 0, argName: 'library', resolveValue: true }],
                 sourceFunctions: [],
                 readFunctions: [],
                 writeFunctions: []
             }], { showCode: false, collapseQuery: false, collapseResult: true })}
 
+Here, \`resolveValue\` tells the dependency query to resolve the value of this argument in case it is not a constant.
 		`;
     }
 });

package/documentation/print-readme.js

@@ -64,8 +64,8 @@ The following showcases the dependency view of the [Visual Studio Code extension
   
   `), '    ')}
 
-* 🚀 **fast data and control-flow graphs**\\
-  Within just ${'<i>' + (0, html_hover_over_1.textWithTooltip)((0, numbers_1.roundToDecimals)(await (0, doc_benchmarks_1.getLatestDfAnalysisTime)('"social-science" Benchmark Suite (tree-sitter)'), 1) + ' ms</i>', 'This measurement is automatically fetched from the latest benchmarks!')} (as of ${new Date(await (0, doc_benchmarks_1.getLastBenchmarkUpdate)()).toLocaleDateString('en-US', dateOptions)}), 
+* 🚀 **fast data- and control-flow graphs**\\
+  Within just ${'<i>' + (0, html_hover_over_1.textWithTooltip)((0, numbers_1.roundToDecimals)(await (0, doc_benchmarks_1.getLatestDfAnalysisTime)('"social-science" Benchmark Suite (tree-sitter)'), 1) + ' ms</i>', 'This measurement is automatically fetched from the latest benchmark!')} (as of ${new Date(await (0, doc_benchmarks_1.getLastBenchmarkUpdate)()).toLocaleDateString('en-US', dateOptions)}), 
   _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](${doc_files_1.FlowrWikiBaseRef}/Dataflow-Graph) for more details on the dataflow graph.
 
@@ -90,11 +90,11 @@ ${await (0, doc_dfg_1.printDfGraphForCode)(shell, (0, doc_files_1.getFileContent
 
 If you want to use flowR and the features it provides, feel free to check out the:
 
-- [Visual Studio Code extension](${doc_files_1.FlowrVsCode}): provides access to flowR's capabilities directly in VS Code (also works in [vscode.dev](https://vscode.dev/))
+- [Visual Studio Code extension](${doc_files_1.FlowrVsCode}): provides access to flowR directly in VS Code (or [vscode.dev](https://vscode.dev/))
 - [RStudio Addin](${doc_files_1.FlowrGithubBaseRef}/rstudio-addin-flowr): integrates flowR into [RStudio](https://posit.co/downloads/)
-- [R package](${doc_files_1.FlowrGithubBaseRef}/flowr-r-adapter): allows you to use flowR in your R scripts
+- [R package](${doc_files_1.FlowrGithubBaseRef}/flowr-r-adapter): use flowR in your R scripts
 - [Docker image](${doc_files_1.FlowrDockerRef}): run flowR in a container, this also includes [flowR's server](${doc_files_1.FlowrWikiBaseRef}/Interface#communicating-with-the-server)
-- [NPM package](${doc_files_1.FlowrNpmRef}): include flowR in your TypeScript and JavaScript projects (e.g., used for the VS Code extension)
+- [NPM package](${doc_files_1.FlowrNpmRef}): include flowR in your TypeScript and JavaScript projects
  
 ## ⭐ Getting Started
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eagleoutice/flowr",
-  "version": "2.2.5",
+  "version": "2.2.6",
   "description": "Static Dataflow Analyzer and Program Slicer for the R Programming Language",
   "types": "dist/src/index.d.ts",
   "repository": {

package/queries/catalog/call-context-query/call-context-query-executor.js

@@ -55,7 +55,10 @@ function promoteQueryCallNames(queries) {
                     ...q.fileFilter,
                     filter: new RegExp(q.fileFilter.filter)
                 },
-                linkTo: {
+                linkTo: Array.isArray(q.linkTo) ? q.linkTo.map(l => ({
+                    ...l,
+                    callName: new RegExp(l.callName)
+                })) : {
                     ...q.linkTo,
                     /* we have to add another promotion layer whenever we add something without this call name */
                     callName: new RegExp(q.linkTo.callName)
@@ -208,13 +211,24 @@ function executeCallContextQueries({ dataflow: { graph }, ast }, queries) {
             }
             let linkedIds = undefined;
             if (cfg && isSubCallQuery(query)) {
-                /* if we have a linkTo query, we have to find the last call */
-                const lastCall = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(nodeId, cfg.graph, graph, query.linkTo);
-                if (lastCall) {
-                    linkedIds = lastCall;
+                const linked = Array.isArray(query.linkTo) ? query.linkTo : [query.linkTo];
+                for (const link of linked) {
+                    /* if we have a linkTo query, we have to find the last call */
+                    const lastCall = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(nodeId, cfg.graph, graph, link);
+                    if (lastCall) {
+                        linkedIds ??= new Set();
+                        for (const l of lastCall) {
+                            if (link.attachLinkInfo) {
+                                linkedIds.add({ id: l, info: link.attachLinkInfo });
+                            }
+                            else {
+                                linkedIds.add(l);
+                            }
+                        }
+                    }
                 }
             }
-            initialIdCollector.add(query.kind ?? '.', query.subkind ?? '.', (0, objects_1.compactRecord)({ id: nodeId, name: info.name, calls: targets, linkedIds }));
+            initialIdCollector.add(query.kind ?? '.', query.subkind ?? '.', (0, objects_1.compactRecord)({ id: nodeId, name: info.name, calls: targets, linkedIds: linkedIds ? [...linkedIds] : undefined }));
         }
     }
     removeIdenticalDuplicates(initialIdCollector);

package/queries/catalog/call-context-query/call-context-query-format.d.ts

@@ -9,6 +9,7 @@ import { CallTargets } from './identify-link-to-last-call-relation';
 import type { DataflowGraph } from '../../../dataflow/graph/graph';
 import type { DataflowGraphVertexInfo } from '../../../dataflow/graph/vertex';
 import type { CascadeAction } from './cascade-action';
+import type { NoInfo } from '../../../r-bridge/lang-4.x/ast/model/model';
 export interface FileFilter<FilterType> {
     /**
      * Regex that a node's file attribute must match to be considered
@@ -66,9 +67,11 @@ interface LinkToLastCall<CallName extends RegExp | string = RegExp | string> ext
      */
     readonly cascadeIf?: (target: DataflowGraphVertexInfo, from: NodeId, graph: DataflowGraph) => CascadeAction;
 }
-export type LinkTo<CallName extends RegExp | string> = LinkToLastCall<CallName>;
-export interface SubCallContextQueryFormat<CallName extends RegExp | string = RegExp | string> extends DefaultCallContextQueryFormat<CallName> {
-    readonly linkTo: LinkTo<CallName>;
+export type LinkTo<CallName extends RegExp | string = RegExp | string, AttachLinkInfo = NoInfo> = (LinkToLastCall<CallName>) & {
+    attachLinkInfo?: AttachLinkInfo;
+};
+export interface SubCallContextQueryFormat<CallName extends RegExp | string = RegExp | string, AttachLinkInfo = NoInfo> extends DefaultCallContextQueryFormat<CallName> {
+    readonly linkTo: LinkTo<CallName, AttachLinkInfo> | LinkTo<CallName, AttachLinkInfo>[];
 }
 export interface CallContextQuerySubKindResult {
     /** The id of the call vertex identified within the supplied dataflow graph */
@@ -81,8 +84,11 @@ export interface CallContextQuerySubKindResult {
      * An empty array means that the call targets only non-local functions.
      */
     readonly calls?: readonly NodeId[];
-    /** ids attached by the linkTo query */
-    readonly linkedIds?: readonly NodeId[];
+    /** ids attached by the linkTo query, if you attached information with the `attachLinkInfo` field you can find it here */
+    readonly linkedIds?: readonly (NodeId | {
+        id: NodeId;
+        info: object;
+    })[];
     /**
      * (Direct) alias locations this call stems from
      */
@@ -95,7 +101,7 @@ export type CallContextQueryKindResult = Record<string, {
 export interface CallContextQueryResult extends BaseQueryResult {
     readonly kinds: CallContextQueryKindResult;
 }
-export type CallContextQuery<CallName extends RegExp | string = RegExp | string> = DefaultCallContextQueryFormat<CallName> | SubCallContextQueryFormat<CallName>;
+export type CallContextQuery<CallName extends RegExp | string = RegExp | string, AttachLinkInfo = NoInfo> = DefaultCallContextQueryFormat<CallName> | SubCallContextQueryFormat<CallName, AttachLinkInfo>;
 export declare const CallContextQueryDefinition: {
     readonly executor: typeof executeCallContextQueries;
     readonly asciiSummarizer: (formatter: OutputFormatter, processed: PipelineOutput<typeof DEFAULT_DATAFLOW_PIPELINE>, queryResults: BaseQueryResult, result: string[]) => boolean;

package/queries/catalog/call-context-query/call-context-query-format.js

@@ -10,6 +10,13 @@ const time_1 = require("../../../util/time");
 const joi_1 = __importDefault(require("joi"));
 const query_print_1 = require("../../query-print");
 const identify_link_to_last_call_relation_1 = require("./identify-link-to-last-call-relation");
+const CallContextQueryLinkTo = joi_1.default.object({
+    type: joi_1.default.string().valid('link-to-last-call').required().description('The type of the linkTo sub-query.'),
+    callName: joi_1.default.string().required().description('Regex regarding the function name of the last call. Similar to `callName`, strings are interpreted as a regular expression.'),
+    ignoreIf: joi_1.default.function().optional().description('Should we ignore this (source) call? Currently, there is no well working serialization for this.'),
+    cascadeIf: joi_1.default.function().optional().description('Should we continue searching after the link was created? Currently, there is no well working serialization for this.'),
+    attachLinkInfo: joi_1.default.object().optional().description('Additional information to attach to the link.')
+});
 exports.CallContextQueryDefinition = {
     executor: call_context_query_executor_1.executeCallContextQueries,
     asciiSummarizer: (formatter, processed, queryResults, result) => {
@@ -30,12 +37,7 @@ exports.CallContextQueryDefinition = {
             fileFilter: joi_1.default.string().required().description('Regex that a node\'s file attribute must match to be considered'),
             includeUndefinedFiles: joi_1.default.boolean().optional().description('If `fileFilter` is set, but a nodes `file` attribute is `undefined`, should we include it in the results? Defaults to `true`.')
         }).optional().description('Filter that, when set, a node\'s file attribute must match to be considered'),
-        linkTo: joi_1.default.object({
-            type: joi_1.default.string().valid('link-to-last-call').required().description('The type of the linkTo sub-query.'),
-            callName: joi_1.default.string().required().description('Regex regarding the function name of the last call. Similar to `callName`, strings are interpreted as a regular expression.'),
-            ignoreIf: joi_1.default.function().optional().description('Should we ignore this (source) call? Currently, there is no well working serialization for this.'),
-            cascadeIf: joi_1.default.function().optional().description('Should we continue searching after the link was created? Currently, there is no well working serialization for this.')
-        }).optional().description('Links the current call to the last call of the given kind. This way, you can link a call like `points` to the latest graphics plot etc.')
+        linkTo: joi_1.default.alternatives(CallContextQueryLinkTo, joi_1.default.array().items(CallContextQueryLinkTo)).optional().description('Links the current call to the last call of the given kind. This way, you can link a call like `points` to the latest graphics plot etc.')
     }).description('Call context query used to find calls in the dataflow graph')
 };
 //# sourceMappingURL=call-context-query-format.js.map

package/queries/catalog/dependencies-query/dependencies-query-executor.js

@@ -3,15 +3,28 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.executeDependenciesQuery = executeDependenciesQuery;
 const query_1 = require("../../query");
 const dependencies_query_format_1 = require("./dependencies-query-format");
+const vertex_1 = require("../../../dataflow/graph/vertex");
 const graph_1 = require("../../../dataflow/graph/graph");
 const log_1 = require("../../../util/log");
 const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
-const retriever_1 = require("../../../r-bridge/retriever");
 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 assert_1 = require("../../../util/assert");
 const objects_1 = require("../../../util/objects");
-const SupportedVertexTypes = [type_1.RType.String, type_1.RType.Logical, type_1.RType.Number];
+const resolve_by_name_1 = require("../../../dataflow/environments/resolve-by-name");
+function collectNamespaceAccesses(data, libraries) {
+    /* for libraries, we have to additionally track all uses of `::` and `:::`, for this we currently simply traverse all uses */
+    (0, visitor_1.visitAst)(data.ast.ast, n => {
+        if (n.type === type_1.RType.Symbol && n.namespace) {
+            /* we should improve the identification of ':::' */
+            libraries.push({
+                nodeId: n.info.id,
+                functionName: (n.info.fullLexeme ?? n.lexeme).includes(':::') ? ':::' : '::',
+                libraryName: n.namespace
+            });
+        }
+    });
+}
 function executeDependenciesQuery(data, queries) {
     if (queries.length !== 1) {
         log_1.log.warn('Dependencies query expects only up to one query, but got ', queries.length, 'only using the first query');
@@ -25,58 +38,46 @@ function executeDependenciesQuery(data, queries) {
     const writeFunctions = getFunctionsToCheck(query.writeFunctions, ignoreDefault, dependencies_query_format_1.WriteFunctions);
     const numberOfFunctions = libraryFunctions.length + sourceFunctions.length + readFunctions.length + writeFunctions.length;
     const results = numberOfFunctions === 0 ? { kinds: {}, '.meta': { timing: 0 } } : (0, query_1.executeQueriesOfSameType)(data, ...makeCallContextQuery(libraryFunctions, 'library'), ...makeCallContextQuery(sourceFunctions, 'source'), ...makeCallContextQuery(readFunctions, 'read'), ...makeCallContextQuery(writeFunctions, 'write'));
-    const getLexeme = (argument, id) => {
+    function getLexeme(argument, id) {
         if ((argument && argument !== dependencies_query_format_1.Unknown) || !id) {
             return undefined;
         }
         let get = data.ast.idMap.get(id);
-        if (!get) {
-            return undefined;
-        }
-        if (get.type === type_1.RType.Argument) {
+        if (get?.type === type_1.RType.Argument) {
             get = get.value;
         }
         return get?.info.fullLexeme ?? get?.lexeme;
-    };
-    const libraries = getResults(data, results, 'library', libraryFunctions, (id, vertex, argId, argument) => ({
+    }
+    const libraries = getResults(data, results, 'library', libraryFunctions, (id, vertex, argId, value, linkedIds) => ({
         nodeId: id,
         functionName: vertex.name,
-        lexemeOfArgument: getLexeme(argument, argId),
-        libraryName: argument ?? dependencies_query_format_1.Unknown
-    }), [type_1.RType.Symbol]);
+        lexemeOfArgument: getLexeme(value, argId),
+        libraryName: value ?? dependencies_query_format_1.Unknown,
+        linkedIds: linkedIds?.length ? linkedIds : undefined
+    }));
     if (!ignoreDefault) {
-        /* for libraries, we have to additionally track all uses of `::` and `:::`, for this we currently simply traverse all uses */
-        (0, visitor_1.visitAst)(data.ast.ast, n => {
-            if (n.type === type_1.RType.Symbol && n.namespace) {
-                /* we should improve the identification of ':::' */
-                libraries.push({
-                    nodeId: n.info.id,
-                    functionName: (n.info.fullLexeme ?? n.lexeme).includes(':::') ? ':::' : '::',
-                    libraryName: n.namespace
-                });
-            }
-        });
+        collectNamespaceAccesses(data, libraries);
     }
-    const sourcedFiles = getResults(data, results, 'source', sourceFunctions, (id, vertex, argId, argument, linkedIds) => ({
+    const sourcedFiles = getResults(data, results, 'source', sourceFunctions, (id, vertex, argId, value, linkedIds) => ({
         nodeId: id,
         functionName: vertex.name,
-        file: argument ?? dependencies_query_format_1.Unknown,
-        lexemeOfArgument: getLexeme(argument, argId),
+        file: value ?? dependencies_query_format_1.Unknown,
+        lexemeOfArgument: getLexeme(value, argId),
         linkedIds: linkedIds?.length ? linkedIds : undefined
     }));
-    const readData = getResults(data, results, 'read', readFunctions, (id, vertex, argId, argument, linkedIds) => ({
+    const readData = getResults(data, results, 'read', readFunctions, (id, vertex, argId, value, linkedIds) => ({
         nodeId: id,
         functionName: vertex.name,
-        source: argument ?? dependencies_query_format_1.Unknown,
-        lexemeOfArgument: getLexeme(argument, argId),
+        source: value ?? dependencies_query_format_1.Unknown,
+        lexemeOfArgument: getLexeme(value, argId),
         linkedIds: linkedIds?.length ? linkedIds : undefined
     }));
-    const writtenData = getResults(data, results, 'write', writeFunctions, (id, vertex, argId, argument, linkedIds) => ({
+    const writtenData = getResults(data, results, 'write', writeFunctions, (id, vertex, argId, value, linkedIds) => ({
         nodeId: id,
         functionName: vertex.name,
         // write functions that don't have argIndex are assumed to write to stdout
-        destination: argument ?? (linkedIds?.length ? dependencies_query_format_1.Unknown : 'stdout'),
-        lexemeOfArgument: getLexeme(argument, argId),
+        destination: value ?? (linkedIds?.length ? dependencies_query_format_1.Unknown : 'stdout'),
+        lexemeOfArgument: getLexeme(value, argId),
         linkedIds: linkedIds?.length ? linkedIds : undefined
     }));
     return {
@@ -93,31 +94,32 @@ function makeCallContextQuery(functions, kind) {
         includeAliases: false,
         callNameExact: true,
         subkind: f.name,
-        linkTo: f.linkTo ? { type: 'link-to-last-call', callName: f.linkTo } : undefined,
+        linkTo: f.linkTo,
         kind
     }));
 }
-function getResults(data, results, kind, functions, makeInfo, additionalAllowedTypes) {
+function dropInfoOnLinkedIds(linkedIds) {
+    if (!linkedIds) {
+        return undefined;
+    }
+    return linkedIds.map(id => typeof id === 'object' ? id.id : id);
+}
+function getResults(data, results, kind, functions, makeInfo) {
     const kindEntries = Object.entries(results?.kinds[kind]?.subkinds ?? {});
     return kindEntries.flatMap(([name, results]) => results.flatMap(({ id, linkedIds }) => {
         const vertex = data.dataflow.graph.getVertex(id);
         const info = functions.find(f => f.name === name);
-        let index = info.argIdx;
-        if (info.argName) {
-            const arg = vertex?.args.findIndex(arg => arg !== r_function_call_1.EmptyArgument && arg.name === info.argName);
-            if (arg >= 0) {
-                index = arg;
-            }
-        }
-        const args = index !== undefined ? getArgumentValue(data, vertex, index, additionalAllowedTypes) : undefined;
-        if (!args) {
-            const record = (0, objects_1.compactRecord)(makeInfo(id, vertex, undefined, undefined, linkedIds));
+        const args = getArgumentValue(data, vertex, info.argIdx, info.argName, info.resolveValue);
+        const linkedArgs = collectValuesFromLinks(args, data, linkedIds);
+        const foundValues = linkedArgs ?? args;
+        if (!foundValues) {
+            const record = (0, objects_1.compactRecord)(makeInfo(id, vertex, undefined, undefined, dropInfoOnLinkedIds(linkedIds)));
             return record ? [record] : [];
         }
         const results = [];
-        for (const [arg, values] of args.entries()) {
+        for (const [arg, values] of foundValues.entries()) {
             for (const value of values) {
-                const result = (0, objects_1.compactRecord)(makeInfo(id, vertex, arg, value, linkedIds));
+                const result = (0, objects_1.compactRecord)(makeInfo(id, vertex, arg, value, dropInfoOnLinkedIds(linkedIds)));
                 if (result) {
                     results.push(result);
                 }
@@ -126,11 +128,110 @@ function getResults(data, results, kind, functions, makeInfo, additionalAllowedT
         return results;
     })) ?? [];
 }
+function collectValuesFromLinks(args, data, linkedIds) {
+    if (!linkedIds || linkedIds.length === 0) {
+        return undefined;
+    }
+    const hasAtLeastAValue = args !== undefined && [...args.values()].some(set => [...set].some(v => v !== dependencies_query_format_1.Unknown && v !== undefined));
+    const map = new Map();
+    for (const linkedId of linkedIds) {
+        if (typeof linkedId !== 'object' || !linkedId.info) {
+            continue;
+        }
+        const info = linkedId.info;
+        // do not collect this one
+        if (hasAtLeastAValue && info.when !== dependencies_query_format_1.DependencyInfoLinkConstraint.Always) {
+            continue;
+        }
+        // collect this one!
+        const vertex = data.dataflow.graph.getVertex(linkedId.id);
+        if (vertex === undefined || vertex.tag !== vertex_1.VertexType.FunctionCall) {
+            continue;
+        }
+        const args = getArgumentValue(data, vertex, info.argIdx, info.argName, info.resolveValue);
+        if (args === undefined) {
+            continue;
+        }
+        for (const [arg, values] of args.entries()) {
+            const set = map.get(arg) ?? new Set();
+            map.set(arg, set);
+            for (const value of values) {
+                set.add(value);
+            }
+        }
+    }
+    return map;
+}
+function hasCharacterOnly(data, vertex, idMap) {
+    if (!vertex.args || vertex.args.length === 0 || !idMap) {
+        return false;
+    }
+    const treatAsChar = getArgumentValue(data, vertex, 5, 'character.only', true);
+    if (!treatAsChar) {
+        return false;
+    }
+    const hasTrue = [...treatAsChar.values()].some(set => set?.has('TRUE'));
+    const hasFalse = hasTrue ? [...treatAsChar.values()].some(set => set === undefined || set.has('FALSE')) : false;
+    if (hasTrue && hasFalse) {
+        return 'maybe';
+    }
+    else {
+        return hasTrue;
+    }
+}
+function resolveBasedOnConfig(data, vertex, argument, environment, idMap, resolveValue) {
+    let full = true;
+    if (!resolveValue) {
+        full = false;
+    }
+    if (resolveValue === 'library') {
+        const hasChar = hasCharacterOnly(data, vertex, idMap);
+        if (hasChar === false) {
+            if (argument.type === type_1.RType.Symbol) {
+                return [argument.lexeme];
+            }
+            full = false;
+        }
+    }
+    return (0, resolve_by_name_1.resolve)(argument, { environment, graph: data.dataflow.graph, full });
+}
+function unwrapRValue(value) {
+    if (value === undefined) {
+        return undefined;
+    }
+    switch (typeof value) {
+        case 'string':
+            return value;
+        case 'number':
+            return value.toString();
+        case 'boolean':
+            return value ? 'TRUE' : 'FALSE';
+    }
+    if (typeof value !== 'object' || value === null) {
+        return JSON.stringify(value);
+    }
+    if ('str' in value) {
+        return value.str;
+    }
+    else if ('num' in value) {
+        return value.num.toString();
+    }
+    else {
+        return JSON.stringify(value);
+    }
+}
 /**
  * Get the values of all arguments matching the criteria.
  */
-function getArgumentValue({ dataflow: { graph } }, vertex, argumentIndex, additionalAllowedTypes) {
-    if (!vertex) {
+function getArgumentValue(data, vertex, argumentIndex, argumentName, resolveValue) {
+    const graph = data.dataflow.graph;
+    if (argumentName) {
+        const arg = vertex?.args.findIndex(arg => arg !== r_function_call_1.EmptyArgument && arg.name === argumentName);
+        if (arg >= 0) {
+            argumentIndex = arg;
+        }
+    }
+    if (!vertex || argumentIndex === undefined) {
         return undefined;
     }
     if (argumentIndex === 'unnamed') {
@@ -143,9 +244,11 @@ function getArgumentValue({ dataflow: { graph } }, vertex, argumentIndex, additi
                 valueNode = valueNode.value;
             }
             if (valueNode) {
-                const allowedTypes = [...SupportedVertexTypes, ...additionalAllowedTypes ?? []];
-                const value = allowedTypes.includes(valueNode.type) ? (0, retriever_1.removeRQuotes)(valueNode.lexeme) : dependencies_query_format_1.Unknown;
-                map.set(ref, new Set([value]));
+                // TDODO: extend vector support etc.
+                // this should be evaluated in the callee-context
+                const values = resolveBasedOnConfig(data, vertex, valueNode, vertex.environment, graph.idMap, resolveValue)
+                    ?.map(unwrapRValue) ?? [dependencies_query_format_1.Unknown];
+                map.set(ref, new Set(values));
             }
         }
         return map;
@@ -160,8 +263,9 @@ function getArgumentValue({ dataflow: { graph } }, vertex, argumentIndex, additi
             valueNode = valueNode.value;
         }
         if (valueNode) {
-            const allowedTypes = [...SupportedVertexTypes, ...additionalAllowedTypes ?? []];
-            return new Map([[arg, new Set([allowedTypes.includes(valueNode.type) ? (0, retriever_1.removeRQuotes)(valueNode.lexeme) : dependencies_query_format_1.Unknown])]]);
+            const values = resolveBasedOnConfig(data, vertex, valueNode, vertex.environment, graph.idMap, resolveValue)
+                ?.map(unwrapRValue) ?? [dependencies_query_format_1.Unknown];
+            return new Map([[arg, new Set(values)]]);
         }
     }
     return undefined;

package/queries/catalog/dependencies-query/dependencies-query-format.d.ts

@@ -2,7 +2,21 @@ import type { BaseQueryFormat, BaseQueryResult } from '../../base-query-format';
 import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import Joi from 'joi';
 import { executeDependenciesQuery } from './dependencies-query-executor';
+import type { LinkTo } from '../call-context-query/call-context-query-format';
 export declare const Unknown = "unknown";
+/** when to read the argument value from a linked function */
+export declare enum DependencyInfoLinkConstraint {
+    Always = "always",
+    IfUnknown = "if-unknown"
+}
+/**
+ * A dependency link may have attached information. If you pass it, we try to resolve the argument value from the linked function
+ * if the `when` constraint is met.
+ */
+export type DependencyInfoLink = LinkTo<RegExp | string, Omit<FunctionInfo, 'name' | 'linkTo'> & {
+    when: DependencyInfoLinkConstraint;
+} | undefined>;
+export type DependencyInfoLinkAttachedInfo = DependencyInfoLink['attachLinkInfo'];
 export declare const LibraryFunctions: FunctionInfo[];
 export declare const SourceFunctions: FunctionInfo[];
 export declare const ReadFunctions: FunctionInfo[];
@@ -11,7 +25,8 @@ export interface FunctionInfo {
     name: string;
     argIdx?: number | 'unnamed';
     argName?: string;
-    linkTo?: string;
+    linkTo?: DependencyInfoLink[];
+    resolveValue?: boolean | 'library';
 }
 export interface DependenciesQuery extends BaseQueryFormat {
     readonly type: 'dependencies';

package/queries/catalog/dependencies-query/dependencies-query-format.js

@@ -3,146 +3,155 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.DependenciesQueryDefinition = exports.WriteFunctions = exports.ReadFunctions = exports.SourceFunctions = exports.LibraryFunctions = exports.Unknown = void 0;
+exports.DependenciesQueryDefinition = exports.WriteFunctions = exports.ReadFunctions = exports.SourceFunctions = exports.LibraryFunctions = exports.DependencyInfoLinkConstraint = exports.Unknown = void 0;
 const ansi_1 = require("../../../util/ansi");
 const time_1 = require("../../../util/time");
 const joi_1 = __importDefault(require("joi"));
 const dependencies_query_executor_1 = require("./dependencies-query-executor");
 exports.Unknown = 'unknown';
+/** when to read the argument value from a linked function */
+var DependencyInfoLinkConstraint;
+(function (DependencyInfoLinkConstraint) {
+    DependencyInfoLinkConstraint["Always"] = "always";
+    DependencyInfoLinkConstraint["IfUnknown"] = "if-unknown";
+})(DependencyInfoLinkConstraint || (exports.DependencyInfoLinkConstraint = DependencyInfoLinkConstraint = {}));
 // these lists are originally based on https://github.com/duncantl/CodeDepends/blob/7fd96dfee16b252e5f642c77a7ababf48e9326f8/R/codeTypes.R
 exports.LibraryFunctions = [
-    { name: 'library', argIdx: 0, argName: 'package' },
-    { name: 'require', argIdx: 0, argName: 'package' },
-    { name: 'loadNamespace', argIdx: 0, argName: 'package' },
-    { name: 'attachNamespace', argIdx: 0, argName: 'ns' },
-    { name: 'attach', argIdx: 0, argName: 'what' },
-    { name: 'groundhog.library', argIdx: 0, argName: 'pkg' },
-    { name: 'p_load', argIdx: 'unnamed' }, // pacman
-    { name: 'p_load_gh', argIdx: 'unnamed' }, // pacman
-    { name: 'from_import', argIdx: 0, argName: 'package' }, // easypackages
-    { name: 'libraries', argIdx: 'unnamed' }, // easypackages
-    { name: 'shelf', argIdx: 'unnamed' } // librarian
+    { name: 'library', argIdx: 0, argName: 'package', resolveValue: 'library' },
+    { name: 'require', argIdx: 0, argName: 'package', resolveValue: true },
+    { name: 'loadNamespace', argIdx: 0, argName: 'package', resolveValue: true },
+    { name: 'attachNamespace', argIdx: 0, argName: 'ns', resolveValue: true },
+    { name: 'attach', argIdx: 0, argName: 'what', resolveValue: true },
+    { name: 'groundhog.library', argIdx: 0, argName: 'pkg', resolveValue: true },
+    { name: 'p_load', argIdx: 'unnamed', resolveValue: 'library' }, // pacman
+    { name: 'p_load_gh', argIdx: 'unnamed', resolveValue: 'library' }, // pacman
+    { name: 'from_import', argIdx: 0, argName: 'package', resolveValue: true }, // easypackages
+    { name: 'libraries', argIdx: 'unnamed', resolveValue: true }, // easypackages
+    { name: 'shelf', argIdx: 'unnamed', resolveValue: true } // librarian
 ];
 exports.SourceFunctions = [
-    { name: 'source', argIdx: 0, argName: 'file' },
-    { name: 'sys.source', argIdx: 0, argName: 'file' }
+    { name: 'source', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'sys.source', argIdx: 0, argName: 'file', resolveValue: true }
 ];
 exports.ReadFunctions = [
-    { name: 'read.table', argIdx: 0, argName: 'file' },
-    { name: 'read.csv', argIdx: 0, argName: 'file' },
-    { name: 'read.csv2', argIdx: 0, argName: 'file' },
-    { name: 'read.delim', argIdx: 0, argName: 'file' },
-    { name: 'read.dcf', argIdx: 0, argName: 'file' },
-    { name: 'scan', argIdx: 0, argName: 'file' },
-    { name: 'read.fwf', argIdx: 0, argName: 'file' },
-    { name: 'file', argIdx: 1, argName: 'open' },
-    { name: 'url', argIdx: 1, argName: 'open' },
-    { name: 'load', argIdx: 0, argName: 'file' },
-    { name: 'gzfile', argIdx: 1, argName: 'open' },
-    { name: 'bzfile', argIdx: 1, argName: 'open' },
-    { name: 'download.file', argIdx: 0, argName: 'url' },
-    { name: 'pipe', argIdx: 1, argName: 'open' },
-    { name: 'fifo', argIdx: 1, argName: 'open' },
-    { name: 'unz', argIdx: 1, argName: 'open' },
-    { name: 'matrix', argIdx: 0, argName: 'data' },
-    { name: 'readRDS', argIdx: 0, argName: 'file' },
-    { name: 'readLines', argIdx: 0, argName: 'con' },
-    { name: 'readRenviron', argIdx: 0, argName: 'path' },
+    { name: 'read.table', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.csv', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.csv2', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.delim', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.dcf', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'scan', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.fwf', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'file', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'url', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'load', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'gzfile', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'bzfile', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'download.file', argIdx: 0, argName: 'url', resolveValue: true },
+    { name: 'pipe', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'fifo', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'unz', argIdx: 1, argName: 'open', resolveValue: true },
+    { name: 'matrix', argIdx: 0, argName: 'data', resolveValue: true },
+    { name: 'readRDS', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'readLines', argIdx: 0, argName: 'con', resolveValue: true },
+    { name: 'readRenviron', argIdx: 0, argName: 'path', resolveValue: true },
     // readr
-    { name: 'read_csv', argIdx: 0, argName: 'file' },
-    { name: 'read_csv2', argIdx: 0, argName: 'file' },
-    { name: 'read_lines', argIdx: 0, argName: 'file' },
-    { name: 'read_delim', argIdx: 0, argName: 'file' },
-    { name: 'read_dsv', argIdx: 0, argName: 'file' },
-    { name: 'read_fwf', argIdx: 0, argName: 'file' },
-    { name: 'read_tsv', argIdx: 0, argName: 'file' },
-    { name: 'read_table', argIdx: 0, argName: 'file' },
-    { name: 'read_log', argIdx: 0, argName: 'file' },
-    { name: 'read_lines', argIdx: 0, argName: 'file' },
-    { name: 'read_lines_chunked', argIdx: 0, argName: 'file' },
+    { name: 'read_csv', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_csv2', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_lines', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_delim', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_dsv', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_fwf', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_tsv', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_table', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_log', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_lines', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_lines_chunked', argIdx: 0, argName: 'file', resolveValue: true },
     // xlsx
-    { name: 'read.xlsx', argIdx: 0, argName: 'file' },
-    { name: 'read.xlsx2', argIdx: 0, argName: 'file' },
+    { name: 'read.xlsx', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.xlsx2', argIdx: 0, argName: 'file', resolveValue: true },
     // data.table
-    { name: 'fread', argIdx: 0, argName: 'file' },
+    { name: 'fread', argIdx: 0, argName: 'file', resolveValue: true },
     // haven
-    { name: 'read_sas', argIdx: 0, argName: 'file' },
-    { name: 'read_sav', argIdx: 0, argName: 'file' },
-    { name: 'read_por', argIdx: 0, argName: 'file' },
-    { name: 'read_dta', argIdx: 0, argName: 'file' },
-    { name: 'read_xpt', argIdx: 0, argName: 'file' },
+    { name: 'read_sas', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_sav', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_por', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_dta', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read_xpt', argIdx: 0, argName: 'file', resolveValue: true },
     // feather
-    { name: 'read_feather', argIdx: 0, argName: 'file' },
+    { name: 'read_feather', argIdx: 0, argName: 'file', resolveValue: true },
     // foreign
-    { name: 'read.arff', argIdx: 0, argName: 'file' },
-    { name: 'read.dbf', argIdx: 0, argName: 'file' },
-    { name: 'read.dta', argIdx: 0, argName: 'file' },
-    { name: 'read.epiinfo', argIdx: 0, argName: 'file' },
-    { name: 'read.mtp', argIdx: 0, argName: 'file' },
-    { name: 'read.octave', argIdx: 0, argName: 'file' },
-    { name: 'read.spss', argIdx: 0, argName: 'file' },
-    { name: 'read.ssd', argIdx: 0, argName: 'file' },
-    { name: 'read.systat', argIdx: 0, argName: 'file' },
-    { name: 'read.xport', argIdx: 0, argName: 'file' },
+    { name: 'read.arff', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.dbf', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.dta', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.epiinfo', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.mtp', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.octave', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.spss', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.ssd', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.systat', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'read.xport', argIdx: 0, argName: 'file', resolveValue: true },
     // car
-    { name: 'Import', argIdx: 0, argName: 'file' },
+    { name: 'Import', argIdx: 0, argName: 'file', resolveValue: true },
+];
+const OutputRedirects = [
+    { type: 'link-to-last-call', callName: 'sink', attachLinkInfo: { argIdx: 0, argName: 'file', when: DependencyInfoLinkConstraint.IfUnknown, resolveValue: true } }
 ];
 exports.WriteFunctions = [
-    { name: 'save', argIdx: 2, argName: 'file' },
-    { name: 'save.image', argIdx: 0, argName: 'file' },
-    { name: 'write', argIdx: 1, argName: 'file' },
-    { name: 'dput', argIdx: 1, argName: 'file' },
-    { name: 'dump', argIdx: 1, argName: 'file' },
-    { name: 'write.table', argIdx: 1, argName: 'file' },
-    { name: 'write.csv', argIdx: 1, argName: 'file' },
-    { name: 'saveRDS', argIdx: 1, argName: 'file' },
+    { name: 'save', argName: 'file', resolveValue: true },
+    { name: 'save.image', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'dput', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'dump', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write.table', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write.csv', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'saveRDS', argIdx: 1, argName: 'file', resolveValue: true },
     // write functions that don't have argIndex are assumed to write to stdout
-    { name: 'print', linkTo: 'sink' },
-    { name: 'cat', linkTo: 'sink', argIdx: 1, argName: 'file' },
-    { name: 'message', linkTo: 'sink' },
-    { name: 'warning', linkTo: 'sink' },
+    { name: 'print', linkTo: OutputRedirects, resolveValue: true },
+    { name: 'cat', linkTo: OutputRedirects, argName: 'file', resolveValue: true },
+    { name: 'message', linkTo: OutputRedirects, resolveValue: true },
+    { name: 'warning', linkTo: OutputRedirects, resolveValue: true },
     // readr
-    { name: 'write_csv', argIdx: 1, argName: 'file' },
-    { name: 'write_csv2', argIdx: 1, argName: 'file' },
-    { name: 'write_delim', argIdx: 1, argName: 'file' },
-    { name: 'write_dsv', argIdx: 1, argName: 'file' },
-    { name: 'write_fwf', argIdx: 1, argName: 'file' },
-    { name: 'write_tsv', argIdx: 1, argName: 'file' },
-    { name: 'write_table', argIdx: 1, argName: 'file' },
-    { name: 'write_log', argIdx: 1, argName: 'file' },
+    { name: 'write_csv', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_csv2', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_delim', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_dsv', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_fwf', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_tsv', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_table', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_log', argIdx: 1, argName: 'file', resolveValue: true },
     // heaven
-    { name: 'write_sas', argIdx: 1, argName: 'file' },
-    { name: 'write_sav', argIdx: 1, argName: 'file' },
-    { name: 'write_por', argIdx: 1, argName: 'file' },
-    { name: 'write_dta', argIdx: 1, argName: 'file' },
-    { name: 'write_xpt', argIdx: 1, argName: 'file' },
+    { name: 'write_sas', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_sav', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_por', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_dta', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write_xpt', argIdx: 1, argName: 'file', resolveValue: true },
     // feather
-    { name: 'write_feather', argIdx: 1, argName: 'file' },
+    { name: 'write_feather', argIdx: 1, argName: 'file', resolveValue: true },
     // foreign
-    { name: 'write.arff', argIdx: 1, argName: 'file' },
-    { name: 'write.dbf', argIdx: 1, argName: 'file' },
-    { name: 'write.dta', argIdx: 1, argName: 'file' },
-    { name: 'write.foreign', argIdx: 1, argName: 'file' },
+    { name: 'write.arff', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write.dbf', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write.dta', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write.foreign', argIdx: 1, argName: 'file', resolveValue: true },
     // xlsx
-    { name: 'write.xlsx', argIdx: 1, argName: 'file' },
-    { name: 'write.xlsx2', argIdx: 1, argName: 'file' },
+    { name: 'write.xlsx', argIdx: 1, argName: 'file', resolveValue: true },
+    { name: 'write.xlsx2', argIdx: 1, argName: 'file', resolveValue: true },
     // graphics
-    { name: 'pdf', argIdx: 0, argName: 'file' },
-    { name: 'jpeg', argIdx: 0, argName: 'file' },
-    { name: 'png', argIdx: 0, argName: 'file' },
-    { name: 'windows', argIdx: 0, argName: 'file' },
-    { name: 'postscript', argIdx: 0, argName: 'file' },
-    { name: 'xfix', argIdx: 0, argName: 'file' },
-    { name: 'bitmap', argIdx: 0, argName: 'file' },
-    { name: 'pictex', argIdx: 0, argName: 'file' },
-    { name: 'cairo_pdf', argIdx: 0, argName: 'file' },
-    { name: 'svg', argIdx: 0, argName: 'file' },
-    { name: 'bmp', argIdx: 0, argName: 'file' },
-    { name: 'tiff', argIdx: 0, argName: 'file' },
-    { name: 'X11', argIdx: 0, argName: 'file' },
-    { name: 'quartz', argIdx: 0, argName: 'file' },
+    { name: 'pdf', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'jpeg', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'png', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'windows', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'postscript', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'xfix', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'bitmap', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'pictex', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'cairo_pdf', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'svg', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'bmp', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'tiff', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'X11', argIdx: 0, argName: 'file', resolveValue: true },
+    { name: 'quartz', argIdx: 0, argName: 'file', resolveValue: true },
     // car
-    { name: 'Export', argIdx: 0, argName: 'file' },
+    { name: 'Export', argIdx: 0, argName: 'file', resolveValue: true },
 ];
 function printResultSection(title, infos, result, sectionSpecifics) {
     if (infos.length <= 0) {

package/queries/catalog/resolve-value-query/resolve-value-query-executor.d.ts

@@ -1,4 +1,4 @@
 import type { ResolveValueQuery, ResolveValueQueryResult } from './resolve-value-query-format';
 import type { BasicQueryData } from '../../base-query-format';
 export declare function fingerPrintOfQuery(query: ResolveValueQuery): string;
-export declare function executeResolveValueQuery({ dataflow: { graph, environment }, ast }: BasicQueryData, queries: readonly ResolveValueQuery[]): ResolveValueQueryResult;
+export declare function executeResolveValueQuery({ dataflow: { graph }, ast }: BasicQueryData, queries: readonly ResolveValueQuery[]): ResolveValueQueryResult;

package/queries/catalog/resolve-value-query/resolve-value-query-executor.js

@@ -5,11 +5,10 @@ exports.executeResolveValueQuery = executeResolveValueQuery;
 const log_1 = require("../../../util/log");
 const parse_1 = require("../../../slicing/criterion/parse");
 const resolve_by_name_1 = require("../../../dataflow/environments/resolve-by-name");
-const node_id_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/node-id");
 function fingerPrintOfQuery(query) {
     return JSON.stringify(query);
 }
-function executeResolveValueQuery({ dataflow: { graph, environment }, ast }, queries) {
+function executeResolveValueQuery({ dataflow: { graph }, ast }, queries) {
     const start = Date.now();
     const results = {};
     for (const query of queries) {
@@ -18,8 +17,8 @@ function executeResolveValueQuery({ dataflow: { graph, environment }, ast }, que
             log_1.log.warn(`Duplicate Key for resolve-value-query: ${key}, skipping...`);
         }
         const values = query.criteria
-            .map(criteria => (0, node_id_1.recoverName)((0, parse_1.slicingCriterionToId)(criteria, ast.idMap), ast.idMap))
-            .flatMap(ident => (0, resolve_by_name_1.resolveToValues)(ident, environment, graph.idMap ?? ast.idMap));
+            .map(criteria => (0, parse_1.slicingCriterionToId)(criteria, ast.idMap))
+            .flatMap(ident => (0, resolve_by_name_1.resolve)(ident, { graph, full: true, idMap: ast.idMap }));
         results[key] = {
             values: [...new Set(values)]
         };

package/queries/query-print.js

@@ -8,15 +8,18 @@ const query_1 = require("./query");
 const html_hover_over_1 = require("../util/html-hover-over");
 const time_1 = require("../util/time");
 const built_in_1 = require("../dataflow/environments/built-in");
-function nodeString(id, formatter, processed) {
+function nodeString(nodeId, formatter, processed) {
+    const isObj = typeof nodeId === 'object' && nodeId !== null && 'id' in nodeId;
+    const id = isObj ? nodeId.id : nodeId;
+    const info = isObj ? nodeId.info : undefined;
     if (id === built_in_1.BuiltIn) {
-        return (0, ansi_1.italic)('built-in', formatter);
+        return (0, ansi_1.italic)('built-in', formatter) + (info ? ` (${JSON.stringify(info)})` : '');
     }
     const node = processed.normalize.idMap.get(id);
     if (node === undefined) {
-        return `UNKNOWN: ${id}`;
+        return `UNKNOWN: ${id} (info: ${JSON.stringify(info)})`;
     }
-    return `${(0, ansi_1.italic)('`' + (node.lexeme ?? node.info.fullLexeme ?? 'UNKNOWN') + '`', formatter)} (L.${node.location?.[0]})`;
+    return `${(0, ansi_1.italic)('`' + (node.lexeme ?? node.info.fullLexeme ?? 'UNKNOWN') + '`', formatter)} (L.${node.location?.[0]}${info ? ', ' + JSON.stringify(info) : ''})`;
 }
 function asciiCallContextSubHit(formatter, results, processed) {
     const result = [];

package/util/version.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.flowrVersion = flowrVersion;
 const semver_1 = require("semver");
 // this is automatically replaced with the current version by release-it
-const version = '2.2.5';
+const version = '2.2.6';
 function flowrVersion() {
     return new semver_1.SemVer(version);
 }