@eagleoutice/flowr 2.0.15 → 2.0.17

package/abstract-interpretation/processor.js

@@ -1,84 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.runAbstractInterpretation = exports.aiLogger = void 0;
-const cfg_1 = require("../util/cfg/cfg");
-const visitor_1 = require("../util/cfg/visitor");
-const assert_1 = require("../util/assert");
-const binop_1 = require("./handler/binop/binop");
-const domain_1 = require("./domain");
-const log_1 = require("../util/log");
-const edge_1 = require("../dataflow/graph/edge");
-exports.aiLogger = log_1.log.getSubLogger({ name: 'abstract-interpretation' });
-class Stack {
-    backingStore = [];
-    size() {
-        return this.backingStore.length;
-    }
-    peek() {
-        return this.backingStore[this.size() - 1];
-    }
-    pop() {
-        return this.backingStore.pop();
-    }
-    push(item) {
-        this.backingStore.push(item);
-        return item;
-    }
-}
-function getDomainOfDfgChild(node, dfg, nodeMap) {
-    const dfgNode = dfg.graph.get(node);
-    (0, assert_1.guard)(dfgNode !== undefined, `No DFG-Node found with ID ${node}`);
-    const [_, children] = dfgNode;
-    const ids = Array.from(children.entries())
-        .filter(([_, edge]) => (0, edge_1.edgeIncludesType)(edge.types, 1 /* EdgeType.Reads */))
-        .map(([id, _]) => id);
-    const domains = [];
-    for (const id of ids) {
-        const domain = nodeMap.get(id)?.domain;
-        (0, assert_1.guard)(domain !== undefined, `No domain found for ID ${id}`);
-        domains.push(domain);
-    }
-    return (0, domain_1.unifyDomains)(domains);
-}
-function runAbstractInterpretation(ast, dfg) {
-    const cfg = (0, cfg_1.extractCFG)(ast);
-    const operationStack = new Stack();
-    const nodeMap = new Map();
-    (0, visitor_1.visitCfg)(cfg, (node, _) => {
-        const astNode = ast.idMap.get(node.id);
-        if (astNode?.type === "RBinaryOp" /* RType.BinaryOp */) {
-            operationStack.push(new binop_1.BinOp(astNode)).enter();
-        }
-        else if (astNode?.type === "RSymbol" /* RType.Symbol */) {
-            operationStack.peek()?.next({
-                id: astNode.info.id,
-                domain: getDomainOfDfgChild(node.id, dfg, nodeMap),
-                astNode: astNode,
-            });
-        }
-        else if (astNode?.type === "RNumber" /* RType.Number */) {
-            const num = astNode.content.num;
-            operationStack.peek()?.next({
-                id: astNode.info.id,
-                domain: domain_1.Domain.fromScalar(num),
-                astNode: astNode,
-            });
-        }
-        else if (node.type === "end-marker" /* CfgVertexType.EndMarker */) {
-            const operation = operationStack.pop();
-            if (operation === undefined) {
-                return;
-            }
-            const operationResult = operation.exit();
-            (0, assert_1.guard)(!nodeMap.has(operationResult.id), `Domain for ID ${operationResult.id} already exists`);
-            nodeMap.set(operationResult.id, operationResult);
-            operationStack.peek()?.next(operationResult);
-        }
-        else {
-            exports.aiLogger.warn(`Unknown node type ${node.type}`);
-        }
-    });
-    return dfg;
-}
-exports.runAbstractInterpretation = runAbstractInterpretation;
-//# sourceMappingURL=processor.js.map