@eagleoutice/flowr 2.9.13 → 2.10.1

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

@@ -9,8 +9,8 @@ const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const alias_tracking_1 = require("../../../../../eval/resolve/alias-tracking");
 const general_1 = require("../../../../../eval/values/general");
 const unknown_side_effect_1 = require("../../../../../graph/unknown-side-effect");
-const built_in_1 = require("../../../../../environments/built-in");
 const range_1 = require("../../../../../../util/range");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a hook such as `on.exit`
  */
@@ -26,9 +26,9 @@ function processRegisterHook(name, args, rootId, data, config) {
     }
     params['...'] = '...';
     const argMaps = (0, linker_1.pMatch)((0, common_1.convertFnArguments)(args), params);
-    const exprIds = new Set(argMaps.entries().filter(([, v]) => v === 'expr').map(([k]) => k));
-    const addIds = config.args.add ? new Set((0, linker_1.getAllIdsWithTarget)(argMaps, 'add')) : new Set();
-    const afterIds = config.args.after ? new Set((0, linker_1.getAllIdsWithTarget)(argMaps, 'after')) : new Set();
+    const exprIds = new Set(argMaps.get('expr'));
+    const addIds = config.args.add ? new Set(argMaps.get('add')) : new Set();
+    const afterIds = config.args.after ? new Set(argMaps.get('after')) : new Set();
     const wrappedFunctions = new Set();
     // we automatically transform the expr to a function definition that takes no arguments
     const transformed = args.map(arg => {
@@ -60,7 +60,7 @@ function processRegisterHook(name, args, rootId, data, config) {
             return arg;
         }
     });
-    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args: transformed, rootId, data, origin: built_in_1.BuiltInProcName.RegisterHook });
+    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args: transformed, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.RegisterHook });
     const resolveArgs = {
         graph: res.information.graph,
         environment: res.information.environment,

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

@@ -8,8 +8,8 @@ const assert_1 = require("../../../../../../util/assert");
 const unpack_argument_1 = require("../argument/unpack-argument");
 const r_function_call_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const logger_1 = require("../../../../../logger");
-const built_in_1 = require("../../../../../environments/built-in");
 const identifier_1 = require("../../../../../environments/identifier");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a built-in repeat loop function call like `repeat { ... }`.
  * @param name     - The name of the function being called.
@@ -37,7 +37,7 @@ function processRepeatLoop(name, args, rootId, data) {
             return d;
         },
         markAsNSE: [0],
-        origin: built_in_1.BuiltInProcName.RepeatLoop
+        origin: built_in_proc_name_1.BuiltInProcName.RepeatLoop
     });
     const body = processedArguments[0];
     (0, assert_1.guard)(body !== undefined, () => `Repeat-Loop ${identifier_1.Identifier.toString(name.content)} has no body, impossible!`);

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

@@ -1,5 +1,5 @@
 import type { DataflowProcessorInformation } from '../../../../../processor';
-import { type DataflowInformation } from '../../../../../info';
+import { DataflowInformation } from '../../../../../info';
 import { type ForceArguments } from '../common';
 import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';

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

@@ -20,6 +20,7 @@ const make_argument_1 = require("../argument/make-argument");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const graph_1 = require("../../../../../graph/graph");
 const range_1 = require("../../../../../../util/range");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a replacement function call like `<-`, `[[<-`, `$<-`, etc.
  * These are automatically created when doing assignments like `x[y] <- value` or in general `fun(x) <- value` will call `fun<- (x, value)`.
@@ -49,14 +50,14 @@ args, rootId, data, config) {
         }, data.completeAst.idMap);
     }
     /* we assign the first argument by the last for now and maybe mark as maybe!, we can keep the symbol as we now know we have an assignment */
-    let res = built_in_1.BuiltInProcessorMapper[built_in_1.BuiltInProcName.Assignment](name, [targetArg, args.at(-1)], rootId, data, {
+    let res = built_in_1.BuiltInProcessorMapper[built_in_proc_name_1.BuiltInProcName.Assignment](name, [targetArg, args.at(-1)], rootId, data, {
         superAssignment: config.assignmentOperator === '<<-',
         makeMaybe: config.makeMaybe,
         canBeReplacement: true
     });
     const createdVert = res.graph.getVertex(rootId);
     if (createdVert?.tag === vertex_1.VertexType.FunctionCall) {
-        createdVert.origin = [built_in_1.BuiltInProcName.Replacement];
+        createdVert.origin = [built_in_proc_name_1.BuiltInProcName.Replacement];
     }
     const targetVert = res.graph.getVertex((0, unpack_argument_1.unpackArg)(args[0])?.info.id);
     if (targetVert?.tag === vertex_1.VertexType.VariableDefinition) {
@@ -65,7 +66,7 @@ args, rootId, data, config) {
     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)({
-        functionName: (0, info_1.initializeCleanDataflowInformation)(rootId, data),
+        functionName: info_1.DataflowInformation.initialize(rootId, data),
         args: convertedArgs,
         data,
         functionRootId: rootId,
@@ -78,7 +79,7 @@ args, rootId, data, config) {
         rootId,
         name,
         argumentProcessResult: args.map(a => a === r_function_call_1.EmptyArgument ? undefined : { entryPoint: (0, unpack_argument_1.unpackNonameArg)(a)?.info.id }),
-        origin: built_in_1.BuiltInProcName.Replacement,
+        origin: built_in_proc_name_1.BuiltInProcName.Replacement,
         link: config.assignRootId ? { origin: [config.assignRootId] } : undefined
     });
     const firstArg = (0, unpack_argument_1.unpackNonameArg)(args[0]);

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

@@ -5,7 +5,7 @@ const known_call_handling_1 = require("../known-call-handling");
 const r_function_call_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const logger_1 = require("../../../../../logger");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
-const built_in_1 = require("../../../../../environments/built-in");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process an `rm` call.
  */
@@ -14,7 +14,7 @@ function processRm(name, args, rootId, data) {
         logger_1.dataflowLogger.warn('empty rm, skipping');
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
-    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.Rm }).information;
+    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.Rm }).information;
     const names = [];
     for (const arg of args) {
         if (arg === r_function_call_1.EmptyArgument) {

package/dataflow/internal/process/functions/call/built-in/built-in-s-seven-dispatch.js

@@ -3,8 +3,8 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.S7DispatchSeparator = void 0;
 exports.processS7Dispatch = processS7Dispatch;
 const known_call_handling_1 = require("../known-call-handling");
-const built_in_1 = require("../../../../../environments/built-in");
 const identifier_1 = require("../../../../../environments/identifier");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /** Used to separate S7 dispatch info in identifiers */
 exports.S7DispatchSeparator = '﹕s3﹕';
 /**
@@ -12,9 +12,9 @@ exports.S7DispatchSeparator = '﹕s3﹕';
  */
 function processS7Dispatch(name, args, rootId, data) {
     if (!('currentS7name' in data) || !Array.isArray(data.currentS7name)) {
-        return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.S7Dispatch }).information;
+        return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.S7Dispatch }).information;
     }
-    const info = (0, known_call_handling_1.processKnownFunctionCall)({ name, forceArgs: 'all', args, rootId, data, origin: built_in_1.BuiltInProcName.S7Dispatch }).information;
+    const info = (0, known_call_handling_1.processKnownFunctionCall)({ name, forceArgs: 'all', args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.S7Dispatch }).information;
     for (const id of data.currentS7name) {
         if (typeof id === 'string') {
             const newIn = info.in.slice();

package/dataflow/internal/process/functions/call/built-in/built-in-s-seven-new-generic.js

@@ -7,7 +7,6 @@ const linker_1 = require("../../../../linker");
 const common_1 = require("../common");
 const unpack_argument_1 = require("../argument/unpack-argument");
 const r_argument_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-argument");
-const built_in_1 = require("../../../../../environments/built-in");
 const edge_1 = require("../../../../../graph/edge");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const assert_1 = require("../../../../../../util/assert");
@@ -16,6 +15,7 @@ const alias_tracking_1 = require("../../../../../eval/resolve/alias-tracking");
 const r_value_1 = require("../../../../../eval/values/r-value");
 const vertex_1 = require("../../../../../graph/vertex");
 const range_1 = require("../../../../../../util/range");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process an S7 new generic dispatch call like `new_generic` or `setGeneric`.
  */
@@ -32,7 +32,7 @@ function processS7NewGeneric(name, args, rootId, data, config) {
     }
     params[config.args.fun] = 'fun';
     params['...'] = '...';
-    const argMaps = (0, linker_1.invertArgumentMap)((0, linker_1.pMatch)((0, common_1.convertFnArguments)(args), params));
+    const argMaps = (0, linker_1.pMatch)((0, common_1.convertFnArguments)(args), params);
     const genName = (0, unpack_argument_1.unpackArg)(r_argument_1.RArgument.getWithId(args, argMaps.get('name')?.[0]));
     if (!genName) {
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
@@ -60,7 +60,7 @@ function processS7NewGeneric(name, args, rootId, data, config) {
         effectiveArgs.push(newFun[0]);
         funArg = newFun[1];
     }
-    const info = (0, known_call_handling_1.processKnownFunctionCall)({ name, forceArgs: 'all', args: effectiveArgs, rootId, data, origin: built_in_1.BuiltInProcName.S7NewGeneric }).information;
+    const info = (0, known_call_handling_1.processKnownFunctionCall)({ name, forceArgs: 'all', args: effectiveArgs, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.S7NewGeneric }).information;
     info.graph.addEdge(rootId, funArg, edge_1.EdgeType.Returns);
     info.entryPoint = funArg;
     const fArg = info.graph.getVertex(funArg);

package/dataflow/internal/process/functions/call/built-in/built-in-s-three-dispatch.d.ts

@@ -1,5 +1,5 @@
 import type { DataflowProcessorInformation } from '../../../../../processor';
-import type { DataflowInformation } from '../../../../../info';
+import { DataflowInformation } from '../../../../../info';
 import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import { type RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
 import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';

package/dataflow/internal/process/functions/call/built-in/built-in-s-three-dispatch.js

@@ -5,7 +5,6 @@ const processor_1 = require("../../../../../processor");
 const info_1 = require("../../../../../info");
 const known_call_handling_1 = require("../known-call-handling");
 const logger_1 = require("../../../../../logger");
-const built_in_1 = require("../../../../../environments/built-in");
 const linker_1 = require("../../../../linker");
 const common_1 = require("../common");
 const unpack_argument_1 = require("../argument/unpack-argument");
@@ -15,6 +14,7 @@ const identifier_1 = require("../../../../../environments/identifier");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const range_1 = require("../../../../../../util/range");
 const r_argument_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-argument");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process an S3 dispatch call like `UseMethod`.
  */
@@ -28,13 +28,13 @@ function processS3Dispatch(name, args, rootId, data, config) {
         [config.args.object]: 'object',
         '...': '...'
     };
-    const argMaps = (0, linker_1.invertArgumentMap)((0, linker_1.pMatch)((0, common_1.convertFnArguments)(args), params));
+    const argMaps = (0, linker_1.pMatch)((0, common_1.convertFnArguments)(args), params);
     const generic = (0, unpack_argument_1.unpackArg)(r_argument_1.RArgument.getWithId(args, argMaps.get('generic')?.[0]));
     if (!generic && !config.inferFromClosure) {
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const obj = (0, unpack_argument_1.unpackArg)(r_argument_1.RArgument.getWithId(args, argMaps.get('object')?.[0]));
-    const dfObj = obj ? (0, processor_1.processDataflowFor)(obj, data) : (0, info_1.initializeCleanDataflowInformation)(rootId, data);
+    const dfObj = obj ? (0, processor_1.processDataflowFor)(obj, data) : info_1.DataflowInformation.initialize(rootId, data);
     if ((0, info_1.alwaysExits)(dfObj)) {
         (0, common_1.patchFunctionCall)({
             nextGraph: dfObj.graph,
@@ -42,7 +42,7 @@ function processS3Dispatch(name, args, rootId, data, config) {
             name,
             data,
             argumentProcessResult: [dfObj],
-            origin: built_in_1.BuiltInProcName.S3Dispatch
+            origin: built_in_proc_name_1.BuiltInProcName.S3Dispatch
         });
         return dfObj;
     }
@@ -53,7 +53,7 @@ function processS3Dispatch(name, args, rootId, data, config) {
             name,
             data,
             argumentProcessResult: [dfObj],
-            origin: built_in_1.BuiltInProcName.S3DispatchNext
+            origin: built_in_proc_name_1.BuiltInProcName.S3DispatchNext
         });
         const ingoing = dfObj.in.concat(dfObj.unknownReferences);
         ingoing.push({ nodeId: rootId, name: name.content, cds: data.cds, type: identifier_1.ReferenceType.Function });
@@ -95,7 +95,7 @@ function processS3Dispatch(name, args, rootId, data, config) {
         name: symbol,
         data,
         argumentProcessResult: [], // arguments will be attached by the accompanying enveloping function definition
-        origin: built_in_1.BuiltInProcName.S3Dispatch
+        origin: built_in_proc_name_1.BuiltInProcName.S3Dispatch
     });
     (0, common_1.patchFunctionCall)({
         nextGraph: dfGeneric.graph,
@@ -103,7 +103,7 @@ function processS3Dispatch(name, args, rootId, data, config) {
         name,
         data,
         argumentProcessResult: [dfGeneric, dfObj],
-        origin: built_in_1.BuiltInProcName.Function
+        origin: built_in_proc_name_1.BuiltInProcName.Function
     });
     const ingoing = dfObj.in.concat(dfGeneric.in, dfObj.unknownReferences, dfGeneric.unknownReferences);
     ingoing.push({ nodeId: rootId, name: name.content, cds: data.cds, type: identifier_1.ReferenceType.Function });

package/dataflow/internal/process/functions/call/built-in/built-in-source.d.ts

@@ -1,5 +1,5 @@
 import { type DataflowProcessorInformation } from '../../../../../processor';
-import { type DataflowInformation } from '../../../../../info';
+import { DataflowInformation } from '../../../../../info';
 import { type FlowrLaxSourcingOptions, InferWorkingDirectory } from '../../../../../../config';
 import { type RParseRequest } from '../../../../../../r-bridge/retriever';
 import { type IdGenerator, type ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';

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

@@ -29,8 +29,8 @@ const general_1 = require("../../../../../eval/values/general");
 const r_value_1 = require("../../../../../eval/values/r-value");
 const unknown_side_effect_1 = require("../../../../../graph/unknown-side-effect");
 const alias_tracking_1 = require("../../../../../eval/resolve/alias-tracking");
-const built_in_1 = require("../../../../../environments/built-in");
 const edge_1 = require("../../../../../graph/edge");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Infers working directories based on the given option and reference chain
  */
@@ -137,8 +137,8 @@ function processSourceCall(name, args, rootId, data, config) {
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const information = config.includeFunctionCall ?
-        (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.Source }).information
-        : (0, info_1.initializeCleanDataflowInformation)(rootId, data);
+        (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.Source }).information
+        : info_1.DataflowInformation.initialize(rootId, data);
     const sourceFileArgument = args[0];
     if (!config.forceFollow && data.ctx.config.ignoreSourceCalls) {
         (0, log_1.expensiveTrace)(logger_1.dataflowLogger, () => `Skipping source call ${JSON.stringify(sourceFileArgument)} (disabled in config file)`);

package/dataflow/internal/process/functions/call/built-in/built-in-special-bin-op.js

@@ -4,8 +4,8 @@ exports.processSpecialBinOp = processSpecialBinOp;
 const known_call_handling_1 = require("../known-call-handling");
 const logger_1 = require("../../../../../logger");
 const edge_1 = require("../../../../../graph/edge");
-const built_in_1 = require("../../../../../environments/built-in");
 const identifier_1 = require("../../../../../environments/identifier");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a special built-in binary operator, possibly lazily.
  * For example, the logical AND `&&` and OR `||` operators only evaluate their right-hand side if necessary.
@@ -13,7 +13,7 @@ const identifier_1 = require("../../../../../environments/identifier");
  */
 function processSpecialBinOp(name, args, rootId, data, config) {
     if (!config.lazy) {
-        return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.SpecialBinOp }).information;
+        return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.SpecialBinOp }).information;
     }
     else if (args.length != 2) {
         logger_1.dataflowLogger.warn(`Logical bin-op ${identifier_1.Identifier.toString(name.content)} has something else than 2 arguments, skipping`);
@@ -26,7 +26,7 @@ function processSpecialBinOp(name, args, rootId, data, config) {
             }
             return d;
         },
-        origin: built_in_1.BuiltInProcName.SpecialBinOp
+        origin: built_in_proc_name_1.BuiltInProcName.SpecialBinOp
     });
     for (const arg of processedArguments) {
         if (arg) {

package/dataflow/internal/process/functions/call/built-in/built-in-stop-if-not.js

@@ -9,8 +9,8 @@ const alias_tracking_1 = require("../../../../../eval/resolve/alias-tracking");
 const general_1 = require("../../../../../eval/values/general");
 const assert_1 = require("../../../../../../util/assert");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
-const built_in_1 = require("../../../../../environments/built-in");
 const identifier_1 = require("../../../../../environments/identifier");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Processes a built-in 'stopifnot' function call.
  * This is special in that it may take a number of boolean expressions either via `...` or
@@ -26,7 +26,7 @@ const identifier_1 = require("../../../../../environments/identifier");
  * ```
  */
 function processStopIfNot(name, args, rootId, data) {
-    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.StopIfNot }).information;
+    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.StopIfNot }).information;
     if (args.length === 0) {
         logger_1.dataflowLogger.warn(`stopifnot (${identifier_1.Identifier.toString(name.content)}) has no argument, assuming trivially true and skipping`);
         return res;

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

@@ -11,20 +11,17 @@ const unpack_argument_1 = require("../argument/unpack-argument");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const assert_1 = require("../../../../../../util/assert");
 const edge_1 = require("../../../../../graph/edge");
-const built_in_1 = require("../../../../../environments/built-in");
 const unnamed_call_handling_1 = require("../unnamed-call-handling");
 const identifier_1 = require("../../../../../environments/identifier");
 const identifier_2 = require("../../../../../environments/identifier");
 const resolve_by_name_1 = require("../../../../../environments/resolve-by-name");
 const log_1 = require("../../../../../../util/log");
-function getArgsOfName(argMaps, name) {
-    return new Set(argMaps.entries().filter(([, v]) => v === name).map(([k]) => k));
-}
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a built-in try-catch or similar handler.
  */
 function processTryCatch(name, args, rootId, data, config) {
-    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args: args.map(unpack_argument_1.tryUnpackNoNameArg), rootId, data, origin: built_in_1.BuiltInProcName.Try, forceArgs: 'all' });
+    const res = (0, known_call_handling_1.processKnownFunctionCall)({ name, args: args.map(unpack_argument_1.tryUnpackNoNameArg), rootId, data, origin: built_in_proc_name_1.BuiltInProcName.Try, forceArgs: 'all' });
     if (args.length < 1 || args[0] === r_function_call_1.EmptyArgument) {
         logger_1.dataflowLogger.warn(`TryCatch Handler ${identifier_1.Identifier.toString(name.content)} does not have 1 argument, skipping`);
         return res.information;
@@ -43,9 +40,9 @@ function processTryCatch(name, args, rootId, data, config) {
     // only remove exit points from the block
     const argMaps = (0, linker_1.pMatch)(res.callArgs, params);
     const info = res.information;
-    const blockArg = getArgsOfName(argMaps, 'block');
-    const errorArg = getArgsOfName(argMaps, 'error');
-    const finallyArg = getArgsOfName(argMaps, 'finally');
+    const blockArg = new Set(argMaps.get('block'));
+    const errorArg = new Set(argMaps.get('error'));
+    const finallyArg = new Set(argMaps.get('finally'));
     // only take those exit points from the block
     // check whether blockArg has *always* happening exceptions, if so we do not constrain the error handler
     const blockErrorExitPoints = [];
@@ -158,7 +155,7 @@ function promoteCallToFunction(call, arg, info, data) {
             environment: data.environment,
             onlyBuiltin: false,
             cds: data.cds,
-            origin: [built_in_1.BuiltInProcName.Function]
+            origin: [built_in_proc_name_1.BuiltInProcName.Function]
         });
         return functionId;
     }

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

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.processVector = processVector;
 const known_call_handling_1 = require("../known-call-handling");
-const built_in_1 = require("../../../../../environments/built-in");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a vector call.
  *
@@ -12,6 +12,6 @@ const built_in_1 = require("../../../../../environments/built-in");
  * ```
  */
 function processVector(name, args, rootId, data) {
-    return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.Vector }).information;
+    return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_proc_name_1.BuiltInProcName.Vector }).information;
 }
 //# sourceMappingURL=built-in-vector.js.map

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

@@ -13,8 +13,8 @@ const identifier_1 = require("../../../../../environments/identifier");
 const general_1 = require("../../../../../eval/values/general");
 const alias_tracking_1 = require("../../../../../eval/resolve/alias-tracking");
 const reference_to_maybe_1 = require("../../../../../environments/reference-to-maybe");
-const built_in_1 = require("../../../../../environments/built-in");
 const append_1 = require("../../../../../environments/append");
+const built_in_proc_name_1 = require("../../../../../environments/built-in-proc-name");
 /**
  * Process a while loop like `while(cond) { ... }`.
  */
@@ -44,7 +44,7 @@ function processWhileLoop(name, args, rootId, data) {
         rootId,
         data,
         markAsNSE: [1],
-        origin: built_in_1.BuiltInProcName.WhileLoop
+        origin: built_in_proc_name_1.BuiltInProcName.WhileLoop
     });
     const [condition, body] = processedArguments;
     // If the condition is always false, we don't include the body

package/dataflow/internal/process/functions/call/common.js

@@ -69,6 +69,7 @@ function convertFnArgument(arg) {
     else {
         return {
             nodeId: arg.info.id,
+            valueId: arg.value?.info.id,
             name: arg.name.content,
             cds: undefined,
             type: identifier_1.ReferenceType.Argument
@@ -134,7 +135,7 @@ function processAllArguments({ functionName, args, data, finalGraph, functionRoo
             callArgs.push({ nodeId: processed.entryPoint, cds: undefined, type: identifier_1.ReferenceType.Argument });
         }
         else {
-            callArgs.push({ nodeId: processed.entryPoint, name: arg.name.content, cds: undefined, type: identifier_1.ReferenceType.Argument });
+            callArgs.push({ nodeId: processed.entryPoint, valueId: arg.value?.info.id, name: arg.name.content, cds: undefined, type: identifier_1.ReferenceType.Argument });
         }
         finalGraph.addEdge(functionRootId, processed.entryPoint, edge_1.EdgeType.Argument);
     }

package/dataflow/internal/process/functions/call/known-call-handling.js

@@ -10,7 +10,7 @@ const edge_1 = require("../../../../graph/edge");
 const logger_1 = require("../../../../logger");
 const vertex_1 = require("../../../../graph/vertex");
 const unknown_side_effect_1 = require("../../../../graph/unknown-side-effect");
-const built_in_1 = require("../../../../environments/built-in");
+const built_in_proc_name_1 = require("../../../../environments/built-in-proc-name");
 /**
  * Marks the given arguments as being involved in R's non-standard evaluation.
  */
@@ -49,7 +49,7 @@ function processKnownFunctionCall({ name, args, rootId, data, reverseOrder = fal
         onlyBuiltin: false,
         cds: data.cds,
         args: reverseOrder ? callArgs.toReversed() : callArgs,
-        origin: origin === 'default' ? [built_in_1.BuiltInProcName.Function] : [origin]
+        origin: origin === 'default' ? [built_in_proc_name_1.BuiltInProcName.Function] : [origin]
     }, data.ctx.env.makeCleanEnv());
     if (hasUnknownSideEffect) {
         (0, unknown_side_effect_1.handleUnknownSideEffect)(finalGraph, data.environment, rootId);

package/dataflow/internal/process/functions/call/named-call-handling.d.ts

@@ -1,5 +1,5 @@
 import type { DataflowProcessorInformation } from '../../../../processor';
-import { type DataflowInformation } from '../../../../info';
+import { DataflowInformation } from '../../../../info';
 import type { ParentInformation } from '../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { RFunctionArgument } from '../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
 import type { RSymbol } from '../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';

package/dataflow/internal/process/functions/call/named-call-handling.js

@@ -64,6 +64,6 @@ function processNamedCall(name, args, rootId, data) {
         // mark the function call as built in only
         markAsOnlyBuiltIn(information.graph, rootId);
     }
-    return information ?? (0, info_1.initializeCleanDataflowInformation)(rootId, data);
+    return information ?? info_1.DataflowInformation.initialize(rootId, data);
 }
 //# sourceMappingURL=named-call-handling.js.map

package/dataflow/internal/process/functions/call/unnamed-call-handling.js

@@ -11,7 +11,7 @@ const vertex_1 = require("../../../../graph/vertex");
 const type_1 = require("../../../../../r-bridge/lang-4.x/ast/model/type");
 const logger_1 = require("../../../../logger");
 const identifier_1 = require("../../../../environments/identifier");
-const built_in_1 = require("../../../../environments/built-in");
+const built_in_proc_name_1 = require("../../../../environments/built-in-proc-name");
 exports.UnnamedFunctionCallPrefix = 'unnamed-fc-';
 /**
  * Processes an unnamed function call.
@@ -45,7 +45,7 @@ function processUnnamedFunctionCall(functionCall, data) {
         onlyBuiltin: false,
         cds: data.cds,
         args: callArgs, // same reference
-        origin: [built_in_1.BuiltInProcName.Unnamed]
+        origin: [built_in_proc_name_1.BuiltInProcName.Unnamed]
     }, data.ctx.env.makeCleanEnv());
     let inIds = remainingReadInArgs;
     inIds.push({ nodeId: functionRootId, name: functionCallName, cds: data.cds, type: identifier_1.ReferenceType.Function });

package/dataflow/internal/process/functions/process-parameter.js

@@ -23,7 +23,7 @@ function processFunctionParameter(parameter, data) {
     for (const writtenNode of writtenNodes) {
         const wid = writtenNode.nodeId;
         (0, log_1.expensiveTrace)(log_1.log, () => `parameter ${writtenNode.name} (${wid}) is defined at id ${writtenNode.definedAt} with ${defaultValue === undefined ? 'no default value' : ' a default value'}`);
-        graph.setDefinitionOfVertex(writtenNode);
+        graph.setDefinitionOfVertex(writtenNode, defaultValue?.entryPoint ? [defaultValue?.entryPoint] : []);
         environment = (0, define_1.define)(writtenNode, false, environment);
         if (defaultValue !== undefined) {
             if (r_function_definition_1.RFunctionDefinition.is(parameter.defaultValue)) {

package/dataflow/internal/process/process-uninteresting-leaf.d.ts

@@ -1,4 +1,4 @@
-import { type DataflowInformation } from '../../info';
+import { DataflowInformation } from '../../info';
 import type { DataflowProcessorInformation } from '../../processor';
 import type { RNodeWithParent } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 /**

package/dataflow/internal/process/process-uninteresting-leaf.js

@@ -8,6 +8,6 @@ const info_1 = require("../../info");
  * This can be used to ignore nodes that do not affect dataflow analysis.
  */
 function processUninterestingLeaf(leaf, info) {
-    return (0, info_1.initializeCleanDataflowInformation)(leaf.info.id, info);
+    return info_1.DataflowInformation.initialize(leaf.info.id, info);
 }
 //# sourceMappingURL=process-uninteresting-leaf.js.map

package/dataflow/origin/dfg-get-origin.d.ts

@@ -76,5 +76,5 @@ export type Origin = SimpleOrigin | FunctionCallOrigin | BuiltInFunctionOrigin;
  *
  * This returns undefined only if there is no dataflow correspondence (e.g. in case of unevaluated non-standard eval).
  */
-export declare function getOriginInDfg(dfg: DataflowGraph, id: NodeId): Origin[] | undefined;
+export declare function getOriginInDfg(this: void, dfg: DataflowGraph, id: NodeId): Origin[] | undefined;
 export {};

package/dataflow/origin/dfg-get-symbol-refs.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.getAllRefsToSymbol = getAllRefsToSymbol;
 const edge_1 = require("../graph/edge");
 const info_1 = require("../info");
-const dfg_get_origin_1 = require("./dfg-get-origin");
+const df_helper_1 = require("../graph/df-helper");
 /**
  * Finds the definition of a variable and all other uses from that point on
  *
@@ -22,7 +22,7 @@ const dfg_get_origin_1 = require("./dfg-get-origin");
  */
 function getAllRefsToSymbol(graph, nodeId) {
     // Get all origins and filter for ones that happen for sure
-    const origins = (0, dfg_get_origin_1.getOriginInDfg)(graph, nodeId);
+    const origins = df_helper_1.Dataflow.origin(graph, nodeId);
     if (origins === undefined) {
         return undefined;
     }
@@ -32,13 +32,13 @@ function getAllRefsToSymbol(graph, nodeId) {
     }
     // Gather all the references
     const res = new Set();
-    for (const origin of definitiveOrigins) {
-        res.add(origin.id);
-        graph.ingoingEdges(origin.id)
+    for (const { id } of definitiveOrigins) {
+        res.add(id);
+        graph.ingoingEdges(id)
             ?.entries()
             .filter(([_, edge]) => edge_1.DfEdge.includesType(edge, edge_1.EdgeType.Reads))
             .forEach(([node, _]) => res.add(node));
-        graph.outgoingEdges(origin.id)
+        graph.outgoingEdges(id)
             ?.entries()
             .filter(([_, edge]) => edge_1.DfEdge.includesType(edge, edge_1.EdgeType.DefinedByOnCall))
             .forEach(([node, _]) => res.add(node));

package/documentation/doc-readme.js

@@ -282,7 +282,8 @@ We welcome every contribution! Please check out the ${ctx.linkPage('wiki/Onboard
 
 *flowr* is actively developed by [Florian Sihler](https://eagleoutice.github.io/portfolio/) and (since October 1st 2025) [Oliver Gerstl](https://www.linkedin.com/in/oliver-gerstl) under the
 [GPLv3 License](LICENSE).\\
-It is partially supported by the German Research Foundation (DFG) under the grant [504226141](https://gepris.dfg.de/gepris/projekt/504226141) ("CodeInspector").
+It is partially supported by the German Research Foundation (DFG) under the grant [504226141](https://gepris.dfg.de/gepris/projekt/504226141) ("CodeInspector")
+and received an unrestricted gift from [Posit](https://posit.co/), the open-source data science company. 
 
 ----
 

package/documentation/doc-util/doc-dfg.d.ts

@@ -8,6 +8,9 @@ import type { MermaidMarkdownMark } from '../../util/mermaid/info';
  * Please use this only for documentation purposes, for programmatic usage use {@link graphToMermaid} directly.
  */
 export declare function printDfGraph(graph: DataflowGraph, mark?: ReadonlySet<MermaidMarkdownMark>, simplified?: boolean): string;
+/**
+ * Options for {@link printDfGraphForCode}.
+ */
 export interface PrintDataflowGraphOptions {
     readonly mark?: ReadonlySet<MermaidMarkdownMark>;
     readonly showCode?: boolean;