@eagleoutice/flowr 2.6.2 → 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
@@ -42,7 +41,7 @@ function processFunctionDefinition(name, args, rootId, data) {
         (0, assert_1.guard)(param !== r_function_call_1.EmptyArgument, () => `Empty argument in function definition ${name.content}, ${JSON.stringify(args)}`);
         const processed = (0, processor_1.processDataflowFor)(param, data);
         subgraph.mergeWith(processed.graph);
-        const read = [...processed.in, ...processed.unknownReferences];
+        const read = processed.in.concat(processed.unknownReferences);
         (0, linker_1.linkInputs)(read, data.environment, readInParameters, subgraph, false);
         data = { ...data, environment: (0, overwrite_1.overwriteEnvironment)(data.environment, processed.environment) };
     }
@@ -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.d.ts

@@ -5,6 +5,6 @@ import type { RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/
 import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 /**
- *
+ * Processes a built-in 'get' function call.
  */
 export declare function processGet<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-get.js

@@ -9,14 +9,14 @@ const retriever_1 = require("../../../../../../r-bridge/retriever");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const edge_1 = require("../../../../../graph/edge");
 /**
- *
+ * Processes a built-in 'get' function call.
  */
 function processGet(name, args, rootId, data) {
     if (args.length !== 1) {
         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.flowrConfig.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-list.js

@@ -16,7 +16,7 @@ const containers_1 = require("../../../../../../util/containers");
  */
 function processList(name, args, rootId, data) {
     const fnCall = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'builtin:list' });
-    if (!data.flowrConfig.solver.pointerTracking) {
+    if (!data.ctx.config.solver.pointerTracking) {
         return fnCall.information;
     }
     const listArgs = [];
@@ -67,7 +67,7 @@ function processList(name, args, rootId, data) {
         }
         listArgs.push(newIndex);
     }
-    if ((0, config_1.isOverPointerAnalysisThreshold)(data.flowrConfig, listArgs.length)) {
+    if ((0, config_1.isOverPointerAnalysisThreshold)(data.ctx.config, listArgs.length)) {
         return fnCall.information;
     }
     const indices = {

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.`);
@@ -38,19 +38,19 @@ function processPipe(name, args, rootId, data) {
         information.graph.addEdge(functionCallNode.id, argId, edge_1.EdgeType.Argument | edge_1.EdgeType.Reads);
     }
     const firstArgument = processedArguments[0];
-    const uniqueIn = [...information.in];
+    const uniqueIn = information.in.slice();
     for (const ing of (firstArgument?.in ?? [])) {
         if (!uniqueIn.find(e => e.nodeId === ing.nodeId)) {
             uniqueIn.push(ing);
         }
     }
-    const uniqueOut = [...information.out];
+    const uniqueOut = information.out.slice();
     for (const outg of (firstArgument?.out ?? [])) {
         if (!uniqueOut.find(e => e.nodeId === outg.nodeId)) {
             uniqueOut.push(outg);
         }
     }
-    const uniqueUnknownReferences = [...information.unknownReferences];
+    const uniqueUnknownReferences = information.unknownReferences.slice();
     for (const unknown of (firstArgument?.unknownReferences ?? [])) {
         if (!uniqueUnknownReferences.find(e => e.nodeId === unknown.nodeId)) {
             uniqueUnknownReferences.push(unknown);

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

@@ -5,6 +5,11 @@ import { type RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/
 import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 /**
- *
+ * Process a built-in repeat loop function call like `repeat { ... }`.
+ * @param name     - The name of the function being called.
+ * @param args     - The arguments passed to the function.
+ * @param rootId   - The root node ID for the current processing context.
+ * @param data     - Additional dataflow processor information.
+ * @returns        - The resulting dataflow information after processing the repeat loop.
  */
 export declare function processRepeatLoop<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-repeat-loop.js

@@ -9,14 +9,19 @@ 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");
 /**
- *
+ * Process a built-in repeat loop function call like `repeat { ... }`.
+ * @param name     - The name of the function being called.
+ * @param args     - The arguments passed to the function.
+ * @param rootId   - The root node ID for the current processing context.
+ * @param data     - Additional dataflow processor information.
+ * @returns        - The resulting dataflow information after processing the repeat loop.
  */
 function processRepeatLoop(name, args, rootId, data) {
     if (args.length !== 1 || args[0] === r_function_call_1.EmptyArgument) {
         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

@@ -30,7 +30,7 @@ args, rootId, data, config) {
     /* we only get here if <-, <<-, ... or whatever is part of the replacement is not overwritten */
     (0, log_1.expensiveTrace)(logger_1.dataflowLogger, () => `Replacement ${name.content} with ${JSON.stringify(args)}, processing`);
     let indices = config.activeIndices;
-    if (data.flowrConfig.solver.pointerTracking) {
+    if (data.ctx.config.solver.pointerTracking) {
         indices ??= constructAccessedIndices(name.content, args);
     }
     /* 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 */
@@ -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,8 +80,8 @@ args, rootId, data, config) {
             res.graph.addEdge(rootId, ref, edge_1.EdgeType.Reads);
         }
     }
-    const fa = (0, unpack_argument_1.unpackArgument)(args[0]);
-    if (!data.flowrConfig.solver.pointerTracking && fa) {
+    const fa = (0, unpack_argument_1.unpackNonameArg)(args[0]);
+    if (!data.ctx.config.solver.pointerTracking && fa) {
         res = {
             ...res,
             in: [...res.in, { name: fa.lexeme, type: identifier_1.ReferenceType.Variable, nodeId: fa.info.id, controlDependencies: data.controlDependencies }]

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.d.ts

@@ -1,24 +1,27 @@
 import { type DataflowProcessorInformation } from '../../../../../processor';
 import { type DataflowInformation } from '../../../../../info';
 import { type FlowrLaxSourcingOptions, InferWorkingDirectory } from '../../../../../../config';
-import { type RParseRequest, type RParseRequestProvider } from '../../../../../../r-bridge/retriever';
+import { type RParseRequest } from '../../../../../../r-bridge/retriever';
 import { type IdGenerator, 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';
 import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { NoInfo } from '../../../../../../r-bridge/lang-4.x/ast/model/model';
+import type { ReadOnlyFlowrAnalyzerContext } from '../../../../../../project/context/flowr-analyzer-context';
+import type { RProjectFile } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-project';
 /**
- * Returns the current (global) source provider
+ * Infers working directories based on the given option and reference chain
  */
-export declare function getSourceProvider(): RParseRequestProvider;
+export declare function inferWdFromScript(option: InferWorkingDirectory, referenceChain: readonly (string | undefined)[]): string[];
 /**
- * Sets the current (global) source provider
+ * Return the basename of a path in a platform-agnostic way
+ * @see {@link platformDirname} - for the dirname counterpart
  */
-export declare function setSourceProvider(provider: RParseRequestProvider): void;
+export declare function platformBasename(p: string): string;
 /**
- * Infers working directories based on the given option and reference chain
+ * Return the dirname of a path in a platform-agnostic way
  */
-export declare function inferWdFromScript(option: InferWorkingDirectory, referenceChain: readonly RParseRequest[]): string[];
+export declare function platformDirname(p: string): string;
 /**
  * Tries to find sourced by a source request and returns the first path that exists
  * @param resolveSource - options for lax file sourcing
@@ -26,7 +29,8 @@ export declare function inferWdFromScript(option: InferWorkingDirectory, referen
  * @param data          - more information on the loading context
  */
 export declare function findSource(resolveSource: FlowrLaxSourcingOptions | undefined, seed: string, data: {
-    referenceChain: readonly RParseRequest[];
+    referenceChain: readonly (string | undefined)[];
+    ctx: ReadOnlyFlowrAnalyzerContext;
 }): string[] | undefined;
 /**
  * Processes a named function call (i.e., not an anonymous function)
@@ -39,9 +43,10 @@ export declare function processSourceCall<OtherInfo>(name: RSymbol<OtherInfo & P
 }): DataflowInformation;
 /**
  * Processes a source request with the given dataflow processor information and existing dataflow information
+ * Otherwise, this can be an {@link RProjectFile} representing a standalone source file
  */
-export declare function sourceRequest<OtherInfo>(rootId: NodeId, request: RParseRequest, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, information: DataflowInformation, getId: IdGenerator<NoInfo>): DataflowInformation;
+export declare function sourceRequest<OtherInfo>(rootId: NodeId, request: RParseRequest | RProjectFile<OtherInfo & ParentInformation>, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, information: DataflowInformation, getId?: IdGenerator<NoInfo>): DataflowInformation;
 /**
  * Processes a standalone source file (i.e., not from a source function call)
  */
-export declare function standaloneSourceFile<OtherInfo>(inputRequest: RParseRequest, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, uniqueSourceId: string, information: DataflowInformation): DataflowInformation;
+export declare function standaloneSourceFile<OtherInfo>(idx: number, file: RProjectFile<OtherInfo & ParentInformation>, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, information: DataflowInformation): DataflowInformation;