@eagleoutice/flowr 2.8.15 → 2.9.1

package/cli/common/scripts-info.d.ts

@@ -162,11 +162,6 @@ declare const _scripts: {
             readonly type: BooleanConstructor;
             readonly description: "Infer the shape of data frames using abstract interpretation (includes control flow graph extraction)";
             readonly defaultValue: false;
-        }, {
-            readonly name: "enable-pointer-tracking";
-            readonly type: BooleanConstructor;
-            readonly description: "Run dataflow analysis with pointer tracking";
-            readonly defaultValue: false;
         }, {
             readonly name: "max-file-slices";
             readonly type: NumberConstructor;
@@ -261,11 +256,6 @@ declare const _scripts: {
             readonly type: BooleanConstructor;
             readonly description: "Infer the shape of data frames using abstract interpretation (includes control flow graph extraction)";
             readonly defaultValue: false;
-        }, {
-            readonly name: "enable-pointer-tracking";
-            readonly type: BooleanConstructor;
-            readonly description: "Run dataflow analysis with pointer tracking";
-            readonly defaultValue: false;
         }, {
             readonly name: "max-slices";
             readonly type: NumberConstructor;

package/cli/repl/server/connection.js

@@ -256,7 +256,7 @@ class FlowRServerConnection {
                 type: 'response-slice',
                 id: request.id,
                 results: Object.fromEntries(Object.entries(result)
-                    .filter(([k,]) => default_pipelines_1.DEFAULT_SLICING_PIPELINE.steps.get(k)?.executed === 1 /* PipelineStepStage.OncePerRequest */))
+                    .filter(([k]) => default_pipelines_1.DEFAULT_SLICING_PIPELINE.steps.get(k)?.executed === 1 /* PipelineStepStage.OncePerRequest */))
             });
         }).catch(e => {
             this.logger.error(`[${this.name}] Error while analyzing file for token ${request.filetoken}: ${String(e)}`);

package/config.d.ts

@@ -131,17 +131,6 @@ export interface FlowrConfigOptions extends MergeableRecord {
          * Should we include eval(parse(text="...")) calls in the dataflow graph?
          */
         readonly evalStrings: boolean;
-        /**
-         * Whether to track pointers in the dataflow graph,
-         * if not, the graph will be over-approximated wrt.
-         * containers and accesses
-         */
-        readonly pointerTracking: boolean | {
-            /**
-             * The maximum number of indices tracked per obj with the pointer analysis (currently this focuses on initialization)
-             */
-            readonly maxIndexCount: number;
-        };
         /** These keys are only intended for use within code, allowing to instrument the dataflow analyzer! */
         readonly instrument: {
             /**
@@ -249,7 +238,3 @@ export declare function getConfig(configFile?: string, configWorkingDirectory?:
 export declare function getEngineConfig<T extends EngineConfig['type']>(config: FlowrConfigOptions, engine: T): EngineConfig & {
     type: T;
 } | undefined;
-/**
- * Checks whether the given count is over the pointer analysis threshold configured in the config.
- */
-export declare function isOverPointerAnalysisThreshold(config: FlowrConfigOptions, count: number): boolean;

package/config.js

@@ -9,7 +9,6 @@ exports.amendConfig = amendConfig;
 exports.cloneConfig = cloneConfig;
 exports.getConfig = getConfig;
 exports.getEngineConfig = getEngineConfig;
-exports.isOverPointerAnalysisThreshold = isOverPointerAnalysisThreshold;
 const objects_1 = require("./util/objects");
 const path_1 = __importDefault(require("path"));
 const fs_1 = __importDefault(require("fs"));
@@ -77,7 +76,6 @@ exports.defaultConfigOptions = {
     solver: {
         variables: VariableResolve.Alias,
         evalStrings: true,
-        pointerTracking: false,
         resolveSource: {
             dropPaths: DropPathsOption.No,
             ignoreCapitalization: true,
@@ -133,9 +131,6 @@ exports.flowrConfigFileSchema = joi_1.default.object({
     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?'),
-        pointerTracking: joi_1.default.alternatives(joi_1.default.boolean(), joi_1.default.object({
-            maxIndexCount: joi_1.default.number().required().description('The maximum number of indices tracked per object with the pointer analysis.')
-        })).description('Whether to track pointers in the dataflow graph, if not, the graph will be over-approximated wrt. containers and accesses.'),
         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!')
         }),
@@ -221,22 +216,6 @@ function getEngineConfig(config, engine) {
         return engines.find(e => e.type == engine);
     }
 }
-function getPointerAnalysisThreshold(config) {
-    const pointerTracking = config.solver.pointerTracking;
-    if (typeof pointerTracking === 'object') {
-        return pointerTracking.maxIndexCount;
-    }
-    else {
-        return pointerTracking ? 'unlimited' : 'disabled';
-    }
-}
-/**
- * Checks whether the given count is over the pointer analysis threshold configured in the config.
- */
-function isOverPointerAnalysisThreshold(config, count) {
-    const threshold = getPointerAnalysisThreshold(config);
-    return threshold !== 'unlimited' && (threshold === 'disabled' || count > threshold);
-}
 function loadConfigFromFile(configFile, workingDirectory) {
     if (configFile !== undefined) {
         if (path_1.default.isAbsolute(configFile) && fs_1.default.existsSync(configFile)) {

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

@@ -107,9 +107,6 @@ class CfgConditionalDeadCodeRemoval extends semantic_cfg_guided_visitor_1.Semant
     onWhileLoopCall(data) {
         this.handleWithCondition(data);
     }
-    onReturnCall(data) {
-        this.cachedStatements.set(data.call.id, true);
-    }
     onStopCall(data) {
         this.cachedStatements.set(data.call.id, true);
     }

package/control-flow/extract-cfg.js

@@ -332,6 +332,10 @@ function cfgFunctionCall(call, name, args, exit = 'exit') {
     for (const exit of lastArgExits) {
         graph.addEdge(callId + '-exit', exit, { label: 0 /* CfgEdgeType.Fd */ });
     }
+    if (call.named && call.functionName.content === 'return') {
+        info.returns.push(callId + '-exit');
+        info.exitPoints.length = 0;
+    }
     // should not contain any breaks, nexts, or returns, (except for the body if something like 'break()')
     return info;
 }

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

@@ -496,11 +496,36 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
      * This event triggers for every call to a function that performs an S3-like dispatch.
      *
      * For example, this triggers for `UseMethod` in `UseMethod("print")`.
+     * @see {@link SemanticCfgGuidedVisitor#onS3DispatchNextCall|`onS3DispatchNextCall`} for `NextMethod` calls.
      * @protected
      */
     protected onS3DispatchCall(_data: {
         call: DataflowGraphVertexFunctionCall;
     }): void;
+    /**
+     * This event triggers for every call to a function that performs an S3-like *next* dispatch.
+     *
+     * For example, this triggers for `NextMethod`.
+     * @see {@link SemanticCfgGuidedVisitor#onS3DispatchCall|`onS3DispatchCall`} for `UseMethod` calls.
+     * @protected
+     */
+    protected onS3DispatchNextCall(_data: {
+        call: DataflowGraphVertexFunctionCall;
+    }): void;
+    /**
+     * This event triggers for every call to a function that creates a new S7 generic, such as `new_generic`.
+     * @protected
+     */
+    protected onS7NewGenericCall(_data: {
+        call: DataflowGraphVertexFunctionCall;
+    }): void;
+    /**
+     * This event triggers for every call to a function that performs an S7 dispatch, such as `S7_dispatch`.
+     * @protected
+     */
+    protected onS7DispatchCall(_data: {
+        call: DataflowGraphVertexFunctionCall;
+    }): void;
     /**
      * This event triggers for every call to a function that registers a hook, such as `on.exit`.
      *
@@ -534,4 +559,11 @@ export declare class SemanticCfgGuidedVisitor<OtherInfo = NoInfo, ControlFlow ex
     protected onReturnCall(_data: {
         call: DataflowGraphVertexFunctionCall;
     }): void;
+    /**
+     * This event triggers for every call to `Recall`, which is used to recall the function closure (usually in recursive functions).
+     * @protected
+     */
+    protected onRecallCall(_data: {
+        call: DataflowGraphVertexFunctionCall;
+    }): void;
 }

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

@@ -202,11 +202,11 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
             case built_in_1.BuiltInProcName.TableAssignment: {
                 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));
+                    const target = outgoing.entries().filter(([, e]) => edge_1.DfEdge.includesType(e, edge_1.EdgeType.Returns)).toArray();
                     if (target.length === 1) {
                         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);
+                            const source = [...targetOut.entries()].filter(([t, e]) => edge_1.DfEdge.includesType(e, edge_1.EdgeType.DefinedBy) && t !== call.id);
                             if (source.length === 1) {
                                 return this.onAssignmentCall({ call, target: target[0][0], source: source[0][0] });
                             }
@@ -236,11 +236,11 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
             case built_in_1.BuiltInProcName.Replacement: {
                 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));
+                    const target = outgoing.entries().filter(([, e]) => edge_1.DfEdge.includesType(e, edge_1.EdgeType.Returns)).toArray();
                     if (target.length === 1) {
                         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);
+                            const source = targetOut.entries().filter(([t, e]) => edge_1.DfEdge.includesType(e, edge_1.EdgeType.DefinedBy) && t !== call.id).toArray();
                             if (source.length === 1) {
                                 return this.onReplacementCall({ call, target: target[0][0], source: source[0][0] });
                             }
@@ -263,12 +263,20 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
                 return this.onLocalCall({ call });
             case built_in_1.BuiltInProcName.S3Dispatch:
                 return this.onS3DispatchCall({ call });
+            case built_in_1.BuiltInProcName.S3DispatchNext:
+                return this.onS3DispatchNextCall({ call });
+            case built_in_1.BuiltInProcName.S7NewGeneric:
+                return this.onS7NewGenericCall({ call });
+            case built_in_1.BuiltInProcName.S7Dispatch:
+                return this.onS7DispatchCall({ call });
             case built_in_1.BuiltInProcName.Break:
                 return this.onBreakCall({ call });
             case built_in_1.BuiltInProcName.Return:
                 return this.onReturnCall({ call });
             case built_in_1.BuiltInProcName.Unnamed:
                 return this.onUnnamedCall({ call });
+            case built_in_1.BuiltInProcName.Recall:
+                return this.onRecallCall({ call });
             case built_in_1.BuiltInProcName.Default:
             case built_in_1.BuiltInProcName.Function:
             case built_in_1.BuiltInProcName.FunctionDefinition:
@@ -576,9 +584,28 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
      * This event triggers for every call to a function that performs an S3-like dispatch.
      *
      * For example, this triggers for `UseMethod` in `UseMethod("print")`.
+     * @see {@link SemanticCfgGuidedVisitor#onS3DispatchNextCall|`onS3DispatchNextCall`} for `NextMethod` calls.
      * @protected
      */
     onS3DispatchCall(_data) { }
+    /**
+     * This event triggers for every call to a function that performs an S3-like *next* dispatch.
+     *
+     * For example, this triggers for `NextMethod`.
+     * @see {@link SemanticCfgGuidedVisitor#onS3DispatchCall|`onS3DispatchCall`} for `UseMethod` calls.
+     * @protected
+     */
+    onS3DispatchNextCall(_data) { }
+    /**
+     * This event triggers for every call to a function that creates a new S7 generic, such as `new_generic`.
+     * @protected
+     */
+    onS7NewGenericCall(_data) { }
+    /**
+     * This event triggers for every call to a function that performs an S7 dispatch, such as `S7_dispatch`.
+     * @protected
+     */
+    onS7DispatchCall(_data) { }
     /**
      * This event triggers for every call to a function that registers a hook, such as `on.exit`.
      *
@@ -606,6 +633,11 @@ class SemanticCfgGuidedVisitor extends dfg_cfg_guided_visitor_1.DataflowAwareCfg
      * @protected
      */
     onReturnCall(_data) { }
+    /**
+     * This event triggers for every call to `Recall`, which is used to recall the function closure (usually in recursive functions).
+     * @protected
+     */
+    onRecallCall(_data) { }
 }
 exports.SemanticCfgGuidedVisitor = SemanticCfgGuidedVisitor;
 //# sourceMappingURL=semantic-cfg-guided-visitor.js.map

package/dataflow/cluster.js

@@ -35,9 +35,9 @@ function makeCluster(graph, from, notReached) {
         }
     }
     // cluster adjacent edges
-    for (const [dest, { types }] of [...graph.outgoingEdges(from) ?? [], ...graph.ingoingEdges(from) ?? []]) {
+    for (const [dest, e] of [...graph.outgoingEdges(from) ?? [], ...graph.ingoingEdges(from) ?? []]) {
         // don't cluster for function content if it isn't returned
-        if ((0, edge_1.edgeDoesNotIncludeType)(types, edge_1.EdgeType.Returns) && info.onlyBuiltin && info.name == '{') {
+        if (edge_1.DfEdge.doesNotIncludeType(e, edge_1.EdgeType.Returns) && info.onlyBuiltin && info.name == '{') {
             continue;
         }
         if (notReached.delete(dest)) {

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

@@ -39,6 +39,7 @@ export interface BuiltInReplacementDefinition extends BaseBuiltInDefinition {
     readonly suffixes: ('<<-' | '<-')[];
     readonly config: {
         readIndices: boolean;
+        constructName?: 's7';
     };
 }
 export type BuiltInDefinition<T extends keyof typeof BuiltInProcessorMapper = keyof typeof BuiltInProcessorMapper> = BuiltInConstantDefinition<unknown> | BuiltInFunctionDefinition<T> | BuiltInReplacementDefinition;

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

@@ -8,7 +8,7 @@ import { processPipe } from '../internal/process/functions/call/built-in/built-i
 import { processForLoop } from '../internal/process/functions/call/built-in/built-in-for-loop';
 import { processRepeatLoop } from '../internal/process/functions/call/built-in/built-in-repeat-loop';
 import { processWhileLoop } from '../internal/process/functions/call/built-in/built-in-while-loop';
-import { type Identifier, type IdentifierDefinition, type IdentifierReference, ReferenceType } from './identifier';
+import { type BrandedIdentifier, type IdentifierDefinition, type IdentifierReference, ReferenceType } from './identifier';
 import { processReplacementFunction } from '../internal/process/functions/call/built-in/built-in-replacement';
 import { processQuote } from '../internal/process/functions/call/built-in/built-in-quote';
 import { processFunctionDefinition } from '../internal/process/functions/call/built-in/built-in-function-definition';
@@ -39,6 +39,9 @@ import { processTryCatch } from '../internal/process/functions/call/built-in/bui
 import { processRegisterHook } from '../internal/process/functions/call/built-in/built-in-register-hook';
 import { processLocal } from '../internal/process/functions/call/built-in/built-in-local';
 import { processS3Dispatch } from '../internal/process/functions/call/built-in/built-in-s-three-dispatch';
+import { processRecall } from '../internal/process/functions/call/built-in/built-in-recall';
+import { processS7NewGeneric } from '../internal/process/functions/call/built-in/built-in-s-seven-new-generic';
+import { processS7Dispatch } from '../internal/process/functions/call/built-in/built-in-s-seven-dispatch';
 export type BuiltIn = `built-in:${string}`;
 /**
  * Generate a built-in id for the given name
@@ -122,6 +125,10 @@ export declare enum BuiltInProcName {
     Pipe = "builtin:pipe",
     /** for `quote`, and other substituting calls, see {@link processQuote} */
     Quote = "builtin:quote",
+    /**
+     * for `recall` calls, see {@link processRecall}
+     */
+    Recall = "builtin:recall",
     /** for `on.exìt` and other hooks, see {@link processRegisterHook} */
     RegisterHook = "builtin:register-hook",
     /** for `repeat` loops, see {@link processRepeatLoop} */
@@ -134,6 +141,12 @@ export declare enum BuiltInProcName {
     Rm = "builtin:rm",
     /** for `UseMethod` calls, see {@link processS3Dispatch} */
     S3Dispatch = "builtin:s3-dispatch",
+    /** for `NextMethod` calls, see {@link processS3Dispatch} */
+    S3DispatchNext = "builtin:s3-dispatch-next",
+    /** for `new.generic` calls, see {@link processS7NewGeneric} */
+    S7NewGeneric = "builtin:s7-new-generic",
+    /** for `S7_dispatch` calls (and their implicit creations), see {@link processS7Dispatch} */
+    S7Dispatch = "builtin:s7-dispatch",
     /** for `source` calls, see {@link processSourceCall} */
     Source = "builtin:source",
     /** for special binary operators like `%x%`, see {@link processSpecialBinOp} */
@@ -170,11 +183,14 @@ export declare const BuiltInProcessorMapper: {
     readonly "builtin:local": typeof processLocal;
     readonly "builtin:pipe": typeof processPipe;
     readonly "builtin:quote": typeof processQuote;
+    readonly "builtin:recall": typeof processRecall;
     readonly "builtin:register-hook": typeof processRegisterHook;
     readonly "builtin:repeat-loop": typeof processRepeatLoop;
     readonly "builtin:replacement": typeof processReplacementFunction;
     readonly "builtin:rm": typeof processRm;
     readonly "builtin:s3-dispatch": typeof processS3Dispatch;
+    readonly "builtin:s7-new-generic": typeof processS7NewGeneric;
+    readonly "builtin:s7-dispatch": typeof processS7Dispatch;
     readonly "builtin:source": typeof processSourceCall;
     readonly "builtin:special-bin-op": typeof processSpecialBinOp;
     readonly "builtin:stopifnot": typeof processStopIfNot;
@@ -189,7 +205,7 @@ export declare const BuiltInEvalHandlerMapper: {
     readonly 'built-in:-': typeof resolveAsMinus;
 };
 export type ConfigOfBuiltInMappingName<N extends keyof typeof BuiltInProcessorMapper> = Parameters<typeof BuiltInProcessorMapper[N]>[4];
-export type BuiltInMemory = Map<Identifier, IdentifierDefinition[]>;
+export type BuiltInMemory = Map<BrandedIdentifier, IdentifierDefinition[]>;
 export declare class BuiltIns {
     /**
      * Register a built-in constant (like `NULL` or `TRUE`) to the given {@link BuiltIns}
@@ -221,6 +237,6 @@ export declare class BuiltIns {
      * @see {@link builtInMemory}
      */
     emptyBuiltInMemory: BuiltInMemory;
-    set(identifier: Identifier, definition: IdentifierDefinition[], includeInEmptyMemory: boolean | undefined): void;
+    set(identifier: BrandedIdentifier, definition: IdentifierDefinition[], includeInEmptyMemory: boolean | undefined): void;
 }
 export {};

package/dataflow/environments/built-in.js

@@ -38,6 +38,9 @@ const built_in_try_catch_1 = require("../internal/process/functions/call/built-i
 const built_in_register_hook_1 = require("../internal/process/functions/call/built-in/built-in-register-hook");
 const built_in_local_1 = require("../internal/process/functions/call/built-in/built-in-local");
 const built_in_s_three_dispatch_1 = require("../internal/process/functions/call/built-in/built-in-s-three-dispatch");
+const built_in_recall_1 = require("../internal/process/functions/call/built-in/built-in-recall");
+const built_in_s_seven_new_generic_1 = require("../internal/process/functions/call/built-in/built-in-s-seven-new-generic");
+const built_in_s_seven_dispatch_1 = require("../internal/process/functions/call/built-in/built-in-s-seven-dispatch");
 /**
  * Generate a built-in id for the given name
  */
@@ -81,7 +84,7 @@ function defaultBuiltInProcessor(name, args, rootId, data, { returnsNthArgument,
             (0, unknown_side_effect_1.handleUnknownSideEffect)(res.graph, res.environment, rootId, hasUnknownSideEffects);
         }
     }
-    const fnCallNames = treatAsFnCall?.[name.content];
+    const fnCallNames = treatAsFnCall?.[identifier_1.Identifier.getName(name.content)];
     if (fnCallNames) {
         for (const arg of args) {
             if (arg !== r_function_call_1.EmptyArgument && arg.value && fnCallNames.includes(arg.name?.content)) {
@@ -158,6 +161,10 @@ var BuiltInProcName;
     BuiltInProcName["Pipe"] = "builtin:pipe";
     /** for `quote`, and other substituting calls, see {@link processQuote} */
     BuiltInProcName["Quote"] = "builtin:quote";
+    /**
+     * for `recall` calls, see {@link processRecall}
+     */
+    BuiltInProcName["Recall"] = "builtin:recall";
     /** for `on.exìt` and other hooks, see {@link processRegisterHook} */
     BuiltInProcName["RegisterHook"] = "builtin:register-hook";
     /** for `repeat` loops, see {@link processRepeatLoop} */
@@ -170,6 +177,12 @@ var BuiltInProcName;
     BuiltInProcName["Rm"] = "builtin:rm";
     /** for `UseMethod` calls, see {@link processS3Dispatch} */
     BuiltInProcName["S3Dispatch"] = "builtin:s3-dispatch";
+    /** for `NextMethod` calls, see {@link processS3Dispatch} */
+    BuiltInProcName["S3DispatchNext"] = "builtin:s3-dispatch-next";
+    /** for `new.generic` calls, see {@link processS7NewGeneric} */
+    BuiltInProcName["S7NewGeneric"] = "builtin:s7-new-generic";
+    /** for `S7_dispatch` calls (and their implicit creations), see {@link processS7Dispatch} */
+    BuiltInProcName["S7Dispatch"] = "builtin:s7-dispatch";
     /** for `source` calls, see {@link processSourceCall} */
     BuiltInProcName["Source"] = "builtin:source";
     /** for special binary operators like `%x%`, see {@link processSpecialBinOp} */
@@ -206,11 +219,14 @@ exports.BuiltInProcessorMapper = {
     [BuiltInProcName.Local]: built_in_local_1.processLocal,
     [BuiltInProcName.Pipe]: built_in_pipe_1.processPipe,
     [BuiltInProcName.Quote]: built_in_quote_1.processQuote,
+    [BuiltInProcName.Recall]: built_in_recall_1.processRecall,
     [BuiltInProcName.RegisterHook]: built_in_register_hook_1.processRegisterHook,
     [BuiltInProcName.RepeatLoop]: built_in_repeat_loop_1.processRepeatLoop,
     [BuiltInProcName.Replacement]: built_in_replacement_1.processReplacementFunction,
     [BuiltInProcName.Rm]: built_in_rm_1.processRm,
     [BuiltInProcName.S3Dispatch]: built_in_s_three_dispatch_1.processS3Dispatch,
+    [BuiltInProcName.S7NewGeneric]: built_in_s_seven_new_generic_1.processS7NewGeneric,
+    [BuiltInProcName.S7Dispatch]: built_in_s_seven_dispatch_1.processS7Dispatch,
     [BuiltInProcName.Source]: built_in_source_1.processSourceCall,
     [BuiltInProcName.SpecialBinOp]: built_in_special_bin_op_1.processSpecialBinOp,
     [BuiltInProcName.StopIfNot]: built_in_stop_if_not_1.processStopIfNot,
@@ -230,7 +246,8 @@ class BuiltIns {
      */
     registerBuiltInConstant({ names, value, assumePrimitive }) {
         for (const name of names) {
-            const id = builtInId(name);
+            const n = identifier_1.Identifier.getName(name);
+            const id = builtInId(n);
             const d = [{
                     type: identifier_1.ReferenceType.BuiltInConstant,
                     definedAt: id,
@@ -239,7 +256,7 @@ class BuiltIns {
                     name,
                     nodeId: id
                 }];
-            this.set(name, d, assumePrimitive);
+            this.set(n, d, assumePrimitive);
         }
     }
     /**
@@ -250,7 +267,8 @@ class BuiltIns {
         const mappedProcessor = exports.BuiltInProcessorMapper[processor];
         (0, assert_1.guard)(mappedProcessor !== undefined, () => `Processor for ${processor} is undefined! Please pass a valid builtin name ${JSON.stringify(Object.keys(exports.BuiltInProcessorMapper))}!`);
         for (const name of names) {
-            const id = builtInId(name);
+            const n = identifier_1.Identifier.getName(name);
+            const id = builtInId(n);
             const d = [{
                     type: identifier_1.ReferenceType.BuiltInFunction,
                     definedAt: id,
@@ -261,7 +279,7 @@ class BuiltIns {
                     name,
                     nodeId: id
                 }];
-            this.set(name, d, assumePrimitive);
+            this.set(n, d, assumePrimitive);
         }
     }
     /**
@@ -272,7 +290,7 @@ class BuiltIns {
         (0, assert_1.guard)(replacer !== undefined, () => `Processor for ${BuiltInProcName.Replacement} is undefined!`);
         for (const assignment of names) {
             for (const suffix of suffixes) {
-                const effectiveName = `${assignment}${suffix}`;
+                const effectiveName = `${identifier_1.Identifier.getName(assignment)}${suffix}`;
                 const id = builtInId(effectiveName);
                 const d = [{
                         type: identifier_1.ReferenceType.BuiltInFunction,
@@ -283,7 +301,7 @@ class BuiltIns {
                             assignmentOperator: suffix,
                             makeMaybe: true
                         },
-                        name: effectiveName,
+                        name: assignment,
                         cds: undefined,
                         nodeId: id
                     }];

package/dataflow/environments/default-builtin-config.d.ts

@@ -5,6 +5,7 @@ import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-i
 import { CascadeAction } from '../../queries/catalog/call-context-query/cascade-action';
 import { BuiltInProcName } from './built-in';
 import { KnownHooks } from '../hooks';
+import { Identifier } from './identifier';
 export declare const GgPlotCreate: readonly ["ggplot", "ggplotly", "ggMarginal", "ggcorrplot", "ggseasonplot", "ggdendrogram", "qmap", "qplot", "quickplot", "autoplot", "grid.arrange", "fviz_pca_biplot", "fviz_pca", "fviz_pca_ind", "fviz_pca_var", "fviz_screeplot", "fviz_mca_biplot", "fviz_mca", "fviz_mca_ind", "fviz_mca_var", "fviz_cluster", "fviz_dend", "ggsurvplot"];
 export declare const TinyPlotCrate: readonly ["tinyplot", "plt"];
 export declare const GraphicsPlotCreate: string[];
@@ -383,7 +384,7 @@ export declare const DefaultBuiltinConfig: [{
     readonly assumePrimitive: false;
 }, {
     readonly type: "function";
-    readonly names: ["library", "require"];
+    readonly names: [Identifier, Identifier];
     readonly processor: BuiltInProcName.Library;
     readonly config: {};
     readonly assumePrimitive: false;
@@ -403,7 +404,7 @@ export declare const DefaultBuiltinConfig: [{
     readonly assumePrimitive: true;
 }, {
     readonly type: "function";
-    readonly names: ["assign", "setGeneric", "setValidity"];
+    readonly names: ["assign", "setValidity"];
     readonly processor: BuiltInProcName.Assignment;
     readonly config: {
         readonly targetVariable: true;
@@ -542,23 +543,57 @@ export declare const DefaultBuiltinConfig: [{
     readonly assumePrimitive: true;
 }, {
     readonly type: "function";
-    readonly names: ["NextMethod"];
-    readonly processor: BuiltInProcName.Apply;
+    readonly names: ["UseMethod"];
+    readonly processor: BuiltInProcName.S3Dispatch;
     readonly config: {
-        readonly indexOfFunction: 0;
-        readonly unquoteFunction: true;
-        readonly resolveInEnvironment: "global";
+        readonly args: {
+            readonly generic: "generic";
+            readonly object: "object";
+        };
     };
     readonly assumePrimitive: true;
 }, {
     readonly type: "function";
-    readonly names: ["UseMethod"];
+    readonly names: ["NextMethod"];
     readonly processor: BuiltInProcName.S3Dispatch;
     readonly config: {
         readonly args: {
             readonly generic: "generic";
             readonly object: "object";
         };
+        readonly inferFromClosure: true;
+    };
+    readonly assumePrimitive: true;
+}, {
+    readonly type: "function";
+    readonly names: ["new_generic"];
+    readonly processor: BuiltInProcName.S7NewGeneric;
+    readonly config: {
+        readonly args: {
+            readonly name: "name";
+            readonly dispatchArg: "dispatch_args";
+            readonly fun: "fun";
+        };
+    };
+    readonly assumePrimitive: true;
+}, {
+    readonly type: "function";
+    readonly names: ["setGeneric"];
+    readonly processor: BuiltInProcName.S7NewGeneric;
+    readonly config: {
+        readonly args: {
+            readonly name: "name";
+            readonly dispatchArg: undefined;
+            readonly fun: "fun";
+        };
+    };
+    readonly assumePrimitive: true;
+}, {
+    readonly type: "function";
+    readonly names: ["S7_dispatch"];
+    readonly processor: BuiltInProcName.S7Dispatch;
+    readonly config: {
+        readonly libFn: true;
     };
     readonly assumePrimitive: true;
 }, {
@@ -598,6 +633,14 @@ export declare const DefaultBuiltinConfig: [{
     readonly processor: BuiltInProcName.List;
     readonly config: {};
     readonly assumePrimitive: true;
+}, {
+    readonly type: "function";
+    readonly names: ["Recall"];
+    readonly processor: BuiltInProcName.Recall;
+    readonly config: {
+        readonly libFn: true;
+    };
+    readonly assumePrimitive: false;
 }, {
     readonly type: "function";
     readonly names: ["c"];
@@ -663,6 +706,14 @@ export declare const DefaultBuiltinConfig: [{
     readonly config: {
         readonly readIndices: true;
     };
+}, {
+    readonly type: "replacement";
+    readonly suffixes: ["<-", "<<-"];
+    readonly names: ["method"];
+    readonly config: {
+        readonly readIndices: true;
+        readonly constructName: "s7";
+    };
 }, {
     readonly type: "replacement";
     readonly suffixes: ["<-", "<<-"];