@eagleoutice/flowr 2.9.13 → 2.9.14

package/util/mermaid/dfg.js

@@ -1,9 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.DataflowMermaid = void 0;
 exports.mermaidNodeBrackets = mermaidNodeBrackets;
 exports.printIdentifier = printIdentifier;
-exports.graphToMermaid = graphToMermaid;
-exports.graphToMermaidUrl = graphToMermaidUrl;
 exports.diffGraphsToMermaid = diffGraphsToMermaid;
 exports.diffGraphsToMermaidUrl = diffGraphsToMermaidUrl;
 const mermaid_1 = require("./mermaid");
@@ -17,18 +16,19 @@ const type_1 = require("../../r-bridge/lang-4.x/ast/model/type");
 const info_1 = require("./info");
 const range_1 = require("../range");
 const model_1 = require("../../r-bridge/lang-4.x/ast/model/model");
+const info_2 = require("../../dataflow/info");
 function subflowToMermaid(nodeId, subflow, mermaid, idPrefix = '') {
     if (subflow === undefined) {
         return;
     }
-    const subflowId = (0, mermaid_1.escapeId)(`${idPrefix}flow-${nodeId}`);
+    const subflowId = mermaid_1.Mermaid.escapeId(`${idPrefix}flow-${nodeId}`);
     if (mermaid.simplified) {
         // get parent
         const idMap = mermaid.rootGraph.idMap;
         const node = idMap?.get(nodeId);
         const nodeLexeme = model_1.RNode.lexeme(node) ?? 'function';
         const location = node?.location?.[0] ? ` (L. ${node?.location?.[0]})` : '';
-        mermaid.nodeLines.push(`\nsubgraph "${subflowId}" ["${(0, mermaid_1.escapeMarkdown)(nodeLexeme)}${location}"]`);
+        mermaid.nodeLines.push(`\nsubgraph "${subflowId}" ["${mermaid_1.Mermaid.escape(nodeLexeme)}${location}"]`);
     }
     else {
         mermaid.nodeLines.push(`\nsubgraph "${subflowId}" [function ${nodeId}]`);
@@ -83,7 +83,7 @@ function printArg(arg) {
 function displayFunctionArgMapping(argMapping) {
     const result = [];
     for (const arg of argMapping) {
-        result.push((0, mermaid_1.escapeMarkdown)(printArg(arg)));
+        result.push(mermaid_1.Mermaid.escape(printArg(arg)));
     }
     return result.length === 0 ? '' : `\n    (${result.join(', ')})`;
 }
@@ -139,7 +139,7 @@ function vertexToMermaid(info, mermaid, id, idPrefix, mark, includeOnlyIds) {
     const fCall = info.tag === vertex_1.VertexType.FunctionCall;
     const { open, close } = mermaidNodeBrackets(info.tag);
     const origId = id;
-    id = (0, mermaid_1.escapeId)(id);
+    id = mermaid_1.Mermaid.escapeId(id);
     if (info.environment && mermaid.includeEnvironments) {
         if (info.environment.level > 0 || info.environment.current.memory.size !== 0) {
             mermaid.nodeLines.push(`    %% Environment of ${id} [level: ${info.environment.level}]:`, printEnvironmentToLines(info.environment.current).map(x => `    %% ${x}`).join('\n'));
@@ -149,15 +149,15 @@ function vertexToMermaid(info, mermaid, id, idPrefix, mark, includeOnlyIds) {
     const lexeme = node?.lexeme ?? (node?.type === type_1.RType.ExpressionList ? node?.grouping?.[0]?.lexeme : '') ?? '??';
     if (mermaid.simplified) {
         const location = node?.location?.[0] ? ` (L. ${node?.location?.[0]})` : '';
-        const escapedName = '**' + (0, mermaid_1.escapeMarkdown)(node ? `${lexeme}` : '??') + '**' + location + (node ? `\n*${node.type}*` : '');
+        const escapedName = '**' + mermaid_1.Mermaid.escape(node ? `${lexeme}` : '??') + '**' + location + (node ? `\n*${node.type}*` : '');
         mermaid.nodeLines.push(`    ${idPrefix}${id}${open}"\`${escapedName}\`"${close}`);
     }
     else {
-        const escapedName = (0, mermaid_1.escapeMarkdown)(node ? `[${node.type}] ${lexeme}` : '??');
+        const escapedName = mermaid_1.Mermaid.escape(node ? `[${node.type}] ${lexeme}` : '??');
         const deps = info.cds ? ', :may:' + info.cds.map(c => c.id + (c.when ? '+' : '-')).join(',') : '';
         const lnks = info.link?.origin ? ', :links:' + info.link.origin.join(',') : '';
         const n = node?.info.fullRange ?? node?.location ?? (node?.type === type_1.RType.ExpressionList ? node?.grouping?.[0].location : undefined);
-        mermaid.nodeLines.push(`    ${idPrefix}${id}${open}"\`${escapedName}${escapedName.length > 10 ? '\n      ' : ' '}(${id}${deps}${lnks})\n      *${range_1.SourceRange.format(n)}*${fCall ? displayFunctionArgMapping(info.args) : '' + (info.tag === vertex_1.VertexType.FunctionDefinition && info.mode && info.mode.length > 0 ? (0, mermaid_1.escapeMarkdown)(JSON.stringify(info.mode)) : '')}\`"${close}`);
+        mermaid.nodeLines.push(`    ${idPrefix}${id}${open}"\`${escapedName}${escapedName.length > 10 ? '\n      ' : ' '}(${id}${deps}${lnks})\n      *${range_1.SourceRange.format(n)}*${fCall ? displayFunctionArgMapping(info.args) : '' + (info.tag === vertex_1.VertexType.FunctionDefinition && info.mode && info.mode.length > 0 ? mermaid_1.Mermaid.escape(JSON.stringify(info.mode)) : '')}\`"${close}`);
     }
     if (mark?.has(id)) {
         mermaid.nodeLines.push(`    style ${idPrefix}${id} ${mermaid.markStyle.vertex} `);
@@ -180,7 +180,7 @@ function vertexToMermaid(info, mermaid, id, idPrefix, mark, includeOnlyIds) {
             continue;
         }
         const originalTarget = target;
-        target = (0, mermaid_1.escapeId)(target);
+        target = mermaid_1.Mermaid.escapeId(target);
         const edgeTypes = typeof edge.types == 'number' ? new Set(edge_1.DfEdge.splitTypes(edge)) : edge.types;
         const edgeId = encodeEdge(idPrefix + id, idPrefix + target, edgeTypes);
         if (!mermaid.presentEdges.has(edgeId)) {
@@ -197,7 +197,7 @@ function vertexToMermaid(info, mermaid, id, idPrefix, mark, includeOnlyIds) {
             if (node_id_1.NodeId.isBuiltIn(target)) {
                 mermaid.edgeLines.push(`    linkStyle ${mermaid.presentEdges.size - 1} stroke:gray;`);
                 if (!mermaid.presentVertices.has(target)) {
-                    mermaid.nodeLines.push(`    ${idPrefix}${target}["\`Built-In:\n${(0, mermaid_1.escapeMarkdown)(String(originalTarget).replace('built-in:', ''))}\`"]`);
+                    mermaid.nodeLines.push(`    ${idPrefix}${target}["\`Built-In:\n${mermaid_1.Mermaid.escape(String(originalTarget).replace('built-in:', ''))}\`"]`);
                     mermaid.nodeLines.push(`    style ${idPrefix}${target} stroke:gray,fill:gray,stroke-width:2px,opacity:.8;`);
                     mermaid.presentVertices.add(target);
                 }
@@ -215,34 +215,49 @@ function graphToMermaidGraph(rootIds, { simplified, graph, prefix = 'flowchart B
     }
     return mermaid;
 }
-/**
- * Converts a dataflow graph to mermaid graph code that visualizes the graph.
- */
-function graphToMermaid(config) {
-    const mermaid = graphToMermaidGraph(config.includeOnlyIds ? config.includeOnlyIds : config.graph.rootIds(), config);
-    return { string: `${mermaid.nodeLines.join('\n')}\n${mermaid.edgeLines.join('\n')}`, mermaid };
-}
-/**
- * Converts a dataflow graph to a mermaid url that visualizes the graph.
- * @param graph               - The graph to convert
- * @param includeEnvironments - Whether to include the environments in the mermaid graph code
- * @param mark                - Special nodes to mark (e.g., those included in the slice)
- * @param simplified          - Whether to simplify the graph
- */
-function graphToMermaidUrl(graph, includeEnvironments, mark, simplified = false) {
-    return (0, mermaid_1.mermaidCodeToUrl)(graphToMermaid({ graph, includeEnvironments, mark, simplified }).string);
-}
 /** uses same id map but ensures, it is different from the rhs so that mermaid can work with that */
 function diffGraphsToMermaid(left, right, prefix) {
     // we add the prefix ourselves
-    const { string: leftGraph, mermaid } = graphToMermaid({ graph: left.graph, prefix: '', idPrefix: `l-${left.label}`, includeEnvironments: true, mark: left.mark });
-    const { string: rightGraph } = graphToMermaid({ graph: right.graph, prefix: '', idPrefix: `r-${right.label}`, includeEnvironments: true, mark: right.mark, presentEdges: mermaid.presentEdges });
+    const { string: leftGraph, mermaid } = exports.DataflowMermaid.convert({ graph: left.graph, prefix: '', idPrefix: `l-${left.label}`, includeEnvironments: true, mark: left.mark });
+    const { string: rightGraph } = exports.DataflowMermaid.convert({ graph: right.graph, prefix: '', idPrefix: `r-${right.label}`, includeEnvironments: true, mark: right.mark, presentEdges: mermaid.presentEdges });
     return `${prefix}flowchart BT\nsubgraph "${left.label}"\n${leftGraph}\nend\nsubgraph "${right.label}"\n${rightGraph}\nend`;
 }
 /**
  * Converts two dataflow graphs to a mermaid url that visualizes their differences.
  */
 function diffGraphsToMermaidUrl(left, right, prefix) {
-    return (0, mermaid_1.mermaidCodeToUrl)(diffGraphsToMermaid(left, right, prefix));
+    return mermaid_1.Mermaid.codeToUrl(diffGraphsToMermaid(left, right, prefix));
 }
+/**
+ * The helper object for all things regarding the mermaid based visualization of dataflow graphs!
+ */
+exports.DataflowMermaid = {
+    name: 'DataflowMermaid',
+    /**
+     * Converts a dataflow graph to mermaid graph code that visualizes the graph.
+     * @see {@link DataflowMermaid.url} - render the given graph to a url to mermaid.live
+     */
+    convert(config) {
+        const mermaid = graphToMermaidGraph(config.includeOnlyIds ?? config.graph.rootIds(), config);
+        return { string: `${mermaid.nodeLines.join('\n')}\n${mermaid.edgeLines.join('\n')}`, mermaid };
+    },
+    /**
+     * This is a simplified version of {@link DataflowMermaid.convertToMermaid}
+     */
+    raw(graph, includeEnvironments, mark, simplified = false) {
+        graph = info_2.DataflowInformation.is(graph) ? graph.graph : graph;
+        return exports.DataflowMermaid.convert({ graph, includeEnvironments, mark, simplified }).string;
+    },
+    /**
+     * Converts a dataflow graph to a mermaid url that visualizes the graph.
+     * This is basically a combination of {@link DataflowMermaid.mermaidRaw} and {@link Mermaid.codeToUrl}.
+     * @param graph               - the dataflow graph to render
+     * @param includeEnvironments - whether to include the environment content in the output
+     * @param mark                - which vertices to highlight in the visualization
+     * @param simplified          - whether to show a simplified use of the graph with fewer details on the vertices and edges
+     */
+    url(graph, includeEnvironments, mark, simplified = false) {
+        return mermaid_1.Mermaid.codeToUrl(exports.DataflowMermaid.raw(graph, includeEnvironments, mark, simplified));
+    }
+};
 //# sourceMappingURL=dfg.js.map

package/util/mermaid/mermaid.d.ts

@@ -1,14 +1,59 @@
 /**
- * Escapes markdown special characters in a string.
+ * Global mermaid helper object with useful functions.
  */
-export declare function escapeMarkdown(text: string): string;
-/**
- * Escapes a string or number to be used as a mermaid node id.
- */
-export declare function escapeId(text: string | number): string;
-/**
- * Converts mermaid code (potentially produced by {@link graphToMermaid}) to an url that presents the graph in the mermaid editor.
- * @param code - code to convert
- * @param edit - if true, the url will point to the editor, otherwise it will point to the viewer
- */
-export declare function mermaidCodeToUrl(code: string, edit?: boolean): string;
+export declare const Mermaid: {
+    readonly name: "Mermaid";
+    /**
+     * Replacements applied by escape functions!
+     */
+    readonly replacements: {
+        readonly '\\n': "\n";
+        readonly '`': "#96;";
+        readonly '[': "#91;";
+        readonly ']': "#93;";
+        readonly '<': "#60;";
+        readonly '>': "#62;";
+        readonly '*': "#42;";
+        readonly '+': "#43;";
+        readonly '-': "#45;";
+        readonly '"': "#34;";
+        readonly '\\': "#92;";
+        readonly _: "#95;";
+        readonly '{': "#123;";
+        readonly '}': "#125;";
+        readonly '&': "#38;";
+        readonly '\'': "#39;";
+        readonly ':': "#58;";
+        readonly '\u2228': "#8744;";
+        readonly '\u2227': "#8743;";
+        readonly '\u00AC': "#172;";
+        readonly '\u2192': "#8594;";
+        readonly '\u2194': "#8596;";
+        readonly '\u21D2': "#8658;";
+        readonly '\u21D4': "#8660;";
+        readonly '\u2200': "#8704;";
+        readonly '\u2203': "#8707;";
+        readonly '\u2208': "#8712;";
+        readonly '\u2209': "#8713;";
+        readonly '\u220B': "#8715;";
+        readonly '\u220C': "#8716;";
+        readonly '\u2229': "#8745;";
+        readonly '\u222A': "#8746;";
+        readonly '\u222B': "#8747;";
+        readonly '\u2295': "#8853;";
+    };
+    /**
+     * Escapes markdown special characters in a string.
+     */
+    readonly escape: (this: void, text: string) => string;
+    /**
+     * Escapes a string or number to be used as a mermaid node id.
+     */
+    readonly escapeId: (this: void, text: string | number) => string;
+    /**
+     * Converts mermaid code (potentially produced by {@link DataflowMermaid.convert}) to an url that presents the graph in the mermaid editor.
+     * @param code - code to convert
+     * @param edit - if true, the url will point to the editor, otherwise it will point to the viewer
+     */
+    readonly codeToUrl: (this: void, code: string, edit?: boolean) => string;
+};

package/util/mermaid/mermaid.js

@@ -1,73 +1,80 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.escapeMarkdown = escapeMarkdown;
-exports.escapeId = escapeId;
-exports.mermaidCodeToUrl = mermaidCodeToUrl;
-const replacements = {
-    // keep newlines
-    '\\n': '\n',
-    '`': '#96;',
-    '[': '#91;',
-    ']': '#93;',
-    '<': '#60;',
-    '>': '#62;',
-    '*': '#42;',
-    '+': '#43;',
-    '-': '#45;',
-    '"': '#34;',
-    '\\': '#92;',
-    '_': '#95;',
-    '{': '#123;',
-    '}': '#125;',
-    '&': '#38;',
-    '\'': '#39;',
-    ':': '#58;',
-    '∨': '#8744;',
-    '∧': '#8743;',
-    '¬': '#172;',
-    '→': '#8594;',
-    '↔': '#8596;',
-    '⇒': '#8658;',
-    '⇔': '#8660;',
-    '∀': '#8704;',
-    '∃': '#8707;',
-    '∈': '#8712;',
-    '∉': '#8713;',
-    '∋': '#8715;',
-    '∌': '#8716;',
-    '∩': '#8745;',
-    '∪': '#8746;',
-    '∫': '#8747;',
-    '⊕': '#8853;',
-};
-/**
- * Escapes markdown special characters in a string.
- */
-function escapeMarkdown(text) {
-    for (const [key, value] of Object.entries(replacements)) {
-        text = text.replaceAll(key, value);
-    }
-    return text;
-}
+exports.Mermaid = void 0;
 /**
- * Escapes a string or number to be used as a mermaid node id.
+ * Global mermaid helper object with useful functions.
  */
-function escapeId(text) {
-    text = String(text).replace(/[^a-zA-Z0-9:-]/g, '_');
-    return text;
-}
-/**
- * Converts mermaid code (potentially produced by {@link graphToMermaid}) to an url that presents the graph in the mermaid editor.
- * @param code - code to convert
- * @param edit - if true, the url will point to the editor, otherwise it will point to the viewer
- */
-function mermaidCodeToUrl(code, edit = false) {
-    const obj = {
-        code,
-        mermaid: {
-            autoSync: true
+exports.Mermaid = {
+    name: 'Mermaid',
+    /**
+     * Replacements applied by escape functions!
+     */
+    replacements: {
+        // keep newlines
+        '\\n': '\n',
+        '`': '#96;',
+        '[': '#91;',
+        ']': '#93;',
+        '<': '#60;',
+        '>': '#62;',
+        '*': '#42;',
+        '+': '#43;',
+        '-': '#45;',
+        '"': '#34;',
+        '\\': '#92;',
+        '_': '#95;',
+        '{': '#123;',
+        '}': '#125;',
+        '&': '#38;',
+        '\'': '#39;',
+        ':': '#58;',
+        '∨': '#8744;',
+        '∧': '#8743;',
+        '¬': '#172;',
+        '→': '#8594;',
+        '↔': '#8596;',
+        '⇒': '#8658;',
+        '⇔': '#8660;',
+        '∀': '#8704;',
+        '∃': '#8707;',
+        '∈': '#8712;',
+        '∉': '#8713;',
+        '∋': '#8715;',
+        '∌': '#8716;',
+        '∩': '#8745;',
+        '∪': '#8746;',
+        '∫': '#8747;',
+        '⊕': '#8853;',
+    },
+    /**
+     * Escapes markdown special characters in a string.
+     */
+    escape(text) {
+        for (const [key, value] of Object.entries(exports.Mermaid.replacements)) {
+            text = text.replaceAll(key, value);
         }
-    };
-    return `https://mermaid.live/${edit ? 'edit' : 'view'}#base64:${Buffer.from(JSON.stringify(obj)).toString('base64')}`;
-}
+        return text;
+    },
+    /**
+     * Escapes a string or number to be used as a mermaid node id.
+     */
+    escapeId(text) {
+        text = String(text).replace(/[^a-zA-Z0-9:-]/g, '_');
+        return text;
+    },
+    /**
+     * Converts mermaid code (potentially produced by {@link DataflowMermaid.convert}) to an url that presents the graph in the mermaid editor.
+     * @param code - code to convert
+     * @param edit - if true, the url will point to the editor, otherwise it will point to the viewer
+     */
+    codeToUrl(code, edit = false) {
+        const obj = {
+            code,
+            mermaid: {
+                autoSync: true
+            }
+        };
+        return `https://mermaid.live/${edit ? 'edit' : 'view'}#base64:${Buffer.from(JSON.stringify(obj)).toString('base64')}`;
+    }
+};
 //# sourceMappingURL=mermaid.js.map

package/util/range.d.ts

@@ -31,6 +31,14 @@ export declare const SourcePosition: {
      * returns an invalid source position
      */
     readonly invalid: (this: void) => SourcePosition;
+    /**
+     * Returns the line of a source position
+     */
+    readonly getLine: (this: void, pos: SourcePosition) => number;
+    /**
+     * Returns the column of a source position
+     */
+    readonly getColumn: (this: void, pos: SourcePosition) => number;
 };
 /**
  * **Please note** that for multi-file projects we also have a {@link SourceLocation|source location} type that includes the file name.

package/util/range.js

@@ -31,7 +31,19 @@ exports.SourcePosition = {
      */
     invalid() {
         return [-1, -1];
-    }
+    },
+    /**
+     * Returns the line of a source position
+     */
+    getLine(pos) {
+        return pos[0];
+    },
+    /**
+     * Returns the column of a source position
+     */
+    getColumn(pos) {
+        return pos[1];
+    },
 };
 /**
  * Utility functions for {@link SourceRange|source ranges}.

package/util/slice-direction.d.ts

@@ -0,0 +1,7 @@
+/**
+ * The direction to slice a program.
+ */
+export declare enum SliceDirection {
+    Backward = "backward",
+    Forward = "forward"
+}

package/util/slice-direction.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SliceDirection = void 0;
+/**
+ * The direction to slice a program.
+ */
+var SliceDirection;
+(function (SliceDirection) {
+    SliceDirection["Backward"] = "backward";
+    SliceDirection["Forward"] = "forward";
+})(SliceDirection || (exports.SliceDirection = SliceDirection = {}));
+//# sourceMappingURL=slice-direction.js.map

package/util/version.js

@@ -6,7 +6,7 @@ exports.printVersionInformation = printVersionInformation;
 const semver_1 = require("semver");
 const assert_1 = require("./assert");
 // this is automatically replaced with the current version by release-it
-const version = '2.9.13';
+const version = '2.9.14';
 /**
  * Retrieves the current flowR version as a new {@link SemVer} object.
  */

package/dataflow/graph/invert-dfg.d.ts

@@ -1,6 +0,0 @@
-import { DataflowGraph } from './graph';
-import type { REnvironmentInformation } from '../environments/environment';
-/**
- * Inverts the given dataflow graph by reversing all edges.
- */
-export declare function invertDfg(graph: DataflowGraph, cleanEnv: REnvironmentInformation): DataflowGraph;

package/dataflow/graph/invert-dfg.js

@@ -1,20 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.invertDfg = invertDfg;
-const graph_1 = require("./graph");
-/**
- * Inverts the given dataflow graph by reversing all edges.
- */
-function invertDfg(graph, cleanEnv) {
-    const invertedGraph = new graph_1.DataflowGraph(graph.idMap);
-    for (const [, v] of graph.vertices(true)) {
-        invertedGraph.addVertex(v, cleanEnv);
-    }
-    for (const [from, targets] of graph.edges()) {
-        for (const [to, { types }] of targets) {
-            invertedGraph.addEdge(to, from, types);
-        }
-    }
-    return invertedGraph;
-}
-//# sourceMappingURL=invert-dfg.js.map

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

@@ -1,8 +0,0 @@
-import { DataflowGraph } from './graph';
-import { type AstIdMap } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { ReadOnlyFlowrAnalyzerContext } from '../../project/context/flowr-analyzer-context';
-/**
- * Resolves the dataflow graph ids from slicing criterion form to ids.
- * This returns a **new** graph with the resolved ids.
- */
-export declare function resolveDataflowGraph(graph: DataflowGraph, ctx: ReadOnlyFlowrAnalyzerContext, idMap?: AstIdMap): DataflowGraph;

package/dataflow/graph/resolve-graph.js

@@ -1,59 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.resolveDataflowGraph = resolveDataflowGraph;
-const graph_1 = require("./graph");
-const assert_1 = require("../../util/assert");
-const parse_1 = require("../../slicing/criterion/parse");
-const edge_1 = require("./edge");
-/**
- * Resolves the dataflow graph ids from slicing criterion form to ids.
- * This returns a **new** graph with the resolved ids.
- */
-function resolveDataflowGraph(graph, ctx, idMap) {
-    const resolveMap = idMap ?? graph.idMap;
-    (0, assert_1.guard)(resolveMap !== undefined, 'idMap must be provided to resolve the graph');
-    const cache = new Map();
-    const resolve = (id) => {
-        const cached = cache.get(id);
-        if (cached !== undefined) {
-            return cached;
-        }
-        let resolved;
-        try {
-            resolved = (0, parse_1.slicingCriterionToId)(id, resolveMap);
-        }
-        catch {
-            /* just keep it :D */
-            resolved = id;
-        }
-        cache.set(id, resolved);
-        return resolved;
-    };
-    const resultGraph = new graph_1.DataflowGraph(resolveMap);
-    const roots = graph.rootIds();
-    /* recreate vertices */
-    for (const [id, vertex] of graph.vertices(true)) {
-        resultGraph.addVertex({
-            ...vertex,
-            id: resolve(id)
-        }, ctx.env.makeCleanEnv(), roots.has(id));
-    }
-    /* recreate edges */
-    for (const [from, targets] of graph.edges()) {
-        for (const [to, info] of targets) {
-            for (const type of edge_1.DfEdge.splitTypes(info)) {
-                resultGraph.addEdge(resolve(from), resolve(to), type);
-            }
-        }
-    }
-    for (const unknown of graph.unknownSideEffects) {
-        if (typeof unknown === 'object') {
-            resultGraph.markIdForUnknownSideEffects(resolve(unknown.id), unknown.linkTo);
-        }
-        else {
-            resultGraph.markIdForUnknownSideEffects(resolve(unknown));
-        }
-    }
-    return resultGraph;
-}
-//# sourceMappingURL=resolve-graph.js.map