@eagleoutice/flowr 2.6.0 → 2.6.2

package/dataflow/eval/values/sets/set-constants.js

@@ -10,6 +10,9 @@ function flattenSetElements(s) {
         return e.type === 'set' ? flattenSetElements(e.elements) : e;
     });
 }
+/**
+ *
+ */
 function setFrom(...elements) {
     const vals = elements.flatMap(e => {
         return e.type === 'set' ? flattenSetElements(e.elements) : e;
@@ -19,6 +22,9 @@ function setFrom(...elements) {
         elements: vals
     };
 }
+/**
+ *
+ */
 function isSet(element) {
     return element.type === 'set';
 }

package/dataflow/eval/values/string/string-constants.d.ts

@@ -1,7 +1,16 @@
 import type { RStringValue } from '../../../../r-bridge/lang-4.x/convert-values';
-import type { Lift, Value, ValueString } from '../r-value';
+import { type Lift, type Value, type ValueString } from '../r-value';
+/**
+ *
+ */
 export declare function stringFrom(str: RStringValue | string): ValueString;
+/**
+ *
+ */
 export declare function liftString(str: Lift<RStringValue>): ValueString;
+/**
+ *
+ */
 export declare function collectStrings(a: Value[], withQuotes?: boolean): string[] | undefined;
 export declare const ValueEmptyString: ValueString<Lift<RStringValue>>;
 export declare const ValueStringTop: ValueString<Lift<RStringValue>>;

package/dataflow/eval/values/string/string-constants.js

@@ -6,6 +6,9 @@ exports.liftString = liftString;
 exports.collectStrings = collectStrings;
 const general_1 = require("../general");
 const r_value_1 = require("../r-value");
+/**
+ *
+ */
 function stringFrom(str) {
     return {
         type: 'string',
@@ -15,12 +18,18 @@ function stringFrom(str) {
         } : str,
     };
 }
+/**
+ *
+ */
 function liftString(str) {
     return {
         type: 'string',
         value: str
     };
 }
+/**
+ *
+ */
 function collectStrings(a, withQuotes = false) {
     if ((0, general_1.bottomTopGuard)(a)) {
         return undefined;

package/dataflow/eval/values/vectors/vector-constants.d.ts

@@ -1,4 +1,4 @@
-import type { Lift, Value, ValueVector } from '../r-value';
+import { type Lift, type Value, type ValueVector } from '../r-value';
 /**
  * Creates an abstract vector from abstract values
  * @param elements - elements that the vector should contain

package/dataflow/extractor.d.ts

@@ -1,8 +1,9 @@
 import type { DataflowInformation } from './info';
-import type { DataflowProcessors } from './processor';
+import { type DataflowProcessors } from './processor';
 import type { NormalizedAst, ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { RParseRequests } from '../r-bridge/retriever';
 import type { KnownParserType, Parser } from '../r-bridge/parser';
+import type { ControlFlowInformation } from '../control-flow/control-flow-graph';
 import type { FlowrConfigOptions } from '../config';
 /**
  * The best friend of {@link produceDataFlowGraph} and {@link processDataflowFor}.
@@ -15,4 +16,6 @@ export declare const processors: DataflowProcessors<ParentInformation>;
  * (e.g., in the event of a `source` call).
  * For the actual, canonical fold entry point, see {@link processDataflowFor}.
  */
-export declare function produceDataFlowGraph<OtherInfo>(parser: Parser<KnownParserType>, request: RParseRequests, completeAst: NormalizedAst<OtherInfo & ParentInformation>, config: FlowrConfigOptions): DataflowInformation;
+export declare function produceDataFlowGraph<OtherInfo>(parser: Parser<KnownParserType>, request: RParseRequests, completeAst: NormalizedAst<OtherInfo & ParentInformation>, config: FlowrConfigOptions): DataflowInformation & {
+    cfgQuick: ControlFlowInformation | undefined;
+};

package/dataflow/extractor.js

@@ -59,14 +59,14 @@ exports.processors = {
     }
 };
 function resolveLinkToSideEffects(ast, graph) {
-    let cfg = undefined;
+    let cf = undefined;
     for (const s of graph.unknownSideEffects) {
         if (typeof s !== 'object') {
             continue;
         }
-        cfg ??= (0, extract_cfg_1.extractCfgQuick)(ast).graph;
+        cf ??= (0, extract_cfg_1.extractCfgQuick)(ast);
         /* this has to change whenever we add a new link to relations because we currently offer no abstraction for the type */
-        const potentials = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(s.id, cfg, graph, s.linkTo);
+        const potentials = (0, identify_link_to_last_call_relation_1.identifyLinkToLastCallRelation)(s.id, cf?.graph, graph, s.linkTo);
         for (const pot of potentials) {
             graph.addEdge(s.id, pot, edge_1.EdgeType.Reads);
         }
@@ -74,6 +74,7 @@ function resolveLinkToSideEffects(ast, graph) {
             graph.unknownSideEffects.delete(s);
         }
     }
+    return cf;
 }
 /**
  * This is the main function to produce the dataflow graph from a given request and normalized AST.
@@ -114,7 +115,8 @@ function produceDataFlowGraph(parser, request, completeAst, config) {
     }
     // finally, resolve linkages
     (0, built_in_function_definition_1.updateNestedFunctionCalls)(df.graph, df.environment);
-    resolveLinkToSideEffects(completeAst, df.graph);
-    return df;
+    const cfgQuick = resolveLinkToSideEffects(completeAst, df.graph);
+    // performance optimization: return cfgQuick as part of the result to avoid recomputation
+    return { ...df, cfgQuick };
 }
 //# sourceMappingURL=extractor.js.map

package/dataflow/fn/higher-order-function.d.ts

@@ -0,0 +1,9 @@
+import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
+import type { DataflowGraph } from '../graph/graph';
+/**
+ * Determines whether the function with the given id is a higher-order function, i.e.,
+ * either takes a function as an argument or (may) returns a function.
+ * If the return is an identity, e.g., `function(x) x`, this is not considered higher-order,
+ * if no function is passed as an argument.
+ */
+export declare function isHigherOrder(id: NodeId, graph: DataflowGraph): boolean;

package/dataflow/fn/higher-order-function.js

@@ -0,0 +1,75 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isHigherOrder = isHigherOrder;
+const vertex_1 = require("../graph/vertex");
+const assert_1 = require("../../util/assert");
+const edge_1 = require("../graph/edge");
+const alias_tracking_1 = require("../eval/resolve/alias-tracking");
+const config_1 = require("../../config");
+const r_function_call_1 = require("../../r-bridge/lang-4.x/ast/model/nodes/r-function-call");
+const general_1 = require("../eval/values/general");
+function isAnyReturnAFunction(def, graph) {
+    const workingQueue = def.exitPoints.map(d => graph.getVertex(d, true)).filter(assert_1.isNotUndefined);
+    const seen = new Set();
+    while (workingQueue.length > 0) {
+        const current = workingQueue.pop();
+        if (seen.has(current.id)) {
+            continue;
+        }
+        seen.add(current.id);
+        if ((0, vertex_1.isFunctionDefinitionVertex)(current)) {
+            return true;
+        }
+        const next = graph.outgoingEdges(current.id) ?? [];
+        for (const [t, { types }] of next) {
+            if ((0, edge_1.edgeIncludesType)(types, edge_1.EdgeType.Returns)) {
+                const v = graph.getVertex(t, true);
+                if (v) {
+                    workingQueue.push(v);
+                }
+            }
+        }
+    }
+    return false;
+}
+function inspectCallSitesArgumentsFns(def, graph) {
+    const callSites = graph.ingoingEdges(def.id);
+    for (const [callerId, { types }] of callSites ?? []) {
+        if (!(0, edge_1.edgeIncludesType)(types, edge_1.EdgeType.Calls)) {
+            continue;
+        }
+        const caller = graph.getVertex(callerId, true);
+        if (!caller || !(0, vertex_1.isFunctionCallVertex)(caller)) {
+            continue;
+        }
+        for (const arg of caller.args) {
+            if (arg === r_function_call_1.EmptyArgument) {
+                continue;
+            }
+            const value = (0, general_1.valueSetGuard)((0, alias_tracking_1.resolveIdToValue)(arg.nodeId, { graph, idMap: graph.idMap, resolve: config_1.VariableResolve.Alias, full: true }));
+            if (value?.elements.some(e => e.type === 'function-definition')) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Determines whether the function with the given id is a higher-order function, i.e.,
+ * either takes a function as an argument or (may) returns a function.
+ * If the return is an identity, e.g., `function(x) x`, this is not considered higher-order,
+ * if no function is passed as an argument.
+ */
+function isHigherOrder(id, graph) {
+    const vert = graph.getVertex(id);
+    if (!vert || !(0, vertex_1.isFunctionDefinitionVertex)(vert)) {
+        return false;
+    }
+    // 1. check whether any of the exit types is a function
+    if (isAnyReturnAFunction(vert, graph)) {
+        return true;
+    }
+    // 2. check whether any of the callsites passes a function
+    return inspectCallSitesArgumentsFns(vert, graph);
+}
+//# sourceMappingURL=higher-order-function.js.map

package/dataflow/graph/dataflowgraph-builder.d.ts

@@ -1,13 +1,15 @@
-import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
+import { type NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
 import type { AstIdMap } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { DataflowFunctionFlowInformation, FunctionArgument } from './graph';
-import { DataflowGraph } from './graph';
-import type { IEnvironment, REnvironmentInformation } from '../environments/environment';
-import type { DataflowGraphVertexAstLink, DataflowGraphVertexUse, FunctionOriginInformation } from './vertex';
+import { type DataflowFunctionFlowInformation, type FunctionArgument, DataflowGraph } from './graph';
+import { type IEnvironment, type REnvironmentInformation } from '../environments/environment';
+import { type DataflowGraphVertexAstLink, type DataflowGraphVertexUse, type FunctionOriginInformation } from './vertex';
 import type { ControlDependency } from '../info';
 import type { LinkTo } from '../../queries/catalog/call-context-query/call-context-query-format';
 import type { FlowrSearchLike } from '../../search/flowr-search-builder';
-import type { FlowrAnalysisProvider } from '../../project/flowr-analyzer';
+import type { ReadonlyFlowrAnalysisProvider } from '../../project/flowr-analyzer';
+/**
+ *
+ */
 export declare function emptyGraph(idMap?: AstIdMap): DataflowGraphBuilder;
 export type DataflowGraphEdgeTarget = NodeId | (readonly NodeId[]);
 /**
@@ -18,7 +20,6 @@ export type DataflowGraphEdgeTarget = NodeId | (readonly NodeId[]);
 export declare class DataflowGraphBuilder extends DataflowGraph {
     /**
      * Adds a **vertex** for a **function definition** (V1).
-     *
      * @param id - AST node ID
      * @param subflow - Subflow data graph for the defined function.
      * @param exitPoints - Node IDs for exit point vertices.
@@ -33,7 +34,6 @@ export declare class DataflowGraphBuilder extends DataflowGraph {
     }, asRoot?: boolean): this;
     /**
      * Adds a **vertex** for a **function call** (V2).
-     *
      * @param id - AST node ID
      * @param name - Function name
      * @param args - Function arguments; may be empty
@@ -55,7 +55,6 @@ export declare class DataflowGraphBuilder extends DataflowGraph {
     private addArgumentLinks;
     /**
      * Adds a **vertex** for a **variable definition** (V4).
-     *
      * @param id - AST node ID
      * @param name - Variable name
      * @param info - Additional/optional properties.
@@ -68,7 +67,6 @@ export declare class DataflowGraphBuilder extends DataflowGraph {
     }, asRoot?: boolean): this;
     /**
      * Adds a **vertex** for **variable use** (V5). Intended for creating dataflow graphs as part of function tests.
-     *
      * @param id - AST node id
      * @param name - Variable name
      * @param info - Additional/optional properties; i.e., scope, when, or environment.
@@ -78,7 +76,6 @@ export declare class DataflowGraphBuilder extends DataflowGraph {
     use(id: NodeId, name?: string, info?: Partial<DataflowGraphVertexUse>, asRoot?: boolean): this;
     /**
      * Adds a **vertex** for a **constant value** (V6).
-     *
      * @param id - AST node ID
      * @param options - Additional/optional properties;
      * @param asRoot - should the vertex be part of the root vertex set of the graph
@@ -91,7 +88,6 @@ export declare class DataflowGraphBuilder extends DataflowGraph {
     private queryHelper;
     /**
      * Adds a **read edge**.
-     *
      * @param from - NodeId of the source vertex
      * @param to   - Either a single or multiple target ids.
      *               If you pass multiple this will construct a single edge for each of them.
@@ -99,115 +95,101 @@ export declare class DataflowGraphBuilder extends DataflowGraph {
     reads(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **read edge** with a query for the from and/or to vertices.
-     *
      * @param from - Either a node id or a query to find the node id.
      * @param to - Either a node id or a query to find the node id.
      * @param input - The input to search in i.e. the dataflow graph.
      */
-    readsQuery(from: FromQueryParam, to: ToQueryParam, input: FlowrAnalysisProvider): Promise<this>;
+    readsQuery(from: FromQueryParam, to: ToQueryParam, input: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **defined-by edge** with from as defined variable, and to
      * as a variable/function contributing to its definition.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     definedBy(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **defined-by edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    definedByQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    definedByQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **call edge** with from as caller, and to as callee.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     calls(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    callsQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    callsQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **return edge** with from as function, and to as exit point.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     returns(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **return edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    returnsQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    returnsQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **defines-on-call edge** with from as variable, and to as its definition
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     definesOnCall(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **defines-on-call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    definesOnCallQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    definesOnCallQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **defined-by-on-call edge** with from as definition, and to as variable.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     definedByOnCall(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **defined-by-on-call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    definedByOnCallQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    definedByOnCallQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds an **argument edge** with from as function call, and to as argument.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     argument(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **argument edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    argumentQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    argumentQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **non-standard evaluation edge** with from as vertex, and to as vertex.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     nse(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **non-standard evaluation edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    nseQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    nseQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * Adds a **side-effect-on-call edge** with from as vertex, and to as vertex.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     sideEffectOnCall(from: NodeId, to: DataflowGraphEdgeTarget): this;
     /**
      * Adds a **side-effect-on-call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
-    sideEffectOnCallQuery(from: FromQueryParam, to: ToQueryParam, data: FlowrAnalysisProvider): Promise<this>;
+    sideEffectOnCallQuery(from: FromQueryParam, to: ToQueryParam, data: ReadonlyFlowrAnalysisProvider): Promise<this>;
     /**
      * explicitly overwrite the root ids of the graph,
      * this is just an easier variant in case you working with a lot of functions this saves you a lot of `false` flags.
      */
     overwriteRootIds(ids: readonly NodeId[]): this;
 }
+/**
+ *
+ */
 export declare function getBuiltInSideEffect(name: string): LinkTo<RegExp> | undefined;
 interface Query {
     query: FlowrSearchLike;

package/dataflow/graph/dataflowgraph-builder.js

@@ -14,6 +14,9 @@ const edge_1 = require("./edge");
 const default_builtin_config_1 = require("../environments/default-builtin-config");
 const flowr_search_executor_1 = require("../../search/flowr-search-executor");
 const assert_1 = require("../../util/assert");
+/**
+ *
+ */
 function emptyGraph(idMap) {
     return new DataflowGraphBuilder(idMap);
 }
@@ -25,7 +28,6 @@ function emptyGraph(idMap) {
 class DataflowGraphBuilder extends graph_1.DataflowGraph {
     /**
      * Adds a **vertex** for a **function definition** (V1).
-     *
      * @param id - AST node ID
      * @param subflow - Subflow data graph for the defined function.
      * @param exitPoints - Node IDs for exit point vertices.
@@ -52,7 +54,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **vertex** for a **function call** (V2).
-     *
      * @param id - AST node ID
      * @param name - Function name
      * @param args - Function arguments; may be empty
@@ -107,7 +108,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **vertex** for a **variable definition** (V4).
-     *
      * @param id - AST node ID
      * @param name - Variable name
      * @param info - Additional/optional properties.
@@ -130,7 +130,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **vertex** for **variable use** (V5). Intended for creating dataflow graphs as part of function tests.
-     *
      * @param id - AST node id
      * @param name - Variable name
      * @param info - Additional/optional properties; i.e., scope, when, or environment.
@@ -151,7 +150,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **vertex** for a **constant value** (V6).
-     *
      * @param id - AST node ID
      * @param options - Additional/optional properties;
      * @param asRoot - should the vertex be part of the root vertex set of the graph
@@ -196,7 +194,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **read edge**.
-     *
      * @param from - NodeId of the source vertex
      * @param to   - Either a single or multiple target ids.
      *               If you pass multiple this will construct a single edge for each of them.
@@ -206,7 +203,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **read edge** with a query for the from and/or to vertices.
-     *
      * @param from - Either a node id or a query to find the node id.
      * @param to - Either a node id or a query to find the node id.
      * @param input - The input to search in i.e. the dataflow graph.
@@ -217,7 +213,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     /**
      * Adds a **defined-by edge** with from as defined variable, and to
      * as a variable/function contributing to its definition.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     definedBy(from, to) {
@@ -225,7 +220,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **defined-by edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     definedByQuery(from, to, data) {
@@ -233,7 +227,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **call edge** with from as caller, and to as callee.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     calls(from, to) {
@@ -241,7 +234,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     callsQuery(from, to, data) {
@@ -249,7 +241,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **return edge** with from as function, and to as exit point.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     returns(from, to) {
@@ -257,7 +248,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **return edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     returnsQuery(from, to, data) {
@@ -265,7 +255,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **defines-on-call edge** with from as variable, and to as its definition
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     definesOnCall(from, to) {
@@ -273,7 +262,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **defines-on-call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     definesOnCallQuery(from, to, data) {
@@ -281,7 +269,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **defined-by-on-call edge** with from as definition, and to as variable.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     definedByOnCall(from, to) {
@@ -289,7 +276,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **defined-by-on-call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     definedByOnCallQuery(from, to, data) {
@@ -297,7 +283,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds an **argument edge** with from as function call, and to as argument.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     argument(from, to) {
@@ -305,7 +290,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **argument edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     argumentQuery(from, to, data) {
@@ -313,7 +297,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **non-standard evaluation edge** with from as vertex, and to as vertex.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     nse(from, to) {
@@ -321,7 +304,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **non-standard evaluation edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     nseQuery(from, to, data) {
@@ -329,7 +311,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **side-effect-on-call edge** with from as vertex, and to as vertex.
-     *
      * @see {@link DataflowGraphBuilder#reads|reads} for parameters.
      */
     sideEffectOnCall(from, to) {
@@ -337,7 +318,6 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
     /**
      * Adds a **side-effect-on-call edge** with a query for the from and/or to vertices.
-     *
      * @see {@link DataflowGraphBuilder#readsQuery|readsQuery} for parameters.
      */
     sideEffectOnCallQuery(from, to, data) {
@@ -353,6 +333,9 @@ class DataflowGraphBuilder extends graph_1.DataflowGraph {
     }
 }
 exports.DataflowGraphBuilder = DataflowGraphBuilder;
+/**
+ *
+ */
 function getBuiltInSideEffect(name) {
     const got = default_builtin_config_1.DefaultBuiltinConfig.find(e => e.names.includes(name));
     if (got?.type !== 'function') {

package/dataflow/graph/diff-dataflow-graph.d.ts

@@ -1,16 +1,26 @@
-import type { FunctionArgument, OutgoingEdges } from './graph';
-import type { GenericDiffConfiguration, GenericDifferenceInformation } from '../../util/diff';
-import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
-import type { GraphDiffContext, NamedGraph } from '../../util/diff-graph';
-import { GraphDifferenceReport } from '../../util/diff-graph';
+import { type FunctionArgument, type OutgoingEdges } from './graph';
+import { type GenericDiffConfiguration, type GenericDifferenceInformation } from '../../util/diff';
+import { type NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
+import { type GraphDiffContext, type NamedGraph, GraphDifferenceReport } from '../../util/diff-graph';
 /**
  * Compare two dataflow graphs and return a report on the differences.
  * If you simply want to check whether they equal, use {@link GraphDifferenceReport#isEqual|`<result>.isEqual()`}.
- *
  * @see {@link diffOfControlFlowGraphs} - for control flow graphs
  */
 export declare function diffOfDataflowGraphs(left: NamedGraph, right: NamedGraph, config?: Partial<GenericDiffConfiguration>): GraphDifferenceReport;
+/**
+ * Checks whether two function argument lists are equal.
+ */
 export declare function equalFunctionArguments(fn: NodeId, a: false | readonly FunctionArgument[], b: false | readonly FunctionArgument[]): boolean;
+/**
+ * Compares two function argument lists and reports differences.
+ */
 export declare function diffFunctionArguments(fn: NodeId, a: false | readonly FunctionArgument[], b: false | readonly FunctionArgument[], ctx: GenericDifferenceInformation<GraphDifferenceReport>): void;
+/**
+ * Compares the vertices of two dataflow graphs and reports differences.
+ */
 export declare function diffVertices(ctx: GraphDiffContext): void;
+/**
+ * Compares two sets of outgoing edges and reports differences.
+ */
 export declare function diffEdges(ctx: GraphDiffContext, id: NodeId, lEdges: OutgoingEdges | undefined, rEdges: OutgoingEdges | undefined): void;