@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
63 lines • 3.82 kB
JavaScript
"use strict";
var __importDefault = (this && this.__importDefault) || function (mod) {
return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.InputSourcesDefinition = void 0;
const ansi_1 = require("../../../util/text/ansi");
const time_1 = require("../../../util/text/time");
const joi_1 = __importDefault(require("joi"));
const slice_query_parser_1 = require("../../../cli/repl/parser/slice-query-parser");
const input_sources_query_executor_1 = require("./input-sources-query-executor");
const range_1 = require("../../../util/range");
function inputSourcesQueryLineParser(output, line, _config) {
const criterion = (0, slice_query_parser_1.sliceCriteriaParser)(line[0]);
if (!criterion || criterion.length !== 1) {
output.stderr(output.formatter.format('Invalid provenance query format, a single slicing criterion must be given in the form "(criterion1)"', { color: 1 /* Colors.Red */, effect: ansi_1.ColorEffect.Foreground, style: 1 /* FontStyles.Bold */ }));
return { query: [] };
}
return { query: [{
type: 'input-sources',
criterion: criterion[0],
}], rCode: line[1] };
}
exports.InputSourcesDefinition = {
executor: input_sources_query_executor_1.executeInputSourcesQuery,
asciiSummarizer: async (formatter, analyzer, queryResults, result) => {
const out = queryResults;
result.push(`Query: ${(0, ansi_1.bold)('input-sources', formatter)} (${(0, time_1.printAsMs)(out['.meta'].timing, 0)})`);
const nast = (await analyzer.normalize()).idMap;
for (const [key, sources] of Object.entries(out.results)) {
result.push(` ╰ Input Sources for ${key}`);
for (const { id, trace, type } of sources) {
const kNode = nast.get(id);
const kLoc = kNode ? range_1.SourceLocation.format(range_1.SourceLocation.fromNode(kNode)) : 'unknown location';
result.push(` ╰ ${kLoc} (id: ${id}), type: ${JSON.stringify(type)}, trace: ${trace}`);
}
}
return true;
},
fromLine: inputSourcesQueryLineParser,
schema: joi_1.default.object({
type: joi_1.default.string().valid('input-sources').required().description('The type of the query.'),
criterion: joi_1.default.string().required().description('The slicing criterion to use.'),
config: joi_1.default.object({
networkFunctions: joi_1.default.array().items(joi_1.default.string()).optional().description('Functions that fetch data from the network.'),
randomnessConsumers: joi_1.default.array().items(joi_1.default.string()).optional().description('Functions that consume randomness.'),
randomnessProducers: joi_1.default.array().items(joi_1.default.object({ type: joi_1.default.string().valid('function', 'assignment'), name: joi_1.default.string().required() })).optional().description('Functions or assignments that produce randomness seeds.'),
configurableFunctions: joi_1.default.array().items(joi_1.default.string()).optional().description('Functions that read configuration (options/env).'),
pureFunctions: joi_1.default.array().items(joi_1.default.string()).optional().description('Deterministic functions that keep constant inputs constant.'),
}).optional()
}).description('Input Sources query definition'),
flattenInvolvedNodes: (queryResults) => {
const flattened = [];
const out = queryResults;
for (const obj of Object.values(out.results)) {
for (const e of obj) {
flattened.push(e.id);
}
}
return flattened;
}
};
//# sourceMappingURL=input-sources-query-format.js.map