@specs-feup/clava-misra 1.0.0 → 1.0.1

package/dist/MISRAContext.js

@@ -0,0 +1,75 @@
+import { MISRAError } from "./MISRA.js";
+import * as fs from 'fs';
+/**
+ * Tracks MISRA errors and warnings during the analysis and/or transformation of the code.
+ * Also generated unique variable and function names.
+ */
+export default class MISRAContext {
+    /**
+     * List of MISRA errors, that could not be resolved during the transformation process
+     */
+    #misraErrors = [];
+    /**
+     * List of MISRA warnings generated by transformations that may alter the program's behavior
+     */
+    #misraWarnings = [];
+    /**
+     * Configuration provided by the user to assist in rule corrections
+     */
+    #config = undefined;
+    #varCounter = 0;
+    #funcCounter = 0;
+    #headerCounter = 0;
+    #varPrefix = "__misra_var_";
+    #funcPrefix = "__misra_func_";
+    #headerPrefix = "misra_hdr_";
+    get errors() {
+        return this.#misraErrors;
+    }
+    get warnings() {
+        return this.#misraWarnings;
+    }
+    get config() {
+        return this.#config;
+    }
+    set config(configFilePath) {
+        if (fs.existsSync(configFilePath)) {
+            const data = fs.readFileSync(configFilePath, 'utf-8');
+            this.#config = new Map(Object.entries(JSON.parse(data)));
+        }
+        else {
+            console.error(`[Clava-MISRATool] Provided configuration file was not found.`);
+            process.exit(1);
+        }
+    }
+    generateVarName() {
+        return `${this.#varPrefix}${this.#varCounter++}`;
+    }
+    generateFuncName() {
+        return `${this.#funcPrefix}${this.#funcCounter++}`;
+    }
+    generateHeaderFilename() {
+        return `${this.#headerPrefix}${this.#headerCounter++}.h`;
+    }
+    addMISRAError(ruleID, $jp, message) {
+        const newError = new MISRAError(ruleID, $jp, message);
+        if (!this.#misraErrors.some(error => error.equals(newError))) {
+            this.#misraErrors.push(newError);
+        }
+    }
+    addMISRAWarning(ruleID, $jp, message) {
+        const newWarning = new MISRAError(ruleID, $jp, message);
+        if (!this.#misraWarnings.some(warning => warning.equals(newWarning))) {
+            this.#misraWarnings.push(newWarning);
+        }
+    }
+    printErrors() {
+        this.#misraErrors.forEach(error => console.log(error.message));
+        console.log('\n');
+    }
+    printWarnings() {
+        this.#misraWarnings.forEach(warning => console.log(warning.message));
+        console.log('\n');
+    }
+}
+//# sourceMappingURL=MISRAContext.js.map

package/dist/MISRAContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAContext.js","sourceRoot":"","sources":["../src/MISRAContext.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAEzB;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B;;OAEG;IACH,YAAY,GAAiB,EAAE,CAAC;IAChC;;OAEG;IACH,cAAc,GAAiB,EAAE,CAAC;IAElC;;OAEG;IACH,OAAO,GAAiC,SAAS,CAAC;IAElD,WAAW,GAAG,CAAC,CAAC;IAChB,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IAEnB,UAAU,GAAG,cAAc,CAAC;IAC5B,WAAW,GAAG,eAAe,CAAC;IAC9B,aAAa,GAAG,YAAY,CAAC;IAE7B,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;IAED,IAAI,MAAM,CAAC,cAAsB;QAC7B,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAC;YAC9E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAED,eAAe;QACX,OAAO,GAAG,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACrD,CAAC;IAED,gBAAgB;QACZ,OAAO,GAAG,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACvD,CAAC;IAED,sBAAsB;QAClB,OAAO,GAAG,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC;IAC7D,CAAC;IAED,aAAa,CAAC,MAAc,EAAE,GAAc,EAAE,OAAe;QACzD,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAEtD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;IAED,eAAe,CAAC,MAAc,EAAE,GAAc,EAAE,OAAe;QAC3D,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAExD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;IACL,CAAC;IAED,WAAW;QACP,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,aAAa;QACT,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;CACJ"}

package/dist/MISRARule.d.ts

@@ -0,0 +1,56 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAContext from "./MISRAContext.js";
+import { MISRATransformationReport } from "./MISRA.js";
+/**
+ * Represents a MISRA Rule that detects and corrects violations in the code according to MISRA standards.
+ *
+ * Need to implement:
+ *  - match($jp, logErrors)
+ *  - transform($jp)
+ */
+export default abstract class MISRARule {
+    /**
+     * Unique identifier for the MISRA rule.
+     */
+    readonly ruleID: string;
+    /**
+     * MISRA context for error tracking and rule transformations state
+     */
+    protected context: MISRAContext;
+    /**
+     *
+     * @param ruleID - Unique identifier for the MISRA-C rule
+     * @param context - MISRA context for error tracking and rule transformations state
+     */
+    constructor(ruleID: string, context: MISRAContext);
+    /**
+     * Checks if the joinpoint violates the rule
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    abstract match($jp: Joinpoint, logErrors: boolean): boolean;
+    /**
+     * Transforms the joinpoint to comply with the MISRA-C rule
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    abstract transform($jp: Joinpoint): MISRATransformationReport;
+    /**
+     * Logs a MISRA-C rule violation error
+     *
+     * @param $jp - The joinpoint where the violation occurred
+     * @param msg - Description of the violation
+     */
+    protected logMISRAError($jp: Joinpoint, msg: string): void;
+    /**
+     * Logs a warning from automatic MISRA-C correction, which may change the program's behavior
+     *
+     * @param $jp - The joinpoint where the correction was applied
+     * @param msg - Description of the warning
+     */
+    protected logMISRAWarning($jp: Joinpoint, msg: string): void;
+}
+//# sourceMappingURL=MISRARule.d.ts.map

package/dist/MISRARule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRARule.d.ts","sourceRoot":"","sources":["../src/MISRARule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,SAAS;IACnC;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;IAEhC;;;;OAIG;gBACS,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY;IAKjD;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO;IAE3D;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;IAE7D;;;;;OAKG;IACH,SAAS,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAC,MAAM,GAAG,IAAI;IAQzD;;;;;OAKG;IACH,SAAS,CAAC,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAC,MAAM,GAAG,IAAI;CAO9D"}

package/dist/MISRARule.js

@@ -0,0 +1,45 @@
+/**
+ * Represents a MISRA Rule that detects and corrects violations in the code according to MISRA standards.
+ *
+ * Need to implement:
+ *  - match($jp, logErrors)
+ *  - transform($jp)
+ */
+export default class MISRARule {
+    /**
+     * Unique identifier for the MISRA rule.
+     */
+    ruleID;
+    /**
+     * MISRA context for error tracking and rule transformations state
+     */
+    context;
+    /**
+     *
+     * @param ruleID - Unique identifier for the MISRA-C rule
+     * @param context - MISRA context for error tracking and rule transformations state
+     */
+    constructor(ruleID, context) {
+        this.ruleID = ruleID;
+        this.context = context;
+    }
+    /**
+     * Logs a MISRA-C rule violation error
+     *
+     * @param $jp - The joinpoint where the violation occurred
+     * @param msg - Description of the violation
+     */
+    logMISRAError($jp, msg) {
+        this.context.addMISRAError(this.ruleID, $jp, `MISRA-C Rule ${this.ruleID} violation at ${$jp.filepath}@${$jp.line}:${$jp.column}: ${msg}`);
+    }
+    /**
+     * Logs a warning from automatic MISRA-C correction, which may change the program's behavior
+     *
+     * @param $jp - The joinpoint where the correction was applied
+     * @param msg - Description of the warning
+     */
+    logMISRAWarning($jp, msg) {
+        this.context.addMISRAWarning(this.ruleID, $jp, `Warning: MISRA-C Rule ${this.ruleID} correction at ${$jp.filepath}@${$jp.line}:${$jp.column}: ${msg}.`);
+    }
+}
+//# sourceMappingURL=MISRARule.js.map

package/dist/MISRARule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRARule.js","sourceRoot":"","sources":["../src/MISRARule.ts"],"names":[],"mappings":"AAIA;;;;;;GAMG;AACH,MAAM,CAAC,OAAO,OAAgB,SAAS;IACnC;;OAEG;IACM,MAAM,CAAS;IAExB;;OAEG;IACO,OAAO,CAAe;IAEhC;;;;OAIG;IACH,YAAY,MAAc,EAAE,OAAqB;QAC7C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IAC3B,CAAC;IAmBD;;;;;OAKG;IACO,aAAa,CAAC,GAAc,EAAE,GAAU;QAC9C,IAAI,CAAC,OAAO,CAAC,aAAa,CACtB,IAAI,CAAC,MAAM,EACX,GAAG,EACH,gBAAgB,IAAI,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAC/F,CAAA;IACL,CAAC;IAED;;;;;OAKG;IACO,eAAe,CAAC,GAAc,EAAE,GAAU;QAChD,IAAI,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,MAAM,EACX,GAAG,EACH,yBAAyB,IAAI,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,GAAG,CAC1G,CAAA;IACL,CAAC;CACJ"}

package/dist/MISRATool.d.ts

@@ -0,0 +1,12 @@
+import { FileJp, Program } from "@specs-feup/clava/api/Joinpoints.js";
+import { MISRAError } from "./MISRA.js";
+export default class MISRATool {
+    #private;
+    private static init;
+    private static validateStdVersion;
+    static checkCompliance(startingPoint?: Program | FileJp): void;
+    static applyCorrections(configFilePath?: string, startingPoint?: Program | FileJp): void;
+    private static transformAST;
+    static getMISRAErrors(): MISRAError[];
+}
+//# sourceMappingURL=MISRATool.d.ts.map

package/dist/MISRATool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRATool.d.ts","sourceRoot":"","sources":["../src/MISRATool.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAa,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAIjF,OAAO,EAAE,UAAU,EAA2B,MAAM,YAAY,CAAC;AAEjE,MAAM,CAAC,OAAO,OAAO,SAAS;;IAI1B,OAAO,CAAC,MAAM,CAAC,IAAI;IAMnB,OAAO,CAAC,MAAM,CAAC,kBAAkB;WAUnB,eAAe,CAAC,aAAa,GAAE,OAAO,GAAG,MAAgC;WAgBzE,gBAAgB,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,aAAa,GAAE,OAAO,GAAG,MAAgC;IA2BjH,OAAO,CAAC,MAAM,CAAC,YAAY;WAsBb,cAAc,IAAI,UAAU,EAAE;CAG/C"}

package/dist/MISRATool.js

@@ -0,0 +1,84 @@
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { Program } from "@specs-feup/clava/api/Joinpoints.js";
+import misraRules from "./rules/index.js";
+import MISRAContext from "./MISRAContext.js";
+import { MISRATransformationType } from "./MISRA.js";
+export default class MISRATool {
+    static #misraRules;
+    static #context;
+    static init(startingPoint) {
+        this.validateStdVersion(startingPoint);
+        this.#context = new MISRAContext();
+        this.#misraRules = misraRules(this.#context);
+    }
+    static validateStdVersion(startingPoint) {
+        const allowedVersions = ["c90", "c99", "c11"];
+        const stdVersion = startingPoint instanceof Program ? startingPoint.standard : startingPoint.root.standard;
+        if (!allowedVersions.includes(stdVersion)) {
+            console.error(`[Clava-MISRATool] Invalid --std value. Allowed values: ${allowedVersions.join(", ")}`);
+            process.exit(1);
+        }
+    }
+    static checkCompliance(startingPoint = Query.root()) {
+        this.init(startingPoint);
+        const nodes = startingPoint.descendants;
+        for (const node of nodes) {
+            for (const rule of this.#misraRules) {
+                rule.match(node, true);
+            }
+        }
+        if (this.#context.errors.length > 0) {
+            this.#context.printErrors();
+        }
+        else {
+            console.log("[Clava-MISRATool] No MISRA-C violations detected.");
+        }
+    }
+    static applyCorrections(configFilePath, startingPoint = Query.root()) {
+        this.init(startingPoint);
+        if (configFilePath) {
+            this.#context.config = configFilePath;
+        }
+        let iteration = 0;
+        let modified = false;
+        do {
+            console.log(`[Clava-MISRATool] Iteration #${++iteration}: Applying MISRA-C transformations...`);
+            modified = this.transformAST(startingPoint);
+        } while (modified);
+        if (this.#context.errors.length === 0 && this.#context.warnings.length === 0) {
+            console.log("[Clava-MISRATool] All detected violations were corrected.");
+        }
+        else {
+            if (this.#context.warnings.length > 0) {
+                console.log("\n[Clava-MISRATool] Warnings from automatic MISRA-C corrections (these may change the program's behavior):");
+                this.#context.printWarnings();
+            }
+            if (this.#context.errors.length > 0) {
+                console.log("\n[Clava-MISRATool] Remaining MISRA-C violations:");
+                this.#context.printErrors();
+            }
+        }
+    }
+    static transformAST($jp) {
+        let modified = false;
+        for (const rule of this.#misraRules) {
+            const transformReport = rule.transform($jp);
+            if (transformReport.type !== MISRATransformationType.NoChange) {
+                modified = true;
+                if (transformReport.type === MISRATransformationType.Removal)
+                    return modified;
+                else if (transformReport.type === MISRATransformationType.Replacement)
+                    $jp = transformReport.newNode;
+            }
+        }
+        for (const child of $jp.children) {
+            if (this.transformAST(child))
+                modified = true;
+        }
+        return modified;
+    }
+    static getMISRAErrors() {
+        return this.#context.errors;
+    }
+}
+//# sourceMappingURL=MISRATool.js.map

package/dist/MISRATool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRATool.js","sourceRoot":"","sources":["../src/MISRATool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAqB,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,UAAU,MAAM,kBAAkB,CAAC;AAC1C,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAc,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAEjE,MAAM,CAAC,OAAO,OAAO,SAAS;IAC1B,MAAM,CAAC,WAAW,CAAc;IAChC,MAAM,CAAC,QAAQ,CAAe;IAEtB,MAAM,CAAC,IAAI,CAAC,aAA+B;QAC/C,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,aAA+B;QAC7D,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,aAAa,YAAY,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAE,aAAa,CAAC,IAAgB,CAAC,QAAQ,CAAC;QAExH,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,KAAK,CAAC,0DAA0D,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,eAAe,CAAC,gBAAkC,KAAK,CAAC,IAAI,EAAa;QACnF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAClC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAChC,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,gBAAgB,CAAC,cAAuB,EAAE,gBAAkC,KAAK,CAAC,IAAI,EAAa;QAC7G,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzB,IAAI,cAAc,EAAE,CAAC;YACjB,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,cAAc,CAAC;QAC1C,CAAC;QAED,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC;YACA,OAAO,CAAC,GAAG,CAAC,gCAAgC,EAAE,SAAS,uCAAuC,CAAC,CAAC;YAChG,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QAChD,CAAC,QAAO,QAAQ,EAAE;QAElB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,GAAG,CAAC,2DAA2D,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACJ,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,4GAA4G,CAAC,CAAC;gBAC1H,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;YAClC,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;gBACjE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,GAAc;QACtC,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAE5C,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,QAAQ,EAAE,CAAC;gBAC5D,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,OAAO;oBACxD,OAAO,QAAQ,CAAC;qBACf,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,WAAW;oBACjE,GAAG,GAAG,eAAe,CAAC,OAAoB,CAAC;YACnD,CAAC;QACL,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBACxB,QAAQ,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,MAAM,CAAC,cAAc;QACxB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAChC,CAAC;CACJ"}

package/dist/foo.d.ts

@@ -0,0 +1,2 @@
+export declare function foo(): number;
+//# sourceMappingURL=foo.d.ts.map

package/dist/foo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foo.d.ts","sourceRoot":"","sources":["../src/foo.ts"],"names":[],"mappings":"AAGA,wBAAgB,GAAG,WAElB"}

package/{src/foo.ts → dist/foo.js}

@@ -1,6 +1,7 @@
 import { FunctionJp } from "@specs-feup/clava/api/Joinpoints.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-
 export function foo() {
     return Query.search(FunctionJp).get().length;
-};
+}
+;
+//# sourceMappingURL=foo.js.map

package/dist/foo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"foo.js","sourceRoot":"","sources":["../src/foo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,qCAAqC,CAAC;AACjE,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD,MAAM,UAAU,GAAG;IACf,OAAO,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;AACjD,CAAC;AAAA,CAAC"}

package/dist/main.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=main.d.ts.map

package/dist/main.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../src/main.ts"],"names":[],"mappings":""}

package/dist/main.js

@@ -0,0 +1,5 @@
+import MISRATool from "./MISRATool.js";
+MISRATool.checkCompliance();
+MISRATool.applyCorrections();
+//await VisualizationTool.visualize();
+//# sourceMappingURL=main.js.map

package/dist/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../src/main.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,gBAAgB,CAAC;AAEvC,SAAS,CAAC,eAAe,EAAE,CAAC;AAC5B,SAAS,CAAC,gBAAgB,EAAE,CAAC;AAE7B,sCAAsC"}

package/dist/misra/MISRAAnalyser.d.ts

@@ -0,0 +1,14 @@
+import Analyser from "@specs-feup/clava/api/clava/analysis/Analyser.js";
+import { FileJp, Joinpoint, Program } from "@specs-feup/clava/api/Joinpoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+type T = Program | FileJp;
+export default abstract class MISRAAnalyser extends Analyser {
+    #private;
+    protected abstract ruleMapper: Map<number, (jp: T) => void>;
+    constructor(rules: number[]);
+    get rules(): number[];
+    protected logMISRAError(jp: Joinpoint, message: string, fix?: Fix): void;
+    analyse($startNode?: T): import("@specs-feup/clava/api/clava/analysis/ResultList.js").default | undefined;
+}
+export {};
+//# sourceMappingURL=MISRAAnalyser.d.ts.map

package/dist/misra/MISRAAnalyser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAAnalyser.d.ts","sourceRoot":"","sources":["../../src/misra/MISRAAnalyser.ts"],"names":[],"mappings":"AACA,OAAO,QAAQ,MAAM,kDAAkD,CAAC;AAExE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,KAAK,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC;AAE1B,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,aAAc,SAAQ,QAAQ;;IAGxD,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC;gBAGhD,KAAK,EAAE,MAAM,EAAE;IAK3B,IAAI,KAAK,IAAI,MAAM,EAAE,CAAqC;IAE1D,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG;IAIjE,OAAO,CAAC,UAAU,GAAE,CAA2B;CAgBlD"}

package/{src/misra/MISRAAnalyser.ts → dist/misra/MISRAAnalyser.js}

@@ -1,43 +1,33 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
 import Analyser from "@specs-feup/clava/api/clava/analysis/Analyser.js";
 import AnalyserResult from "@specs-feup/clava/api/clava/analysis/AnalyserResult.js";
-import { FileJp, Joinpoint, Program } from "@specs-feup/clava/api/Joinpoints.js";
-import ResultFormatManager from "@specs-feup/clava/api/clava/analysis/ResultFormatManager.js"
-import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
-
-type T = Program | FileJp;
-
-export default abstract class MISRAAnalyser extends Analyser {
-    #rules: number[];
+import ResultFormatManager from "@specs-feup/clava/api/clava/analysis/ResultFormatManager.js";
+export default class MISRAAnalyser extends Analyser {
+    #rules;
     #resultFormatManager = new ResultFormatManager();
-    protected abstract ruleMapper: Map<number, (jp: T) => void>;
-    #results: AnalyserResult[] = [];
-
-    constructor(rules: number[]) {
+    #results = [];
+    constructor(rules) {
         super();
         this.#rules = rules;
     }
-
-    get rules(): number[] {return this.#rules.map(num => num)};
-
-    protected logMISRAError(jp: Joinpoint, message: string, fix?: Fix) {
-        this.#results.push(new AnalyserResult(`Non-compliant code at ${jp?.filename}@${jp?.line}:${jp?.column}.`, jp, message, fix))
+    get rules() { return this.#rules.map(num => num); }
+    ;
+    logMISRAError(jp, message, fix) {
+        this.#results.push(new AnalyserResult(`Non-compliant code at ${jp?.filename}@${jp?.line}:${jp?.column}.`, jp, message, fix));
     }
-
-    analyse($startNode: T = Query.root() as Program) {
+    analyse($startNode = Query.root()) {
         for (const rule of this.rules) {
             const rulePass = this.ruleMapper.get(rule);
             if (rulePass) {
                 rulePass($startNode);
             }
             else {
-                throw new Error("Analyser doesn't support rule number " + rule)
+                throw new Error("Analyser doesn't support rule number " + rule);
             }
         }
-
         this.#resultFormatManager.setAnalyserResultList(this.#results);
         const fileResult = this.#resultFormatManager.formatResultList($startNode);
-
         return fileResult;
     }
-}
+}
+//# sourceMappingURL=MISRAAnalyser.js.map

package/dist/misra/MISRAAnalyser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAAnalyser.js","sourceRoot":"","sources":["../../src/misra/MISRAAnalyser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,QAAQ,MAAM,kDAAkD,CAAC;AACxE,OAAO,cAAc,MAAM,wDAAwD,CAAC;AAEpF,OAAO,mBAAmB,MAAM,6DAA6D,CAAA;AAK7F,MAAM,CAAC,OAAO,OAAgB,aAAc,SAAQ,QAAQ;IACxD,MAAM,CAAW;IACjB,oBAAoB,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAEjD,QAAQ,GAAqB,EAAE,CAAC;IAEhC,YAAY,KAAe;QACvB,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACxB,CAAC;IAED,IAAI,KAAK,KAAc,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA,CAAA,CAAC;IAAA,CAAC;IAEjD,aAAa,CAAC,EAAa,EAAE,OAAe,EAAE,GAAS;QAC7D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,yBAAyB,EAAE,EAAE,QAAQ,IAAI,EAAE,EAAE,IAAI,IAAI,EAAE,EAAE,MAAM,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAA;IAChI,CAAC;IAED,OAAO,CAAC,aAAgB,KAAK,CAAC,IAAI,EAAa;QAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;iBACI,CAAC;gBACF,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,IAAI,CAAC,CAAA;YACnE,CAAC;QACL,CAAC;QAED,IAAI,CAAC,oBAAoB,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAE1E,OAAO,UAAU,CAAC;IACtB,CAAC;CACJ"}

package/dist/misra/MISRAPass.d.ts

@@ -0,0 +1,27 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import SimplePass from "@specs-feup/lara/api/lara/pass/SimplePass.js";
+import { Preprocessing, PreprocessingReqs } from "./MISRAReporter.js";
+import MISRAPassResult from "./MISRAPassResult.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default abstract class MISRAPass extends SimplePass {
+    protected _ruleMapper: Map<number, ($jp: Joinpoint) => void>;
+    private _executedRules;
+    private _rules;
+    private _currentRule;
+    protected _preprocessing: Preprocessing | undefined;
+    private _result;
+    protected abstract _preprocessingReqs: PreprocessingReqs[];
+    get preprocessingReqs(): PreprocessingReqs[];
+    abstract initRuleMapper(): void;
+    setPreprocessing($preprocessing: Preprocessing): void;
+    protected logMISRAError(message: string, fix?: Fix): void;
+    private resetRules;
+    constructor(includeDescendants: boolean | undefined, rules: number[]);
+    private executeRule;
+    protected dependsOn($id: number, $jp: Joinpoint): void;
+    abstract matchJoinpoint($jp: LaraJoinPoint): boolean;
+    transformJoinpoint($jp: LaraJoinPoint): MISRAPassResult;
+    protected abstract _name: string;
+}
+//# sourceMappingURL=MISRAPass.d.ts.map

package/dist/misra/MISRAPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAPass.d.ts","sourceRoot":"","sources":["../../src/misra/MISRAPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,UAAU,MAAM,8CAA8C,CAAC;AAEtE,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,eAAe,MAAM,sBAAsB,CAAC;AACnD,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,SAAU,SAAQ,UAAU;IACtD,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,SAAS,KAAK,IAAI,CAAC,CAAa;IACzE,OAAO,CAAC,cAAc,CAAmC;IACzD,OAAO,CAAC,MAAM,CAAW;IACzB,OAAO,CAAC,YAAY,CAAc;IAClC,SAAS,CAAC,cAAc,EAAE,aAAa,GAAG,SAAS,CAAC;IACpD,OAAO,CAAC,OAAO,CAA8B;IAC7C,SAAS,CAAC,QAAQ,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IAE3D,IAAI,iBAAiB,wBAEpB;IAED,QAAQ,CAAC,cAAc,IAAI,IAAI;IAE/B,gBAAgB,CAAC,cAAc,EAAE,aAAa,GAAG,IAAI;IAIrD,SAAS,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG;IAIlD,OAAO,CAAC,UAAU;gBAMN,kBAAkB,qBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE;IAU/D,OAAO,CAAC,WAAW;IASnB,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS;IAS/C,QAAQ,CAAC,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAEpD,kBAAkB,CAAC,GAAG,EAAE,aAAa,GAAG,eAAe;IAevD,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAEpC"}

package/dist/misra/MISRAPass.js

@@ -0,0 +1,60 @@
+import SimplePass from "@specs-feup/lara/api/lara/pass/SimplePass.js";
+import MISRAPassResult from "./MISRAPassResult.js";
+export default class MISRAPass extends SimplePass {
+    _ruleMapper = new Map();
+    _executedRules = new Map();
+    _rules;
+    _currentRule = -1;
+    _preprocessing;
+    _result;
+    get preprocessingReqs() {
+        return this._preprocessingReqs;
+    }
+    setPreprocessing($preprocessing) {
+        this._preprocessing = $preprocessing;
+    }
+    logMISRAError(message, fix) {
+        this._result?.addReport({ rule: this._currentRule, message, fix });
+    }
+    resetRules() {
+        this._executedRules.forEach(($value, $key) => {
+            this._executedRules.set($key, false);
+        }, this);
+    }
+    constructor(includeDescendants = true, rules) {
+        super(includeDescendants);
+        this._rules = rules;
+        this.initRuleMapper();
+        this._ruleMapper.forEach(($value, $key) => {
+            this._executedRules.set($key, false);
+        }, this);
+    }
+    executeRule($id, $jp) {
+        if (!this._ruleMapper.has($id)) {
+            throw new Error(`Pass does not support rule ${$id}`);
+        }
+        this._ruleMapper.get($id)($jp);
+        this._executedRules.set($id, true);
+    }
+    dependsOn($id, $jp) {
+        const tempId = this._currentRule;
+        if (this._executedRules.get($id) === false) {
+            this._currentRule = $id;
+            this.executeRule($id, $jp);
+        }
+        this._currentRule = tempId;
+    }
+    transformJoinpoint($jp) {
+        if (!this._preprocessing) {
+            throw new Error("Preprocessing object has not been set.");
+        }
+        this._result = new MISRAPassResult(this, $jp);
+        this.resetRules();
+        this._rules.forEach($id => {
+            this._currentRule = $id;
+            this.executeRule($id, $jp);
+        }, this);
+        return this._result;
+    }
+}
+//# sourceMappingURL=MISRAPass.js.map

package/dist/misra/MISRAPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAPass.js","sourceRoot":"","sources":["../../src/misra/MISRAPass.ts"],"names":[],"mappings":"AAEA,OAAO,UAAU,MAAM,8CAA8C,CAAC;AAGtE,OAAO,eAAe,MAAM,sBAAsB,CAAC;AAGnD,MAAM,CAAC,OAAO,OAAgB,SAAU,SAAQ,UAAU;IAC5C,WAAW,GAA0C,IAAI,GAAG,EAAE,CAAC;IACjE,cAAc,GAAyB,IAAI,GAAG,EAAE,CAAC;IACjD,MAAM,CAAW;IACjB,YAAY,GAAW,CAAC,CAAC,CAAC;IACxB,cAAc,CAA4B;IAC5C,OAAO,CAA8B;IAG7C,IAAI,iBAAiB;QACjB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACnC,CAAC;IAID,gBAAgB,CAAC,cAA6B;QAC1C,IAAI,CAAC,cAAc,GAAG,cAAc,CAAC;IACzC,CAAC;IAES,aAAa,CAAC,OAAe,EAAE,GAAS;QAC9C,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,GAAG,EAAC,CAAC,CAAC;IACrE,CAAC;IAEO,UAAU;QACd,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,MAAe,EAAE,IAAY,EAAE,EAAE;YAC1D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAED,YAAY,qBAA8B,IAAI,EAAE,KAAe;QAC3D,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,cAAc,EAAE,CAAC;QAEtB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,MAAgC,EAAE,IAAY,EAAE,EAAE;YACxE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,WAAW,CAAC,GAAW,EAAE,GAAc;QAC3C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;QAEA,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAA8B,CAAC,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IAES,SAAS,CAAC,GAAW,EAAE,GAAc;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;QACjC,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;YACzC,IAAI,CAAC,YAAY,GAAG,GAAG,CAAC;YACxB,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC;IAC/B,CAAC;IAID,kBAAkB,CAAC,GAAkB;QACjC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,CAAC,OAAO,GAAG,IAAI,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACtB,IAAI,CAAC,YAAY,GAAG,GAAG,CAAC;YACxB,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAgB,CAAC,CAAC;QAC5C,CAAC,EAAE,IAAI,CAAC,CAAC;QAET,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;CAIJ"}

package/dist/misra/MISRAPassResult.d.ts

@@ -0,0 +1,13 @@
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+import PassResult from "@specs-feup/lara/api/lara/pass/results/PassResult.js";
+export interface MISRAReport {
+    rule: number;
+    message: string;
+    fix?: Fix;
+}
+export default class MISRAPassResult extends PassResult {
+    protected _reports: MISRAReport[];
+    get reports(): MISRAReport[];
+    addReport($report: MISRAReport): void;
+}
+//# sourceMappingURL=MISRAPassResult.d.ts.map

package/dist/misra/MISRAPassResult.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAPassResult.d.ts","sourceRoot":"","sources":["../../src/misra/MISRAPassResult.ts"],"names":[],"mappings":"AAAA,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAC9D,OAAO,UAAU,MAAM,sDAAsD,CAAC;AAE9E,MAAM,WAAW,WAAW;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAA;CACZ;AAED,MAAM,CAAC,OAAO,OAAO,eAAgB,SAAQ,UAAU;IACnD,SAAS,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAM;IAEvC,IAAI,OAAO,IAAI,WAAW,EAAE,CAE3B;IAED,SAAS,CAAC,OAAO,EAAE,WAAW;CAGjC"}

package/dist/misra/MISRAPassResult.js

@@ -0,0 +1,11 @@
+import PassResult from "@specs-feup/lara/api/lara/pass/results/PassResult.js";
+export default class MISRAPassResult extends PassResult {
+    _reports = [];
+    get reports() {
+        return this._reports;
+    }
+    addReport($report) {
+        this._reports.push($report);
+    }
+}
+//# sourceMappingURL=MISRAPassResult.js.map

package/dist/misra/MISRAPassResult.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAPassResult.js","sourceRoot":"","sources":["../../src/misra/MISRAPassResult.ts"],"names":[],"mappings":"AACA,OAAO,UAAU,MAAM,sDAAsD,CAAC;AAQ9E,MAAM,CAAC,OAAO,OAAO,eAAgB,SAAQ,UAAU;IACzC,QAAQ,GAAkB,EAAE,CAAC;IAEvC,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAED,SAAS,CAAC,OAAoB;QAC1B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;CACJ"}

package/dist/misra/MISRAReporter.d.ts

@@ -0,0 +1,20 @@
+import { FunctionJp, Joinpoint, TypedefNameDecl, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAPass from "./MISRAPass.js";
+import AggregatePassResult from "@specs-feup/lara/api/lara/pass/results/AggregatePassResult.js";
+export declare enum PreprocessingReqs {
+    TYPEDEF_DECLS = "typedefDecls",
+    EXTERNAL_LINKAGE_DECLS = "externalLinkageDecls"
+}
+export interface Preprocessing {
+    typedefDecls?: TypedefNameDecl[];
+    externalLinkageDecls?: (FunctionJp | Vardecl)[];
+}
+export default class MISRAReporter {
+    private _preprocessing;
+    private _preprocessingMapper;
+    private initTypedefs;
+    private static hasExternalLinkage;
+    private initExternals;
+    applyPass($pass: MISRAPass, $jp: Joinpoint): AggregatePassResult | undefined;
+}
+//# sourceMappingURL=MISRAReporter.d.ts.map

package/dist/misra/MISRAReporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAReporter.d.ts","sourceRoot":"","sources":["../../src/misra/MISRAReporter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,UAAU,EAAE,SAAS,EAAgB,eAAe,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC5H,OAAO,SAAS,MAAM,gBAAgB,CAAC;AAGvC,OAAO,mBAAmB,MAAM,+DAA+D,CAAC;AAGhG,oBAAY,iBAAiB;IACzB,aAAa,iBAAiB;IAC9B,sBAAsB,yBAAyB;CAClD;AAED,MAAM,WAAW,aAAa;IAC1B,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC;IACjC,oBAAoB,CAAC,EAAE,CAAC,UAAU,GAAG,OAAO,CAAC,EAAE,CAAA;CAClD;AAED,MAAM,CAAC,OAAO,OAAO,aAAa;IAC9B,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,oBAAoB,CAGzB;IAEH,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAIjC,OAAO,CAAC,aAAa;IAWrB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,mBAAmB,GAAG,SAAS;CAa/E"}

package/dist/misra/MISRAReporter.js

@@ -0,0 +1,43 @@
+import { FileJp, FunctionJp, StorageClass, TypedefNameDecl, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+export var PreprocessingReqs;
+(function (PreprocessingReqs) {
+    PreprocessingReqs["TYPEDEF_DECLS"] = "typedefDecls";
+    PreprocessingReqs["EXTERNAL_LINKAGE_DECLS"] = "externalLinkageDecls";
+})(PreprocessingReqs || (PreprocessingReqs = {}));
+export default class MISRAReporter {
+    _preprocessing = {};
+    _preprocessingMapper = new Map([
+        [PreprocessingReqs.TYPEDEF_DECLS, this.initTypedefs.bind(this)],
+        [PreprocessingReqs.EXTERNAL_LINKAGE_DECLS, this.initExternals.bind(this)]
+    ]);
+    initTypedefs() {
+        this._preprocessing.typedefDecls = Query.search(TypedefNameDecl).get();
+    }
+    static hasExternalLinkage($class) {
+        return $class !== StorageClass.STATIC && $class !== StorageClass.EXTERN;
+    }
+    initExternals() {
+        this._preprocessing.externalLinkageDecls = [];
+        Query.search(FileJp).get().forEach(file => {
+            file.children.forEach(child => {
+                if ((child instanceof Vardecl || child instanceof FunctionJp) && MISRAReporter.hasExternalLinkage(child.storageClass)) {
+                    this._preprocessing.externalLinkageDecls?.push(child);
+                }
+            }, this);
+        }, this);
+    }
+    applyPass($pass, $jp) {
+        $pass.preprocessingReqs.forEach($req => {
+            if (!this._preprocessing[$req]) {
+                this._preprocessingMapper.get($req)();
+            }
+        });
+        $pass.setPreprocessing(this._preprocessing);
+        const result = $pass.apply($jp);
+        if (result.results.some(res => res.reports.length > 0)) {
+            return result;
+        }
+    }
+}
+//# sourceMappingURL=MISRAReporter.js.map

package/dist/misra/MISRAReporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MISRAReporter.js","sourceRoot":"","sources":["../../src/misra/MISRAReporter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAa,YAAY,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAE5H,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAKzD,MAAM,CAAN,IAAY,iBAGX;AAHD,WAAY,iBAAiB;IACzB,mDAA8B,CAAA;IAC9B,oEAA+C,CAAA;AACnD,CAAC,EAHW,iBAAiB,KAAjB,iBAAiB,QAG5B;AAOD,MAAM,CAAC,OAAO,OAAO,aAAa;IACtB,cAAc,GAAkB,EAAE,CAAC;IACnC,oBAAoB,GAAuC,IAAI,GAAG,CAAC;QACvE,CAAC,iBAAiB,CAAC,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;KAC5E,CAAC,CAAC;IAEK,YAAY;QAChB,IAAI,CAAC,cAAc,CAAC,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3E,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,MAAoB;QAClD,OAAO,MAAM,KAAK,YAAY,CAAC,MAAM,IAAI,MAAM,KAAK,YAAY,CAAC,MAAM,CAAC;IAC5E,CAAC;IAEO,aAAa;QACjB,IAAI,CAAC,cAAc,CAAC,oBAAoB,GAAG,EAAE,CAAC;QAC9C,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACtC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBAC1B,IAAI,CAAC,KAAK,YAAY,OAAO,IAAI,KAAK,YAAY,UAAU,CAAC,IAAI,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;oBACpH,IAAI,CAAC,cAAc,CAAC,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1D,CAAC;YACL,CAAC,EAAE,IAAI,CAAC,CAAC;QACb,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAED,SAAS,CAAC,KAAgB,EAAE,GAAc;QACtC,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAgB,EAAE,CAAC;YAC1D,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;QACvD,IAAK,MAAM,CAAC,OAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAC5E,OAAO,MAAM,CAAC;QAClB,CAAC;IACL,CAAC;CACJ"}