@eagleoutice/flowr 2.2.14 → 2.2.15

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

@@ -1,5 +1,4 @@
 import type { CfgExpressionVertex, CfgStatementVertex, ControlFlowInformation } from './control-flow-graph';
-import type { DataflowInformation } from '../dataflow/info';
 import type { DataflowCfgGuidedVisitorConfiguration } from './dfg-cfg-guided-visitor';
 import { DataflowAwareCfgGuidedVisitor } from './dfg-cfg-guided-visitor';
 import type { NormalizedAst, ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
@@ -10,12 +9,12 @@ import type { DataflowGraphVertexFunctionCall, DataflowGraphVertexFunctionDefini
 import type { RString } from '../r-bridge/lang-4.x/ast/model/nodes/r-string';
 import type { RNumber } from '../r-bridge/lang-4.x/ast/model/nodes/r-number';
 import type { RLogical } from '../r-bridge/lang-4.x/ast/model/nodes/r-logical';
-import type { FunctionArgument } from '../dataflow/graph/graph';
+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 type { BuiltInProcessorMapper } from '../dataflow/environments/built-in';
 import type { RExpressionList } from '../r-bridge/lang-4.x/ast/model/nodes/r-expression-list';
-export interface SemanticCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, Cfg extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Dfg extends DataflowInformation = DataflowInformation> extends DataflowCfgGuidedVisitorConfiguration<Cfg, Dfg>, SyntaxCfgGuidedVisitorConfiguration<OtherInfo, Cfg, Ast> {
+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> {
 }
 /**
  * This visitor extends on the {@link DataflowAwareCfgGuidedVisitor} by dispatching visitors for separate function calls as well,
@@ -40,7 +39,7 @@ export interface SemanticCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, Cfg e
  *
  * Use {@link BasicCfgGuidedVisitor#start} to start the traversal.
  */
-export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Dfg extends DataflowInformation = DataflowInformation, Config extends SemanticCfgGuidedVisitorConfiguration<OtherInfo, Cfg, Ast, Dfg> = SemanticCfgGuidedVisitorConfiguration<OtherInfo, Cfg, Ast, Dfg>> extends DataflowAwareCfgGuidedVisitor<Cfg, Dfg, Config> {
+export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Dfg extends DataflowGraph = DataflowGraph, Config extends SemanticCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast, Dfg> = SemanticCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast, Dfg>> extends DataflowAwareCfgGuidedVisitor<ControlFlow, Dfg, Config> {
     /**
      * A helper function to get the normalized AST node for the given id or fail if it does not exist.
      */
@@ -117,6 +116,11 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends Co
      * @protected
      */
     protected onDispatchFunctionCallOrigin(call: DataflowGraphVertexFunctionCall, origin: keyof typeof BuiltInProcessorMapper | string): void;
+    /**
+     * This event is called for the root program node, i.e., the program that is being analyzed.
+     *
+     * @protected
+     */
     protected onProgram(_data: RExpressionList<OtherInfo>): void;
     /**
      * A helper function to request the {@link getOriginInDfg|origins} of the given node.
@@ -180,6 +184,7 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends Co
      */
     protected onFunctionDefinition(_data: {
         vertex: DataflowGraphVertexFunctionDefinition;
+        parameters?: readonly NodeId[];
     }): void;
     /**
      * This event triggers for every anonymous call within the program.
@@ -211,7 +216,7 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends Co
      *
      * This explicitly will not trigger for scenarios in which the function has no name (i.e., if it is anonymous).
      * For such cases, you may rely on the {@link SemanticCfgGuidedVisitor#onUnnamedCall|`onUnnamedCall`} event.
-     * The main reason for this separation is part of flowR's handling of these functions, as anonmyous calls cannot be resolved using the active environment.
+     * The main reason for this separation is part of flowR's handling of these functions, as anonymous calls cannot be resolved using the active environment.
      *
      * @protected
      */
@@ -282,9 +287,9 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends Co
      */
     protected onIfThenElseCall(_data: {
         call: DataflowGraphVertexFunctionCall;
-        condition: FunctionArgument;
-        then: FunctionArgument;
-        else: FunctionArgument | undefined;
+        condition: NodeId | undefined;
+        then: NodeId | undefined;
+        else: NodeId | undefined;
     }): void;
     /**
      * This event triggers for every call to the `get` function, which is used to access variables in the global environment.
@@ -346,6 +351,8 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends Co
      */
     protected onSpecialBinaryOpCall(_data: {
         call: DataflowGraphVertexFunctionCall;
+        lhs?: FunctionArgument;
+        rhs?: FunctionArgument;
     }): void;
     /**
      * This event triggers for every call to R's pipe operator, i.e., for every call to `|>`.
@@ -354,6 +361,8 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends Co
      */
     protected onPipeCall(_data: {
         call: DataflowGraphVertexFunctionCall;
+        lhs?: FunctionArgument;
+        rhs?: FunctionArgument;
     }): void;
     /**
      * This event triggers for every call to the `quote` function, which is used to quote expressions.

package/control-flow/semantic-cfg-guided-visitor.js

@@ -6,6 +6,7 @@ const dfg_get_origin_1 = require("../dataflow/origin/dfg-get-origin");
 const type_1 = require("../r-bridge/lang-4.x/ast/model/type");
 const edge_1 = require("../dataflow/graph/edge");
 const assert_1 = require("../util/assert");
+const r_function_call_1 = require("../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 /**
  * This visitor extends on the {@link DataflowAwareCfgGuidedVisitor} by dispatching visitors for separate function calls as well,
  * providing more information!
@@ -90,7 +91,13 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
      */
     visitFunctionDefinition(vertex) {
         super.visitFunctionDefinition(vertex);
-        this.onFunctionDefinition({ vertex });
+        const ast = this.getNormalizedAst(vertex.id);
+        if (ast?.type === type_1.RType.FunctionDefinition) {
+            this.onFunctionDefinition({ vertex, parameters: ast.parameters.map(p => p.info.id) });
+        }
+        else {
+            this.onFunctionDefinition({ vertex });
+        }
     }
     /**
      * See {@link DataflowAwareCfgGuidedVisitor#visitFunctionCall} for the base implementation.
@@ -161,8 +168,26 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
                 return this.onSourceCall({ call });
             case 'builtin:access':
                 return this.onAccessCall({ call });
-            case 'builtin:if-then-else':
-                return this.onIfThenElseCall({ call, condition: call.args[0], then: call.args[1], else: call.args[2] });
+            case 'builtin:if-then-else': {
+                // recover dead arguments from ast
+                const ast = this.getNormalizedAst(call.id);
+                if (!ast || ast.type !== type_1.RType.IfThenElse) {
+                    return this.onIfThenElseCall({
+                        call,
+                        condition: call.args[0] === r_function_call_1.EmptyArgument ? undefined : call.args[0].nodeId,
+                        then: call.args[1] === r_function_call_1.EmptyArgument ? undefined : call.args[1].nodeId,
+                        else: call.args[2] === r_function_call_1.EmptyArgument ? undefined : call.args[2].nodeId
+                    });
+                }
+                else {
+                    return this.onIfThenElseCall({
+                        call,
+                        condition: ast.condition.info.id,
+                        then: ast.then.info.id,
+                        else: ast.otherwise?.info.id
+                    });
+                }
+            }
             case 'builtin:get':
                 return this.onGetCall({ call });
             case 'builtin:rm':
@@ -173,11 +198,11 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
                 return this.onVectorCall({ call });
             case 'table:assign':
             case 'builtin:assignment': {
-                const outgoing = this.config.dataflow.graph.outgoingEdges(call.id);
+                const outgoing = this.config.dfg.outgoingEdges(call.id);
                 if (outgoing) {
                     const target = [...outgoing.entries()].filter(([, e]) => (0, edge_1.edgeIncludesType)(e.types, edge_1.EdgeType.Returns));
                     if (target.length === 1) {
-                        const targetOut = this.config.dataflow.graph.outgoingEdges(target[0][0]);
+                        const targetOut = this.config.dfg.outgoingEdges(target[0][0]);
                         if (targetOut) {
                             const source = [...targetOut.entries()].filter(([t, e]) => (0, edge_1.edgeIncludesType)(e.types, edge_1.EdgeType.DefinedBy) && t !== call.id);
                             if (source.length === 1) {
@@ -189,9 +214,15 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
                 return this.onAssignmentCall({ call, target: undefined, source: undefined });
             }
             case 'builtin:special-bin-op':
-                return this.onSpecialBinaryOpCall({ call });
+                if (call.args.length !== 2) {
+                    return this.onSpecialBinaryOpCall({ call });
+                }
+                return this.onSpecialBinaryOpCall({ call, lhs: call.args[0], rhs: call.args[1] });
             case 'builtin:pipe':
-                return this.onPipeCall({ call });
+                if (call.args.length !== 2) {
+                    return this.onPipeCall({ call });
+                }
+                return this.onPipeCall({ call, lhs: call.args[0], rhs: call.args[1] });
             case 'builtin:quote':
                 return this.onQuoteCall({ call });
             case 'builtin:for-loop':
@@ -201,11 +232,11 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
             case 'builtin:while-loop':
                 return this.onWhileLoopCall({ call, condition: call.args[0], body: call.args[1] });
             case 'builtin:replacement': {
-                const outgoing = this.config.dataflow.graph.outgoingEdges(call.id);
+                const outgoing = this.config.dfg.outgoingEdges(call.id);
                 if (outgoing) {
                     const target = [...outgoing.entries()].filter(([, e]) => (0, edge_1.edgeIncludesType)(e.types, edge_1.EdgeType.Returns));
                     if (target.length === 1) {
-                        const targetOut = this.config.dataflow.graph.outgoingEdges(target[0][0]);
+                        const targetOut = this.config.dfg.outgoingEdges(target[0][0]);
                         if (targetOut) {
                             const source = [...targetOut.entries()].filter(([t, e]) => (0, edge_1.edgeIncludesType)(e.types, edge_1.EdgeType.DefinedBy) && t !== call.id);
                             if (source.length === 1) {
@@ -223,13 +254,17 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
                 return this.onDefaultFunctionCall({ call });
         }
     }
-    onProgram(_data) {
-    }
+    /**
+     * This event is called for the root program node, i.e., the program that is being analyzed.
+     *
+     * @protected
+     */
+    onProgram(_data) { }
     /**
      * A helper function to request the {@link getOriginInDfg|origins} of the given node.
      */
     getOrigins(id) {
-        return (0, dfg_get_origin_1.getOriginInDfg)(this.config.dataflow.graph, id);
+        return (0, dfg_get_origin_1.getOriginInDfg)(this.config.dfg, id);
     }
     /** Called for every occurrence of a `NULL` in the program. */
     onNullConstant(_data) { }
@@ -300,7 +335,7 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
      *
      * This explicitly will not trigger for scenarios in which the function has no name (i.e., if it is anonymous).
      * For such cases, you may rely on the {@link SemanticCfgGuidedVisitor#onUnnamedCall|`onUnnamedCall`} event.
-     * The main reason for this separation is part of flowR's handling of these functions, as anonmyous calls cannot be resolved using the active environment.
+     * The main reason for this separation is part of flowR's handling of these functions, as anonymous calls cannot be resolved using the active environment.
      *
      * @protected
      */
@@ -351,15 +386,13 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
      *
      * @protected
      */
-    onAccessCall(_data) {
-    }
+    onAccessCall(_data) { }
     /**
      * This event triggers for every call to the `if` function, which is used to implement the `if-then-else` control flow.
      *
      * @protected
      */
-    onIfThenElseCall(_data) {
-    }
+    onIfThenElseCall(_data) { }
     /**
      * This event triggers for every call to the `get` function, which is used to access variables in the global environment.
      *

package/control-flow/simple-visitor.d.ts

@@ -23,3 +23,7 @@ export declare function visitCfgInReverseOrder(graph: ControlFlowGraph, startNod
  * @see {@link visitCfgInReverseOrder} for a traversal in reversed order
  */
 export declare function visitCfgInOrder(graph: ControlFlowGraph, startNodes: readonly NodeId[], visitor: (node: NodeId) => boolean | void): void;
+/**
+ * Check if a node can reach another node in the control flow graph.
+ */
+export declare function canReach(graph: ControlFlowGraph, from: NodeId[], to: NodeId): boolean;

package/control-flow/simple-visitor.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.visitCfgInReverseOrder = visitCfgInReverseOrder;
 exports.visitCfgInOrder = visitCfgInOrder;
+exports.canReach = canReach;
 const control_flow_graph_1 = require("./control-flow-graph");
 /**
  * Visit all nodes reachable from the start node in the control flow graph, traversing the dependencies but ignoring cycles.
@@ -77,4 +78,17 @@ visitor) {
         }
     }
 }
+/**
+ * Check if a node can reach another node in the control flow graph.
+ */
+function canReach(graph, from, to) {
+    let reached = false;
+    visitCfgInOrder(graph, from, node => {
+        if (node === to) {
+            reached = true;
+            return true;
+        }
+    });
+    return reached;
+}
 //# sourceMappingURL=simple-visitor.js.map

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

@@ -25,7 +25,7 @@ import type { RNext } from '../r-bridge/lang-4.x/ast/model/nodes/r-next';
 import type { RNumber } from '../r-bridge/lang-4.x/ast/model/nodes/r-number';
 import type { RSymbol } from '../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import type { NoInfo, RNode } from '../r-bridge/lang-4.x/ast/model/model';
-export interface SyntaxCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, Cfg extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>> extends BasicCfgGuidedVisitorConfiguration<Cfg> {
+export interface SyntaxCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>> extends BasicCfgGuidedVisitorConfiguration<ControlFlow> {
     readonly normalizedAst: Ast;
 }
 /**
@@ -33,7 +33,7 @@ export interface SyntaxCfgGuidedVisitorConfiguration<OtherInfo = NoInfo, Cfg ext
  *
  * Use {@link BasicCfgGuidedVisitor#start} to start the traversal.
  */
-export declare class SyntaxAwareCfgGuidedVisitor<OtherInfo = NoInfo, Cfg extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Config extends SyntaxCfgGuidedVisitorConfiguration<OtherInfo, Cfg, Ast> = SyntaxCfgGuidedVisitorConfiguration<OtherInfo, Cfg, Ast>> extends BasicCfgGuidedVisitor<Cfg, Config> {
+export declare class SyntaxAwareCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo> = NormalizedAst<OtherInfo>, Config extends SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast> = SyntaxCfgGuidedVisitorConfiguration<OtherInfo, ControlFlow, Ast>> extends BasicCfgGuidedVisitor<ControlFlow, Config> {
     /**
      * Get the normalized AST node for the given id or fail if it does not exist.
      */

package/dataflow/environments/built-in-config.d.ts

@@ -27,6 +27,7 @@ export interface BuiltInFunctionDefinition<BuiltInProcessor extends BuiltInMappi
     readonly type: 'function';
     readonly processor: BuiltInProcessor;
     readonly config?: ConfigOfBuiltInMappingName<BuiltInProcessor>;
+    readonly evalHandler?: string;
 }
 /**
  * Define a built-in replacement (like `[` or `$`) and the processor to use.

package/dataflow/environments/built-in.d.ts

@@ -15,7 +15,7 @@ import { processQuote } from '../internal/process/functions/call/built-in/built-
 import { processFunctionDefinition } from '../internal/process/functions/call/built-in/built-in-function-definition';
 import { processExpressionList } from '../internal/process/functions/call/built-in/built-in-expression-list';
 import { processGet } from '../internal/process/functions/call/built-in/built-in-get';
-import type { ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import type { AstIdMap, ParentInformation, RNodeWithParent } 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';
@@ -28,6 +28,10 @@ import { processList } from '../internal/process/functions/call/built-in/built-i
 import { processVector } from '../internal/process/functions/call/built-in/built-in-vector';
 import { processRm } from '../internal/process/functions/call/built-in/built-in-rm';
 import { processEvalCall } from '../internal/process/functions/call/built-in/built-in-eval';
+import type { REnvironmentInformation } from './environment';
+import type { Value } from '../eval/values/r-value';
+import { resolveAsVector } from '../eval/resolve/resolve';
+import type { DataflowGraph } from '../graph/graph';
 export type BuiltIn = `built-in:${string}`;
 export declare function builtInId(name: string): BuiltIn;
 export declare function isBuiltIn(name: NodeId | string): name is BuiltIn;
@@ -52,6 +56,7 @@ export interface DefaultBuiltInProcessorConfiguration extends ForceArguments {
     /** record mapping the actual function name called to the arguments that should be treated as function calls */
     readonly treatAsFnCall?: Record<string, readonly string[]>;
 }
+export type BuiltInEvalHandler = (a: RNodeWithParent, env: REnvironmentInformation, graph?: DataflowGraph, map?: AstIdMap) => Value;
 declare function defaultBuiltInProcessor<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, config: DefaultBuiltInProcessorConfiguration): DataflowInformation;
 export declare function registerBuiltInFunctions<Config extends object, Proc extends BuiltInIdentifierProcessorWithConfig<Config>>(both: boolean, names: readonly Identifier[], processor: Proc, config: Config): void;
 export declare const BuiltInProcessorMapper: {
@@ -77,6 +82,10 @@ export declare const BuiltInProcessorMapper: {
     readonly 'builtin:list': typeof processList;
     readonly 'builtin:vector': typeof processVector;
 };
+export declare const BuiltInEvalHandlerMapper: {
+    readonly 'built-in:c': typeof resolveAsVector;
+    readonly 'builtin:vector': typeof resolveAsVector;
+};
 export type BuiltInMappingName = keyof typeof BuiltInProcessorMapper;
 export type ConfigOfBuiltInMappingName<N extends BuiltInMappingName> = Parameters<typeof BuiltInProcessorMapper[N]>[4];
 export declare const BuiltInMemory: Map<Identifier, IdentifierDefinition[]>;

package/dataflow/environments/built-in.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.EmptyBuiltInMemory = exports.BuiltInMemory = exports.BuiltInProcessorMapper = void 0;
+exports.EmptyBuiltInMemory = exports.BuiltInMemory = exports.BuiltInEvalHandlerMapper = exports.BuiltInProcessorMapper = void 0;
 exports.builtInId = builtInId;
 exports.isBuiltIn = isBuiltIn;
 exports.registerBuiltInFunctions = registerBuiltInFunctions;
@@ -33,6 +33,8 @@ const built_in_rm_1 = require("../internal/process/functions/call/built-in/built
 const built_in_eval_1 = require("../internal/process/functions/call/built-in/built-in-eval");
 const vertex_1 = require("../graph/vertex");
 const type_1 = require("../../r-bridge/lang-4.x/ast/model/type");
+const unknown_side_effect_1 = require("../graph/unknown-side-effect");
+const resolve_1 = require("../eval/resolve/resolve");
 function builtInId(name) {
     return `built-in:${name}`;
 }
@@ -56,10 +58,10 @@ function defaultBuiltInProcessor(name, args, rootId, data, config) {
     }
     if (config.hasUnknownSideEffects) {
         if (typeof config.hasUnknownSideEffects !== 'boolean') {
-            res.graph.markIdForUnknownSideEffects(rootId, config.hasUnknownSideEffects);
+            (0, unknown_side_effect_1.handleUnknownSideEffect)(res.graph, res.environment, rootId, config.hasUnknownSideEffects);
         }
         else {
-            res.graph.markIdForUnknownSideEffects(rootId);
+            (0, unknown_side_effect_1.handleUnknownSideEffect)(res.graph, res.environment, rootId);
         }
     }
     const fnCallNames = config.treatAsFnCall?.[name.content];
@@ -140,6 +142,10 @@ exports.BuiltInProcessorMapper = {
     'builtin:list': built_in_list_1.processList,
     'builtin:vector': built_in_vector_1.processVector,
 };
+exports.BuiltInEvalHandlerMapper = {
+    'built-in:c': resolve_1.resolveAsVector,
+    'builtin:vector': resolve_1.resolveAsVector
+};
 exports.BuiltInMemory = new Map();
 exports.EmptyBuiltInMemory = new Map();
 (0, built_in_config_1.registerBuiltInDefinitions)(default_builtin_config_1.DefaultBuiltinConfig);

package/dataflow/environments/default-builtin-config.js

@@ -245,7 +245,7 @@ exports.DefaultBuiltinConfig = [
     { type: 'function', names: ['interference'], processor: 'builtin:apply', config: { unquoteFunction: true, nameOfFunctionArgument: 'propensity_integrand' }, assumePrimitive: false },
     { type: 'function', names: ['ddply'], processor: 'builtin:apply', config: { unquoteFunction: true, indexOfFunction: 2, nameOfFunctionArgument: '.fun' }, assumePrimitive: false },
     { type: 'function', names: ['list'], processor: 'builtin:list', config: {}, assumePrimitive: true },
-    { type: 'function', names: ['c'], processor: 'builtin:vector', config: {}, assumePrimitive: true },
+    { type: 'function', names: ['c'], processor: 'builtin:vector', config: {}, assumePrimitive: true, evalHandler: 'builtin:c' },
     {
         type: 'function',
         names: ['setnames', 'setNames', 'setkey', 'setkeyv', 'setindex', 'setindexv', 'setattr'],

package/dataflow/environments/resolve-by-name.d.ts

@@ -2,9 +2,6 @@ import type { REnvironmentInformation } from './environment';
 import { Ternary } from '../../util/logic';
 import type { Identifier, IdentifierDefinition } from './identifier';
 import { ReferenceType } from './identifier';
-import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
-import type { DataflowGraph } from '../graph/graph';
-import type { AstIdMap, RNodeWithParent } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 /**
  * Resolves a given identifier name to a list of its possible definition location using R scoping and resolving rules.
  *
@@ -17,36 +14,3 @@ import type { AstIdMap, RNodeWithParent } from '../../r-bridge/lang-4.x/ast/mode
  */
 export declare function resolveByName(name: Identifier, environment: REnvironmentInformation, target?: ReferenceType): IdentifierDefinition[] | undefined;
 export declare function resolvesToBuiltInConstant(name: Identifier | undefined, environment: REnvironmentInformation, wantedValue: unknown): Ternary;
-/** Please use {@link resolveValueOfVariable} */
-export declare function resolveToConstants(name: Identifier | undefined, environment: REnvironmentInformation): unknown[] | undefined;
-export declare function getAliases(sourceIds: readonly NodeId[], dataflow: DataflowGraph, environment: REnvironmentInformation): NodeId[] | undefined;
-/** Please use {@link resolveValueOfVariable} */
-export declare function trackAliasInEnvironments(identifier: Identifier | undefined, use: REnvironmentInformation, idMap?: AstIdMap): unknown[] | undefined;
-export declare function trackAliasesInGraph(id: NodeId, graph: DataflowGraph, idMap?: AstIdMap): unknown[] | undefined;
-/**
- * Convenience function using the variable resolver as specified within the configuration file
- * In the future we may want to have this set once at the start of the analysis
- *
- * @see {@link resolveIdToValue} - for a more general approach which "evaluates" a node based on value resolve
- */
-export declare function resolveValueOfVariable(identifier: Identifier | undefined, environment: REnvironmentInformation, idMap?: AstIdMap): unknown[] | undefined;
-export interface ResolveInfo {
-    /** The current environment used for name resolution */
-    environment?: REnvironmentInformation;
-    /** The id map to resolve the node if given as an id */
-    idMap?: AstIdMap;
-    /** The graph to resolve in */
-    graph?: DataflowGraph;
-    /** Whether to track variables */
-    full?: boolean;
-}
-/**
- * Generalized {@link resolveValueOfVariable} function which evaluates a node based on the value resolve
- *
- * @param id          - The node id or node to resolve
- * @param environment - The current environment used for name resolution
- * @param graph       - The graph to resolve in
- * @param idMap       - The id map to resolve the node if given as an id
- * @param full        - Whether to track variables
- */
-export declare function resolveIdToValue(id: NodeId | RNodeWithParent, { environment, graph, idMap, full }: ResolveInfo): unknown[] | undefined;