@eagleoutice/flowr 2.8.13 → 2.8.14

package/dataflow/graph/vertex.d.ts

@@ -218,6 +218,8 @@ export interface DataflowGraphVertexVariableDefinition extends DataflowGraphVert
     readonly tag: VertexType.VariableDefinition;
     /** Does not require an environment, those are attached to the call */
     readonly environment?: undefined;
+    /** Indicates whether the variable definition is a *partial* definition (e.g,. in `x[a] <- b`) */
+    readonly par?: true;
 }
 /**
  * Arguments required to construct a vertex which represents the definition of a function in the {@link DataflowGraph|dataflow graph}.

package/dataflow/internal/linker.js

@@ -363,7 +363,6 @@ function getAllLinkedFunctionDefinitions(functionDefinitionReadIds, dataflowGrap
     const visited = new Set();
     while (potential.length !== 0) {
         const cid = potential.pop();
-        // console.log(`visiting ${recoverName(cid, dataflowGraph.idMap)} ${cid}`);
         visited.add(cid);
         if ((0, built_in_1.isBuiltIn)(cid)) {
             builtIns.add(cid);
@@ -388,7 +387,7 @@ function getAllLinkedFunctionDefinitions(functionDefinitionReadIds, dataflowGrap
                 }
             }
         }
-        if (vertex.tag === vertex_1.VertexType.FunctionCall || hasReturnEdge) {
+        if (vertex.tag === vertex_1.VertexType.FunctionCall || hasReturnEdge || (vertex.tag === vertex_1.VertexType.VariableDefinition && vertex.par)) {
             continue;
         }
         for (const [target, { types }] of edges) {

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

@@ -45,6 +45,10 @@ args, rootId, data, config) {
     if (createdVert?.tag === vertex_1.VertexType.FunctionCall) {
         createdVert.origin = [built_in_1.BuiltInProcName.Replacement];
     }
+    const targetVert = res.graph.getVertex((0, unpack_argument_1.unpackArg)(args[0])?.info.id);
+    if (targetVert?.tag === vertex_1.VertexType.VariableDefinition) {
+        targetVert.par = true;
+    }
     const convertedArgs = config.readIndices ? args.slice(1, -1) : (0, built_in_access_1.symbolArgumentsToStrings)(args.slice(1, -1), 0);
     /* now, we soft-inject other arguments, so that calls like `x[y] <- 3` are linked correctly */
     const { callArgs } = (0, common_1.processAllArguments)({

package/documentation/wiki-dataflow-graph.js

@@ -392,6 +392,7 @@ ${(0, doc_structure_1.details)('Example: Super Definition (<code><<-</code>)', a
 The implementation is relatively sparse and similar to the other marker vertices:
 
 ${ctx.hierarchy('DataflowGraphVertexVariableDefinition')}
+Of only interest is \`par\`, which signals that the definitions is partial (e.g., in the case of \`x[a] <- 1\`).
 
 Of course, there are not just operators that define variables, but also functions, like \`assign\`.
 

package/package.json

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

package/util/version.js

@@ -6,7 +6,7 @@ exports.printVersionInformation = printVersionInformation;
 const semver_1 = require("semver");
 const assert_1 = require("./assert");
 // this is automatically replaced with the current version by release-it
-const version = '2.8.13';
+const version = '2.8.14';
 /**
  * Retrieves the current flowR version as a new {@link SemVer} object.
  */