@eagleoutice/flowr 2.6.2 → 2.6.3

package/cli/repl/commands/repl-dataflow.js

@@ -57,7 +57,8 @@ exports.dataflowCommand = {
             clipboard.default.writeSync(mermaid);
             output.stdout(formatInfo(output, 'mermaid code', result));
         }
-        catch { /* do nothing this is a service thing */ }
+        catch { /* do nothing this is a service thing */
+        }
     }
 };
 exports.dataflowStarCommand = {

package/cli/repl/commands/repl-parse.js

@@ -4,6 +4,7 @@ exports.parseCommand = void 0;
 const format_1 = require("../../../r-bridge/lang-4.x/ast/parser/json/format");
 const normalize_meta_1 = require("../../../r-bridge/lang-4.x/ast/parser/main/normalize-meta");
 const retriever_1 = require("../../../r-bridge/retriever");
+const flowr_file_1 = require("../../../project/context/flowr-file");
 function toDepthMap(entry) {
     const visit = [{ depth: 0, node: entry }];
     const result = [];
@@ -138,15 +139,26 @@ exports.parseCommand = {
         };
     },
     fn: async ({ output, analyzer }) => {
-        const result = await analyzer.parse();
+        const result = (await analyzer.parse()).files;
         const parserInfo = analyzer.parserInformation();
         if (parserInfo.name === 'r-shell') {
-            const object = (0, format_1.convertPreparedParsedData)((0, format_1.prepareParsedData)(result.parsed));
-            output.stdout(depthListToTextTree(toDepthMap(object), output.formatter));
+            for (const { parsed, filePath } of result) {
+                if (filePath && filePath !== flowr_file_1.FlowrFile.INLINE_PATH) {
+                    output.stdout(output.formatter.format(`File: ${filePath}\n`, { style: 4 /* FontStyles.Underline */ }));
+                }
+                const object = toDepthMap((0, format_1.convertPreparedParsedData)((0, format_1.prepareParsedData)(parsed)));
+                output.stdout(depthListToTextTree(object, output.formatter));
+            }
         }
         else {
             // print the tree-sitter ast
-            output.stdout(depthListToTextTree(treeSitterToDepthList(result.parsed.rootNode), output.formatter));
+            for (const { parsed, filePath } of result) {
+                if (filePath && filePath !== flowr_file_1.FlowrFile.INLINE_PATH) {
+                    output.stdout(output.formatter.format(`File: ${filePath}\n`, { style: 4 /* FontStyles.Underline */ }));
+                }
+                const object = treeSitterToDepthList(parsed.rootNode);
+                output.stdout(depthListToTextTree(object, output.formatter));
+            }
         }
     }
 };

package/cli/repl/commands/repl-query.js

@@ -65,7 +65,7 @@ async function processQueryArgs(output, analyzer, remainingArgs) {
     }
     if (input) {
         analyzer.reset();
-        analyzer.addRequest((0, retriever_1.requestFromInput)(input));
+        analyzer.addRequest(input);
     }
     return {
         query: await (0, query_1.executeQueries)({

package/cli/repl/core.js

@@ -150,28 +150,30 @@ async function replProcessStatement(output, statement, analyzer, allowRSessionAc
         const bold = (s) => output.formatter.format(s, { style: 1 /* FontStyles.Bold */ });
         if (processor) {
             try {
-                const remainingLine = statement.slice(command.length + 2).trim();
-                if (processor.isCodeCommand) {
-                    const args = processor.argsParser(remainingLine);
-                    if (args.rCode) {
-                        analyzer.reset();
-                        analyzer.addRequest((0, retriever_1.requestFromInput)(args.rCode));
+                await (0, query_1.genericWrapReplFailIfNoRequest)(async () => {
+                    const remainingLine = statement.slice(command.length + 2).trim();
+                    if (processor.isCodeCommand) {
+                        const args = processor.argsParser(remainingLine);
+                        if (args.rCode) {
+                            analyzer.reset();
+                            analyzer.addRequest(args.rCode);
+                        }
+                        await processor.fn({ output, analyzer, remainingArgs: args.remaining });
                     }
-                    await processor.fn({ output, analyzer, remainingArgs: args.remaining });
-                }
-                else {
-                    await processor.fn({ output, analyzer, remainingLine, allowRSessionAccess });
-                }
+                    else {
+                        await processor.fn({ output, analyzer, remainingLine, allowRSessionAccess });
+                    }
+                }, output, analyzer);
             }
             catch (e) {
-                output.stdout(`${bold(`Failed to execute command ${command}`)}: ${e?.message}. Using the ${bold('--verbose')} flag on startup may provide additional information.\n`);
+                output.stderr(`${bold(`Failed to execute command ${command}`)}: ${e?.message}. Using the ${bold('--verbose')} flag on startup may provide additional information.\n`);
                 if (log_1.log.settings.minLevel < 6 /* LogLevel.Fatal */) {
                     console.error(e);
                 }
             }
         }
         else {
-            output.stdout(`the command '${command}' is unknown, try ${bold(':help')} for more information\n`);
+            output.stderr(`the command '${command}' is unknown, try ${bold(':help')} for more information\n`);
         }
     }
     else {
@@ -206,6 +208,7 @@ async function repl({ analyzer, rl = readline.createInterface(makeDefaultReplRea
         rl.on('history', h => fs_1.default.writeFileSync(historyFile, h.join('\n'), { encoding: 'utf-8' }));
     }
     // the incredible repl :D, we kill it with ':quit'
+    // noinspection InfiniteLoopJS
     while (true) {
         await new Promise((resolve, reject) => {
             rl.question((0, prompt_1.prompt)(), answer => {

package/cli/repl/server/connection.js

@@ -214,10 +214,11 @@ class FlowRServerConnection {
         else {
             throw new Error('Either content or filepath must be defined.');
         }
-        const analyzer = await new flowr_analyzer_builder_1.FlowrAnalyzerBuilder(request)
+        const analyzer = await new flowr_analyzer_builder_1.FlowrAnalyzerBuilder()
             .setConfig(this.config)
             .setParser(this.parser)
             .build();
+        analyzer.addRequest(request);
         if (message.filetoken) {
             this.logger.info(`Storing file token ${message.filetoken}`);
             this.fileMap.set(message.filetoken, {

package/cli/script-core/statistics-helper-core.js

@@ -21,6 +21,7 @@ const time_1 = require("../../util/text/time");
 const tar_1 = require("tar");
 const ansi_1 = require("../../util/text/ansi");
 const config_1 = require("../../config");
+const flowr_analyzer_context_1 = require("../../project/context/flowr-analyzer-context");
 function compressFolder(folder, target) {
     return (0, tar_1.create)({
         gzip: true,
@@ -62,7 +63,7 @@ async function getStatsForSingleFile(options, config) {
     if (stats.outputs.size === 1) {
         if (options['dump-json']) {
             const [, output] = [...stats.outputs.entries()][0];
-            const cfg = (0, extract_cfg_1.extractCfg)(output.normalize, config, output.dataflow.graph);
+            const cfg = (0, extract_cfg_1.extractCfg)(output.normalize, (0, flowr_analyzer_context_1.contextFromInput)('', config), output.dataflow.graph);
             statistics_file_1.statisticsFileProvider.append('output-json', 'parse', await (0, print_1.printStepResult)(_00_parse_1.PARSE_WITH_R_SHELL_STEP, output.parse, 2 /* StepOutputFormat.Json */));
             statistics_file_1.statisticsFileProvider.append('output-json', 'normalize', await (0, print_1.printStepResult)(_10_normalize_1.NORMALIZE, output.normalize, 2 /* StepOutputFormat.Json */));
             statistics_file_1.statisticsFileProvider.append('output-json', 'dataflow', await (0, print_1.printStepResult)(_20_dataflow_1.STATIC_DATAFLOW, output.dataflow, 2 /* StepOutputFormat.Json */));

package/cli/slicer-app.js

@@ -15,7 +15,6 @@ const print_1 = require("../benchmark/stats/print");
 const magic_comments_1 = require("../reconstruct/auto-select/magic-comments");
 const auto_select_defaults_1 = require("../reconstruct/auto-select/auto-select-defaults");
 const config_1 = require("../config");
-const adapter_1 = require("../util/formats/adapter");
 const options = (0, script_1.processCommandLineArgs)('slicer', ['input', 'criterion'], {
     subtitle: 'Slice R code based on a given slicing criterion',
     examples: [
@@ -32,8 +31,8 @@ async function getSlice() {
     (0, assert_1.guard)(options.criterion !== undefined, 'a slicing criterion must be given');
     const config = (0, config_1.getConfig)();
     await slicer.init(options['input-is-text']
-        ? (0, adapter_1.requestFromText)(options.input.replaceAll('\\n', '\n'))
-        : (0, adapter_1.requestFromFile)(options.input), config, options['no-magic-comments'] ? auto_select_defaults_1.doNotAutoSelect : (0, magic_comments_1.makeMagicCommentHandler)(auto_select_defaults_1.doNotAutoSelect));
+        ? { request: 'text', content: options.input.replaceAll('\\n', '\n') }
+        : { request: 'file', content: options.input }, config, options['no-magic-comments'] ? auto_select_defaults_1.doNotAutoSelect : (0, magic_comments_1.makeMagicCommentHandler)(auto_select_defaults_1.doNotAutoSelect));
     let mappedSlices = [];
     let reconstruct = undefined;
     const doSlicing = options.criterion.trim() !== '';
@@ -77,7 +76,7 @@ async function getSlice() {
         if (doSlicing && options.diff) {
             let originalCode = options.input;
             if (!options['input-is-text']) {
-                const request = (0, adapter_1.requestFromFile)(options.input);
+                const request = { request: 'file', content: options.input };
                 originalCode = request.request === 'text' ? request.content : fs_1.default.readFileSync(request.content).toString();
             }
             console.log((0, slice_diff_ansi_1.sliceDiffAnsi)(slice.result, normalize, new Set(mappedSlices.map(({ id }) => id)), originalCode));

package/cli/wiki.d.ts

@@ -0,0 +1,4 @@
+/**
+ * Updates and optionally re-creates all flowR wikis.
+ */
+export declare function makeAllWikis(force: boolean, filter: string[] | undefined): Promise<void>;

package/cli/wiki.js

@@ -0,0 +1,165 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.makeAllWikis = makeAllWikis;
+const doc_context_1 = require("../documentation/wiki-mk/doc-context");
+const shell_1 = require("../r-bridge/shell");
+const tree_sitter_executor_1 = require("../r-bridge/lang-4.x/tree-sitter/tree-sitter-executor");
+const fs_1 = __importDefault(require("fs"));
+const log_1 = require("../../test/functionality/_helper/log");
+const command_line_usage_1 = __importDefault(require("command-line-usage"));
+const command_line_args_1 = __importDefault(require("command-line-args"));
+const version_1 = require("../util/version");
+const wiki_faq_1 = require("../documentation/wiki-faq");
+const ansi_1 = require("../util/text/ansi");
+const documentation_1 = require("../documentation");
+const wiki_cfg_1 = require("../documentation/wiki-cfg");
+const wiki_onboarding_1 = require("../documentation/wiki-onboarding");
+const wiki_analyzer_1 = require("../documentation/wiki-analyzer");
+const issue_linting_rule_1 = require("../documentation/issue-linting-rule");
+const doc_readme_1 = require("../documentation/doc-readme");
+const wiki_linter_1 = require("../documentation/wiki-linter");
+const os_1 = __importDefault(require("os"));
+const Documents = [
+    new wiki_faq_1.WikiFaq(),
+    new documentation_1.WikiSearch(),
+    new wiki_cfg_1.WikiCfg(),
+    new documentation_1.WikiQuery(),
+    new wiki_onboarding_1.WikiOnboarding(),
+    new wiki_analyzer_1.WikiAnalyzer(),
+    new documentation_1.WikiEngine(),
+    new documentation_1.WikiNormalizedAst(),
+    new documentation_1.WikiCore(),
+    new documentation_1.WikiInterface(),
+    new documentation_1.WikiDataflowGraph(),
+    new documentation_1.WikiLintingAndTesting(),
+    new wiki_linter_1.WikiLinter(),
+    new issue_linting_rule_1.IssueLintingRule(),
+    new doc_readme_1.DocReadme(),
+    new documentation_1.DocCapabilities()
+];
+function sortByLeastRecentChanged(wikis) {
+    return wikis.slice().sort((a, b) => {
+        const aStat = fs_1.default.existsSync(a.getProducer()) ? fs_1.default.statSync(a.getProducer()) : undefined;
+        const bStat = fs_1.default.existsSync(b.getProducer()) ? fs_1.default.statSync(b.getProducer()) : undefined;
+        const aMTime = aStat ? aStat.mtime.getTime() : 0;
+        const bMTime = bStat ? bStat.mtime.getTime() : 0;
+        return bMTime - aMTime;
+    });
+}
+/**
+ * Updates and optionally re-creates all flowR wikis.
+ */
+async function makeAllWikis(force, filter) {
+    const setupStart = new Date();
+    console.log('Setting up wiki generation...');
+    const shell = new shell_1.RShell();
+    console.log('  * R shell initialized');
+    await tree_sitter_executor_1.TreeSitterExecutor.initTreeSitter();
+    const treeSitter = new tree_sitter_executor_1.TreeSitterExecutor();
+    console.log('  * Tree-sitter parser initialized');
+    const ctx = (0, doc_context_1.makeDocContextForTypes)(shell);
+    console.log('  * Wiki context prepared');
+    if (force) {
+        console.log(ansi_1.ansiFormatter.format('Forcing wiki regeneration (existing files will be overwritten)', { style: 1 /* FontStyles.Bold */, color: 3 /* Colors.Yellow */, effect: ansi_1.ColorEffect.Foreground }));
+    }
+    const info = {
+        ctx,
+        shell, treeSitter,
+        force,
+        readFileSync(f) {
+            try {
+                return fs_1.default.readFileSync(f);
+            }
+            catch {
+                return undefined;
+            }
+        },
+        writeFileSync: fs_1.default.writeFileSync
+    };
+    console.log(`Setup for wiki generation took ${(new Date().getTime() - setupStart.getTime())}ms`);
+    const changedWikis = new Set();
+    try {
+        const sortedDocs = sortByLeastRecentChanged(Documents);
+        console.log(`Generating ${sortedDocs.length} wikis/docs, sorted by most recently updated...`);
+        for (const doc of sortedDocs) {
+            const type = doc.getTarget().toLowerCase().includes('wiki') ? 'Wiki' : 'Doc';
+            if (filter && !filter.some(f => doc.getTarget().includes(f))) {
+                console.log(`  * Skipping ${type} (filtered out): ${doc.getTarget()}`);
+                continue;
+            }
+            const now = new Date();
+            console.log(ansi_1.ansiFormatter.format(`  [${doc.getTarget()}] Updating ${type}...`, { style: 1 /* FontStyles.Bold */, color: 6 /* Colors.Cyan */, effect: ansi_1.ColorEffect.Foreground }));
+            const changed = await doc.make(info);
+            const text = changed ? `${type} updated` : `${type} identical, no changes made`;
+            if (changed) {
+                changedWikis.add(doc.getTarget());
+            }
+            const color = changed ? 2 /* Colors.Green */ : 7 /* Colors.White */;
+            console.log(ansi_1.ansiFormatter.format(`  [${doc.getTarget()}] ${text}: ${doc.getTarget()} (took ${new Date().getTime() - now.getTime()}ms)`, { color, effect: ansi_1.ColorEffect.Foreground }));
+            for (const out of doc.getWrittenSubfiles()) {
+                changedWikis.add(out);
+                console.log(`    - Also updated: ${out}`);
+            }
+        }
+    }
+    catch (error) {
+        console.error('Error while generating documents:', error);
+    }
+    finally {
+        shell.close();
+    }
+    console.log('All wikis processed in ' + (new Date().getTime() - setupStart.getTime()) + 'ms');
+    console.log(`    * Changed ${changedWikis.size} wiki/doc files.`);
+    // write a temp file in the os temp dir with the changed wikis
+    const filename = `${os_1.default.tmpdir()}/flowr-wiki-changed-files.txt`;
+    fs_1.default.writeFileSync(`${filename}`, Array.from(changedWikis).join('\n'));
+    console.log(`    * List of changed wikis/docs written to ${filename}`);
+}
+if (require.main === module) {
+    const wikiOptions = [
+        { name: 'force', alias: 'F', type: Boolean, description: 'Overwrite existing wiki files, even if nothing changes' },
+        { name: 'filter', alias: 'f', type: String, multiple: true, description: 'Only generate wikis whose target path contains the given string' },
+        { name: 'help', alias: 'h', type: Boolean, description: 'Print this usage guide for the wiki generator' },
+        { name: 'keep-alive', type: Boolean, description: 'Keep-alive wiki generator (only sensible with a reloading script like ts-node-dev)' },
+    ];
+    const optionHelp = [
+        {
+            header: `flowR (version ${(0, version_1.flowrVersion)().toString()})`,
+            content: 'Documentation (wiki, issue, ...) generator for flowR'
+        },
+        {
+            header: 'Synopsis',
+            content: [
+                '$ wiki {bold --help}',
+                '$ wiki {bold --force}',
+                '$ wiki {bold --filter} {italic "dataflow"}'
+            ]
+        },
+        {
+            header: 'Options',
+            optionList: wikiOptions
+        }
+    ];
+    (0, log_1.setMinLevelOfAllLogs)(6 /* LogLevel.Fatal */);
+    // parse args
+    const options = (0, command_line_args_1.default)(wikiOptions);
+    if (options.help) {
+        console.log((0, command_line_usage_1.default)(optionHelp));
+        process.exit(0);
+    }
+    void makeAllWikis(options.force, options.filter).catch(err => {
+        console.error('Error while generating wikis:', err);
+        process.exit(1);
+    }).then(() => {
+        if (options['keep-alive']) {
+            console.log('Wiki generator running in keep-alive mode...');
+            setInterval(() => {
+                // do nothing, just keep alive
+            }, 100);
+        }
+    });
+}
+//# sourceMappingURL=wiki.js.map

package/config.d.ts

@@ -98,6 +98,10 @@ export interface FlowrConfigOptions extends MergeableRecord {
             };
         };
     };
+    readonly project: {
+        /** Whether to resolve unknown paths loaded by the r project disk when trying to source/analyze files */
+        resolveUnknownPathsOnDisk: boolean;
+    };
     /**
      * The engines to use for interacting with R code. Currently, supports {@link TreeSitterEngineConfig} and {@link RShellEngineConfig}.
      * An empty array means all available engines will be used.

package/config.js

@@ -65,6 +65,9 @@ exports.defaultConfigOptions = {
             }
         }
     },
+    project: {
+        resolveUnknownPathsOnDisk: true
+    },
     engines: [],
     defaultEngine: 'tree-sitter',
     solver: {
@@ -103,6 +106,9 @@ exports.flowrConfigFileSchema = joi_1.default.object({
             }).optional().description('Do you want to overwrite (parts) of the builtin definition?')
         }).optional().description('Semantics regarding how to handle the R environment.')
     }).description('Configure language semantics and how flowR handles them.'),
+    project: joi_1.default.object({
+        resolveUnknownPathsOnDisk: joi_1.default.boolean().optional().description('Whether to resolve unknown paths loaded by the r project disk when trying to source/analyze files.')
+    }).description('Project specific configuration options.'),
     engines: joi_1.default.array().items(joi_1.default.alternatives(joi_1.default.object({
         type: joi_1.default.string().required().valid('tree-sitter').description('Use the tree sitter engine.'),
         wasmPath: joi_1.default.string().optional().description('The path to the tree-sitter-r WASM binary to use. If this is undefined, this uses the default path.'),

package/control-flow/cfg-dead-code.js

@@ -54,7 +54,12 @@ class CfgConditionalDeadCodeRemoval extends semantic_cfg_guided_visitor_1.Semant
         }
     }
     handleValuesFor(id, valueId) {
-        const values = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(valueId, { graph: this.config.dfg, full: true, idMap: this.config.normalizedAst.idMap, resolve: this.config.flowrConfig.solver.variables }));
+        const values = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(valueId, {
+            graph: this.config.dfg,
+            full: true,
+            idMap: this.config.normalizedAst.idMap,
+            resolve: this.config.ctx.config.solver.variables
+        }));
         if (values === undefined || values.elements.length !== 1 || values.elements[0].type != 'logical' || !(0, r_value_1.isValue)(values.elements[0].value)) {
             this.unableToCalculateValue(id);
             return;
@@ -74,7 +79,12 @@ class CfgConditionalDeadCodeRemoval extends semantic_cfg_guided_visitor_1.Semant
         if (data.call.args.length !== 1 || data.call.args[0] === r_function_call_1.EmptyArgument) {
             return undefined;
         }
-        const values = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(data.call.args[0].nodeId, { graph: this.config.dfg, full: true, idMap: this.config.normalizedAst.idMap, resolve: this.config.flowrConfig.solver.variables }));
+        const values = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(data.call.args[0].nodeId, {
+            graph: this.config.dfg,
+            full: true,
+            idMap: this.config.normalizedAst.idMap,
+            resolve: this.config.ctx.config.solver.variables
+        }));
         if (values === undefined || values.elements.length !== 1 || values.elements[0].type != 'logical' || !(0, r_value_1.isValue)(values.elements[0].value)) {
             return undefined;
         }
@@ -115,7 +125,7 @@ function cfgAnalyzeDeadCode(cfg, info) {
         controlFlow: cfg,
         normalizedAst: info.ast,
         dfg: info.dfg,
-        flowrConfig: info.config,
+        ctx: info.ctx,
         defaultVisitingOrder: 'forward',
     });
     visitor.start();

package/control-flow/cfg-simplification.d.ts

@@ -3,13 +3,16 @@ import type { NormalizedAst } from '../r-bridge/lang-4.x/ast/model/processing/de
 import type { DataflowGraph } from '../dataflow/graph/graph';
 import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import { cfgAnalyzeDeadCode } from './cfg-dead-code';
-import type { FlowrConfigOptions } from '../config';
+import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
 export interface CfgPassInfo {
     ast?: NormalizedAst;
     dfg?: DataflowGraph;
-    config: FlowrConfigOptions;
+    ctx: ReadOnlyFlowrAnalyzerContext;
 }
 export type CfgSimplificationPass = (cfg: ControlFlowInformation, info: CfgPassInfo) => ControlFlowInformation;
+/**
+ * All available control flow graph simplification passes.
+ */
 export declare const CfgSimplificationPasses: {
     readonly 'unique-cf-sets': typeof uniqueControlFlowSets;
     readonly 'analyze-dead-code': typeof cfgAnalyzeDeadCode;

package/control-flow/cfg-simplification.js

@@ -6,6 +6,9 @@ exports.cfgFindAllReachable = cfgFindAllReachable;
 const cfg_to_basic_blocks_1 = require("./cfg-to-basic-blocks");
 const simple_visitor_1 = require("./simple-visitor");
 const cfg_dead_code_1 = require("./cfg-dead-code");
+/**
+ * All available control flow graph simplification passes.
+ */
 exports.CfgSimplificationPasses = {
     'unique-cf-sets': uniqueControlFlowSets,
     'analyze-dead-code': cfg_dead_code_1.cfgAnalyzeDeadCode,

package/control-flow/extract-cfg.d.ts

@@ -1,24 +1,30 @@
 import { type QuadSerializationConfiguration } from '../util/quads';
+import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { NormalizedAst, ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { DataflowGraph } from '../dataflow/graph/graph';
+import type { DataflowGraphVertexFunctionCall } from '../dataflow/graph/vertex';
 import { type ControlFlowInformation } from './control-flow-graph';
 import { type CfgSimplificationPassName } from './cfg-simplification';
-import type { FlowrConfigOptions } from '../config';
+import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
 /**
  * Given a normalized AST, this approximates the control flow graph of the program.
  * This view is different from the computation of the dataflow graph and may differ,
  * especially because it focuses on intra-procedural analysis.
  * @param ast             - the normalized AST
- * @param config          - the flowR config
+ * @param ctx             - the flowR context
  * @param graph           - additional dataflow facts to consider by the control flow extraction
  * @param simplifications - a list of simplification passes to apply to the control flow graph
  * @see {@link extractCfgQuick} - for a simplified version of this function
  */
-export declare function extractCfg<Info = ParentInformation>(ast: NormalizedAst<Info & ParentInformation>, config: FlowrConfigOptions, graph?: DataflowGraph, simplifications?: readonly CfgSimplificationPassName[]): ControlFlowInformation;
+export declare function extractCfg<Info = ParentInformation>(ast: NormalizedAst<Info & ParentInformation>, ctx: ReadOnlyFlowrAnalyzerContext, graph?: DataflowGraph, simplifications?: readonly CfgSimplificationPassName[]): ControlFlowInformation;
 /**
  * A version of {@link extractCfg} that is much quicker and does not apply any simplifications or dataflow information.
  */
 export declare function extractCfgQuick<Info = ParentInformation>(ast: NormalizedAst<Info>): ControlFlowInformation<import("./control-flow-graph").CfgSimpleVertex>;
+/**
+ * Extracts all function call vertices from the given control flow information and dataflow graph.
+ */
+export declare function getCallsInCfg(cfg: ControlFlowInformation, graph: DataflowGraph): Map<NodeId, Required<DataflowGraphVertexFunctionCall>>;
 export declare const ResolvedCallSuffix = "-resolved-call-exit";
 /**
  * Convert a cfg to RDF quads.

package/control-flow/extract-cfg.js

@@ -3,6 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.ResolvedCallSuffix = void 0;
 exports.extractCfg = extractCfg;
 exports.extractCfgQuick = extractCfgQuick;
+exports.getCallsInCfg = getCallsInCfg;
 exports.cfg2quads = cfg2quads;
 const quads_1 = require("../util/quads");
 const fold_1 = require("../r-bridge/lang-4.x/ast/model/processing/fold");
@@ -56,19 +57,58 @@ function dataflowCfgFolds(dataflowGraph) {
  * This view is different from the computation of the dataflow graph and may differ,
  * especially because it focuses on intra-procedural analysis.
  * @param ast             - the normalized AST
- * @param config          - the flowR config
+ * @param ctx             - the flowR context
  * @param graph           - additional dataflow facts to consider by the control flow extraction
  * @param simplifications - a list of simplification passes to apply to the control flow graph
  * @see {@link extractCfgQuick} - for a simplified version of this function
  */
-function extractCfg(ast, config, graph, simplifications) {
-    return (0, cfg_simplification_1.simplifyControlFlowInformation)((0, fold_1.foldAst)(ast.ast, graph ? dataflowCfgFolds(graph) : cfgFolds), { ast, dfg: graph, config }, simplifications);
+function extractCfg(ast, ctx, graph, simplifications) {
+    return (0, cfg_simplification_1.simplifyControlFlowInformation)(cfgFoldProject(ast.ast, graph ? dataflowCfgFolds(graph) : cfgFolds), { ast, dfg: graph, ctx }, simplifications);
 }
 /**
  * A version of {@link extractCfg} that is much quicker and does not apply any simplifications or dataflow information.
  */
 function extractCfgQuick(ast) {
-    return (0, fold_1.foldAst)(ast.ast, cfgFolds);
+    return cfgFoldProject(ast.ast, cfgFolds);
+}
+/**
+ * Extracts all function call vertices from the given control flow information and dataflow graph.
+ */
+function getCallsInCfg(cfg, graph) {
+    const calls = new Map();
+    for (const vertexId of cfg.graph.vertices().keys()) {
+        const vertex = graph.getVertex(vertexId, true);
+        if ((0, vertex_1.isFunctionCallVertex)(vertex)) {
+            calls.set(vertexId, vertex);
+        }
+    }
+    return calls;
+}
+function cfgFoldProject(proj, folds) {
+    if (proj.files.length === 0) {
+        return (0, control_flow_graph_1.emptyControlFlowInformation)();
+    }
+    else if (proj.files.length === 1) {
+        return (0, fold_1.foldAst)(proj.files[0].root, folds);
+    }
+    const perProject = proj.files.map(file => (0, fold_1.foldAst)(file.root, folds));
+    const finalGraph = perProject[0].graph;
+    for (let i = 1; i < perProject.length; i++) {
+        finalGraph.mergeWith(perProject[i].graph);
+        for (const exitPoint of perProject[i - 1].exitPoints) {
+            for (const entryPoint of perProject[i].entryPoints) {
+                finalGraph.addEdge(entryPoint, exitPoint, { label: 0 /* CfgEdgeType.Fd */ });
+            }
+        }
+    }
+    return {
+        breaks: perProject.flatMap(e => e.breaks),
+        nexts: perProject.flatMap(e => e.nexts),
+        returns: perProject.flatMap(e => e.returns),
+        exitPoints: perProject[perProject.length - 1].exitPoints,
+        entryPoints: perProject[0].entryPoints,
+        graph: finalGraph
+    };
 }
 function cfgLeaf(type) {
     return ({ info: { id } }) => {

package/control-flow/semantic-cfg-guided-visitor.d.ts

@@ -13,9 +13,9 @@ import type { NoInfo, RNode } from '../r-bridge/lang-4.x/ast/model/model';
 import type { RSymbol } from '../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import type { BuiltInProcessorMapper } from '../dataflow/environments/built-in';
 import type { RExpressionList } from '../r-bridge/lang-4.x/ast/model/nodes/r-expression-list';
-import type { FlowrConfigOptions } from '../config';
+import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
 export interface SemanticCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Dfg extends DataflowGraph = DataflowGraph> extends DataflowCfgGuidedVisitorConfiguration<ControlFlow, Dfg>, SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> {
-    readonly flowrConfig: FlowrConfigOptions;
+    readonly ctx: ReadOnlyFlowrAnalyzerContext;
 }
 /**
  * This visitor extends on the {@link DataflowAwareCfgGuidedVisitor} by dispatching visitors for separate function calls as well,

package/control-flow/simple-visitor.js

@@ -17,7 +17,7 @@ function visitCfgInReverseOrder(graph, startNodes,
 // eslint-disable-next-line @typescript-eslint/no-invalid-void-type -- void is used to indicate that the return value is ignored/we never stop
 visitor) {
     const visited = new Set();
-    let queue = [...startNodes];
+    let queue = startNodes.slice();
     const hasBb = graph.mayHaveBasicBlocks();
     while (queue.length > 0) {
         const current = queue.pop();
@@ -36,7 +36,7 @@ visitor) {
         }
         const incoming = graph.outgoingEdges(current);
         if (incoming) {
-            queue.push(...incoming.keys());
+            queue = queue.concat(incoming.keys().toArray());
         }
     }
 }

package/control-flow/useless-loop.d.ts

@@ -1,8 +1,8 @@
-import type { FlowrConfigOptions } from '../config';
 import type { DataflowGraph } from '../dataflow/graph/graph';
 import type { NormalizedAst } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { NodeId } from '../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { ControlFlowInformation } from './control-flow-graph';
+import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
 export declare const loopyFunctions: Set<"builtin:default" | "builtin:eval" | "builtin:apply" | "builtin:expression-list" | "builtin:source" | "builtin:access" | "builtin:if-then-else" | "builtin:get" | "builtin:rm" | "builtin:library" | "builtin:assignment" | "builtin:special-bin-op" | "builtin:pipe" | "builtin:function-definition" | "builtin:quote" | "builtin:for-loop" | "builtin:repeat-loop" | "builtin:while-loop" | "builtin:replacement" | "builtin:list" | "builtin:vector">;
 /**
  * Checks whether a loop only loops once
@@ -10,7 +10,7 @@ export declare const loopyFunctions: Set<"builtin:default" | "builtin:eval" | "b
  * @param dataflow    - dataflow graph
  * @param controlflow - control flow graph
  * @param ast         - normalized ast
- * @param config      - current flowr config
+ * @param ctx      - current flowr analyzer context
  * @returns true if the given loop only iterates once
  */
-export declare function onlyLoopsOnce(loop: NodeId, dataflow: DataflowGraph, controlflow: ControlFlowInformation, ast: NormalizedAst, config: FlowrConfigOptions): boolean | undefined;
+export declare function onlyLoopsOnce(loop: NodeId, dataflow: DataflowGraph, controlflow: ControlFlowInformation, ast: NormalizedAst, ctx: ReadOnlyFlowrAnalyzerContext): boolean | undefined;