@eagleoutice/flowr 2.8.15 → 2.9.1

package/dataflow/internal/process/functions/call/built-in/built-in-get.js

@@ -9,17 +9,18 @@ const retriever_1 = require("../../../../../../r-bridge/retriever");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const edge_1 = require("../../../../../graph/edge");
 const built_in_1 = require("../../../../../environments/built-in");
+const identifier_1 = require("../../../../../environments/identifier");
 /**
  * Processes a built-in 'get' function call.
  */
 function processGet(name, args, rootId, data) {
     if (args.length !== 1) {
-        logger_1.dataflowLogger.warn(`symbol access with ${name.content} has not 1 argument, skipping`);
+        logger_1.dataflowLogger.warn(`symbol access with ${identifier_1.Identifier.toString(name.content)} has not 1 argument, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const retrieve = (0, unpack_argument_1.unpackNonameArg)(args[0]);
     if (retrieve === undefined || retrieve.type !== type_1.RType.String) {
-        logger_1.dataflowLogger.warn(`symbol access with ${name.content} has not 1 argument, skipping`);
+        logger_1.dataflowLogger.warn(`symbol access with ${identifier_1.Identifier.toString(name.content)} has not 1 argument, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const treatTargetAsSymbol = {
@@ -27,8 +28,7 @@ function processGet(name, args, rootId, data) {
         info: retrieve.info,
         content: (0, retriever_1.removeRQuotes)(retrieve.lexeme),
         lexeme: retrieve.lexeme,
-        location: retrieve.location,
-        namespace: undefined
+        location: retrieve.location
     };
     const { information, processedArguments } = (0, known_call_handling_1.processKnownFunctionCall)({
         name,

package/dataflow/internal/process/functions/call/built-in/built-in-if-then-else.js

@@ -44,12 +44,12 @@ function getArguments(config, args) {
  */
 function processIfThenElse(name, args, rootId, data, config) {
     if (args.length !== 2 && args.length !== 3) {
-        logger_1.dataflowLogger.warn(`If-then-else ${name.content} has something different from 2 or 3 arguments, skipping`);
+        logger_1.dataflowLogger.warn(`If-then-else ${identifier_1.Identifier.toString(name.content)} has something different from 2 or 3 arguments, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const { condArg, thenArg, otherwiseArg } = getArguments(config, args);
     if (condArg === undefined || thenArg === undefined) {
-        logger_1.dataflowLogger.warn(`If-then-else ${name.content} has empty condition or then case in ${JSON.stringify(args)}, skipping`);
+        logger_1.dataflowLogger.warn(`If-then-else ${identifier_1.Identifier.toString(name.content)} has empty condition or then case in ${JSON.stringify(args)}, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const cond = (0, processor_1.processDataflowFor)(condArg, data);

package/dataflow/internal/process/functions/call/built-in/built-in-library.js

@@ -7,13 +7,14 @@ const unpack_argument_1 = require("../argument/unpack-argument");
 const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const make_argument_1 = require("../argument/make-argument");
 const built_in_1 = require("../../../../../environments/built-in");
+const identifier_1 = require("../../../../../environments/identifier");
 /**
  * Process a library call like `library` or `require`
  */
 function processLibrary(name, args, rootId, data) {
     /* we do not really know what loading the library does and what side effects it causes, hence we mark it as an unknown side effect */
     if (args.length !== 1) {
-        logger_1.dataflowLogger.warn(`Currently only one-arg library-likes are allows (for ${name.content}), skipping`);
+        logger_1.dataflowLogger.warn(`Currently only one-arg library-likes are allows (for ${identifier_1.Identifier.toString(name.content)}), skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, hasUnknownSideEffect: true, origin: 'default' }).information;
     }
     const nameToLoad = (0, unpack_argument_1.unpackNonameArg)(args[0]);
@@ -21,6 +22,9 @@ function processLibrary(name, args, rootId, data) {
         logger_1.dataflowLogger.warn('No library name provided, skipping');
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, hasUnknownSideEffect: true, origin: 'default' }).information;
     }
+    if (identifier_1.Identifier.getNamespace(nameToLoad.content) !== undefined) {
+        logger_1.dataflowLogger.warn('Namespaced library names are not supported, ignoring namespace');
+    }
     // treat as a function call but convert the first argument to a string
     const newArg = {
         type: type_1.RType.String,
@@ -29,7 +33,7 @@ function processLibrary(name, args, rootId, data) {
         location: nameToLoad.location,
         content: {
             quotes: 'none',
-            str: nameToLoad.content
+            str: identifier_1.Identifier.getName(nameToLoad.content)
         }
     };
     return (0, known_call_handling_1.processKnownFunctionCall)({

package/dataflow/internal/process/functions/call/built-in/built-in-list.js

@@ -1,11 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.processList = processList;
-const r_function_call_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
-const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
 const known_call_handling_1 = require("../known-call-handling");
-const config_1 = require("../../../../../../config");
-const containers_1 = require("../../../../../../util/containers");
 const built_in_1 = require("../../../../../environments/built-in");
 /**
  * Process a list call.
@@ -16,70 +12,6 @@ const built_in_1 = require("../../../../../environments/built-in");
  * ```
  */
 function processList(name, args, rootId, data) {
-    const fnCall = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.List });
-    if (!data.ctx.config.solver.pointerTracking) {
-        return fnCall.information;
-    }
-    const listArgs = [];
-    for (const arg of args) {
-        // Skip non named arguments
-        if (arg === r_function_call_1.EmptyArgument || arg.type !== type_1.RType.Argument || arg.value === undefined) {
-            continue;
-        }
-        let newIndex;
-        if (arg.name) {
-            // Named argument
-            newIndex = {
-                identifier: {
-                    index: arg.info.index,
-                    lexeme: arg.name.content
-                },
-                nodeId: arg.info.id,
-            };
-        }
-        else {
-            // Unnamed argument
-            newIndex = {
-                identifier: {
-                    index: arg.info.index,
-                },
-                nodeId: arg.value.info.id,
-            };
-        }
-        // Check whether argument value can be resolved
-        if (arg.value.type === type_1.RType.Symbol) {
-            const indicesCollection = (0, containers_1.resolveIndicesByName)(arg.value.lexeme, data.environment);
-            if (indicesCollection) {
-                newIndex = {
-                    ...newIndex,
-                    subIndices: indicesCollection,
-                };
-            }
-        }
-        else {
-            // Check whether argument is nested container
-            const indicesCollection = fnCall.information.graph.getVertex(arg.value.info.id)?.indicesCollection;
-            if (indicesCollection) {
-                newIndex = {
-                    ...newIndex,
-                    subIndices: indicesCollection,
-                };
-            }
-        }
-        listArgs.push(newIndex);
-    }
-    if ((0, config_1.isOverPointerAnalysisThreshold)(data.ctx.config, listArgs.length)) {
-        return fnCall.information;
-    }
-    const indices = {
-        indices: listArgs,
-        isContainer: true,
-    };
-    // Add resolved indices to vertex
-    const vertex = fnCall.information.graph.getVertex(rootId);
-    if (vertex) {
-        vertex.indicesCollection = [indices];
-    }
-    return fnCall.information;
+    return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.List }).information;
 }
 //# sourceMappingURL=built-in-list.js.map

package/dataflow/internal/process/functions/call/built-in/built-in-pipe.js

@@ -16,7 +16,7 @@ const built_in_1 = require("../../../../../environments/built-in");
 function processPipe(name, args, rootId, data) {
     const { information, processedArguments } = (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.Pipe });
     if (args.length !== 2) {
-        logger_1.dataflowLogger.warn(`Pipe ${name.content} has something else than 2 arguments, skipping`);
+        logger_1.dataflowLogger.warn(`Pipe ${identifier_1.Identifier.toString(name.content)} has something else than 2 arguments, skipping`);
         return information;
     }
     const [lhs, rhs] = args.map(e => (0, unpack_argument_1.unpackNonameArg)(e));

package/dataflow/internal/process/functions/call/built-in/built-in-quote.js

@@ -23,7 +23,7 @@ function processQuote(name, args, rootId, data, config) {
         else if (processedArg) {
             information.graph.addEdge(rootId, processedArg.entryPoint, edge_1.EdgeType.NonStandardEvaluation);
             /* nse actually affects _everything_ within that argument! */
-            for (const [vtx,] of processedArg.graph.vertices(true)) {
+            for (const [vtx] of processedArg.graph.vertices(true)) {
                 information.graph.addEdge(rootId, vtx, edge_1.EdgeType.NonStandardEvaluation);
             }
         }

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

@@ -0,0 +1,11 @@
+import type { DataflowProcessorInformation } from '../../../../../processor';
+import type { DataflowInformation } from '../../../../../info';
+import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import type { RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
+import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
+import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
+/**
+ * Processes a built-in 'Recall' function call, linking
+ * the recall to the enveloping function closure.
+ */
+export declare function processRecall<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>): DataflowInformation;

package/dataflow/internal/process/functions/call/built-in/built-in-recall.js

@@ -0,0 +1,46 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.processRecall = processRecall;
+const known_call_handling_1 = require("../known-call-handling");
+const built_in_1 = require("../../../../../environments/built-in");
+const log_1 = require("../../../../../../util/log");
+const edge_1 = require("../../../../../graph/edge");
+const vertex_1 = require("../../../../../graph/vertex");
+const unnamed_call_handling_1 = require("../unnamed-call-handling");
+const identifier_1 = require("../../../../../environments/identifier");
+/**
+ * Processes a built-in 'Recall' function call, linking
+ * the recall to the enveloping function closure.
+ */
+function processRecall(name, args, rootId, data) {
+    const { information } = (0, known_call_handling_1.processKnownFunctionCall)({
+        name,
+        args,
+        rootId,
+        data,
+        origin: built_in_1.BuiltInProcName.Recall
+    });
+    let cur = data.environment.current;
+    let closure;
+    while (cur) {
+        if (cur.closure) {
+            closure = cur.closure;
+            break;
+        }
+        cur = cur.parent;
+    }
+    if (closure) {
+        information.graph.addEdge(rootId, closure, edge_1.EdgeType.Calls);
+        // also kill the name of the recall function
+        const r = information.graph.getVertex(rootId);
+        if ((0, vertex_1.isFunctionCallVertex)(r)) {
+            r.name = unnamed_call_handling_1.UnnamedFunctionCallPrefix + rootId + '-' + identifier_1.Identifier.toString(r.name);
+            r.environment = information.environment;
+        }
+    }
+    else {
+        log_1.log.warn('No enclosing function closure found for recall at node', rootId);
+    }
+    return information;
+}
+//# sourceMappingURL=built-in-recall.js.map

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

@@ -9,6 +9,7 @@ const unpack_argument_1 = require("../argument/unpack-argument");
 const r_function_call_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
 const logger_1 = require("../../../../../logger");
 const built_in_1 = require("../../../../../environments/built-in");
+const identifier_1 = require("../../../../../environments/identifier");
 /**
  * Process a built-in repeat loop function call like `repeat { ... }`.
  * @param name     - The name of the function being called.
@@ -19,7 +20,7 @@ const built_in_1 = require("../../../../../environments/built-in");
  */
 function processRepeatLoop(name, args, rootId, data) {
     if (args.length !== 1 || args[0] === r_function_call_1.EmptyArgument) {
-        logger_1.dataflowLogger.warn(`Repeat-Loop ${name.content} does not have 1 argument, skipping`);
+        logger_1.dataflowLogger.warn(`Repeat-Loop ${identifier_1.Identifier.toString(name.content)} does not have 1 argument, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     const unpacked = (0, unpack_argument_1.unpackNonameArg)(args[0]);
@@ -39,7 +40,7 @@ function processRepeatLoop(name, args, rootId, data) {
         origin: built_in_1.BuiltInProcName.RepeatLoop
     });
     const body = processedArguments[0];
-    (0, assert_1.guard)(body !== undefined, () => `Repeat-Loop ${name.content} has no body, impossible!`);
+    (0, assert_1.guard)(body !== undefined, () => `Repeat-Loop ${identifier_1.Identifier.toString(name.content)} has no body, impossible!`);
     (0, linker_1.linkCircularRedefinitionsWithinALoop)(information.graph, (0, linker_1.produceNameSharedIdMap)((0, linker_1.findNonLocalReads)(information.graph, [])), body.out);
     (0, linker_1.reapplyLoopExitPoints)(body.exitPoints, body.in.concat(body.out, body.unknownReferences));
     information.exitPoints = (0, info_1.filterOutLoopExitPoints)(information.exitPoints);

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

@@ -5,7 +5,6 @@ import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/
 import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
 import { type RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
 import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
-import { type ContainerIndicesCollection } from '../../../../../graph/vertex';
 /**
  * Process a replacement function call like `<-`, `[[<-`, `$<-`, etc.
  * These are automatically created when doing assignments like `x[y] <- value` or in general `fun(x) <- value` will call `fun<- (x, value)`.
@@ -14,8 +13,8 @@ export declare function processReplacementFunction<OtherInfo>(name: RSymbol<Othe
 /** The last one has to be the value */
 args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, config: {
     makeMaybe?: boolean;
+    constructName?: 's7';
     assignmentOperator?: '<-' | '<<-';
     readIndices?: boolean;
-    activeIndices?: ContainerIndicesCollection;
     assignRootId?: NodeId;
 } & ForceArguments): DataflowInformation;

package/dataflow/internal/process/functions/call/built-in/built-in-replacement.js

@@ -10,13 +10,15 @@ const logger_1 = require("../../../../../logger");
 const vertex_1 = require("../../../../../graph/vertex");
 const graph_1 = require("../../../../../graph/graph");
 const edge_1 = require("../../../../../graph/edge");
-const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
-const containers_1 = require("../../../../../../util/containers");
 const unpack_argument_1 = require("../argument/unpack-argument");
 const built_in_access_1 = require("./built-in-access");
 const built_in_1 = require("../../../../../environments/built-in");
 const identifier_1 = require("../../../../../environments/identifier");
 const unknown_replacement_1 = require("../../../../../graph/unknown-replacement");
+const built_in_s_seven_dispatch_1 = require("./built-in-s-seven-dispatch");
+const make_argument_1 = require("../argument/make-argument");
+const type_1 = require("../../../../../../r-bridge/lang-4.x/ast/model/type");
+const range_1 = require("../../../../../../util/range");
 /**
  * Process a replacement function call like `<-`, `[[<-`, `$<-`, etc.
  * These are automatically created when doing assignments like `x[y] <- value` or in general `fun(x) <- value` will call `fun<- (x, value)`.
@@ -25,20 +27,30 @@ function processReplacementFunction(name,
 /** The last one has to be the value */
 args, rootId, data, config) {
     if (args.length < 2) {
-        logger_1.dataflowLogger.warn(`Replacement ${name.content} has less than 2 arguments, skipping`);
+        logger_1.dataflowLogger.warn(`Replacement ${identifier_1.Identifier.getName(name.content)} has less than 2 arguments, skipping`);
         return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: 'default' }).information;
     }
     /* we only get here if <-, <<-, ... or whatever is part of the replacement is not overwritten */
-    (0, log_1.expensiveTrace)(logger_1.dataflowLogger, () => `Replacement ${name.content} with ${JSON.stringify(args)}, processing`);
-    let indices = config.activeIndices;
-    if (data.ctx.config.solver.pointerTracking) {
-        indices ??= constructAccessedIndices(name.content, args);
+    (0, log_1.expensiveTrace)(logger_1.dataflowLogger, () => `Replacement ${identifier_1.Identifier.getName(name.content)} with ${JSON.stringify(args)}, processing`);
+    let targetArg = args[0];
+    if (config.constructName === 's7' && targetArg !== r_function_call_1.EmptyArgument) {
+        let tarName = targetArg.lexeme;
+        if (args.length > 2 && args[1] !== r_function_call_1.EmptyArgument) {
+            tarName += built_in_s_seven_dispatch_1.S7DispatchSeparator + args[1].lexeme;
+        }
+        const uArg = (0, unpack_argument_1.unpackArg)(targetArg) ?? targetArg;
+        targetArg = (0, make_argument_1.toUnnamedArgument)({
+            content: tarName,
+            type: type_1.RType.Symbol,
+            info: uArg.info,
+            lexeme: tarName,
+            location: uArg.location ?? (0, range_1.invalidRange)()
+        }, data.completeAst.idMap);
     }
     /* we assign the first argument by the last for now and maybe mark as maybe!, we can keep the symbol as we now know we have an assignment */
-    let res = built_in_1.BuiltInProcessorMapper[built_in_1.BuiltInProcName.Assignment](name, [args[0], args.at(-1)], rootId, data, {
+    let res = built_in_1.BuiltInProcessorMapper[built_in_1.BuiltInProcName.Assignment](name, [targetArg, args.at(-1)], rootId, data, {
         superAssignment: config.assignmentOperator === '<<-',
-        makeMaybe: indices === undefined ? config.makeMaybe : false,
-        indicesCollection: indices,
+        makeMaybe: config.makeMaybe,
         canBeReplacement: true
     });
     const createdVert = res.graph.getVertex(rootId);
@@ -86,73 +98,19 @@ args, rootId, data, config) {
         }
     }
     const fa = (0, unpack_argument_1.unpackNonameArg)(args[0]);
-    if (!data.ctx.config.solver.pointerTracking && fa) {
+    if (fa) {
         res = {
             ...res,
             in: [...res.in, { name: fa.lexeme, type: identifier_1.ReferenceType.Variable, nodeId: fa.info.id, cds: data.cds }]
         };
     }
-    return res;
-}
-/**
- * Constructs accessed indices of replacement function recursively.
- *
- * Example:
- * ```r
- * a$b <- 1
- * # results in index with lexeme b as identifier
- *
- * a[[1]]$b
- * # results in index with index 1 as identifier with a sub-index with lexeme b as identifier
- * ```
- * @param operation - Operation of replacement function e.g. '$\<-', '[\<-', '[[\<-'
- * @param args      - Arguments of the replacement function
- * @returns Accessed indices construct
- */
-function constructAccessedIndices(operation, args) {
-    const { accessedArg, accessArg } = (0, containers_1.getAccessOperands)(args);
-    if (accessedArg === undefined || accessArg?.value === undefined || !isSupportedOperation(operation, accessArg.value)) {
-        return undefined;
-    }
-    const constructIdentifier = getIdentifierBuilder(operation);
-    const leafIndex = {
-        identifier: constructIdentifier(accessArg),
-        nodeId: accessedArg.info.parent ?? ''
-    };
-    const accessIndices = {
-        indices: [leafIndex],
-        isContainer: false
-    };
-    // Check for nested access
-    let indicesCollection = undefined;
-    if (accessedArg.value?.type === type_1.RType.Access) {
-        indicesCollection = (0, containers_1.constructNestedAccess)(accessedArg.value, accessIndices, constructIdentifier);
+    // dispatches actually as S3:
+    const fns = res.in.filter(i => i.nodeId === rootId);
+    for (const fn of fns) {
+        fn.type = identifier_1.ReferenceType.S3MethodPrefix;
     }
-    else {
-        // use access node as reference to get complete line in slice
-        indicesCollection = [accessIndices];
-    }
-    return indicesCollection;
-}
-function isSupportedOperation(operation, value) {
-    const isNameBasedAccess = (operation === '$<-' || operation === '@<-') && value.type === type_1.RType.Symbol;
-    const isNumericalIndexBasedAccess = (operation === '[[<-' || operation === '[<-') && value.type === type_1.RType.Number;
-    return isNameBasedAccess || isNumericalIndexBasedAccess;
-}
-function getIdentifierBuilder(operation) {
-    if (operation === '$<-' || operation == '@<-') {
-        return (arg) => {
-            return {
-                index: undefined,
-                lexeme: arg.lexeme,
-            };
-        };
-    }
-    // [[<- and [<-
-    return (arg) => {
-        return {
-            index: Number(arg.lexeme),
-        };
-    };
+    // link the built-in replacement op
+    res.graph.addEdge(rootId, (0, built_in_1.builtInId)(identifier_1.Identifier.getName(name.content)), edge_1.EdgeType.Calls | edge_1.EdgeType.Reads);
+    return res;
 }
 //# sourceMappingURL=built-in-replacement.js.map

package/dataflow/internal/process/functions/call/built-in/built-in-s-seven-dispatch.d.ts

@@ -0,0 +1,12 @@
+import type { DataflowProcessorInformation } from '../../../../../processor';
+import type { DataflowInformation } from '../../../../../info';
+import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import { type RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
+import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
+import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
+/** Used to separate S7 dispatch info in identifiers */
+export declare const S7DispatchSeparator = "\uFE55s3\uFE55";
+/**
+ * Process an S7 generic dispatch call like `S7_dispatch`.
+ */
+export declare function processS7Dispatch<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>): DataflowInformation;

package/dataflow/internal/process/functions/call/built-in/built-in-s-seven-dispatch.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.S7DispatchSeparator = void 0;
+exports.processS7Dispatch = processS7Dispatch;
+const known_call_handling_1 = require("../known-call-handling");
+const built_in_1 = require("../../../../../environments/built-in");
+const identifier_1 = require("../../../../../environments/identifier");
+/** Used to separate S7 dispatch info in identifiers */
+exports.S7DispatchSeparator = '﹕s3﹕';
+/**
+ * Process an S7 generic dispatch call like `S7_dispatch`.
+ */
+function processS7Dispatch(name, args, rootId, data) {
+    if (!('currentS7name' in data) || !Array.isArray(data.currentS7name)) {
+        return (0, known_call_handling_1.processKnownFunctionCall)({ name, args, rootId, data, origin: built_in_1.BuiltInProcName.S7Dispatch }).information;
+    }
+    const info = (0, known_call_handling_1.processKnownFunctionCall)({ name, forceArgs: 'all', args, rootId, data, origin: built_in_1.BuiltInProcName.S7Dispatch }).information;
+    for (const id of data.currentS7name) {
+        if (typeof id === 'string') {
+            const newIn = info.in.slice();
+            newIn.push({ nodeId: rootId, name: id, cds: data.cds, type: identifier_1.ReferenceType.S7MethodPrefix });
+            info.in = newIn;
+        }
+    }
+    return info;
+}
+//# sourceMappingURL=built-in-s-seven-dispatch.js.map

package/dataflow/internal/process/functions/call/built-in/built-in-s-seven-new-generic.d.ts

@@ -0,0 +1,19 @@
+import type { DataflowProcessorInformation } from '../../../../../processor';
+import type { DataflowInformation } from '../../../../../info';
+import type { ParentInformation } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/decorate';
+import { type RFunctionArgument } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-function-call';
+import type { RSymbol } from '../../../../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
+import type { NodeId } from '../../../../../../r-bridge/lang-4.x/ast/model/processing/node-id';
+/** e.g. new_generic(name, dispatch_args, fun=NULL) */
+interface S7GenericDispatchConfig {
+    args: {
+        name: string;
+        dispatchArg: string | undefined;
+        fun: string;
+    };
+}
+/**
+ * Process an S7 new generic dispatch call like `new_generic` or `setGeneric`.
+ */
+export declare function processS7NewGeneric<OtherInfo>(name: RSymbol<OtherInfo & ParentInformation>, args: readonly RFunctionArgument<OtherInfo & ParentInformation>[], rootId: NodeId, data: DataflowProcessorInformation<OtherInfo & ParentInformation>, config: S7GenericDispatchConfig): DataflowInformation;
+export {};