@eagleoutice/flowr 2.6.3 → 2.7.0

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

@@ -16,7 +16,6 @@ const identifier_1 = require("../../../../../environments/identifier");
 const overwrite_1 = require("../../../../../environments/overwrite");
 const vertex_1 = require("../../../../../graph/vertex");
 const scoping_1 = require("../../../../../environments/scoping");
-const environment_1 = require("../../../../../environments/environment");
 const resolve_by_name_1 = require("../../../../../environments/resolve-by-name");
 const edge_1 = require("../../../../../graph/edge");
 const log_1 = require("../../../../../../util/log");
@@ -31,7 +30,7 @@ function processFunctionDefinition(name, args, rootId, data) {
     }
     /* we remove the last argument, as it is the body */
     const parameters = args.slice(0, -1);
-    const bodyArg = (0, unpack_argument_1.unpackArgument)(args[args.length - 1]);
+    const bodyArg = (0, unpack_argument_1.unpackNonameArg)(args[args.length - 1]);
     (0, assert_1.guard)(bodyArg !== undefined, () => `Function Definition ${JSON.stringify(args)} has missing body! This is bad!`);
     const originalEnvironment = data.environment;
     // within a function def we do not pass on the outer binds as they could be overwritten when called
@@ -74,7 +73,7 @@ function processFunctionDefinition(name, args, rootId, data) {
                 id: read.nodeId,
                 environment: undefined,
                 cds: undefined
-            });
+            }, data.ctx.env.makeCleanEnv());
         }
     }
     const flow = {
@@ -95,7 +94,7 @@ function processFunctionDefinition(name, args, rootId, data) {
         cds: data.controlDependencies,
         subflow: flow,
         exitPoints: exitPoints?.filter(e => e.type === 1 /* ExitPointType.Return */ || e.type === 0 /* ExitPointType.Default */).map(e => e.nodeId) ?? []
-    });
+    }, data.ctx.env.makeCleanEnv());
     return {
         /* nothing escapes a function definition, but the function itself, will be forced in assignment: { nodeId: functionDefinition.info.id, scope: data.activeScope, used: 'always', name: functionDefinition.info.id as string } */
         unknownReferences: [],
@@ -112,8 +111,8 @@ function processFunctionDefinition(name, args, rootId, data) {
 /**
  *
  */
-function retrieveActiveEnvironment(callerEnvironment, baseEnvironment) {
-    callerEnvironment ??= (0, environment_1.initializeCleanEnvironments)(undefined, true);
+function retrieveActiveEnvironment(callerEnvironment, baseEnvironment, ctx) {
+    callerEnvironment ??= ctx.env.makeCleanEnv();
     let level = callerEnvironment.level ?? 0;
     if (baseEnvironment.level !== level) {
         while (baseEnvironment.level < level) {
@@ -135,10 +134,7 @@ function retrieveActiveEnvironment(callerEnvironment, baseEnvironment) {
 function updateNestedFunctionClosures(graph, outEnvironment, fnId) {
     // track *all* function definitions - including those nested within the current graph,
     // try to resolve their 'in' by only using the lowest scope which will be popped after this definition
-    for (const [id, { subflow, tag }] of graph.vertices(true)) {
-        if (tag !== vertex_1.VertexType.FunctionDefinition) {
-            continue;
-        }
+    for (const [id, { subflow }] of graph.verticesOfType(vertex_1.VertexType.FunctionDefinition)) {
         const ingoingRefs = subflow.in;
         const remainingIn = [];
         for (const ingoing of ingoingRefs) {
@@ -171,8 +167,8 @@ function updateNestedFunctionClosures(graph, outEnvironment, fnId) {
 function updateNestedFunctionCalls(graph, outEnvironment) {
     // track *all* function definitions - including those nested within the current graph,
     // try to resolve their 'in' by only using the lowest scope which will be popped after this definition
-    for (const [id, { onlyBuiltin, tag, environment, name }] of graph.vertices(true)) {
-        if (tag !== vertex_1.VertexType.FunctionCall || !name || onlyBuiltin) {
+    for (const [id, { onlyBuiltin, environment, name }] of graph.verticesOfType(vertex_1.VertexType.FunctionCall)) {
+        if (!name || onlyBuiltin) {
             continue;
         }
         // only the call environment counts!
@@ -218,7 +214,7 @@ function updateNestedFunctionCalls(graph, outEnvironment) {
     }
 }
 function prepareFunctionEnvironment(data) {
-    let env = (0, environment_1.initializeCleanEnvironments)(data.builtInEnvironment.memory);
+    let env = data.ctx.env.makeCleanEnv();
     for (let i = 0; i < data.environment.level + 1 /* add another env */; i++) {
         env = (0, scoping_1.pushLocalEnvironment)(env);
     }

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

@@ -16,7 +16,7 @@ function processGet(name, args, rootId, data) {
         logger_1.dataflowLogger.warn(`symbol access with ${name.content} has not 1 argument, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
-    const retrieve = (0, unpack_argument_1.unpackArgument)(args[0]);
+    const retrieve = (0, unpack_argument_1.unpackNonameArg)(args[0]);
     if (retrieve === undefined || retrieve.type !== type_1.RType.String) {
         logger_1.dataflowLogger.warn(`symbol access with ${name.content} has not 1 argument, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;

package/dataflow/internal/process/functions/call/built-in/built-in-if-then-else.d.ts

@@ -5,6 +5,8 @@ import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/
 import type { RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
 import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 /**
- *
+ * Processes an if-then-else built-in function call.
+ * For example, `if(cond) thenExpr else elseExpr` and `if(cond) thenExpr`.
+ * The arguments will be either `[cond, thenExpr]` or `[cond, thenExpr, elseExpr]`.
  */
 export declare function processIfThenElse<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>): DataflowInformation;

package/dataflow/internal/process/functions/call/built-in/built-in-if-then-else.js

@@ -10,18 +10,20 @@ const logger_1 = require("../../../../../logger");
 const edge_1 = require("../../../../../graph/edge");
 const append_1 = require("../../../../../environments/append");
 const identifier_1 = require("../../../../../environments/identifier");
-const environment_1 = require("../../../../../environments/environment");
 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");
 /**
- *
+ * Processes an if-then-else built-in function call.
+ * For example, `if(cond) thenExpr else elseExpr` and `if(cond) thenExpr`.
+ * The arguments will be either `[cond, thenExpr]` or `[cond, thenExpr, elseExpr]`.
  */
 function processIfThenElse(name, args, rootId, data) {
     if (args.length !== 2 && args.length !== 3) {
         logger_1.dataflowLogger.warn(`If-then-else ${name.content} has something different from 2 or 3 arguments, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
-    const [condArg, thenArg, otherwiseArg] = args.map(e => (0, unpack_argument_1.unpackArgument)(e));
+    const [condArg, thenArg, otherwiseArg] = args.map(e => (0, unpack_argument_1.unpackNonameArg)(e));
     if (condArg === undefined || thenArg === undefined) {
         logger_1.dataflowLogger.warn(`If-then-else ${name.content} has empty condition or then case in ${JSON.stringify(args)}, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
@@ -37,7 +39,7 @@ function processIfThenElse(name, args, rootId, data) {
     let then;
     let makeThenMaybe = false;
     // we should defer this to the abstract interpretation
-    const values = (0, alias_tracking_1.resolveIdToValue)(condArg?.info.id, { environment: data.environment, idMap: data.completeAst.idMap, resolve: data.ctx.config.solver.variables });
+    const values = (0, alias_tracking_1.resolveIdToValue)(condArg?.info.id, { environment: data.environment, idMap: data.completeAst.idMap, resolve: data.ctx.config.solver.variables, ctx: data.ctx });
     const conditionIsAlwaysFalse = (0, general_1.valueSetGuard)(values)?.elements.every(d => d.type === 'logical' && d.value === false) ?? false;
     const conditionIsAlwaysTrue = (0, general_1.valueSetGuard)(values)?.elements.every(d => d.type === 'logical' && d.value === true) ?? false;
     if (!conditionIsAlwaysFalse) {
@@ -77,10 +79,10 @@ function processIfThenElse(name, args, rootId, data) {
     const cdTrue = { id: rootId, when: true };
     const cdFalse = { id: rootId, when: false };
     // again within an if-then-else we consider all actives to be read
-    const ingoing = cond.in.concat(makeThenMaybe ? (0, environment_1.makeAllMaybe)(then?.in, nextGraph, finalEnvironment, false, cdTrue) : then?.in ?? [], makeOtherwiseMaybe ? (0, environment_1.makeAllMaybe)(otherwise?.in, nextGraph, finalEnvironment, false, cdFalse) : otherwise?.in ?? [], cond.unknownReferences, makeThenMaybe ? (0, environment_1.makeAllMaybe)(then?.unknownReferences, nextGraph, finalEnvironment, false, cdTrue) : then?.unknownReferences ?? [], makeOtherwiseMaybe ? (0, environment_1.makeAllMaybe)(otherwise?.unknownReferences, nextGraph, finalEnvironment, false, cdFalse) : otherwise?.unknownReferences ?? []);
+    const ingoing = cond.in.concat(makeThenMaybe ? (0, reference_to_maybe_1.makeAllMaybe)(then?.in, nextGraph, finalEnvironment, false, cdTrue) : then?.in ?? [], makeOtherwiseMaybe ? (0, reference_to_maybe_1.makeAllMaybe)(otherwise?.in, nextGraph, finalEnvironment, false, cdFalse) : otherwise?.in ?? [], cond.unknownReferences, makeThenMaybe ? (0, reference_to_maybe_1.makeAllMaybe)(then?.unknownReferences, nextGraph, finalEnvironment, false, cdTrue) : then?.unknownReferences ?? [], makeOtherwiseMaybe ? (0, reference_to_maybe_1.makeAllMaybe)(otherwise?.unknownReferences, nextGraph, finalEnvironment, false, cdFalse) : otherwise?.unknownReferences ?? []);
     // we assign all with a maybe marker
     // we do not merge even if they appear in both branches because the maybe links will refer to different ids
-    const outgoing = cond.out.concat((makeThenMaybe ? (0, environment_1.makeAllMaybe)(then?.out, nextGraph, finalEnvironment, true, cdTrue) : then?.out ?? []), (makeOtherwiseMaybe ? (0, environment_1.makeAllMaybe)(otherwise?.out, nextGraph, finalEnvironment, true, cdFalse) : otherwise?.out ?? []));
+    const outgoing = cond.out.concat((makeThenMaybe ? (0, reference_to_maybe_1.makeAllMaybe)(then?.out, nextGraph, finalEnvironment, true, cdTrue) : then?.out ?? []), (makeOtherwiseMaybe ? (0, reference_to_maybe_1.makeAllMaybe)(otherwise?.out, nextGraph, finalEnvironment, true, cdFalse) : otherwise?.out ?? []));
     (0, common_1.patchFunctionCall)({
         nextGraph,
         rootId,

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

@@ -15,7 +15,7 @@ function processLibrary(name, args, rootId, data) {
         logger_1.dataflowLogger.warn(`Currently only one-arg library-likes are allows (for ${name.content}), skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, hasUnknownSideEffect: true, origin: 'default' }).information;
     }
-    const nameToLoad = (0, unpack_argument_1.unpackArgument)(args[0]);
+    const nameToLoad = (0, unpack_argument_1.unpackNonameArg)(args[0]);
     if (nameToLoad === undefined || nameToLoad.type !== type_1.RType.Symbol) {
         logger_1.dataflowLogger.warn('No library name provided, skipping');
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, hasUnknownSideEffect: true, origin: 'default' }).information;

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

@@ -18,7 +18,7 @@ function processPipe(name, args, rootId, data) {
         logger_1.dataflowLogger.warn(`Pipe ${name.content} has something else than 2 arguments, skipping`);
         return information;
     }
-    const [lhs, rhs] = args.map(e => (0, unpack_argument_1.unpackArgument)(e));
+    const [lhs, rhs] = args.map(e => (0, unpack_argument_1.unpackNonameArg)(e));
     (0, assert_1.guard)(lhs !== undefined && rhs !== undefined, () => `lhs and rhs must be present, but ${JSON.stringify(lhs)} and ${JSON.stringify(rhs)} were found instead.`);
     if (rhs.type !== type_1.RType.FunctionCall) {
         logger_1.dataflowLogger.warn(`Expected rhs of pipe to be a function call, but got ${rhs.type} instead.`);

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

@@ -21,7 +21,7 @@ function processRepeatLoop(name, args, rootId, data) {
         logger_1.dataflowLogger.warn(`Repeat-Loop ${name.content} does not have 1 argument, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
-    const unpacked = (0, unpack_argument_1.unpackArgument)(args[0]);
+    const unpacked = (0, unpack_argument_1.unpackNonameArg)(args[0]);
     const { information, processedArguments } = (0, known_call_handling_1.processKnownFunctionCall)({
         name,
         args: unpacked ? [unpacked] : args,

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

@@ -59,11 +59,11 @@ args, rootId, data, config) {
         data,
         rootId,
         name,
-        argumentProcessResult: args.map(a => a === r_function_call_1.EmptyArgument ? undefined : { entryPoint: (0, unpack_argument_1.unpackArgument)(a)?.info.id }),
+        argumentProcessResult: args.map(a => a === r_function_call_1.EmptyArgument ? undefined : { entryPoint: (0, unpack_argument_1.unpackNonameArg)(a)?.info.id }),
         origin: 'builtin:replacement',
         link: config.assignRootId ? { origin: [config.assignRootId] } : undefined
     });
-    const firstArg = (0, unpack_argument_1.unpackArgument)(args[0]);
+    const firstArg = (0, unpack_argument_1.unpackNonameArg)(args[0]);
     (0, unknown_replacement_1.handleReplacementOperator)({
         operator: name.content,
         target: firstArg?.lexeme,
@@ -80,7 +80,7 @@ args, rootId, data, config) {
             res.graph.addEdge(rootId, ref, edge_1.EdgeType.Reads);
         }
     }
-    const fa = (0, unpack_argument_1.unpackArgument)(args[0]);
+    const fa = (0, unpack_argument_1.unpackNonameArg)(args[0]);
     if (!data.ctx.config.solver.pointerTracking && fa) {
         res = {
             ...res,

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

@@ -4,7 +4,6 @@ exports.processRm = processRm;
 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 remove_1 = require("../../../../../environments/remove");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 /**
  *
@@ -32,13 +31,16 @@ function processRm(name, args, rootId, data) {
             names.push(unpacked.content.str);
         }
     }
-    let env = res.environment;
+    let env = res.environment.current;
     for (const name of names) {
-        env = (0, remove_1.remove)(name, env, data.builtInEnvironment);
+        env = env.remove(name);
     }
     return {
         ...res,
-        environment: env
+        environment: {
+            current: env,
+            level: res.environment.level
+        }
     };
 }
 //# sourceMappingURL=built-in-rm.js.map

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

@@ -148,7 +148,7 @@ function processSourceCall(name, args, rootId, data, config) {
         sourceFile = [(0, retriever_1.removeRQuotes)(sourceFileArgument.lexeme)];
     }
     else if (sourceFileArgument !== r_function_call_1.EmptyArgument) {
-        const resolved = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(sourceFileArgument.info.id, { environment: data.environment, idMap: data.completeAst.idMap, resolve: data.ctx.config.solver.variables }));
+        const resolved = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(sourceFileArgument.info.id, { environment: data.environment, idMap: data.completeAst.idMap, resolve: data.ctx.config.solver.variables, ctx: data.ctx }));
         sourceFile = resolved?.elements.map(r => r.type === 'string' && (0, r_value_1.isValue)(r.value) ? r.value.str : undefined).filter(assert_1.isNotUndefined);
     }
     if (sourceFile && sourceFile.length === 1) {

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

@@ -8,11 +8,11 @@ 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 environment_1 = require("../../../../../environments/environment");
 const edge_1 = require("../../../../../graph/edge");
 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");
 /**
  *
  */
@@ -21,13 +21,13 @@ function processWhileLoop(name, args, rootId, data) {
         logger_1.dataflowLogger.warn(`While-Loop ${name.content} does not have 2 arguments, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
-    const unpackedArgs = args.map(e => (0, unpack_argument_1.unpackArgument)(e));
+    const unpackedArgs = args.map(e => (0, unpack_argument_1.unpackNonameArg)(e));
     if (unpackedArgs.some(assert_1.isUndefined)) {
         logger_1.dataflowLogger.warn(`While-Loop ${name.content} has empty arguments in ${JSON.stringify(args)}, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     // we should defer this to the abstract interpretation
-    const values = (0, alias_tracking_1.resolveIdToValue)(unpackedArgs[0]?.info.id, { environment: data.environment, idMap: data.completeAst.idMap, resolve: data.ctx.config.solver.variables });
+    const values = (0, alias_tracking_1.resolveIdToValue)(unpackedArgs[0]?.info.id, { environment: data.environment, idMap: data.completeAst.idMap, resolve: data.ctx.config.solver.variables, ctx: data.ctx });
     const conditionIsAlwaysFalse = (0, general_1.valueSetGuard)(values)?.elements.every(d => d.type === 'logical' && d.value === false) ?? false;
     //We don't care about the body if it never executes
     if (conditionIsAlwaysFalse) {
@@ -69,7 +69,7 @@ function processWhileLoop(name, args, rootId, data) {
         return condition;
     }
     const cdTrue = { id: name.info.id, when: true };
-    const remainingInputs = (0, linker_1.linkInputs)((0, environment_1.makeAllMaybe)(body.unknownReferences, information.graph, information.environment, false, cdTrue).concat((0, environment_1.makeAllMaybe)(body.in, information.graph, information.environment, false, cdTrue)), information.environment, condition.in.concat(condition.unknownReferences), information.graph, true);
+    const remainingInputs = (0, linker_1.linkInputs)((0, reference_to_maybe_1.makeAllMaybe)(body.unknownReferences, information.graph, information.environment, false, cdTrue).concat((0, reference_to_maybe_1.makeAllMaybe)(body.in, information.graph, information.environment, false, cdTrue)), information.environment, condition.in.concat(condition.unknownReferences), information.graph, true);
     (0, linker_1.linkCircularRedefinitionsWithinALoop)(information.graph, (0, linker_1.produceNameSharedIdMap)((0, linker_1.findNonLocalReads)(information.graph, condition.in)), body.out);
     (0, linker_1.reapplyLoopExitPoints)(body.exitPoints, body.in.concat(body.out, body.unknownReferences));
     // as the while-loop always evaluates its condition
@@ -77,7 +77,7 @@ function processWhileLoop(name, args, rootId, data) {
     return {
         unknownReferences: [],
         in: [{ nodeId: name.info.id, name: name.lexeme, controlDependencies: originalDependency, type: identifier_1.ReferenceType.Function }, ...remainingInputs],
-        out: condition.out.concat((0, environment_1.makeAllMaybe)(body.out, information.graph, information.environment, true, cdTrue)),
+        out: condition.out.concat((0, reference_to_maybe_1.makeAllMaybe)(body.out, information.graph, information.environment, true, cdTrue)),
         entryPoint: name.info.id,
         exitPoints: (0, info_1.filterOutLoopExitPoints)(body.exitPoints),
         graph: information.graph,

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

@@ -29,8 +29,7 @@ function forceVertexArgumentValueReferences(rootId, value, graph, env) {
             }
         }
     }
-    const containedSubflowIn = graph.vertices(true)
-        .filter(([, info]) => (0, vertex_1.isFunctionDefinitionVertex)(info))
+    const containedSubflowIn = graph.verticesOfType(vertex_1.VertexType.FunctionDefinition)
         .flatMap(([, info]) => info.subflow.in)
         .toArray();
     // try to resolve them against the current environment
@@ -122,7 +121,7 @@ function patchFunctionCall({ nextGraph, rootId, name, data, argumentProcessResul
         args: argumentProcessResult.map(arg => arg === undefined ? r_function_call_1.EmptyArgument : { nodeId: arg.entryPoint, controlDependencies: undefined, call: undefined, type: identifier_1.ReferenceType.Argument }),
         origin: [origin],
         link
-    }, !nextGraph.hasVertex(rootId) || nextGraph.isRoot(rootId), true);
+    }, data.ctx.env.makeCleanEnv(), !nextGraph.hasVertex(rootId) || nextGraph.isRoot(rootId), true);
     for (const arg of argumentProcessResult) {
         if (arg) {
             nextGraph.addEdge(rootId, arg.entryPoint, edge_1.EdgeType.Argument);

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

@@ -52,7 +52,7 @@ function processKnownFunctionCall({ name, args, rootId, data, reverseOrder = fal
         args: reverseOrder ? callArgs.reverse() : callArgs,
         indicesCollection: indicesCollection,
         origin: origin === 'default' ? ['function'] : [origin]
-    });
+    }, data.ctx.env.makeCleanEnv());
     if (hasUnknownSideEffect) {
         (0, unknown_side_effect_1.handleUnknownSideEffect)(finalGraph, data.environment, rootId);
     }

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

@@ -45,7 +45,7 @@ function processUnnamedFunctionCall(functionCall, data) {
         cds: data.controlDependencies,
         args: callArgs, // same reference
         origin: [exports.UnnamedFunctionCallOrigin]
-    });
+    }, data.ctx.env.makeCleanEnv());
     let inIds = remainingReadInArgs;
     inIds.push({ nodeId: functionRootId, name: functionCallName, controlDependencies: data.controlDependencies, type: identifier_1.ReferenceType.Function });
     if (functionCall.calledFunction.type === type_1.RType.FunctionDefinition) {

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

@@ -34,7 +34,7 @@ function processFunctionArgument(argument, data) {
             tag: vertex_1.VertexType.Use,
             id: argument.info.id,
             cds: data.controlDependencies
-        });
+        }, data.ctx.env.makeCleanEnv());
         entryPoint = argument.info.id;
     }
     const ingoingRefs = [...value?.unknownReferences ?? [], ...value?.in ?? [], ...(name === undefined ? [] : [...name.in])];

package/dataflow/internal/process/process-symbol.js

@@ -22,7 +22,7 @@ function processSymbol(symbol, data) {
             tag: vertex_1.VertexType.Use,
             id: symbol.info.id,
             cds: data.controlDependencies
-        }),
+        }, data.ctx.env.makeCleanEnv()),
         entryPoint: symbol.info.id,
         exitPoints: [{ nodeId: symbol.info.id, type: 0 /* ExitPointType.Default */, controlDependencies: data.controlDependencies }]
     };

package/dataflow/internal/process/process-value.d.ts

@@ -4,4 +4,4 @@ import type { RNodeWithParent } from '../../../r-bridge/lang-4.x/ast/model/proce
 /**
  *
  */
-export declare function processValue<OtherInfo>({ info: { id } }: RNodeWithParent, data: DataflowProcessorInformation<OtherInfo>): DataflowInformation;
+export declare function processValue<OtherInfo>({ info: { id } }: RNodeWithParent, { controlDependencies, completeAst: { idMap }, ctx: { env }, environment }: DataflowProcessorInformation<OtherInfo>): DataflowInformation;

package/dataflow/internal/process/process-value.js

@@ -7,18 +7,18 @@ const identifier_1 = require("../../environments/identifier");
 /**
  *
  */
-function processValue({ info: { id } }, data) {
+function processValue({ info: { id } }, { controlDependencies, completeAst: { idMap }, ctx: { env }, environment }) {
     return {
         unknownReferences: [],
-        in: [{ nodeId: id, name: undefined, controlDependencies: data.controlDependencies, type: identifier_1.ReferenceType.Constant }],
+        in: [{ nodeId: id, name: undefined, controlDependencies, type: identifier_1.ReferenceType.Constant }],
         out: [],
-        environment: data.environment,
-        graph: new graph_1.DataflowGraph(data.completeAst.idMap).addVertex({
+        environment,
+        graph: new graph_1.DataflowGraph(idMap).addVertex({
             tag: vertex_1.VertexType.Value,
             id: id,
-            cds: data.controlDependencies
-        }),
-        exitPoints: [{ nodeId: id, type: 0 /* ExitPointType.Default */, controlDependencies: data.controlDependencies }],
+            cds: controlDependencies
+        }, env.makeCleanEnv()),
+        exitPoints: [{ nodeId: id, type: 0 /* ExitPointType.Default */, controlDependencies }],
         entryPoint: id
     };
 }

package/dataflow/processor.d.ts

@@ -3,7 +3,7 @@
  */
 import type { ControlDependency, DataflowInformation } from './info';
 import type { NormalizedAst, ParentInformation, RNodeWithParent } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { IEnvironment, REnvironmentInformation } from './environments/environment';
+import type { REnvironmentInformation } from './environments/environment';
 import type { RNode } from '../r-bridge/lang-4.x/ast/model/model';
 import type { KnownParserType, Parser } from '../r-bridge/parser';
 import type { FlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
@@ -31,10 +31,6 @@ export interface DataflowProcessorInformation<OtherInfo> {
      * The chain of control-flow {@link NodeId}s that lead to the current node (e.g., of known ifs).
      */
     readonly controlDependencies: ControlDependency[] | undefined;
-    /**
-     * The built-in environment
-     */
-    readonly builtInEnvironment: IEnvironment;
     /**
      * The flowr context used for environment seeding, files, and precision control, ...
      */

package/documentation/doc-util/doc-dfg.js

@@ -82,13 +82,14 @@ ${switchCodeAndGraph ? dfGraph : codeText}
 }
 /** returns resolved expected df graph */
 async function verifyExpectedSubgraph(parser, code, expectedSubgraph) {
+    const context = (0, flowr_analyzer_context_1.contextFromInput)(code);
     /* we verify that we get what we want first! */
     const info = await (0, default_pipelines_1.createDataflowPipeline)(parser, {
-        context: (0, flowr_analyzer_context_1.contextFromInput)(code),
+        context: context,
         getId: (0, decorate_1.deterministicCountingIdGenerator)(0)
     }).allRemainingSteps();
     expectedSubgraph.setIdMap(info.normalize.idMap);
-    expectedSubgraph = (0, resolve_graph_1.resolveDataflowGraph)(expectedSubgraph);
+    expectedSubgraph = (0, resolve_graph_1.resolveDataflowGraph)(expectedSubgraph, context);
     const report = (0, diff_dataflow_graph_1.diffOfDataflowGraphs)({ name: 'expected', graph: expectedSubgraph }, { name: 'got', graph: info.dataflow.graph }, {
         leftIsSubgraph: true
     });

package/documentation/doc-util/doc-normalized-ast.js

@@ -64,12 +64,13 @@ ${(0, ast_1.normalizedAstToMermaid)(result.normalize.ast, prefix)}
  */
 async function verifyExpectedSubgraph(shell, code, expectedSubgraph) {
     /* we verify that we get what we want first! */
+    const context = (0, flowr_analyzer_context_1.contextFromInput)(code);
     const info = await (0, default_pipelines_1.createDataflowPipeline)(shell, {
-        context: (0, flowr_analyzer_context_1.contextFromInput)(code),
+        context: context,
         getId: (0, decorate_1.deterministicCountingIdGenerator)(0)
     }).allRemainingSteps();
     expectedSubgraph.setIdMap(info.normalize.idMap);
-    expectedSubgraph = (0, resolve_graph_1.resolveDataflowGraph)(expectedSubgraph);
+    expectedSubgraph = (0, resolve_graph_1.resolveDataflowGraph)(expectedSubgraph, context);
     const report = (0, diff_dataflow_graph_1.diffOfDataflowGraphs)({ name: 'expected', graph: expectedSubgraph }, { name: 'got', graph: info.dataflow.graph }, {
         leftIsSubgraph: true
     });

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

@@ -133,7 +133,7 @@ export interface FnElementInfo {
 export declare function printCodeOfElement({ program, info, dropLinesEnd, dropLinesStart, doNotAutoGobble, hideDefinedAt }: FnElementInfo, name: string): string;
 /**
  * Create a short link to a type in the documentation.
- * If you create a wiki, please refer to the functions provided by the {@link GeneralWikiContext}.
+ * If you create a wiki, please refer to the functions provided by the {@link GeneralDocContext}.
  * @param name      - The name of the type, e.g. `MyType`, may include a container, e.g.,`MyContainer::MyType` (this works with function nestings too)
  *                    Use `:::` if you want to access a scoped function, but the name should be displayed without the scope
  * @param hierarchy - The hierarchy of types to search in

package/documentation/doc-util/doc-types.js

@@ -477,7 +477,7 @@ function printCodeOfElement({ program, info, dropLinesEnd = 0, dropLinesStart =
         const lines = code.replaceAll('\t', '    ').split(/\n/g);
         let gobble = Number.POSITIVE_INFINITY;
         for (const line of lines) {
-            const match = line.match(/^(\s+)\S+/);
+            const match = line.match(/^(\s*)\S+/);
             if (match) {
                 gobble = Math.min(gobble, match[1].length);
             }
@@ -523,7 +523,7 @@ function retrieveNode(name, hierarchy, fuzzy = false, type = undefined) {
 }
 /**
  * Create a short link to a type in the documentation.
- * If you create a wiki, please refer to the functions provided by the {@link GeneralWikiContext}.
+ * If you create a wiki, please refer to the functions provided by the {@link GeneralDocContext}.
  * @param name      - The name of the type, e.g. `MyType`, may include a container, e.g.,`MyContainer::MyType` (this works with function nestings too)
  *                    Use `:::` if you want to access a scoped function, but the name should be displayed without the scope
  * @param hierarchy - The hierarchy of types to search in

package/documentation/wiki-analyzer.js

@@ -26,6 +26,7 @@ const flowr_analyzer_plugin_defaults_1 = require("../project/plugins/flowr-analy
 const doc_maker_1 = require("./wiki-mk/doc-maker");
 const flowr_analyzer_rmd_file_plugin_1 = require("../project/plugins/file-plugins/notebooks/flowr-analyzer-rmd-file-plugin");
 const flowr_analyzer_plugin_1 = require("../project/plugins/flowr-analyzer-plugin");
+const flowr_analyzer_environment_context_1 = require("../project/context/flowr-analyzer-environment-context");
 async function analyzerQuickExample() {
     const analyzer = await new flowr_analyzer_builder_1.FlowrAnalyzerBuilder()
         .setEngine('tree-sitter')
@@ -78,7 +79,8 @@ ${(0, doc_structure_1.collapsibleToc)({
             'Context Information': {
                 'Files Context': undefined,
                 'Loading Order Context': undefined,
-                'Dependencies Context': undefined
+                'Dependencies Context': undefined,
+                'Environment Context': undefined
             },
             'Caching': undefined
         })}
@@ -396,6 +398,17 @@ Probably the most important method is
 ${ctx.linkM(flowr_analyzer_dependencies_context_1.FlowrAnalyzerDependenciesContext, 'getDependency', { codeFont: true, realNameWrapper: 'i' })}
 that allows you to query for a specific dependency by name.
 
+${(0, doc_structure_1.section)('Environment Context', 3)}
+
+Here is the structure of the ${ctx.link(flowr_analyzer_environment_context_1.FlowrAnalyzerEnvironmentContext)} that provides access to the built-in environment:
+
+${ctx.hierarchy(flowr_analyzer_environment_context_1.FlowrAnalyzerEnvironmentContext, { showImplSnippet: false })}
+
+The environment context provides access to the built-in environment via
+${ctx.linkM(flowr_analyzer_environment_context_1.FlowrAnalyzerEnvironmentContext, 'makeCleanEnv', { codeFont: true, realNameWrapper: 'i' })}.
+It also provides the empty built-in environment, which only contains primitives, via
+${ctx.linkM(flowr_analyzer_environment_context_1.FlowrAnalyzerEnvironmentContext, 'makeCleanEnvWithEmptyBuiltIns', { codeFont: true, realNameWrapper: 'i' })}.
+
 ${(0, doc_structure_1.section)('Caching', 2)}
 
 To speed up analyses, flowR provides a caching mechanism that stores intermediate results of the analysis.

package/documentation/wiki-dataflow-graph.js

@@ -195,7 +195,7 @@ However, in general, flowR may use any fitting handler as an origin. For example
 ${(0, doc_structure_1.details)('Example: Simple Function Call (unresolved)', await (async () => {
                 const code = 'foo(x,3,y=3,)';
                 const [text, info] = await (0, doc_dfg_1.printDfGraphForCode)(parser, code, { mark: new Set([8]), exposeResult: true });
-                const callInfo = [...info.dataflow.graph.vertices(true)].find(([, vertex]) => vertex.tag === vertex_1.VertexType.FunctionCall && vertex.name === 'foo');
+                const callInfo = info.dataflow.graph.vertices(true).find(([, vertex]) => vertex.tag === vertex_1.VertexType.FunctionCall && vertex.name === 'foo');
                 (0, assert_1.guard)(callInfo !== undefined, () => `Could not find call vertex for ${code}`);
                 const [callId, callVert] = callInfo;
                 const inverseMapReferenceTypes = Object.fromEntries(Object.entries(identifier_1.ReferenceType).map(([k, v]) => [v, k]));
@@ -308,7 +308,7 @@ Consider a case in which you have a built-in function (like the assignment opera
 
 ${await (async () => {
                     const [text, info] = await (0, doc_dfg_1.printDfGraphForCode)(parser, 'x <- 2\nif(u) `<-` <- `*`\nx <- 3', { switchCodeAndGraph: true, mark: new Set([9, '9->0', '9->10']), exposeResult: true });
-                    const interestingUseOfAssignment = [...info.dataflow.graph.vertices(true)].find(([, vertex]) => vertex.id === 11);
+                    const interestingUseOfAssignment = info.dataflow.graph.vertices(true).find(([, vertex]) => vertex.id === 11);
                     (0, assert_1.guard)(interestingUseOfAssignment !== undefined, () => 'Could not find interesting assignment vertex for the code');
                     const [id, interestingVertex] = interestingUseOfAssignment;
                     const env = interestingVertex.environment;
@@ -333,7 +333,7 @@ Hence, trying to re-resolve the call using ${ctx.link(linker_1.getAllFunctionCal
 the following target ids: { \`${[...(0, linker_1.getAllFunctionCallTargets)(id, info.dataflow.graph)].join('`, `')}\` }.
 This way we know that the call may refer to the built-in assignment operator or to the multiplication.
 Similarly, trying to resolve the name with ${ctx.link(resolve_by_name_1.resolveByName)}\` using the environment attached to the call vertex (filtering for any reference type) returns (in a similar fashion): 
-{ \`${(0, resolve_by_name_1.resolveByName)(name, env)?.map(d => d.nodeId).join('`, `')}\` } (however, the latter will not trace aliases).
+{ \`${(0, resolve_by_name_1.resolveByNameAnyType)(name, env)?.map(d => d.nodeId).join('`, `')}\` } (however, the latter will not trace aliases).
 
 	`;
                 })()}
@@ -449,8 +449,7 @@ vertices of function definitions or not (e.g., \`${new graph_1.DataflowGraph(und
 
 ${(0, doc_structure_1.details)('Example: Nested Function Definitions', await (async () => {
                     const [text, info] = await (0, doc_dfg_1.printDfGraphForCode)(parser, 'f <- function() { g <- function() 3 }', { mark: new Set([9, 6]), exposeResult: true });
-                    const definitions = info.dataflow.graph.vertices(true)
-                        .filter(([, vertex]) => vertex.tag === vertex_1.VertexType.FunctionDefinition)
+                    const definitions = info.dataflow.graph.verticesOfType(vertex_1.VertexType.FunctionDefinition)
                         .map(([id, vertex]) => `| \`${id}\` | { \`${[...vertex.subflow.graph].join('`, `')}\` } |`)
                         .toArray();
                     return `

package/documentation/wiki-faq.js

@@ -14,7 +14,6 @@ class WikiFaq extends doc_maker_1.DocMaker {
         const faqs = (0, faqs_1.registerFaqs)();
         return `
 	${faqs.toMarkdown()}
-
     `.trim();
     }
 }

package/documentation/wiki-linter.js

@@ -144,7 +144,7 @@ df[6, "value"]
         const certaintyText = `\`${(0, html_hover_over_1.textWithTooltip)(rule.info.certainty, certaintyDoc)}\``;
         if (format === 'short') {
             ruleExplanations.set(name, () => Promise.resolve(`
-	**[${rule.info.name}](${doc_files_1.FlowrWikiBaseRef}/${getPageNameForLintingRule(name)}):** ${rule.info.description} [see ${(0, doc_types_1.shortLinkFile)(ruleType, types)}]\\
+	**[${rule.info.name}](${doc_files_1.FlowrWikiBaseRef}/${encodeURIComponent(getPageNameForLintingRule(name))}):** ${rule.info.description} [see ${(0, doc_types_1.shortLinkFile)(ruleType, types)}]\\
 	${tags}
 
 		`.trim()));

package/documentation/wiki-mk/doc-maker.js

@@ -16,8 +16,9 @@ const DefaultReplacementPatterns = [
     [/%%\s*\d*-+/g, ''],
     [/"[rR]": "\d+\.\d+\.\d+.*?"/g, ''],
     [/R\s*\d+\.\d+\.\d+/g, ''],
+    [/v\d+\.\d+\.\d+/g, ''],
     // async wrapper depends on whether the promise got forfilled already
-    [/%20async%20/g, ' ']
+    [/async|%20/g, '']
 ];
 /**
  * Abstract base class for generating wiki files.

package/linter/linter-rules.d.ts

@@ -57,7 +57,7 @@ export declare const LintingRules: {
     };
     readonly 'seeded-randomness': {
         readonly createSearch: (config: import("./rules/seeded-randomness").SeededRandomnessConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter", "with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, Promise<import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElement<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>>;
-        readonly processSearchResult: (elements: import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElement<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>, config: import("./rules/seeded-randomness").SeededRandomnessConfig, { dataflow }: {
+        readonly processSearchResult: (elements: import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElement<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>, config: import("./rules/seeded-randomness").SeededRandomnessConfig, { dataflow, analyzer }: {
             normalize: import("../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
             dataflow: import("../dataflow/info").DataflowInformation;
             cfg: import("../control-flow/control-flow-graph").ControlFlowInformation;
@@ -231,7 +231,7 @@ export declare const LintingRules: {
             readonly name: "Dataframe Access Validation";
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Bug, import("./linter-tags").LintingRuleTag.Usability, import("./linter-tags").LintingRuleTag.Reproducibility];
             readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
-            readonly description: "Validates the existance of accessed columns and rows of dataframes.";
+            readonly description: "Validates the existence of accessed columns and rows of dataframes.";
             readonly defaultConfig: {
                 readonly readLoadedData: false;
             };