"use strict";

const fs = require("fs");

const config = require("config");

const { program: commander } = require('commander');

const MxModel = require("./MxModel/MxModel.js");

const MPRCollector = require("./MPRCollector.js")

const { log } = require("console");

let model = new MxModel();

commander

.version('1.0.0', '-v, --version')

.usage('[OPTIONS]...')

.requiredOption('-m, --mpr <pmr file>', 'Path/Filename of the mpr under investigation ')

.requiredOption('-o, --out <output file>', 'Path/Filenam of the result')

.parse();

const options = commander.opts();

main();

function main() {

let workingDir = config.workingDir;

let mprFolder = options.mpr;

let mpr = '';

mpr = findMprFile(mprFolder);

if (!mpr) {

console.error("No .mpr file found in the specified folder.");

process.exit(1);

}

let outFile = options.out;

let folder = workingDir + config.get("outputFolder");

let mprCollector = new MPRCollector(mpr, mprFolder);

mprCollector.collect().then((model) => {

model.sortAll();

console.log("Writing SAT-L output to " + folder + '/' + outFile + '.json');

fs.writeFileSync(folder + '/' + outFile + '.json', JSON.stringify(model, null, 2));

console.log("====================== Ready =======================");

});

}

function findMprFile(folderPath) {

try {

const files = fs.readdirSync(folderPath);

const mprFile = files.find(file => file.endsWith('.mpr'));

return mprFile ? `${folderPath}/${mprFile}` : null;

} catch (err) {

console.error("Error reading folder:", err.message);

return null;

}

}

function getDateTimeString() {

let now = new Date();

let year = now.getFullYear();

let month = ('00' + (now.getMonth() + 1).toString()).slice(-2);

let day = ('00' + now.getDate().toString()).slice(-2);

let hour = ('00' + now.getHours().toString()).slice(-2);

let minute = ('00' + now.getMinutes().toString()).slice(-2);

return `${year}${month}${day}_${hour}${minute}`;

}