@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
60 lines • 2.46 kB
JavaScript
;
var __importDefault = (this && this.__importDefault) || function (mod) {
return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.writeGraphOutput = writeGraphOutput;
const fs_1 = __importDefault(require("fs"));
const json_1 = require("../../../util/json");
function writeGraphOutput(ultimate, outputGraphPath) {
console.log(`Producing benchmark graph data (${outputGraphPath})...`);
const data = [];
for (const { name, measurements } of [{ name: 'per-file', measurements: ultimate.commonMeasurements }, { name: 'per-slice', measurements: ultimate.perSliceMeasurements }]) {
for (const [point, measurement] of measurements) {
if (point === 'close R session' || point === 'initialize R session') {
continue;
}
const pointName = point === 'total' ? `total ${name}` : point;
data.push({
name: pointName[0].toUpperCase() + pointName.slice(1),
unit: 'ms',
value: Number(measurement.mean / 1e6),
range: Number(measurement.std / 1e6),
extra: `median: ${(measurement.median / 1e6).toFixed(2)}ms`
});
}
}
data.push({
name: 'failed to reconstruct/re-parse',
unit: '#',
value: ultimate.failedToRepParse,
extra: `out of ${ultimate.totalSlices} slices`
});
data.push({
name: 'times hit threshold',
unit: '#',
value: ultimate.timesHitThreshold
});
data.push({
name: 'reduction (characters)',
unit: '#',
value: ultimate.reduction.numberOfCharacters.mean,
extra: `std: ${ultimate.reduction.numberOfCharacters.std}`
});
data.push({
name: 'reduction (normalized tokens)',
unit: '#',
value: ultimate.reduction.numberOfNormalizedTokens.mean,
extra: `std: ${ultimate.reduction.numberOfNormalizedTokens.std}`
});
data.push({
name: 'memory (df-graph)',
unit: 'KiB',
value: ultimate.dataflow.sizeOfObject.mean / 1024,
range: ultimate.dataflow.sizeOfObject.std / 1024,
extra: `median: ${(ultimate.dataflow.sizeOfObject.median / 1024).toFixed(2)}`
});
// write the output file
fs_1.default.writeFileSync(outputGraphPath, JSON.stringify(data, json_1.jsonReplacer));
}
//# sourceMappingURL=graph.js.map