@specs-feup/clava-misra 1.0.0 → 1.0.2

package/dist/rules/Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.d.ts

@@ -0,0 +1,55 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 20.2: The ', " or \ characters and the /* or // character sequences shall not occur in a header filename
+ */
+export default class Rule_20_2_InvalidHeaderFileName extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint is a header file whose name includes invalid characters.
+     *
+     * @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
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Renames a header file to ensure it contains only valid characters and updates all related includes accordingly.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+    /**
+     * Finds all include joinpoints that reference a specific header file
+     *
+     * @param headerFileJp - The header file joinpoint
+     * @returns List of matching include statements
+     */
+    private getMatchingIncludes;
+    /**
+     *  Computes the full path to the header file based on the include statement
+     *
+     * @param includeJp The include joinpoint
+     * @returns Resolved path to the header file
+     */
+    private getHeaderFilePath;
+    /**
+     * Updates the provided include joinpoints to reference the new header file name
+     *
+     * @param includesOfHeader List of include joinpoints to update
+     * @param newFilename The new filename for the header file
+     */
+    private updateIncludes;
+    /**
+     * Computes the new include path with the updated header file name
+     *
+     * @param includeJp - Original include statement
+     * @param newHeaderFileName - New header file name
+     * @returns The updated include path
+     */
+    private getNewIncludeName;
+}
+//# sourceMappingURL=Rule_20_2_InvalidHeaderFileName.d.ts.map

package/dist/rules/Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_20_2_InvalidHeaderFileName.d.ts","sourceRoot":"","sources":["../../../src/rules/Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAIpF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,+BAAgC,SAAQ,SAAS;gBACtD,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;OAKG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;IAcpD;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAM3B;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IAczB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAgBtB;;;;;;OAMG;IACH,OAAO,CAAC,iBAAiB;CAM5B"}

package/dist/rules/Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.js

@@ -0,0 +1,108 @@
+import { FileJp, Include } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import * as path from 'path';
+/**
+ * MISRA Rule 20.2: The ', " or \ characters and the /* or // character sequences shall not occur in a header filename
+ */
+export default class Rule_20_2_InvalidHeaderFileName extends MISRARule {
+    constructor(context) {
+        super("20.2", context);
+    }
+    /**
+     * Checks if the given joinpoint is a header file whose name includes invalid characters.
+     *
+     * @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
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof FileJp && $jp.isHeader))
+            return false;
+        const isNonCompliant = /.*('|"|\\|\/\*|\/\/).*/.test($jp.name);
+        if (isNonCompliant && logErrors) {
+            this.logMISRAError($jp, `Invalid characters in header filename. Invalid characters are ', ", \\, and the sequences /* and //.`);
+        }
+        return isNonCompliant;
+    }
+    /**
+     * Renames a header file to ensure it contains only valid characters and updates all related includes accordingly.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp)) {
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        const fileJp = $jp;
+        const includesOfHeader = this.getMatchingIncludes(fileJp);
+        const newFilename = this.context.generateHeaderFilename();
+        fileJp.setName(newFilename);
+        this.updateIncludes(includesOfHeader, newFilename);
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+    /**
+     * Finds all include joinpoints that reference a specific header file
+     *
+     * @param headerFileJp - The header file joinpoint
+     * @returns List of matching include statements
+     */
+    getMatchingIncludes(headerFileJp) {
+        return Query.search(Include).get().filter(includeJp => path.basename(includeJp.name) === headerFileJp.name &&
+            this.getHeaderFilePath(includeJp) === headerFileJp.path);
+    }
+    /**
+     *  Computes the full path to the header file based on the include statement
+     *
+     * @param includeJp The include joinpoint
+     * @returns Resolved path to the header file
+     */
+    getHeaderFilePath(includeJp) {
+        try {
+            if (includeJp.name.startsWith("../")) {
+                return includeJp.relativeFolderpath;
+            }
+            else {
+                const relativeDir = path.dirname(includeJp.name);
+                const fileJp = includeJp.getAncestor("file");
+                return path.resolve(fileJp.path, relativeDir);
+            }
+        }
+        catch (error) {
+            return "";
+        }
+    }
+    /**
+     * Updates the provided include joinpoints to reference the new header file name
+     *
+     * @param includesOfHeader List of include joinpoints to update
+     * @param newFilename The new filename for the header file
+     */
+    updateIncludes(includesOfHeader, newFilename) {
+        for (const includeJp of includesOfHeader) {
+            const fileJp = includeJp.getAncestor("file");
+            const newIncludeJpName = this.getNewIncludeName(includeJp, newFilename);
+            fileJp.addInclude(newIncludeJpName);
+            const tempInclude = Query.searchFrom(fileJp, Include, { name: includeName => path.normalize(includeName) === newIncludeJpName }).first();
+            if (tempInclude) {
+                includeJp.replaceWith(tempInclude.deepCopy());
+                tempInclude.detach();
+            }
+        }
+    }
+    /**
+     * Computes the new include path with the updated header file name
+     *
+     * @param includeJp - Original include statement
+     * @param newHeaderFileName - New header file name
+     * @returns The updated include path
+     */
+    getNewIncludeName(includeJp, newHeaderFileName) {
+        const isFile = path.extname(includeJp.name) !== '';
+        const baseDir = isFile ? path.dirname(includeJp.name) : includeJp.name;
+        return path.join(baseDir, newHeaderFileName);
+    }
+}
+//# sourceMappingURL=Rule_20_2_InvalidHeaderFileName.js.map

package/dist/rules/Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_20_2_InvalidHeaderFileName.js","sourceRoot":"","sources":["../../../src/rules/Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAa,MAAM,qCAAqC,CAAC;AACjF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAE7B;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,+BAAgC,SAAQ,SAAS;IAClE,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3D,MAAM,cAAc,GAAG,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,cAAc,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,sGAAsG,CAAC,CAAA;QACnI,CAAC;QACD,OAAO,cAAc,CAAC;IAC1B,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,MAAM,GAAG,GAAa,CAAC;QAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,CAAC;QAE1D,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC5B,IAAI,CAAC,cAAc,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;QACnD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;IAED;;;;;OAKG;IACK,mBAAmB,CAAC,YAAoB;QAC5C,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAClD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,IAAI;YACnD,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IAED;;;;;OAKG;IACK,iBAAiB,CAAC,SAAkB;QACxC,IAAI,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,kBAAkB,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACJ,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACjD,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,MAAM,CAAuB,CAAC;gBACnE,OAAO,IAAI,CAAC,OAAO,CAAC,MAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YACnD,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,EAAE,CAAC;QACd,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAAC,gBAA2B,EAAE,WAAmB;QACnE,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,MAAM,CAAuB,CAAC;YAEnE,MAAM,gBAAgB,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACxE,MAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;YAErC,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,MAAO,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,gBAAgB,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAExI,IAAI,WAAW,EAAE,CAAC;gBACd,SAAS,CAAC,WAAW,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC9C,WAAW,CAAC,MAAM,EAAE,CAAC;YACzB,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,iBAAiB,CAAC,SAAkB,EAAE,iBAAyB;QACnE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;QAEvE,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACjD,CAAC;CACJ"}

package/dist/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.d.ts

@@ -0,0 +1,43 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 2.3: A project should not contain unused type declarations.
+ */
+export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if a given joinpoint uses the specified typedef declaration.
+     * @param jp - The joinpoint to check
+     * @param typeDecl - The typedef declaration to check against
+     * @returns Returns true if the joinpoint uses the given typedef declaration, false otherwise
+     */
+    private isTypedefUsed;
+    /**
+     * Retrieves all joinpoints that use the specified typedef declaration
+     *
+     * @param typeDecl - The typedef declaration to search for in the joinpoints
+     * @returns Array of joinpoints that use the given typedef declaration
+     */
+    private getTypeDefUses;
+    /**
+     * Checks if the given joinpoint represents an unused type declaration
+     * @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
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms the joinpoint if it represents an unused type declaration
+     *
+     * - If the joinpoint defines a tag (named struct, enum or union) that is referenced elsewhere in the code,
+     *  the joinpoint is replaced by the tag
+     * - Otherwise, the joinpoint is simply removed from the AST
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_2_3_UnusedTypeDecl.d.ts.map

package/dist/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_3_UnusedTypeDecl.d.ts","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,SAAS,EAAoC,MAAM,qCAAqC,CAAC;AAC5G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;gBAE9C,OAAO,EAAE,YAAY;IAIjC;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAKrB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAItB;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAW1D;;;;;;;;;OASG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAWvD"}

package/dist/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js

@@ -0,0 +1,68 @@
+import { EnumDecl, RecordJp, TypedefType } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getBaseType, getTagUses, getTypeDecl, getTypedJps } from "../../utils/utils.js";
+/**
+ * MISRA-C Rule 2.3: A project should not contain unused type declarations.
+ */
+export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
+    constructor(context) {
+        super("2.3", context);
+    }
+    /**
+     * Checks if a given joinpoint uses the specified typedef declaration.
+     * @param jp - The joinpoint to check
+     * @param typeDecl - The typedef declaration to check against
+     * @returns Returns true if the joinpoint uses the given typedef declaration, false otherwise
+     */
+    isTypedefUsed(jp, typeDecl) {
+        const jpType = getBaseType(jp);
+        return !jpType?.isBuiltin && jpType instanceof TypedefType && jpType.decl.astId === typeDecl.astId;
+    }
+    /**
+     * Retrieves all joinpoints that use the specified typedef declaration
+     *
+     * @param typeDecl - The typedef declaration to search for in the joinpoints
+     * @returns Array of joinpoints that use the given typedef declaration
+     */
+    getTypeDefUses(typeDecl) {
+        return getTypedJps().filter(jp => this.isTypedefUsed(jp, typeDecl));
+    }
+    /**
+     * Checks if the given joinpoint represents an unused type declaration
+     * @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
+     */
+    match($jp, logErrors = false) {
+        const typeDecl = getTypeDecl($jp);
+        if (typeDecl === undefined)
+            return false;
+        const isUnused = this.getTypeDefUses(typeDecl).length === 0;
+        if (logErrors && isUnused) {
+            this.logMISRAError($jp, `Type declaration ${typeDecl.name} is declared but not used.`);
+        }
+        return isUnused;
+    }
+    /**
+     * Transforms the joinpoint if it represents an unused type declaration
+     *
+     * - If the joinpoint defines a tag (named struct, enum or union) that is referenced elsewhere in the code,
+     *  the joinpoint is replaced by the tag
+     * - Otherwise, the joinpoint is simply removed from the AST
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        if (($jp instanceof RecordJp || $jp instanceof EnumDecl) && $jp.name && getTagUses($jp)) {
+            $jp.lastChild.detach();
+            return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+        }
+        $jp.detach();
+        return new MISRATransformationReport(MISRATransformationType.Removal);
+    }
+}
+//# sourceMappingURL=Rule_2_3_UnusedTypeDecl.js.map

package/dist/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_3_UnusedTypeDecl.js","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAY,QAAQ,EAAc,WAAW,EAAE,MAAM,qCAAqC,CAAC;AAC5G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEzF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;IAE1D,YAAY,OAAqB;QAC7B,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;OAKG;IACK,aAAa,CAAC,EAAa,EAAE,QAAqB;QACtD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC/B,OAAO,CAAC,MAAM,EAAE,SAAS,IAAI,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC;IACvG,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAAC,QAAqB;QACxC,OAAO,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAEzC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAC5D,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,oBAAoB,QAAQ,CAAC,IAAI,4BAA4B,CAAC,CAAA;QAC1F,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,IAAI,CAAC,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACvB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;QACnF,CAAC;QACD,GAAG,CAAC,MAAM,EAAE,CAAC;QACb,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.d.ts

@@ -0,0 +1,29 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 2.4: A project should not contain unused tag declarations.
+ */
+export default class Rule_2_4_UnusedTagDecl extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint is an unused tag declaration
+     * A tag is considered to be unused if it has no references in the code or is only used within a typedef
+     *
+     * @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
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms the joinpoint if it is an unused tag declaration
+     * - If the Joinpoint is a tag declared in a typedef, it removes the name.
+     * - Otherwise, the Joinpoint is detached.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_2_4_UnusedTagDecl.d.ts.map

package/dist/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_4_UnusedTagDecl.d.ts","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAA+C,MAAM,qCAAqC,CAAC;AAC7G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sBAAuB,SAAQ,SAAS;gBAE7C,OAAO,EAAE,YAAY;IAIjC;;;;;;;OAOG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAiB1D;;;;;;;OAOG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAWvD"}

package/dist/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js

@@ -0,0 +1,53 @@
+import { RecordJp, EnumDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getTagUses, hasTypeDecl } from "../../utils/utils.js";
+/**
+ * MISRA-C Rule 2.4: A project should not contain unused tag declarations.
+ */
+export default class Rule_2_4_UnusedTagDecl extends MISRARule {
+    constructor(context) {
+        super("2.4", context);
+    }
+    /**
+     * Checks if the given joinpoint is an unused tag declaration
+     * A tag is considered to be unused if it has no references in the code or is only used within a typedef
+     *
+     * @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
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof RecordJp || $jp instanceof EnumDecl))
+            return false;
+        const containsTypeDecl = hasTypeDecl($jp);
+        const jpName = $jp.name;
+        if (containsTypeDecl && jpName === undefined || jpName === null || jpName.trim().length === 0) {
+            return false;
+        }
+        const isUnused = getTagUses($jp).length === 0;
+        if (isUnused && logErrors) {
+            this.logMISRAError($jp, containsTypeDecl ? `The tag '${$jp.name}' is declared but only used in a typedef.` : `The tag '${$jp.name}' is declared but not used.`);
+        }
+        return isUnused;
+    }
+    /**
+     * Transforms the joinpoint if it is an unused tag declaration
+     * - If the Joinpoint is a tag declared in a typedef, it removes the name.
+     * - Otherwise, the Joinpoint is detached.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        if (hasTypeDecl($jp)) {
+            $jp.setName('');
+            return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+        }
+        $jp.detach();
+        return new MISRATransformationReport(MISRATransformationType.Removal);
+    }
+}
+//# sourceMappingURL=Rule_2_4_UnusedTagDecl.js.map

package/dist/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_4_UnusedTagDecl.js","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,QAAQ,EAAE,QAAQ,EAA2B,MAAM,qCAAqC,CAAC;AAC7G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sBAAuB,SAAQ,SAAS;IAEzD,YAAY,OAAqB;QAC7B,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAExE,MAAM,gBAAgB,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC;QACxB,IAAI,gBAAgB,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAK,MAAiB,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxG,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAC9C,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,aAAa,CAAC,GAAG,EAClB,gBAAgB,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,IAAI,2CAA2C,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,IAAI,6BAA6B,CAAC,CAAC;QAChJ,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;OAOG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,GAA2B,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACzC,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;QACnF,CAAC;QACD,GAAG,CAAC,MAAM,EAAE,CAAC;QACb,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.d.ts

@@ -0,0 +1,15 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * Rule 2.6: Unused Labels.
+ *  Checks for labels within a function that are not used.
+ */
+export default class Rule_2_6_UnusedLabels extends MISRARule {
+    constructor(context: MISRAContext);
+    private getUnusedLabels;
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_2_6_UnusedLabels.d.ts.map

package/dist/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_6_UnusedLabels.d.ts","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,SAAS,EAAa,MAAM,qCAAqC,CAAC;AACjG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;gBAE5C,OAAO,EAAE,YAAY;IAIjC,OAAO,CAAC,eAAe;IAMvB,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAa1D,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAUvD"}

package/dist/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.js

@@ -0,0 +1,35 @@
+import { GotoStmt, FunctionJp, LabelStmt } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+/**
+ * Rule 2.6: Unused Labels.
+ *  Checks for labels within a function that are not used.
+ */
+export default class Rule_2_6_UnusedLabels extends MISRARule {
+    constructor(context) {
+        super("2.6", context);
+    }
+    getUnusedLabels(func) {
+        return Query.searchFrom(func, LabelStmt).get().filter(label => Query.searchFrom(func, GotoStmt, { label: jp => jp.astId === label.decl.astId }).get().length === 0);
+    }
+    match($jp, logErrors = false) {
+        if (!($jp instanceof FunctionJp))
+            return false;
+        const unusedLabels = this.getUnusedLabels($jp);
+        if (logErrors) {
+            unusedLabels.forEach(label => this.logMISRAError(label, `Label ${label.decl.name} is unused in function ${$jp.name}.`));
+        }
+        return unusedLabels.length > 0;
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const unusedLabels = this.getUnusedLabels($jp);
+        for (const label of unusedLabels) {
+            label.detach();
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_2_6_UnusedLabels.js.map

package/dist/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_6_UnusedLabels.js","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAa,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACjG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;IAExD,YAAY,OAAqB;QAC7B,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAEO,eAAe,CAAC,IAAgB;QACpC,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC1D,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,KAAK,CAAC,CACtG,CAAC;IACN,CAAC;IAED,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,UAAU,CAAC;YAC5B,OAAO,KAAK,CAAC;QAEjB,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC/C,IAAI,SAAS,EAAE,CAAC;YACZ,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CACzB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,0BAA0B,GAAG,CAAC,IAAI,GAAG,CAAC,CAC3F,CAAA;QACL,CAAC;QACD,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACnC,CAAC;IAED,SAAS,CAAC,GAAc;QACpB,IAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YACf,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,GAAiB,CAAC,CAAC;QAC7D,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YAC/B,KAAK,CAAC,MAAM,EAAE,CAAC;QACnB,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

package/dist/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.d.ts

@@ -0,0 +1,13 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+export default class Rule_2_7_UnusedParameters extends MISRARule {
+    constructor(context: MISRAContext);
+    private getUnusedParams;
+    private getUsedParams;
+    private getUsedParamsPositions;
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_2_7_UnusedParameters.d.ts.map

package/dist/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_7_UnusedParameters.d.ts","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,SAAS,EAAuB,MAAM,qCAAqC,CAAC;AACjG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF,MAAM,CAAC,OAAO,OAAO,yBAA0B,SAAQ,SAAS;gBAEhD,OAAO,EAAE,YAAY;IAIjC,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,sBAAsB;IAW9B,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAY1D,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAoBvD"}

package/dist/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.js

@@ -0,0 +1,53 @@
+import { FunctionJp, Varref, Call } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getParamReferences } from "../../utils/utils.js";
+export default class Rule_2_7_UnusedParameters extends MISRARule {
+    constructor(context) {
+        super("2.7", context);
+    }
+    getUnusedParams(func) {
+        return func.params.filter(param => getParamReferences(param, func).length === 0);
+    }
+    getUsedParams(func) {
+        return func.params.filter(param => getParamReferences(param, func).length > 0);
+    }
+    getUsedParamsPositions(func) {
+        let result = [];
+        for (let i = 0; i < func.params.length; i++) {
+            const param = func.params[i];
+            if (Query.searchFrom(func, Varref, { decl: jp => jp?.astId === param.astId }).get().length > 0) {
+                result.push(i);
+            }
+        }
+        return result;
+    }
+    match($jp, logErrors = false) {
+        if (!($jp instanceof FunctionJp && $jp.isImplementation))
+            return false;
+        const unusedParams = this.getUnusedParams($jp);
+        if (logErrors) {
+            unusedParams.forEach(param => this.logMISRAError(param, `Parameter '${param.name}' is unused in function ${$jp.name}.`));
+        }
+        return unusedParams.length > 0;
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const usedParams = this.getUsedParams($jp);
+        const usedParamsPositions = this.getUsedParamsPositions($jp);
+        const calls = Query.search(Call, { function: jp => jp.astId === $jp.astId }).get();
+        $jp.setParams(usedParams);
+        for (const funcDecl of $jp.declarationJps) {
+            funcDecl.setParams(usedParams);
+        }
+        for (const call of calls) {
+            const newArgs = usedParamsPositions.map(i => call.args[i]);
+            const newCall = $jp.newCall(newArgs);
+            call.replaceWith(newCall);
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_2_7_UnusedParameters.js.map

package/dist/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_2_7_UnusedParameters.js","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAoB,MAAM,EAAE,IAAI,EAAE,MAAM,qCAAqC,CAAC;AACjG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,CAAC,OAAO,OAAO,yBAA0B,SAAQ,SAAS;IAE5D,YAAY,OAAqB;QAC7B,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAEO,eAAe,CAAC,IAAgB;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACrF,CAAC;IAEO,aAAa,CAAC,IAAgB;QAClC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnF,CAAC;IAEO,sBAAsB,CAAC,IAAgB;QAC3C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,UAAU,IAAI,GAAG,CAAC,gBAAgB,CAAC;YAAE,OAAO,KAAK,CAAC;QAEvE,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC/C,IAAI,SAAS,EAAE,CAAC;YACZ,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CACzB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,cAAc,KAAK,CAAC,IAAI,2BAA2B,GAAG,CAAC,IAAI,GAAG,CAAC,CAC5F,CAAA;QACL,CAAC;QACD,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACnC,CAAC;IAED,SAAS,CAAC,GAAc;QACpB,IAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YACf,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,GAAiB,CAAC,CAAC;QACzD,MAAM,mBAAmB,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAiB,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAEhF,GAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC1C,KAAK,MAAM,QAAQ,IAAK,GAAkB,CAAC,cAAc,EAAE,CAAC;YACxD,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAI,GAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YACpD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

package/dist/rules/Section3_Comments/Rule_3_1_CommentSequences.d.ts

@@ -0,0 +1,13 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 3.1:
+ */
+export default class Rule_3_1_CommentSequences extends MISRARule {
+    constructor(context: MISRAContext);
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_3_1_CommentSequences.d.ts.map

package/dist/rules/Section3_Comments/Rule_3_1_CommentSequences.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_3_1_CommentSequences.d.ts","sourceRoot":"","sources":["../../../src/rules/Section3_Comments/Rule_3_1_CommentSequences.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAEpF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,yBAA0B,SAAQ,SAAS;gBAEhD,OAAO,EAAE,YAAY;IAIjC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAa1D,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAYvD"}

package/dist/rules/Section3_Comments/Rule_3_1_CommentSequences.js

@@ -0,0 +1,32 @@
+import MISRARule from "../../MISRARule.js";
+import { isInlineComment, getComments } from "../../utils/utils.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+/**
+ * MISRA Rule 3.1:
+ */
+export default class Rule_3_1_CommentSequences extends MISRARule {
+    constructor(context) {
+        super("3.1", context);
+    }
+    match($jp, logErrors = false) {
+        const invalidComments = getComments($jp).filter(comment => (isInlineComment(comment) && /(\/\*)/g.test(comment.text)) ||
+            (!isInlineComment(comment) && /(\/\/|\/\*)/g.test(comment.text)));
+        if (logErrors) {
+            invalidComments.forEach(comment => this.logMISRAError(comment, `Comment ${comment.text} contains invalid character sequences.`));
+        }
+        return invalidComments.length > 0;
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const comments = getComments($jp);
+        for (const comment of comments) {
+            const invalidSymbols = isInlineComment(comment) ? /(\/\*)/g : /(\/\/|\/\*)/g;
+            const newText = comment.text.replace(invalidSymbols, '');
+            comment.setText(newText);
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+        ;
+    }
+}
+//# sourceMappingURL=Rule_3_1_CommentSequences.js.map

package/dist/rules/Section3_Comments/Rule_3_1_CommentSequences.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_3_1_CommentSequences.js","sourceRoot":"","sources":["../../../src/rules/Section3_Comments/Rule_3_1_CommentSequences.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEpF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,yBAA0B,SAAQ,SAAS;IAE5D,YAAY,OAAqB;QAC7B,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CACtD,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1D,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEtE,IAAI,SAAS,EAAE,CAAC;YACZ,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAC9B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,OAAO,CAAC,IAAI,wCAAwC,CAAC,CAC/F,CAAA;QACL,CAAC;QACD,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,cAAc,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC;YAC7E,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;YACzD,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;QAAA,CAAC;IACpF,CAAC;CACJ"}

package/dist/rules/Section3_Comments/Rule_3_2_LineSplicing.d.ts

@@ -0,0 +1,10 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+export default class Rule_3_2_LineSplicing extends MISRARule {
+    constructor(context: MISRAContext);
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_3_2_LineSplicing.d.ts.map

package/dist/rules/Section3_Comments/Rule_3_2_LineSplicing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_3_2_LineSplicing.d.ts","sourceRoot":"","sources":["../../../src/rules/Section3_Comments/Rule_3_2_LineSplicing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAEpF,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;gBAE5C,OAAO,EAAE,YAAY;IAIjC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAY1D,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAWvD"}

package/dist/rules/Section3_Comments/Rule_3_2_LineSplicing.js

@@ -0,0 +1,26 @@
+import MISRARule from "../../MISRARule.js";
+import { isInlineComment, getComments } from "../../utils/utils.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+export default class Rule_3_2_LineSplicing extends MISRARule {
+    constructor(context) {
+        super("3.2", context);
+    }
+    match($jp, logErrors = false) {
+        const invalidComments = getComments($jp).filter(comment => (isInlineComment(comment) && /\/\n/g.test(comment.text)));
+        if (logErrors) {
+            invalidComments.forEach(comment => this.logMISRAError(comment, `Comment ${comment.text} contains invalid character sequences.`));
+        }
+        return invalidComments.length > 0;
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const comments = getComments($jp);
+        for (const comment of comments) {
+            const newText = comment.text.replace(/\/\n/g, '');
+            comment.setText(newText);
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_3_2_LineSplicing.js.map