@eagleoutice/flowr 2.6.3 → 2.7.0

package/dataflow/environments/scoping.js

@@ -8,23 +8,23 @@ const assert_1 = require("../../util/assert");
  * Add a new local environment scope to the stack, returns the modified variant - sharing the original environments in the stack (no deep-clone)
  * @see {@link popLocalEnvironment} - to remove the local scope again
  */
-function pushLocalEnvironment(base) {
+function pushLocalEnvironment({ level, current }) {
     return {
-        current: new environment_1.Environment(base.current),
-        level: base.level + 1
+        current: new environment_1.Environment(current),
+        level: level + 1
     };
 }
 /**
  * Remove the top local environment scope from the stack, returns the modified variant - sharing the original environments in the stack (no deep-clone)
  * @see {@link pushLocalEnvironment} - to add a local scope
  */
-function popLocalEnvironment(base) {
-    (0, assert_1.guard)(base.level > 0, 'cannot remove the global/root environment');
-    const parent = base.current.parent;
+function popLocalEnvironment({ current, level }) {
+    (0, assert_1.guard)(level > 0, 'cannot remove the global/root environment');
+    const parent = current.parent;
     (0, assert_1.guard)(parent !== undefined, 'level is wrong, parent is undefined even though level suggested depth > 0 (starts with 0)');
     return {
         current: parent,
-        level: base.level - 1
+        level: level - 1
     };
 }
 //# sourceMappingURL=scoping.js.map

package/dataflow/eval/resolve/alias-tracking.d.ts

@@ -5,6 +5,7 @@ import { type REnvironmentInformation } from '../../environments/environment';
 import { type Identifier } from '../../environments/identifier';
 import type { DataflowGraph } from '../../graph/graph';
 import { type Lift, type Value, type ValueSet } from '../values/r-value';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 export type ResolveResult = Lift<ValueSet<Value[]>>;
 export interface ResolveInfo {
     /** The current environment used for name resolution */
@@ -16,7 +17,9 @@ export interface ResolveInfo {
     /** Whether to track variables */
     full?: boolean;
     /** Variable resolve mode */
-    resolve: VariableResolve;
+    resolve?: VariableResolve;
+    /** Context used for resolving */
+    ctx: ReadOnlyFlowrAnalyzerContext;
 }
 /**
  * Gets the definitions / aliases of a node
@@ -50,8 +53,9 @@ export declare function getAliases(sourceIds: readonly NodeId[], dataflow: Dataf
  * @param idMap              - The id map to resolve the node if given as an id
  * @param full               - Whether to track aliases on resolve
  * @param resolve            - Variable resolve mode
+ * @param ctx                - Context used for clean environment
  */
-export declare function resolveIdToValue(id: NodeId | RNodeWithParent | undefined, { environment, graph, idMap, full, resolve }: ResolveInfo): ResolveResult;
+export declare function resolveIdToValue(id: NodeId | RNodeWithParent | undefined, { environment, graph, idMap, full, resolve, ctx }: ResolveInfo): ResolveResult;
 /**
  * Please use {@link resolveIdToValue}
  *
@@ -60,21 +64,23 @@ export declare function resolveIdToValue(id: NodeId | RNodeWithParent | undefine
  * @param resolve    - Variable resolve mode
  * @param identifier - Identifier to resolve
  * @param use        - Environment to use
+ * @param ctx        - analysis context
  * @param graph      - dataflow graph
  * @param idMap      - id map of Dataflow graph
  * @returns Value of Identifier or Top
  */
-export declare function trackAliasInEnvironments(resolve: VariableResolve, identifier: Identifier | undefined, use: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ResolveResult;
+export declare function trackAliasInEnvironments(resolve: VariableResolve, identifier: Identifier | undefined, use: REnvironmentInformation, ctx: ReadOnlyFlowrAnalyzerContext, graph?: DataflowGraph, idMap?: AstIdMap): ResolveResult;
 /**
  * Please use {@link resolveIdToValue}
  *
  * Tries to resolve the value of a node by traversing the dataflow graph
  * @param id    - node to resolve
+ * @param ctx - analysis context
  * @param graph - dataflow graph
  * @param idMap - idmap of dataflow graph
  * @returns Value of node or Top/Bottom
  */
-export declare function trackAliasesInGraph(id: NodeId, graph: DataflowGraph, idMap?: AstIdMap): ResolveResult;
+export declare function trackAliasesInGraph(id: NodeId, graph: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext, idMap?: AstIdMap): ResolveResult;
 /**
  * Please use {@link resolveIdToValue}
  *

package/dataflow/eval/resolve/alias-tracking.js

@@ -8,10 +8,8 @@ exports.resolveToConstants = resolveToConstants;
 const config_1 = require("../../../config");
 const node_id_1 = require("../../../r-bridge/lang-4.x/ast/model/processing/node-id");
 const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
-const fingerprint_1 = require("../../../slicing/static/fingerprint");
 const visiting_queue_1 = require("../../../slicing/static/visiting-queue");
 const assert_1 = require("../../../util/assert");
-const environment_1 = require("../../environments/environment");
 const identifier_1 = require("../../environments/identifier");
 const resolve_by_name_1 = require("../../environments/resolve-by-name");
 const edge_1 = require("../../graph/edge");
@@ -47,7 +45,7 @@ function getUseAlias(sourceId, dataflow, environment) {
     if (identifier === undefined) {
         return undefined;
     }
-    const defs = (0, resolve_by_name_1.resolveByName)(identifier, environment);
+    const defs = (0, resolve_by_name_1.resolveByNameAnyType)(identifier, environment);
     if (defs === undefined) {
         return undefined;
     }
@@ -114,8 +112,10 @@ function getAliases(sourceIds, dataflow, environment) {
  * @param idMap              - The id map to resolve the node if given as an id
  * @param full               - Whether to track aliases on resolve
  * @param resolve            - Variable resolve mode
+ * @param ctx                - Context used for clean environment
  */
-function resolveIdToValue(id, { environment, graph, idMap, full = true, resolve }) {
+function resolveIdToValue(id, { environment, graph, idMap, full = true, resolve, ctx }) {
+    const variableResolve = resolve ?? ctx.config.solver.variables;
     if (id === undefined) {
         return r_value_1.Top;
     }
@@ -128,10 +128,10 @@ function resolveIdToValue(id, { environment, graph, idMap, full = true, resolve
         case type_1.RType.Argument:
         case type_1.RType.Symbol:
             if (environment) {
-                return full ? trackAliasInEnvironments(resolve, node.lexeme, environment, graph, idMap) : r_value_1.Top;
+                return full ? trackAliasInEnvironments(variableResolve, node.lexeme, environment, ctx, graph, idMap) : r_value_1.Top;
             }
             else if (graph && resolve === config_1.VariableResolve.Alias) {
-                return full ? trackAliasesInGraph(node.info.id, graph, idMap) : r_value_1.Top;
+                return full ? trackAliasesInGraph(node.info.id, graph, ctx, idMap) : r_value_1.Top;
             }
             else {
                 return r_value_1.Top;
@@ -141,7 +141,7 @@ function resolveIdToValue(id, { environment, graph, idMap, full = true, resolve
         case type_1.RType.FunctionCall:
         case type_1.RType.BinaryOp:
         case type_1.RType.UnaryOp:
-            return (0, set_constants_1.setFrom)((0, resolve_1.resolveNode)(resolve, node, environment, graph, idMap));
+            return (0, set_constants_1.setFrom)((0, resolve_1.resolveNode)(variableResolve, node, ctx, environment, graph, idMap));
         case type_1.RType.String:
         case type_1.RType.Number:
         case type_1.RType.Logical:
@@ -158,15 +158,16 @@ function resolveIdToValue(id, { environment, graph, idMap, full = true, resolve
  * @param resolve    - Variable resolve mode
  * @param identifier - Identifier to resolve
  * @param use        - Environment to use
+ * @param ctx        - analysis context
  * @param graph      - dataflow graph
  * @param idMap      - id map of Dataflow graph
  * @returns Value of Identifier or Top
  */
-function trackAliasInEnvironments(resolve, identifier, use, graph, idMap) {
+function trackAliasInEnvironments(resolve, identifier, use, ctx, graph, idMap) {
     if (identifier === undefined) {
         return r_value_1.Top;
     }
-    const defs = (0, resolve_by_name_1.resolveByName)(identifier, use);
+    const defs = (0, resolve_by_name_1.resolveByNameAnyType)(identifier, use);
     if (defs === undefined) {
         return r_value_1.Top;
     }
@@ -186,7 +187,7 @@ function trackAliasInEnvironments(resolve, identifier, use, graph, idMap) {
             for (const alias of def.value) {
                 const definitionOfAlias = idMap?.get(alias);
                 if (definitionOfAlias !== undefined) {
-                    const value = (0, resolve_1.resolveNode)(resolve, definitionOfAlias, use, graph, idMap);
+                    const value = (0, resolve_1.resolveNode)(resolve, definitionOfAlias, ctx, use, graph, idMap);
                     if ((0, r_value_1.isTop)(value)) {
                         return r_value_1.Top;
                     }
@@ -253,19 +254,20 @@ function isNestedInLoop(node, ast) {
  *
  * Tries to resolve the value of a node by traversing the dataflow graph
  * @param id    - node to resolve
+ * @param ctx - analysis context
  * @param graph - dataflow graph
  * @param idMap - idmap of dataflow graph
  * @returns Value of node or Top/Bottom
  */
-function trackAliasesInGraph(id, graph, idMap) {
+function trackAliasesInGraph(id, graph, ctx, idMap) {
     if (!graph.get(id)) {
         return r_value_1.Bottom;
     }
     idMap ??= graph.idMap;
     (0, assert_1.guard)(idMap !== undefined, 'The ID map is required to get the lineage of a node');
     const queue = new visiting_queue_1.VisitingQueue(25);
-    const clean = (0, environment_1.initializeCleanEnvironments)();
-    const cleanFingerprint = (0, fingerprint_1.envFingerprint)(clean);
+    const clean = ctx.env.makeCleanEnv();
+    const cleanFingerprint = ctx.env.getCleanEnvFingerprint();
     queue.add(id, clean, cleanFingerprint, false);
     let forceTop = false;
     const resultIds = [];

package/dataflow/eval/resolve/resolve-argument.d.ts

@@ -2,7 +2,8 @@ import { type DataflowGraph } from '../../graph/graph';
 import type { DataflowGraphVertexFunctionCall } from '../../graph/vertex';
 import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { VariableResolve } from '../../../config';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 /**
  * Get the values of all arguments matching the criteria.
  */
-export declare function getArgumentStringValue(variableResolve: VariableResolve, graph: DataflowGraph, vertex: DataflowGraphVertexFunctionCall, argumentIndex: number | 'unnamed' | undefined, argumentName: string | undefined, resolveValue: boolean | 'library' | undefined): Map<NodeId, Set<string | undefined>> | undefined;
+export declare function getArgumentStringValue(variableResolve: VariableResolve, graph: DataflowGraph, vertex: DataflowGraphVertexFunctionCall, argumentIndex: number | 'unnamed' | undefined, argumentName: string | undefined, resolveValue: boolean | 'library' | undefined, ctx: ReadOnlyFlowrAnalyzerContext): Map<NodeId, Set<string | undefined>> | undefined;

package/dataflow/eval/resolve/resolve-argument.js

@@ -14,7 +14,7 @@ const string_constants_1 = require("../values/string/string-constants");
 /**
  * Get the values of all arguments matching the criteria.
  */
-function getArgumentStringValue(variableResolve, graph, vertex, argumentIndex, argumentName, resolveValue) {
+function getArgumentStringValue(variableResolve, graph, vertex, argumentIndex, argumentName, resolveValue, ctx) {
     if (argumentName) {
         const arg = vertex?.args.findIndex(arg => arg !== r_function_call_1.EmptyArgument && arg.name === argumentName);
         if (arg >= 0) {
@@ -35,7 +35,7 @@ function getArgumentStringValue(variableResolve, graph, vertex, argumentIndex, a
             }
             if (valueNode) {
                 // this should be evaluated in the callee-context
-                const values = resolveBasedOnConfig(variableResolve, graph, vertex, valueNode, vertex.environment, graph.idMap, resolveValue) ?? [dependencies_query_format_1.Unknown];
+                const values = resolveBasedOnConfig(variableResolve, graph, vertex, valueNode, vertex.environment, graph.idMap, resolveValue, ctx) ?? [dependencies_query_format_1.Unknown];
                 map.set(ref, new Set(values));
             }
         }
@@ -51,17 +51,17 @@ function getArgumentStringValue(variableResolve, graph, vertex, argumentIndex, a
             valueNode = valueNode.value;
         }
         if (valueNode) {
-            const values = resolveBasedOnConfig(variableResolve, graph, vertex, valueNode, vertex.environment, graph.idMap, resolveValue) ?? [dependencies_query_format_1.Unknown];
+            const values = resolveBasedOnConfig(variableResolve, graph, vertex, valueNode, vertex.environment, graph.idMap, resolveValue, ctx) ?? [dependencies_query_format_1.Unknown];
             return new Map([[arg, new Set(values)]]);
         }
     }
     return undefined;
 }
-function hasCharacterOnly(variableResolve, graph, vertex, idMap) {
+function hasCharacterOnly(variableResolve, graph, vertex, idMap, ctx) {
     if (!vertex.args || vertex.args.length === 0 || !idMap) {
         return false;
     }
-    const treatAsChar = getArgumentStringValue(variableResolve, graph, vertex, 5, 'character.only', true);
+    const treatAsChar = getArgumentStringValue(variableResolve, graph, vertex, 5, 'character.only', true, ctx);
     if (!treatAsChar) {
         return false;
     }
@@ -74,13 +74,13 @@ function hasCharacterOnly(variableResolve, graph, vertex, idMap) {
         return hasTrue;
     }
 }
-function resolveBasedOnConfig(variableResolve, graph, vertex, argument, environment, idMap, resolveValue) {
+function resolveBasedOnConfig(variableResolve, graph, vertex, argument, environment, idMap, resolveValue, ctx) {
     let full = true;
     if (!resolveValue) {
         full = false;
     }
     if (resolveValue === 'library') {
-        const hasChar = hasCharacterOnly(variableResolve, graph, vertex, idMap);
+        const hasChar = hasCharacterOnly(variableResolve, graph, vertex, idMap, ctx);
         if (hasChar === false) {
             if (argument.type === type_1.RType.Symbol) {
                 return [argument.lexeme];
@@ -88,7 +88,7 @@ function resolveBasedOnConfig(variableResolve, graph, vertex, argument, environm
             full = false;
         }
     }
-    const resolved = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(argument, { environment, graph, full, resolve: variableResolve }));
+    const resolved = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(argument, { environment, graph, full, resolve: variableResolve, ctx }));
     if (resolved) {
         const values = [];
         for (const value of resolved.elements) {

package/dataflow/eval/resolve/resolve.d.ts

@@ -1,8 +1,9 @@
 import type { AstIdMap, RNodeWithParent } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { REnvironmentInformation } from '../../environments/environment';
 import type { DataflowGraph } from '../../graph/graph';
-import { type Lift, type Value, type ValueNumber, type ValueVector, Top } from '../values/r-value';
+import { type Lift, Top, type Value, type ValueNumber, type ValueVector } from '../values/r-value';
 import type { VariableResolve } from '../../../config';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../project/context/flowr-analyzer-context';
 /**
  * Helper function used by {@link resolveIdToValue}, please use that instead, if
  * you want to resolve the value of an identifier / node
@@ -16,21 +17,22 @@ import type { VariableResolve } from '../../../config';
  * @param map     - Idmap of Dataflow Graph
  * @returns resolved value or top/bottom
  */
-export declare function resolveNode(resolve: VariableResolve, a: RNodeWithParent, env?: REnvironmentInformation, graph?: DataflowGraph, map?: AstIdMap): Value;
+export declare function resolveNode(resolve: VariableResolve, a: RNodeWithParent, ctx: ReadOnlyFlowrAnalyzerContext, env?: REnvironmentInformation, graph?: DataflowGraph, map?: AstIdMap): Value;
 /**
  * Helper function used by {@link resolveIdToValue}, please use that instead, if
  * you want to resolve the value of an identifier / node
  *
  * This function resolves a vector function call `c` to a {@link ValueVector}
  * by recursively resolving the values of the arguments by calling {@link resolveIdToValue}
- * @param resolve - Variable resolve mode
- * @param node    - Node of the vector function to resolve
- * @param env     - Environment to use
- * @param graph   - Dataflow graph
- * @param map     - Id map of the dataflow graph
+ * @param resolve     - Variable resolve mode
+ * @param node        - Node of the vector function to resolve
+ * @param environment - Environment to use
+ * @param ctx         - Analyzer context
+ * @param graph       - Dataflow graph
+ * @param idMap       - ID map of the dataflow graph
  * @returns ValueVector or Top
  */
-export declare function resolveAsVector(resolve: VariableResolve, node: RNodeWithParent, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueVector<Lift<Value[]>> | typeof Top;
+export declare function resolveAsVector(resolve: VariableResolve, node: RNodeWithParent, ctx: ReadOnlyFlowrAnalyzerContext, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueVector<Lift<Value[]>> | typeof Top;
 /**
  * Helper function used by {@link resolveIdToValue}, please use that instead, if
  * you want to resolve the value of an identifier / node
@@ -44,7 +46,7 @@ export declare function resolveAsVector(resolve: VariableResolve, node: RNodeWit
  * @param map      - Id map of the dataflow graph
  * @returns ValueVector of ValueNumbers or Top
  */
-export declare function resolveAsSeq(resolve: VariableResolve, operator: RNodeWithParent, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueVector<Lift<ValueNumber[]>> | typeof Top;
+export declare function resolveAsSeq(resolve: VariableResolve, operator: RNodeWithParent, ctx: ReadOnlyFlowrAnalyzerContext, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueVector<Lift<ValueNumber[]>> | typeof Top;
 /**
  * Helper function used by {@link resolveIdToValue}, please use that instead, if
  * you want to resolve the value of an identifier / node
@@ -58,7 +60,7 @@ export declare function resolveAsSeq(resolve: VariableResolve, operator: RNodeWi
  * @param map      - Id map of the dataflow graph
  * @returns ValueNumber, ValueVector of ValueNumbers, or Top
  */
-export declare function resolveAsPlus(resolve: VariableResolve, operator: RNodeWithParent, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueNumber | ValueVector<Lift<ValueNumber[]>> | typeof Top;
+export declare function resolveAsPlus(resolve: VariableResolve, operator: RNodeWithParent, ctx: ReadOnlyFlowrAnalyzerContext, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueNumber | ValueVector<Lift<ValueNumber[]>> | typeof Top;
 /**
  * Helper function used by {@link resolveIdToValue}, please use that instead, if
  * you want to resolve the value of an identifier / node
@@ -72,4 +74,4 @@ export declare function resolveAsPlus(resolve: VariableResolve, operator: RNodeW
  * @param map      - Id map of the dataflow graph
  * @returns ValueNumber, ValueVector of ValueNumbers, or Top
  */
-export declare function resolveAsMinus(resolve: VariableResolve, operator: RNodeWithParent, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueNumber | ValueVector<Lift<ValueNumber[]>> | typeof Top;
+export declare function resolveAsMinus(resolve: VariableResolve, operator: RNodeWithParent, ctx: ReadOnlyFlowrAnalyzerContext, environment?: REnvironmentInformation, graph?: DataflowGraph, idMap?: AstIdMap): ValueNumber | ValueVector<Lift<ValueNumber[]>> | typeof Top;

package/dataflow/eval/resolve/resolve.js

@@ -30,7 +30,7 @@ const scalar_consatnts_1 = require("../values/scalar/scalar-consatnts");
  * @param map     - Idmap of Dataflow Graph
  * @returns resolved value or top/bottom
  */
-function resolveNode(resolve, a, env, graph, map) {
+function resolveNode(resolve, a, ctx, env, graph, map) {
     if (a.type === type_1.RType.String) {
         return (0, string_constants_1.stringFrom)(a.content.str);
     }
@@ -63,7 +63,7 @@ function resolveNode(resolve, a, env, graph, map) {
         }
         if (Object.hasOwn(built_in_1.BuiltInEvalHandlerMapper, builtInName)) {
             const handler = built_in_1.BuiltInEvalHandlerMapper[builtInName];
-            return handler(resolve, a, env, graph, map);
+            return handler(resolve, a, ctx, env, graph, map);
         }
     }
     return r_value_2.Top;
@@ -74,18 +74,19 @@ function resolveNode(resolve, a, env, graph, map) {
  *
  * This function resolves a vector function call `c` to a {@link ValueVector}
  * by recursively resolving the values of the arguments by calling {@link resolveIdToValue}
- * @param resolve - Variable resolve mode
- * @param node    - Node of the vector function to resolve
- * @param env     - Environment to use
- * @param graph   - Dataflow graph
- * @param map     - Id map of the dataflow graph
+ * @param resolve     - Variable resolve mode
+ * @param node        - Node of the vector function to resolve
+ * @param environment - Environment to use
+ * @param ctx         - Analyzer context
+ * @param graph       - Dataflow graph
+ * @param idMap       - ID map of the dataflow graph
  * @returns ValueVector or Top
  */
-function resolveAsVector(resolve, node, environment, graph, idMap) {
+function resolveAsVector(resolve, node, ctx, environment, graph, idMap) {
     if (node.type !== type_1.RType.FunctionCall) {
         return r_value_2.Top;
     }
-    const resolveInfo = { environment, graph, idMap, full: true, resolve };
+    const resolveInfo = { environment, graph, idMap, full: true, resolve, ctx };
     const values = node.arguments.map(arg => arg !== r_function_call_1.EmptyArgument ? (0, alias_tracking_1.resolveIdToValue)(arg.value, resolveInfo) : r_value_2.Top);
     return (0, vector_constants_1.vectorFrom)((0, vector_constants_1.flattenVectorElements)(values));
 }
@@ -102,11 +103,11 @@ function resolveAsVector(resolve, node, environment, graph, idMap) {
  * @param map      - Id map of the dataflow graph
  * @returns ValueVector of ValueNumbers or Top
  */
-function resolveAsSeq(resolve, operator, environment, graph, idMap) {
+function resolveAsSeq(resolve, operator, ctx, environment, graph, idMap) {
     if (operator.type !== type_1.RType.BinaryOp) {
         return r_value_2.Top;
     }
-    const resolveInfo = { environment, graph, idMap, full: true, resolve };
+    const resolveInfo = { environment, graph, idMap, full: true, resolve, ctx };
     const leftArg = (0, alias_tracking_1.resolveIdToValue)(operator.lhs, resolveInfo);
     const rightArg = (0, alias_tracking_1.resolveIdToValue)(operator.rhs, resolveInfo);
     const leftValue = (0, r_value_1.unliftRValue)(leftArg);
@@ -129,11 +130,11 @@ function resolveAsSeq(resolve, operator, environment, graph, idMap) {
  * @param map      - Id map of the dataflow graph
  * @returns ValueNumber, ValueVector of ValueNumbers, or Top
  */
-function resolveAsPlus(resolve, operator, environment, graph, idMap) {
+function resolveAsPlus(resolve, operator, ctx, environment, graph, idMap) {
     if (operator.type !== type_1.RType.UnaryOp) {
         return r_value_2.Top;
     }
-    const resolveInfo = { environment, graph, idMap, full: true, resolve };
+    const resolveInfo = { environment, graph, idMap, full: true, resolve, ctx };
     const arg = (0, alias_tracking_1.resolveIdToValue)(operator.operand, resolveInfo);
     const argValue = (0, r_value_1.unliftRValue)(arg);
     if ((0, r_value_1.isRNumberValue)(argValue)) {
@@ -157,11 +158,11 @@ function resolveAsPlus(resolve, operator, environment, graph, idMap) {
  * @param map      - Id map of the dataflow graph
  * @returns ValueNumber, ValueVector of ValueNumbers, or Top
  */
-function resolveAsMinus(resolve, operator, environment, graph, idMap) {
+function resolveAsMinus(resolve, operator, ctx, environment, graph, idMap) {
     if (operator.type !== type_1.RType.UnaryOp) {
         return r_value_2.Top;
     }
-    const resolveInfo = { environment, graph, idMap, full: true, resolve };
+    const resolveInfo = { environment, graph, idMap, full: true, resolve, ctx };
     const arg = (0, alias_tracking_1.resolveIdToValue)(operator.operand, resolveInfo);
     const argValue = (0, r_value_1.unliftRValue)(arg);
     if ((0, r_value_1.isRNumberValue)(argValue)) {

package/dataflow/extractor.js

@@ -14,13 +14,11 @@ const named_call_handling_1 = require("./internal/process/functions/call/named-c
 const make_argument_1 = require("./internal/process/functions/call/argument/make-argument");
 const range_1 = require("../util/range");
 const type_1 = require("../r-bridge/lang-4.x/ast/model/type");
-const environment_1 = require("./environments/environment");
 const built_in_source_1 = require("./internal/process/functions/call/built-in/built-in-source");
 const extract_cfg_1 = require("../control-flow/extract-cfg");
 const edge_1 = require("./graph/edge");
 const identify_link_to_last_call_relation_1 = require("../queries/catalog/call-context-query/identify-link-to-last-call-relation");
 const built_in_function_definition_1 = require("./internal/process/functions/call/built-in/built-in-function-definition");
-const built_in_config_1 = require("./environments/built-in-config");
 const flowr_file_1 = require("../project/context/flowr-file");
 /**
  * The best friend of {@link produceDataFlowGraph} and {@link processDataflowFor}.
@@ -95,17 +93,13 @@ function resolveLinkToSideEffects(ast, graph) {
  * For the actual, canonical fold entry point, see {@link processDataflowFor}.
  */
 function produceDataFlowGraph(parser, completeAst, ctx) {
-    const builtInsConfig = ctx.config.semantics.environment.overwriteBuiltIns;
-    const builtIns = (0, built_in_config_1.getBuiltInDefinitions)(builtInsConfig.definitions, builtInsConfig.loadDefaults);
-    const env = (0, environment_1.initializeCleanEnvironments)(builtIns.builtInMemory);
     // we freeze the files here to avoid endless modifications during processing
     const files = completeAst.ast.files.slice();
     ctx.files.addConsideredFile(files[0].filePath ? files[0].filePath : flowr_file_1.FlowrFile.INLINE_PATH);
     const dfData = {
         parser,
         completeAst,
-        environment: env,
-        builtInEnvironment: env.current.parent,
+        environment: ctx.env.makeCleanEnv(),
         processors: exports.processors,
         controlDependencies: undefined,
         referenceChain: [files[0].filePath],

package/dataflow/fn/higher-order-function.d.ts

@@ -1,9 +1,10 @@
 import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { DataflowGraph } from '../graph/graph';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../project/context/flowr-analyzer-context';
 /**
  * Determines whether the function with the given id is a higher-order function, i.e.,
  * either takes a function as an argument or (may) returns a function.
  * If the return is an identity, e.g., `function(x) x`, this is not considered higher-order,
  * if no function is passed as an argument.
  */
-export declare function isHigherOrder(id: NodeId, graph: DataflowGraph): boolean;
+export declare function isHigherOrder(id: NodeId, graph: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext): boolean;

package/dataflow/fn/higher-order-function.js

@@ -32,7 +32,7 @@ function isAnyReturnAFunction(def, graph) {
     }
     return false;
 }
-function inspectCallSitesArgumentsFns(def, graph) {
+function inspectCallSitesArgumentsFns(def, graph, ctx) {
     const callSites = graph.ingoingEdges(def.id);
     for (const [callerId, { types }] of callSites ?? []) {
         if (!(0, edge_1.edgeIncludesType)(types, edge_1.EdgeType.Calls)) {
@@ -46,7 +46,7 @@ function inspectCallSitesArgumentsFns(def, graph) {
             if (arg === r_function_call_1.EmptyArgument) {
                 continue;
             }
-            const value = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(arg.nodeId, { graph, idMap: graph.idMap, resolve: config_1.VariableResolve.Alias, full: true }));
+            const value = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(arg.nodeId, { graph, idMap: graph.idMap, resolve: config_1.VariableResolve.Alias, full: true, ctx }));
             if (value?.elements.some(e => e.type === 'function-definition')) {
                 return true;
             }
@@ -60,7 +60,7 @@ function inspectCallSitesArgumentsFns(def, graph) {
  * If the return is an identity, e.g., `function(x) x`, this is not considered higher-order,
  * if no function is passed as an argument.
  */
-function isHigherOrder(id, graph) {
+function isHigherOrder(id, graph, ctx) {
     const vert = graph.getVertex(id);
     if (!vert || !(0, vertex_1.isFunctionDefinitionVertex)(vert)) {
         return false;
@@ -70,6 +70,6 @@ function isHigherOrder(id, graph) {
         return true;
     }
     // 2. check whether any of the callsites passes a function
-    return inspectCallSitesArgumentsFns(vert, graph);
+    return inspectCallSitesArgumentsFns(vert, graph, ctx);
 }
 //# sourceMappingURL=higher-order-function.js.map

package/dataflow/graph/dataflowgraph-builder.d.ts

@@ -1,23 +1,27 @@
 import { type NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { AstIdMap } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
-import { type DataflowFunctionFlowInformation, type FunctionArgument, DataflowGraph } from './graph';
+import { type DataflowFunctionFlowInformation, DataflowGraph, type FunctionArgument } from './graph';
 import { type IEnvironment, type REnvironmentInformation } from '../environments/environment';
-import { type DataflowGraphVertexAstLink, type DataflowGraphVertexUse, type FunctionOriginInformation } from './vertex';
+import { type DataflowGraphVertexArgument, type DataflowGraphVertexAstLink, type DataflowGraphVertexInfo, type DataflowGraphVertexUse, type FunctionOriginInformation } from './vertex';
 import type { ControlDependency } from '../info';
 import type { LinkTo } from '../../queries/catalog/call-context-query/call-context-query-format';
 import type { FlowrSearchLike } from '../../search/flowr-search-builder';
 import type { ReadonlyFlowrAnalysisProvider } from '../../project/flowr-analyzer';
 /**
- *
+ * Creates an empty dataflow graph.
+ * Should only be used in tests and documentation.
  */
-export declare function emptyGraph(idMap?: AstIdMap): DataflowGraphBuilder;
+export declare function emptyGraph(cleanEnv?: REnvironmentInformation, idMap?: AstIdMap): DataflowGraphBuilder<DataflowGraphVertexInfo>;
 export type DataflowGraphEdgeTarget = NodeId | (readonly NodeId[]);
 /**
  * This DataflowGraphBuilder extends {@link DataflowGraph} with builder methods to
  * easily and compactly add vertices and edges to a dataflow graph. Its usage thus
  * simplifies writing tests for dataflow graphs.
  */
-export declare class DataflowGraphBuilder extends DataflowGraph {
+export declare class DataflowGraphBuilder<Vertex extends DataflowGraphVertexInfo = DataflowGraphVertexInfo> extends DataflowGraph {
+    private readonly defaultEnvironment;
+    constructor(cleanEnv?: REnvironmentInformation, idMap?: AstIdMap);
+    addVertexWithDefaultEnv(vertex: DataflowGraphVertexArgument & Omit<Vertex, keyof DataflowGraphVertexArgument>, asRoot?: boolean, overwrite?: boolean): this;
     /**
      * Adds a **vertex** for a **function definition** (V1).
      * @param id - AST node ID

package/dataflow/graph/dataflowgraph-builder.js

@@ -6,7 +6,6 @@ exports.getBuiltInSideEffect = getBuiltInSideEffect;
 const objects_1 = require("../../util/objects");
 const node_id_1 = require("../../r-bridge/lang-4.x/ast/model/processing/node-id");
 const graph_1 = require("./graph");
-const environment_1 = require("../environments/environment");
 const vertex_1 = require("./vertex");
 const r_function_call_1 = require("../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const built_in_1 = require("../environments/built-in");
@@ -14,11 +13,13 @@ const edge_1 = require("./edge");
 const default_builtin_config_1 = require("../environments/default-builtin-config");
 const flowr_search_executor_1 = require("../../search/flowr-search-executor");
 const assert_1 = require("../../util/assert");
+const flowr_analyzer_context_1 = require("../../project/context/flowr-analyzer-context");
 /**
- *
+ * Creates an empty dataflow graph.
+ * Should only be used in tests and documentation.
  */
-function emptyGraph(idMap) {
-    return new DataflowGraphBuilder(idMap);
+function emptyGraph(cleanEnv, idMap) {
+    return new DataflowGraphBuilder(cleanEnv, idMap);
 }
 /**
  * This DataflowGraphBuilder extends {@link DataflowGraph} with builder methods to
@@ -26,6 +27,15 @@ function emptyGraph(idMap) {
  * simplifies writing tests for dataflow graphs.
  */
 class DataflowGraphBuilder extends graph_1.DataflowGraph {
+    defaultEnvironment;
+    constructor(cleanEnv, idMap) {
+        super(idMap);
+        this.defaultEnvironment = cleanEnv ?? (0, flowr_analyzer_context_1.contextFromInput)('').env.makeCleanEnv();
+    }
+    addVertexWithDefaultEnv(vertex, asRoot = true, overwrite = false) {
+        super.addVertex(vertex, this.defaultEnvironment, asRoot, overwrite);
+        return this;
+    }
     /**
      * Adds a **vertex** for a **function definition** (V1).
      * @param id - AST node ID
@@ -36,7 +46,7 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
      * (i.e., be a valid entry point), or is it nested (e.g., as part of a function definition)
      */
     defineFunction(id, exitPoints, subflow, info, asRoot = true) {
-        return this.addVertex({
+        return this.addVertexWithDefaultEnv({
             tag: vertex_1.VertexType.FunctionDefinition,
             id: (0, node_id_1.normalizeIdToNumberIfPossible)(id),
             subflow: {
@@ -49,7 +59,7 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
             },
             exitPoints: exitPoints.map(node_id_1.normalizeIdToNumberIfPossible),
             cds: info?.controlDependencies?.map(c => ({ ...c, id: (0, node_id_1.normalizeIdToNumberIfPossible)(c.id) })),
-            environment: info?.environment
+            environment: info?.environment,
         }, asRoot);
     }
     /**
@@ -63,12 +73,12 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
      */
     call(id, name, args, info, asRoot = true) {
         const onlyBuiltInAuto = info?.reads?.length === 1 && (0, built_in_1.isBuiltIn)(info?.reads[0]);
-        this.addVertex({
+        this.addVertexWithDefaultEnv({
             tag: vertex_1.VertexType.FunctionCall,
             id: (0, node_id_1.normalizeIdToNumberIfPossible)(id),
             name,
             args: args.map(a => a === r_function_call_1.EmptyArgument ? r_function_call_1.EmptyArgument : { ...a, nodeId: (0, node_id_1.normalizeIdToNumberIfPossible)(a.nodeId), controlDependencies: undefined }),
-            environment: (info?.onlyBuiltIn || onlyBuiltInAuto) ? undefined : info?.environment ?? (0, environment_1.initializeCleanEnvironments)(),
+            environment: (info?.onlyBuiltIn || onlyBuiltInAuto) ? undefined : info?.environment ?? this.defaultEnvironment,
             cds: info?.controlDependencies?.map(c => ({ ...c, id: (0, node_id_1.normalizeIdToNumberIfPossible)(c.id) })),
             onlyBuiltin: info?.onlyBuiltIn ?? onlyBuiltInAuto ?? false,
             origin: info?.origin ?? [(0, default_builtin_config_1.getDefaultProcessor)(name) ?? 'function'],
@@ -115,7 +125,7 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
      * (i.e., be a valid entry point), or is it nested (e.g., as part of a function definition)
      */
     defineVariable(id, name, info, asRoot = true) {
-        this.addVertex({
+        this.addVertexWithDefaultEnv({
             tag: vertex_1.VertexType.VariableDefinition,
             id: (0, node_id_1.normalizeIdToNumberIfPossible)(id),
             name,
@@ -137,7 +147,7 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
      * (i.e., be a valid entry point) or is it nested (e.g., as part of a function definition)
      */
     use(id, name, info, asRoot = true) {
-        return this.addVertex((0, objects_1.deepMergeObject)({
+        return this.addVertexWithDefaultEnv((0, objects_1.deepMergeObject)({
             tag: vertex_1.VertexType.Use,
             id: (0, node_id_1.normalizeIdToNumberIfPossible)(id),
             name,
@@ -156,7 +166,7 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
      * (i.e., be a valid entry point), or is it nested (e.g., as part of a function definition)
      */
     constant(id, options, asRoot = true) {
-        return this.addVertex({
+        return this.addVertexWithDefaultEnv({
             tag: vertex_1.VertexType.Value,
             id: (0, node_id_1.normalizeIdToNumberIfPossible)(id),
             cds: options?.controlDependencies?.map(c => ({ ...c, id: (0, node_id_1.normalizeIdToNumberIfPossible)(c.id) })),