@eagleoutice/flowr 2.9.12 → 2.9.14

package/config.js

@@ -3,18 +3,14 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.flowrConfigFileSchema = exports.defaultConfigOptions = exports.DropPathsOption = exports.InferWorkingDirectory = exports.VariableResolve = void 0;
-exports.parseConfig = parseConfig;
-exports.amendConfig = amendConfig;
-exports.cloneConfig = cloneConfig;
-exports.getConfig = getConfig;
-exports.getEngineConfig = getEngineConfig;
+exports.FlowrConfig = exports.DropPathsOption = exports.InferWorkingDirectory = exports.VariableResolve = void 0;
 const objects_1 = require("./util/objects");
 const path_1 = __importDefault(require("path"));
 const fs_1 = __importDefault(require("fs"));
 const log_1 = require("./util/log");
 const files_1 = require("./util/files");
 const joi_1 = __importDefault(require("joi"));
+const object_path_1 = __importDefault(require("object-path"));
 var VariableResolve;
 (function (VariableResolve) {
     /** Don't resolve constants at all */
@@ -54,173 +50,213 @@ const defaultEngineConfigs = {
     'tree-sitter': { type: 'tree-sitter' },
     'r-shell': { type: 'r-shell' }
 };
-exports.defaultConfigOptions = {
-    ignoreSourceCalls: false,
-    semantics: {
-        environment: {
-            overwriteBuiltIns: {
-                loadDefaults: true,
-                definitions: []
+/**
+ * Helper Object to work with {@link FlowrConfig}, provides the default config and the Joi schema for validation.
+ */
+exports.FlowrConfig = {
+    name: 'FlowrConfig',
+    /**
+     * The default configuration for flowR, used when no config file is found or when a config file is missing some options.
+     * You can use this as a base for your own config and only specify the options you want to change.
+     */
+    default() {
+        return {
+            ignoreSourceCalls: false,
+            semantics: {
+                environment: {
+                    overwriteBuiltIns: {
+                        loadDefaults: true,
+                        definitions: []
+                    }
+                }
+            },
+            repl: {
+                quickStats: false,
+                dfProcessorHeat: false
+            },
+            project: {
+                resolveUnknownPathsOnDisk: true
+            },
+            engines: [],
+            defaultEngine: 'tree-sitter',
+            solver: {
+                variables: VariableResolve.Alias,
+                evalStrings: true,
+                resolveSource: {
+                    dropPaths: DropPathsOption.No,
+                    ignoreCapitalization: true,
+                    inferWorkingDirectory: InferWorkingDirectory.ActiveScript,
+                    searchPath: [],
+                    repeatedSourceLimit: 2
+                },
+                instrument: {
+                    dataflowExtractors: undefined
+                },
+                slicer: {
+                    threshold: 50
+                }
+            },
+            abstractInterpretation: {
+                wideningThreshold: 4,
+                dataFrame: {
+                    maxColNames: 50,
+                    readLoadedData: {
+                        readExternalFiles: true,
+                        maxReadLines: 1e6
+                    }
+                }
             }
+        };
+    },
+    /**
+     * The Joi schema for validating a config file, use this to validate your config file before using it. You can also use this to generate documentation for the config file format.
+     */
+    Schema: joi_1.default.object({
+        ignoreSourceCalls: joi_1.default.boolean().optional().description('Whether source calls should be ignored, causing {@link processSourceCall}\'s behavior to be skipped.'),
+        semantics: joi_1.default.object({
+            environment: joi_1.default.object({
+                overwriteBuiltIns: joi_1.default.object({
+                    loadDefaults: joi_1.default.boolean().optional().description('Should the default configuration still be loaded?'),
+                    definitions: joi_1.default.array().items(joi_1.default.object()).optional().description('The definitions to load/overwrite.')
+                }).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.'),
+        repl: joi_1.default.object({
+            quickStats: joi_1.default.boolean().optional().description('Whether to show quick stats in the REPL after each evaluation.'),
+            dfProcessorHeat: joi_1.default.boolean().optional().description('This instruments the dataflow processors to count how often each processor is called.')
+        }).description('Configuration options for the REPL.'),
+        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.'),
+            treeSitterWasmPath: joi_1.default.string().optional().description('The path to the tree-sitter WASM binary to use. If this is undefined, this uses the default path.'),
+            lax: joi_1.default.boolean().optional().description('Whether to use the lax parser for parsing R code (allowing for syntax errors). If this is undefined, the strict parser will be used.')
+        }).description('The configuration for the tree sitter engine.'), joi_1.default.object({
+            type: joi_1.default.string().required().valid('r-shell').description('Use the R shell engine.'),
+            rPath: joi_1.default.string().optional().description('The path to the R executable to use. If this is undefined, this uses the default path.')
+        }).description('The configuration for the R shell engine.'))).description('The engine or set of engines to use for interacting with R code. An empty array means all available engines will be used.'),
+        defaultEngine: joi_1.default.string().optional().valid('tree-sitter', 'r-shell').description('The default engine to use for interacting with R code. If this is undefined, an arbitrary engine from the specified list will be used.'),
+        solver: joi_1.default.object({
+            variables: joi_1.default.string().valid(...Object.values(VariableResolve)).description('How to resolve variables and their values.'),
+            evalStrings: joi_1.default.boolean().description('Should we include eval(parse(text="...")) calls in the dataflow graph?'),
+            instrument: joi_1.default.object({
+                dataflowExtractors: joi_1.default.any().optional().description('These keys are only intended for use within code, allowing to instrument the dataflow analyzer!')
+            }),
+            resolveSource: joi_1.default.object({
+                dropPaths: joi_1.default.string().valid(...Object.values(DropPathsOption)).description('Allow to drop the first or all parts of the sourced path, if it is relative.'),
+                ignoreCapitalization: joi_1.default.boolean().description('Search for filenames matching in the lowercase.'),
+                inferWorkingDirectory: joi_1.default.string().valid(...Object.values(InferWorkingDirectory)).description('Try to infer the working directory from the main or any script to analyze.'),
+                searchPath: joi_1.default.array().items(joi_1.default.string()).description('Additionally search in these paths.'),
+                repeatedSourceLimit: joi_1.default.number().optional().description('How often the same file can be sourced within a single run? Please be aware: in case of cyclic sources this may not reach a fixpoint so give this a sensible limit.'),
+                applyReplacements: joi_1.default.array().items(joi_1.default.object()).description('Provide name replacements for loaded files')
+            }).optional().description('If lax source calls are active, flowR searches for sourced files much more freely, based on the configurations you give it. This option is only in effect if `ignoreSourceCalls` is set to false.'),
+            slicer: joi_1.default.object({
+                threshold: joi_1.default.number().optional().description('The maximum number of iterations to perform on a single function call during slicing.')
+            }).optional().description('The configuration for the slicer.')
+        }).description('How to resolve constants, constraints, cells, ...'),
+        abstractInterpretation: joi_1.default.object({
+            wideningThreshold: joi_1.default.number().min(1).description('The threshold for the number of visitations of a node at which widening should be performed to ensure the termination of the fixpoint iteration.'),
+            dataFrame: joi_1.default.object({
+                maxColNames: joi_1.default.number().min(0).description('The maximum number of columns names to infer for data frames before over-approximating the column names to top.'),
+                readLoadedData: joi_1.default.object({
+                    readExternalFiles: joi_1.default.boolean().description('Whether data frame shapes should be extracted from loaded external files, such as CSV files.'),
+                    maxReadLines: joi_1.default.number().min(1).description('The maximum number of lines to read when extracting data frame shapes from loaded files, such as CSV files.')
+                }).description('Configuration options for reading data frame shapes from loaded external data files, such as CSV files.')
+            }).description('The configuration of the shape inference for data frames.')
+        }).description('The configuration options for abstract interpretation.')
+    }).description('The configuration file format for flowR.'),
+    /**
+     * Parses the given JSON string as a flowR config file, returning the resulting config object if the parsing and validation were successful, or `undefined` if there was an error.
+     */
+    parse(jsonString) {
+        try {
+            const parsed = JSON.parse(jsonString);
+            const validate = exports.FlowrConfig.Schema.validate(parsed);
+            if (!validate.error) {
+                // assign default values to all config options except for the specified ones
+                return (0, objects_1.deepMergeObject)(exports.FlowrConfig.default(), parsed);
+            }
+            else {
+                log_1.log.error(`Failed to validate config ${jsonString}: ${validate.error.message}`);
+                return undefined;
+            }
+        }
+        catch (e) {
+            log_1.log.error(`Failed to parse config ${jsonString}: ${e.message}`);
         }
     },
-    repl: {
-        quickStats: false,
-        dfProcessorHeat: false
+    /**
+     * Creates a new flowr config that has the updated values.
+     */
+    // eslint-disable-next-line @typescript-eslint/no-invalid-void-type
+    amend(config, amendmentFunc) {
+        const newConfig = exports.FlowrConfig.clone(config);
+        return amendmentFunc(newConfig) ?? newConfig;
     },
-    project: {
-        resolveUnknownPathsOnDisk: true
+    /**
+     * Clones the given flowr config object.
+     */
+    clone(config) {
+        return (0, objects_1.deepClonePreserveUnclonable)(config);
     },
-    engines: [],
-    defaultEngine: 'tree-sitter',
-    solver: {
-        variables: VariableResolve.Alias,
-        evalStrings: true,
-        resolveSource: {
-            dropPaths: DropPathsOption.No,
-            ignoreCapitalization: true,
-            inferWorkingDirectory: InferWorkingDirectory.ActiveScript,
-            searchPath: [],
-            repeatedSourceLimit: 2
-        },
-        instrument: {
-            dataflowExtractors: undefined
-        },
-        slicer: {
-            threshold: 50
+    /**
+     * Loads the flowr config from the given file or the default locations.
+     * Please note that you can also use this without a path parameter to
+     * infer the config from flowR's default locations.
+     * This is mostly useful for user-facing features.
+     */
+    fromFile(configFile, configWorkingDirectory = process.cwd()) {
+        try {
+            return loadConfigFromFile(configFile, configWorkingDirectory);
         }
-    },
-    abstractInterpretation: {
-        wideningThreshold: 4,
-        dataFrame: {
-            maxColNames: 50,
-            readLoadedData: {
-                readExternalFiles: true,
-                maxReadLines: 1e6
-            }
+        catch (e) {
+            log_1.log.error(`Failed to load config: ${e.message}`);
+            return exports.FlowrConfig.default();
         }
-    }
-};
-exports.flowrConfigFileSchema = joi_1.default.object({
-    ignoreSourceCalls: joi_1.default.boolean().optional().description('Whether source calls should be ignored, causing {@link processSourceCall}\'s behavior to be skipped.'),
-    semantics: joi_1.default.object({
-        environment: joi_1.default.object({
-            overwriteBuiltIns: joi_1.default.object({
-                loadDefaults: joi_1.default.boolean().optional().description('Should the default configuration still be loaded?'),
-                definitions: joi_1.default.array().items(joi_1.default.object()).optional().description('The definitions to load/overwrite.')
-            }).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.'),
-    repl: joi_1.default.object({
-        quickStats: joi_1.default.boolean().optional().description('Whether to show quick stats in the REPL after each evaluation.'),
-        dfProcessorHeat: joi_1.default.boolean().optional().description('This instruments the dataflow processors to count how often each processor is called.')
-    }).description('Configuration options for the REPL.'),
-    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.'),
-        treeSitterWasmPath: joi_1.default.string().optional().description('The path to the tree-sitter WASM binary to use. If this is undefined, this uses the default path.'),
-        lax: joi_1.default.boolean().optional().description('Whether to use the lax parser for parsing R code (allowing for syntax errors). If this is undefined, the strict parser will be used.')
-    }).description('The configuration for the tree sitter engine.'), joi_1.default.object({
-        type: joi_1.default.string().required().valid('r-shell').description('Use the R shell engine.'),
-        rPath: joi_1.default.string().optional().description('The path to the R executable to use. If this is undefined, this uses the default path.')
-    }).description('The configuration for the R shell engine.'))).min(1).description('The engine or set of engines to use for interacting with R code. An empty array means all available engines will be used.'),
-    defaultEngine: joi_1.default.string().optional().valid('tree-sitter', 'r-shell').description('The default engine to use for interacting with R code. If this is undefined, an arbitrary engine from the specified list will be used.'),
-    solver: joi_1.default.object({
-        variables: joi_1.default.string().valid(...Object.values(VariableResolve)).description('How to resolve variables and their values.'),
-        evalStrings: joi_1.default.boolean().description('Should we include eval(parse(text="...")) calls in the dataflow graph?'),
-        instrument: joi_1.default.object({
-            dataflowExtractors: joi_1.default.any().optional().description('These keys are only intended for use within code, allowing to instrument the dataflow analyzer!')
-        }),
-        resolveSource: joi_1.default.object({
-            dropPaths: joi_1.default.string().valid(...Object.values(DropPathsOption)).description('Allow to drop the first or all parts of the sourced path, if it is relative.'),
-            ignoreCapitalization: joi_1.default.boolean().description('Search for filenames matching in the lowercase.'),
-            inferWorkingDirectory: joi_1.default.string().valid(...Object.values(InferWorkingDirectory)).description('Try to infer the working directory from the main or any script to analyze.'),
-            searchPath: joi_1.default.array().items(joi_1.default.string()).description('Additionally search in these paths.'),
-            repeatedSourceLimit: joi_1.default.number().optional().description('How often the same file can be sourced within a single run? Please be aware: in case of cyclic sources this may not reach a fixpoint so give this a sensible limit.'),
-            applyReplacements: joi_1.default.array().items(joi_1.default.object()).description('Provide name replacements for loaded files')
-        }).optional().description('If lax source calls are active, flowR searches for sourced files much more freely, based on the configurations you give it. This option is only in effect if `ignoreSourceCalls` is set to false.'),
-        slicer: joi_1.default.object({
-            threshold: joi_1.default.number().optional().description('The maximum number of iterations to perform on a single function call during slicing.')
-        }).optional().description('The configuration for the slicer.')
-    }).description('How to resolve constants, constraints, cells, ...'),
-    abstractInterpretation: joi_1.default.object({
-        dataFrame: joi_1.default.object({
-            maxColNames: joi_1.default.number().min(0).description('The maximum number of columns names to infer for data frames before over-approximating the column names to top.'),
-            wideningThreshold: joi_1.default.number().min(1).description('The threshold for the number of visitations of a node at which widening should be performed to ensure the termination of the fixpoint iteration.'),
-            readLoadedData: joi_1.default.object({
-                readExternalFiles: joi_1.default.boolean().description('Whether data frame shapes should be extracted from loaded external files, such as CSV files.'),
-                maxReadLines: joi_1.default.number().min(1).description('The maximum number of lines to read when extracting data frame shapes from loaded files, such as CSV files.')
-            }).description('Configuration options for reading data frame shapes from loaded external data files, such as CSV files.')
-        }).description('The configuration of the shape inference for data frames.')
-    }).description('The configuration options for abstract interpretation.')
-}).description('The configuration file format for flowR.');
-/**
- * Parses the given JSON string as a flowR config file.
- */
-function parseConfig(jsonString) {
-    try {
-        const parsed = JSON.parse(jsonString);
-        const validate = exports.flowrConfigFileSchema.validate(parsed);
-        if (!validate.error) {
-            // assign default values to all config options except for the specified ones
-            return (0, objects_1.deepMergeObject)(exports.defaultConfigOptions, parsed);
+    },
+    /**
+     * Gets the configuration for the given engine type from the config.
+     */
+    getForEngine(config, engine) {
+        const engines = config.engines;
+        if (engines.length > 0) {
+            return engines.find(e => e.type === engine);
         }
         else {
-            log_1.log.error(`Failed to validate config ${jsonString}: ${validate.error.message}`);
-            return undefined;
+            return defaultEngineConfigs[engine];
         }
+    },
+    /**
+     * Returns a new config object with the given value set at the given key, where the key is a dot-separated path to the value in the config object.
+     * @see {@link setInConfigInPlace} for a version that modifies the config object in place instead of returning a new one.
+     * @example
+     * ```ts
+     * const config = FlowrConfig.default();
+     * const newConfig = FlowrConfig.setInConfig(config, 'solver.variables', VariableResolve.Builtin);
+     * console.log(config.solver.variables); // Output: "alias"
+     * console.log(newConfig.solver.variables); // Output: "builtin"
+     * ```
+     */
+    setInConfig(config, key, value) {
+        const clone = exports.FlowrConfig.clone(config);
+        object_path_1.default.set(clone, key, value);
+        return clone;
+    },
+    /**
+     * Modifies the given config object in place by setting the given value at the given key, where the key is a dot-separated path to the value in the config object.
+     * @see {@link setInConfig} for a version that returns a new config object instead of modifying the given one in place.
+     */
+    setInConfigInPlace(config, key, value) {
+        object_path_1.default.set(config, key, value);
     }
-    catch (e) {
-        log_1.log.error(`Failed to parse config ${jsonString}: ${e.message}`);
-    }
-}
-/**
- * Creates a new flowr config that has the updated values.
- */
-// eslint-disable-next-line @typescript-eslint/no-invalid-void-type
-function amendConfig(config, amendmentFunc) {
-    const newConfig = cloneConfig(config);
-    amendmentFunc(newConfig);
-    return newConfig;
-}
-/**
- * Clones the given flowr config object.
- */
-function cloneConfig(config) {
-    return JSON.parse(JSON.stringify(config));
-}
-/**
- * Loads the flowr config from the given file or the default locations.
- */
-function getConfig(configFile, configWorkingDirectory = process.cwd()) {
-    try {
-        return loadConfigFromFile(configFile, configWorkingDirectory);
-    }
-    catch (e) {
-        log_1.log.error(`Failed to load config: ${e.message}`);
-        return exports.defaultConfigOptions;
-    }
-}
-/**
- * Gets the configuration for the given engine type from the config.
- */
-function getEngineConfig(config, engine) {
-    const engines = config.engines;
-    if (!engines.length) {
-        return defaultEngineConfigs[engine];
-    }
-    else {
-        return engines.find(e => e.type === engine);
-    }
-}
+};
 function loadConfigFromFile(configFile, workingDirectory) {
     if (configFile !== undefined) {
         if (path_1.default.isAbsolute(configFile) && fs_1.default.existsSync(configFile)) {
             log_1.log.trace(`Found config at ${configFile} (absolute)`);
-            const ret = parseConfig(fs_1.default.readFileSync(configFile, { encoding: 'utf-8' }));
+            const ret = exports.FlowrConfig.parse(fs_1.default.readFileSync(configFile, { encoding: 'utf-8' }));
             if (ret) {
                 log_1.log.info(`Using config ${JSON.stringify(ret)}`);
                 return ret;
@@ -231,7 +267,7 @@ function loadConfigFromFile(configFile, workingDirectory) {
             const configPath = path_1.default.join(searchPath, configFile);
             if (fs_1.default.existsSync(configPath)) {
                 log_1.log.trace(`Found config at ${configPath}`);
-                const ret = parseConfig(fs_1.default.readFileSync(configPath, { encoding: 'utf-8' }));
+                const ret = exports.FlowrConfig.parse(fs_1.default.readFileSync(configPath, { encoding: 'utf-8' }));
                 if (ret) {
                     log_1.log.info(`Using config ${JSON.stringify(ret)}`);
                     return ret;
@@ -241,7 +277,7 @@ function loadConfigFromFile(configFile, workingDirectory) {
             searchPath = (0, files_1.getParentDirectory)(searchPath);
         } while (fs_1.default.existsSync(searchPath));
     }
-    log_1.log.info(`Using default config ${JSON.stringify(exports.defaultConfigOptions)}`);
-    return exports.defaultConfigOptions;
+    log_1.log.info('Using default config');
+    return exports.FlowrConfig.default();
 }
 //# sourceMappingURL=config.js.map

package/control-flow/extract-cfg.js

@@ -13,9 +13,9 @@ const vertex_1 = require("../dataflow/graph/vertex");
 const control_flow_graph_1 = require("./control-flow-graph");
 const cfg_simplification_1 = require("./cfg-simplification");
 const assert_1 = require("../util/assert");
-const built_in_1 = require("../dataflow/environments/built-in");
 const stateful_fold_1 = require("../r-bridge/lang-4.x/ast/model/processing/stateful-fold");
 const model_1 = require("../r-bridge/lang-4.x/ast/model/model");
+const built_in_proc_name_1 = require("../dataflow/environments/built-in-proc-name");
 const cfgFolds = {
     down: (n, down) => {
         if (r_function_definition_1.RFunctionDefinition.is(n)) {
@@ -292,14 +292,11 @@ function cfgFor(forLoop, variable, vector, body) {
     for (const breakPoint of body.breaks) {
         graph.addEdge(control_flow_graph_1.CfgVertex.toExitId(forLoopId), breakPoint, control_flow_graph_1.CfgEdge.makeFd());
     }
-    const isNotEndless = body.exitPoints.length > 0 || body.breaks.length > 0;
-    if (isNotEndless) {
-        graph.addVertex(control_flow_graph_1.CfgVertex.makeExitMarker(forLoopId));
-        for (const e of variable.exitPoints) {
-            graph.addEdge(control_flow_graph_1.CfgVertex.toExitId(forLoopId), e, control_flow_graph_1.CfgEdge.makeCdFalse(forLoopId));
-        }
+    graph.addVertex(control_flow_graph_1.CfgVertex.makeExitMarker(forLoopId));
+    for (const e of variable.exitPoints) {
+        graph.addEdge(control_flow_graph_1.CfgVertex.toExitId(forLoopId), e, control_flow_graph_1.CfgEdge.makeCdFalse(forLoopId));
     }
-    return { graph, breaks: [], nexts: [], returns: body.returns, exitPoints: isNotEndless ? [control_flow_graph_1.CfgVertex.toExitId(forLoopId)] : [], entryPoints: [forLoopId] };
+    return { graph, breaks: [], nexts: [], returns: body.returns, exitPoints: [control_flow_graph_1.CfgVertex.toExitId(forLoopId)], entryPoints: [forLoopId] };
 }
 function cfgFunctionDefinition(fn, params, body) {
     const fnId = fn.info.id;
@@ -336,7 +333,7 @@ function cfgFunctionDefinition(fn, params, body) {
     return { graph: graph, breaks: [], nexts: [], returns: [], exitPoints: [fnId], entryPoints: [fnId] };
 }
 function cfgFunctionCall(call, name, args, down) {
-    if (call.named && call.functionName.content === 'ifelse') {
+    if (call.named && call.functionName.content === 'ifelse' && args.length > 1) {
         // special built-in handling for ifelse as it is an expression that does not short-circuit
         return cfgIfThenElse(call, args[0] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[0], args[1] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[1], args[2] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[2]);
     }
@@ -385,7 +382,7 @@ function cfgFunctionCall(call, name, args, down) {
 }
 exports.ResolvedCallSuffix = control_flow_graph_1.CfgVertex.toExitId('-resolved-call');
 const OriginToFoldTypeMap = {
-    [built_in_1.BuiltInProcName.IfThenElse]: (folds, call, args, down) => {
+    [built_in_proc_name_1.BuiltInProcName.IfThenElse]: (folds, call, args, down) => {
         // arguments are in order!
         return folds.foldIfThenElse(call, // we will have to this more sophisticated if we rewrite the dfg based generation
         args[0] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[0], args[1] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[1], args[2] === r_function_call_1.EmptyArgument ? (0, control_flow_graph_1.emptyControlFlowInformation)() : args[2], down);

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

@@ -11,10 +11,10 @@ import type { RLogical } from '../r-bridge/lang-4.x/ast/model/nodes/r-logical';
 import type { DataflowGraph, FunctionArgument } from '../dataflow/graph/graph';
 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 { BuiltInProcName } from '../dataflow/environments/built-in';
 import type { RExpressionList } from '../r-bridge/lang-4.x/ast/model/nodes/r-expression-list';
 import type { ReadOnlyFlowrAnalyzerContext } from '../project/context/flowr-analyzer-context';
 import { RNull } from '../r-bridge/lang-4.x/convert-values';
+import { BuiltInProcName } from '../dataflow/environments/built-in-proc-name';
 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 ctx: ReadOnlyFlowrAnalyzerContext;
 }