@specs-feup/clava-misra 1.0.2 → 1.0.3

package/dist/rules/Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.js

@@ -0,0 +1,27 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.3: The memory allocation and deallocation functions of <stdlib.h> shall not be used
+ */
+export default class Rule_21_3_NoDynamicMemory extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "stdlib.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set(["calloc", "malloc", "aligned_alloc", "realloc", "free"]);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.3";
+    }
+}
+//# sourceMappingURL=Rule_21_3_NoDynamicMemory.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_3_NoDynamicMemory.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,yBAA0B,SAAQ,4BAA4B;IAC/E;;OAEG;IACO,eAAe,GAAG,UAAU,CAAC;IAEvC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAE/F;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.d.ts

@@ -0,0 +1,25 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.6: The Standard Library input/output functions shall not be used
+ */
+export default class Rule_21_6_NoStdIOFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_6_NoStdIOFunctions.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_6_NoStdIOFunctions.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,4BAA4B;IAChF;;OAEG;IACH,SAAS,CAAC,eAAe,SAAa;IAEtC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAAqB;IAE/C;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.js

@@ -0,0 +1,27 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.6: The Standard Library input/output functions shall not be used
+ */
+export default class Rule_21_6_NoStdIOFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "stdio.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set();
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.6";
+    }
+}
+//# sourceMappingURL=Rule_21_6_NoStdIOFunctions.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_6_NoStdIOFunctions.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,4BAA4B;IAChF;;OAEG;IACO,eAAe,GAAG,SAAS,CAAC;IAEtC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.d.ts

@@ -0,0 +1,25 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.7: The atof, atoi, atol and atoll functions of <stdlib.h> shall not be used.
+ */
+export default class Rule_21_7_NoNumericStringConversions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_7_NoNumericStringConversions.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_7_NoNumericStringConversions.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,oCAAqC,SAAQ,4BAA4B;IAC1F;;OAEG;IACH,SAAS,CAAC,eAAe,SAAc;IAEvC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAA8C;IACxE;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.js

@@ -0,0 +1,27 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.7: The atof, atoi, atol and atoll functions of <stdlib.h> shall not be used.
+ */
+export default class Rule_21_7_NoNumericStringConversions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "stdlib.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set(["atof", "atoi", "atol", "atoll"]);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.7";
+    }
+}
+//# sourceMappingURL=Rule_21_7_NoNumericStringConversions.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_7_NoNumericStringConversions.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,oCAAqC,SAAQ,4BAA4B;IAC1F;;OAEG;IACO,eAAe,GAAG,UAAU,CAAC;IAEvC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACxE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.d.ts

@@ -0,0 +1,30 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.8: The library functions abort, exit, getenv and system of <stdlib.h>
+ * shall not be used
+ */
+export default class Rule_21_8_NoProcessControlFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * Standards to which this rule applies to
+     */
+    protected readonly appliesTo: Set<string>;
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_8_NoProcessControlFunctions.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_8_NoProcessControlFunctions.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,4BAA4B;IACzF;;OAEG;IACH,mBAA4B,SAAS,cAA2B;IAEhE;;OAEG;IACH,SAAS,CAAC,eAAe,SAAc;IAEvC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAAkD;IAE5E;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.js

@@ -0,0 +1,32 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.8: The library functions abort, exit, getenv and system of <stdlib.h>
+ * shall not be used
+ */
+export default class Rule_21_8_NoProcessControlFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * Standards to which this rule applies to
+     */
+    appliesTo = new Set(["c90", "c99"]);
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "stdlib.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set(["abort", "exit", "getenv", "system"]);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.8";
+    }
+}
+//# sourceMappingURL=Rule_21_8_NoProcessControlFunctions.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_8_NoProcessControlFunctions.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,4BAA4B;IACzF;;OAEG;IACyB,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAEhE;;OAEG;IACO,eAAe,GAAG,UAAU,CAAC;IAEvC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAE5E;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.d.ts

@@ -0,0 +1,25 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.9: The library functions bsearch and qsort of <stdlib.h> shall not be used.
+ */
+export default class Rule_21_9_NoGenericSearchOrSort extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_9_NoGenericSearchOrSort.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_9_NoGenericSearchOrSort.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,+BAAgC,SAAQ,4BAA4B;IACrF;;OAEG;IACH,SAAS,CAAC,eAAe,SAAc;IAEvC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAAiC;IAE3D;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.js

@@ -0,0 +1,27 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.9: The library functions bsearch and qsort of <stdlib.h> shall not be used.
+ */
+export default class Rule_21_9_NoGenericSearchOrSort extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "stdlib.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set(["bsearch", "qsort"]);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.9";
+    }
+}
+//# sourceMappingURL=Rule_21_9_NoGenericSearchOrSort.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_9_NoGenericSearchOrSort.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,+BAAgC,SAAQ,4BAA4B;IACrF;;OAEG;IACO,eAAe,GAAG,UAAU,CAAC;IAEvC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAE3D;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;CACJ"}

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

@@ -1,26 +1,18 @@
 import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import MISRAContext from "../../MISRAContext.js";
-import { MISRATransformationReport } from "../../MISRA.js";
+import { AnalysisType, 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
+     * Scope of analysis
      */
-    private isTypedefUsed;
+    readonly analysisType = AnalysisType.SYSTEM;
     /**
-     * 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
+     * @returns Rule identifier according to MISRA-C:2012
      */
-    private getTypeDefUses;
+    get name(): string;
     /**
      * Checks if the given joinpoint represents an unused type declaration
      * @param $jp - Joinpoint to analyze
@@ -38,6 +30,6 @@ export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp: Joinpoint): MISRATransformationReport;
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_2_3_UnusedTypeDecl.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"Rule_2_3_UnusedTypeDecl.d.ts","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAIlG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;IAC1D;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAW1D;;;;;;;;;OASG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAanD"}

package/dist/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js

@@ -1,32 +1,20 @@
-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";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getTypeDefDecl, isTypeDeclUsed } from "../../utils/TypeDeclUtils.js";
+import { isTagDecl } from "../../utils/JoinpointUtils.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
+     * Scope of analysis
      */
-    isTypedefUsed(jp, typeDecl) {
-        const jpType = getBaseType(jp);
-        return !jpType?.isBuiltin && jpType instanceof TypedefType && jpType.decl.astId === typeDecl.astId;
-    }
+    analysisType = AnalysisType.SYSTEM;
     /**
-     * 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
+     * @returns Rule identifier according to MISRA-C:2012
      */
-    getTypeDefUses(typeDecl) {
-        return getTypedJps().filter(jp => this.isTypedefUsed(jp, typeDecl));
+    get name() {
+        return "2.3";
     }
     /**
      * Checks if the given joinpoint represents an unused type declaration
@@ -35,12 +23,12 @@ export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
      * @returns Returns true if the joinpoint violates the rule, false otherwise
      */
     match($jp, logErrors = false) {
-        const typeDecl = getTypeDecl($jp);
+        const typeDecl = getTypeDefDecl($jp);
         if (typeDecl === undefined)
             return false;
-        const isUnused = this.getTypeDefUses(typeDecl).length === 0;
+        const isUnused = !isTypeDeclUsed(typeDecl);
         if (logErrors && isUnused) {
-            this.logMISRAError($jp, `Type declaration ${typeDecl.name} is declared but not used.`);
+            this.logMISRAError($jp, `Type declaration '${typeDecl.name}' is declared but not used.`);
         }
         return isUnused;
     }
@@ -54,15 +42,17 @@ export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp) {
+    apply($jp) {
         if (!this.match($jp))
             return new MISRATransformationReport(MISRATransformationType.NoChange);
-        if (($jp instanceof RecordJp || $jp instanceof EnumDecl) && $jp.name && getTagUses($jp)) {
+        if (isTagDecl($jp) && $jp.name && isTypeDeclUsed($jp)) {
             $jp.lastChild.detach();
             return new MISRATransformationReport(MISRATransformationType.DescendantChange);
         }
-        $jp.detach();
-        return new MISRATransformationReport(MISRATransformationType.Removal);
+        else {
+            $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

@@ -1 +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"}
+{"version":3,"file":"Rule_2_3_UnusedTypeDecl.js","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAClG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;IAC1D;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAEzC,MAAM,QAAQ,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,qBAAqB,QAAQ,CAAC,IAAI,6BAA6B,CAAC,CAAA;QAC5F,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,GAAc;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACvB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;QACnF,CAAC;aAAM,CAAC;YACJ,GAAG,CAAC,MAAM,EAAE,CAAC;YACb,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1E,CAAC;IAEL,CAAC;CACJ"}

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

@@ -1,15 +1,21 @@
 import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import MISRAContext from "../../MISRAContext.js";
-import { MISRATransformationReport } from "../../MISRA.js";
+import { AnalysisType, 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);
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
     /**
      * 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
+     * A tag is considered unused if it has no references in the code or if it's only used within a typedef
      *
      * @param $jp - Joinpoint to analyze
      * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
@@ -18,12 +24,12 @@ export default class Rule_2_4_UnusedTagDecl extends MISRARule {
     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.
+     * - 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;
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_2_4_UnusedTagDecl.d.ts.map

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

@@ -1 +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"}
+{"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,EAAY,MAAM,qCAAqC,CAAC;AAC1E,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAIlG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sBAAuB,SAAQ,SAAS;IACzD;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAwB1D;;;;;;;OAOG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAYnD"}

package/dist/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js

@@ -1,49 +1,63 @@
-import { RecordJp, EnumDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import { DeclStmt } 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";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { hasTypeDefDecl, isTypeDeclUsed } from "../../utils/TypeDeclUtils.js";
+import { isTagDecl } from "../../utils/JoinpointUtils.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);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "2.4";
     }
     /**
      * 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
+     * A tag is considered unused if it has no references in the code or if it's 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))
+        if (!(isTagDecl($jp) || ($jp instanceof DeclStmt && $jp.decls.length === 1))) {
             return false;
-        const containsTypeDecl = hasTypeDecl($jp);
-        const jpName = $jp.name;
-        if (containsTypeDecl && jpName === undefined || jpName === null || jpName.trim().length === 0) {
+        }
+        if ($jp instanceof DeclStmt && !isTagDecl($jp.decls[0])) {
+            return false;
+        }
+        const tagJp = $jp instanceof DeclStmt ? $jp.decls[0] : $jp;
+        const containsTypeDecl = hasTypeDefDecl(tagJp);
+        const jpName = tagJp.name;
+        if (containsTypeDecl && (jpName === undefined || jpName === null || jpName.trim().length === 0)) {
             return false;
         }
-        const isUnused = getTagUses($jp).length === 0;
+        const isUnused = !isTypeDeclUsed(tagJp);
         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.`);
+            this.logMISRAError(tagJp, containsTypeDecl ? `The tag '${tagJp.name}' is declared but only used in a typedef.` : `The tag '${tagJp.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.
+     * - 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) {
+    apply($jp) {
         if (!this.match($jp))
             return new MISRATransformationReport(MISRATransformationType.NoChange);
-        if (hasTypeDecl($jp)) {
-            $jp.setName('');
+        const tagJp = $jp instanceof DeclStmt ? $jp.decls[0] : $jp;
+        if (hasTypeDefDecl(tagJp)) {
+            (tagJp).setName('');
             return new MISRATransformationReport(MISRATransformationType.DescendantChange);
         }
         $jp.detach();

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

@@ -1 +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"}
+{"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,MAAM,qCAAqC,CAAC;AAC1E,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAClG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,SAAS,EAAW,MAAM,+BAA+B,CAAC;AAEnE;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sBAAuB,SAAQ,SAAS;IACzD;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,QAAQ,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,GAAG,YAAY,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,KAAK,GAAY,GAAG,YAAY,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,GAAG,CAAC;QAC/E,MAAM,gBAAgB,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;QAC1B,IAAI,gBAAgB,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAK,MAAiB,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1G,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,QAAQ,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,aAAa,CAAC,KAAK,EACpB,gBAAgB,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,2CAA2C,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,6BAA6B,CAAC,CAAC;QACpJ,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,GAAc;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,MAAM,KAAK,GAAY,GAAG,YAAY,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,GAAc,CAAC;QAC1F,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACpB,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

@@ -1,15 +1,34 @@
 import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import MISRAContext from "../../MISRAContext.js";
-import { MISRATransformationReport } from "../../MISRA.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
 /**
- * Rule 2.6: Unused Labels.
- *  Checks for labels within a function that are not used.
+ * MISRA-C Rule 2.6: A function should not contain unused label declarations.
+ *
  */
 export default class Rule_2_6_UnusedLabels extends MISRARule {
-    constructor(context: MISRAContext);
-    private getUnusedLabels;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     * Checks if the given joinpoint represents a function with unused labels.
+     * A tag is considered unused if it is declared but not referenced by any goto statement.
+     *
+     * @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;
-    transform($jp: Joinpoint): MISRATransformationReport;
+    /**
+     * Removes all unused labels if the provided joinpoint represents a function
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_2_6_UnusedLabels.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"Rule_2_6_UnusedLabels.d.ts","sourceRoot":"","sources":["../../../src/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGlG;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;IACxD;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAa1D;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAUnD"}