@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
36 lines • 1.45 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.executeHappensBefore = executeHappensBefore;
const logic_1 = require("../../../util/logic");
const log_1 = require("../../../util/log");
const extract_cfg_1 = require("../../../control-flow/extract-cfg");
const happens_before_1 = require("../../../control-flow/happens-before");
const parse_1 = require("../../../slicing/criterion/parse");
function executeHappensBefore({ ast }, queries) {
const start = Date.now();
const results = {};
const cfg = (0, extract_cfg_1.extractSimpleCfg)(ast);
for (const query of queries) {
const { a, b } = query;
const fingerprint = `${a}<${b}`;
if (fingerprint in results) {
log_1.log.warn('Duplicate happens-before query', query, 'ignoring');
}
try {
const resolvedA = (0, parse_1.slicingCriterionToId)(a, ast.idMap);
const resolvedB = (0, parse_1.slicingCriterionToId)(b, ast.idMap);
results[fingerprint] = (0, happens_before_1.happensBefore)(cfg.graph, resolvedA, resolvedB);
}
catch (e) {
log_1.log.error('Error while executing happens-before query', query, e);
results[fingerprint] = logic_1.Ternary.Maybe;
}
}
return {
'.meta': {
timing: Date.now() - start
},
results
};
}
//# sourceMappingURL=happens-before-query-executor.js.map