@specs-feup/clava-misra 1.0.2 → 1.0.3

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.d.ts

@@ -1,13 +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 Rule 16.5: A default label shall appear as either the first or the last switch label of
-a switch statement
+ * MISRA-C Rule 16.5: A default label shall appear as either the first or the last switch label of a switch statement
  */
 export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
-    constructor(context: MISRAContext);
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+    * @returns Rule identifier according to MISRA-C:2012
+    */
+    get name(): string;
     /**
      * Retrieves all consecutive case statements to the left of a given case statement
      *
@@ -38,6 +43,6 @@ export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp: Joinpoint): MISRATransformationReport;
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_16_5_DefaultFirstOrLast.d.ts.map

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Rule_16_5_DefaultFirstOrLast.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,SAAS,EAAkC,MAAM,qCAAqC,CAAC;AAC9G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;gBAEnD,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAUhC;;;;;;OAMG;IACH,OAAO,CAAC,uBAAuB;IAY/B;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAmB1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CA4BvD"}
+{"version":3,"file":"Rule_16_5_DefaultFirstOrLast.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAO,SAAS,EAAU,MAAM,qCAAqC,CAAC;AAC7E,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGlG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;IAC/D;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE5D;;MAEE;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAUhC;;;;;;OAMG;IACH,OAAO,CAAC,uBAAuB;IAY/B;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAmB1D;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CA+BnD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js

@@ -1,14 +1,20 @@
 import { Case, Switch } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
-import { isCommentStmt } from "../../utils/utils.js";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { isCommentStmt } from "../../utils/CommentUtils.js";
 /**
- * MISRA Rule 16.5: A default label shall appear as either the first or the last switch label of
-a switch statement
+ * MISRA-C Rule 16.5: A default label shall appear as either the first or the last switch label of a switch statement
  */
 export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
-    constructor(context) {
-        super("16.5", context);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+    * @returns Rule identifier according to MISRA-C:2012
+    */
+    get name() {
+        return "16.5";
     }
     /**
      * Retrieves all consecutive case statements to the left of a given case statement
@@ -20,7 +26,7 @@ export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
     getConsecutiveRightCases($jp) {
         const cases = [];
         for (const stmt of $jp.siblingsRight) {
-            if (!(stmt instanceof Case || isCommentStmt($jp)))
+            if (!(stmt instanceof Case || isCommentStmt(stmt)))
                 break;
             cases.push(stmt);
         }
@@ -61,7 +67,7 @@ export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
                     return false;
                 }
                 if (logErrors) {
-                    this.logMISRAError($jp, "The default case of a switch statement must be the first or last label.");
+                    this.logMISRAError(currentCase, "The default case of a switch statement must be the first or last label.");
                 }
                 return true;
             }
@@ -75,12 +81,14 @@ export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp) {
-        if (!this.match($jp))
+    apply($jp) {
+        const previousResult = $jp instanceof Switch ? this.context.getRuleResult("16.4", $jp) : undefined;
+        if (previousResult === MISRATransformationType.DescendantChange || !this.match($jp)) {
             return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
         const defaultCase = $jp.getDefaultCase;
         const rightStatements = defaultCase.siblingsRight.filter(sibling => !isCommentStmt(sibling));
-        //  Reposition the default case to the last position within its case clause lis
+        //  Reposition the default case to the last position within its case clause list
         if (rightStatements[0] instanceof Case) { // At least one of the first statements is a Case
             const rightConsecutiveCases = this.getConsecutiveRightCases(defaultCase);
             const lastRightCase = rightConsecutiveCases[rightConsecutiveCases.length - 1];

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js.map

@@ -1 +1 @@
-{"version":3,"file":"Rule_16_5_DefaultFirstOrLast.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,IAAI,EAAiC,MAAM,EAAe,MAAM,qCAAqC,CAAC;AAC9G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;IAE/D,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACK,wBAAwB,CAAC,GAAS;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,YAAY,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC;gBAC7C,MAAM;YACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACK,uBAAuB,CAAC,GAAS;QACrC,IAAI,KAAK,GAAgB,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,WAAW,YAAY,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACvD,MAAM;YACV,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtC,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,IAAI,SAAS,EAAE,CAAC;oBACZ,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,yEAAyE,CAAC,CAAA;gBACtG,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,MAAM,WAAW,GAAI,GAAc,CAAC,cAAc,CAAC;QACnD,MAAM,eAAe,GAAG,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAE7F,+EAA+E;QAC/E,IAAI,eAAe,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,iDAAiD;YACvF,MAAM,qBAAqB,GAAG,IAAI,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC;YACzE,MAAM,aAAa,GAAG,qBAAqB,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAE9E,WAAW,CAAC,MAAM,EAAE,CAAC;YACrB,aAAa,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC,CAAC,+BAA+B;gBACrE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;YACnF,CAAC;QACL,CAAC;QAED,kGAAkG;QAClG,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;QAEvG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}
+{"version":3,"file":"Rule_16_5_DefaultFirstOrLast.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,IAAI,EAAa,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;IAC/D;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE5D;;MAEE;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;;;OAMG;IACK,wBAAwB,CAAC,GAAS;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,YAAY,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9C,MAAM;YACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACK,uBAAuB,CAAC,GAAS;QACrC,IAAI,KAAK,GAAgB,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,WAAW,YAAY,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACvD,MAAM;YACV,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtC,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,IAAI,SAAS,EAAE,CAAC;oBACZ,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,yEAAyE,CAAC,CAAA;gBAC9G,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc;QAChB,MAAM,cAAc,GAAG,GAAG,YAAY,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnG,IAAI,cAAc,KAAK,uBAAuB,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAClF,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,WAAW,GAAI,GAAc,CAAC,cAAc,CAAC;QACnD,MAAM,eAAe,GAAG,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAE7F,gFAAgF;QAChF,IAAI,eAAe,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,iDAAiD;YACvF,MAAM,qBAAqB,GAAG,IAAI,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC;YACzE,MAAM,aAAa,GAAG,qBAAqB,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAE9E,WAAW,CAAC,MAAM,EAAE,CAAC;YACrB,aAAa,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC,CAAC,+BAA+B;gBACrE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;YACnF,CAAC;QACL,CAAC;QAED,kGAAkG;QAClG,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;QAEvG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.d.ts

@@ -1,12 +1,22 @@
 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 Rule 16.6:  Every switch statement shall have at least two switch-clauses.
+ * MISRA-C Rule 16.6:  Every switch statement shall have at least two switch-clauses.
  */
 export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
-    constructor(context: MISRAContext);
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    readonly priority = 5;
+    /**
+     * 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 is a switch statement with less than two clauses
      * @param $jp - Joinpoint to analyze
@@ -21,6 +31,6 @@ export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp: Joinpoint): MISRATransformationReport;
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_16_6_SwitchMinTwoClauses.d.ts.map

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Rule_16_6_SwitchMinTwoClauses.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,SAAS,EAAiC,MAAM,qCAAqC,CAAC;AAC3G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAwB,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAG1G;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;gBAEpD,OAAO,EAAE,YAAY;IAIjC;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAkBvD"}
+{"version":3,"file":"Rule_16_6_SwitchMinTwoClauses.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,SAAS,EAAU,MAAM,qCAAqC,CAAC;AACvE,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAwB,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGxH;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;IAChE;;OAEG;IACH,QAAQ,CAAC,QAAQ,KAAK;IAEtB;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE5D;;MAEE;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAsBnD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js

@@ -1,13 +1,24 @@
 import { Switch } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import { MISRASwitchConverter, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
-import { getNumOfSwitchClauses, switchHasConditionalBreak } from "../../utils/utils.js";
+import { AnalysisType, MISRASwitchConverter, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { countSwitchClauses, hasConditionalBreak } from "../../utils/SwitchUtils.js";
 /**
- * MISRA Rule 16.6:  Every switch statement shall have at least two switch-clauses.
+ * MISRA-C Rule 16.6:  Every switch statement shall have at least two switch-clauses.
  */
 export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
-    constructor(context) {
-        super("16.6", context);
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    priority = 5;
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+    * @returns Rule identifier according to MISRA-C:2012
+    */
+    get name() {
+        return "16.6";
     }
     /**
      * Checks if the given joinpoint is a switch statement with less than two clauses
@@ -18,7 +29,7 @@ export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
     match($jp, logErrors = false) {
         if (!($jp instanceof Switch))
             return false;
-        const nonCompliant = getNumOfSwitchClauses($jp) < 2;
+        const nonCompliant = countSwitchClauses($jp) < 2;
         if (nonCompliant && logErrors) {
             this.logMISRAError($jp, "Switch statements should have at least two clauses.");
         }
@@ -31,14 +42,17 @@ export default class Rule_16_6_SwitchMinTwoClauses 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 (switchHasConditionalBreak($jp)) {
-            this.logMISRAError($jp, "switch statement must have at least two clauses and cannot be transformed due to a conditional break statement.");
+        const switchJp = $jp;
+        if (hasConditionalBreak(switchJp)) {
+            if (switchJp.hasDefaultCase) {
+                this.logMISRAError($jp, "Switch statement must have at least two clauses and cannot be transformed due to a conditional break statement.");
+            }
             return new MISRATransformationReport(MISRATransformationType.NoChange);
         }
-        const transformResultNode = MISRASwitchConverter.convert($jp);
+        const transformResultNode = MISRASwitchConverter.convert(switchJp);
         if (transformResultNode) {
             return new MISRATransformationReport(MISRATransformationType.Replacement, transformResultNode);
         }

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js.map

@@ -1 +1 @@
-{"version":3,"file":"Rule_16_6_SwitchMinTwoClauses.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgD,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAC3G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAExF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;IAEhE,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,qDAAqD,CAAC,CAAA;QAClF,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,IAAI,yBAAyB,CAAC,GAAa,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,iHAAiH,CAAC,CAAA;YAC1I,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,OAAO,CAAC,GAAa,CAAC,CAAC;QACxE,IAAI,mBAAmB,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAChC,uBAAuB,CAAC,WAAW,EACnC,mBAAmB,CACtB,CAAC;QACN,CAAC;QACD,sDAAsD;QACtD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}
+{"version":3,"file":"Rule_16_6_SwitchMinTwoClauses.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACxH,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAErF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;IAChE;;OAEG;IACM,QAAQ,GAAG,CAAC,CAAC;IAEtB;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE5D;;MAEE;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,qDAAqD,CAAC,CAAA;QAClF,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;;OAMG;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,QAAQ,GAAG,GAAa,CAAC;QAC/B,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;gBAC1B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,iHAAiH,CAAC,CAAA;YAC9I,CAAC;YACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,mBAAmB,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAChC,uBAAuB,CAAC,WAAW,EACnC,mBAAmB,CACtB,CAAC;QACN,CAAC;QACD,sDAAsD;QACtD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.d.ts

@@ -1,12 +1,28 @@
-import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import { Joinpoint, Switch } 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 Rule 16.7: A switch-expression shall not have essentially Boolean type.
+ * MISRA-C Rule 16.7: A switch-expression shall not have essentially Boolean type.
  */
 export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
-    constructor(context: MISRAContext);
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    readonly priority = 5;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     * Checks if the provided switch statement has a Boolean condition
+     * @param switchStmt The switch statement to check
+     * @returns Returns true if the switch statement has a Boolean condition, otherwise false
+     */
+    switchHasBooleanCondition(switchStmt: Switch): boolean;
     /**
      * Checks if the given joinpoint is a switch statement with an essentially Boolean condition
      * @param $jp - Joinpoint to analyze
@@ -21,6 +37,6 @@ export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp: Joinpoint): MISRATransformationReport;
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_16_7_NonBooleanSwitchCondition.d.ts.map

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Rule_16_7_NonBooleanSwitchCondition.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,SAAS,EAAU,MAAM,qCAAqC,CAAC;AACrF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAwB,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAG1G;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,SAAS;gBAC1D,OAAO,EAAE,YAAY;IAIjC;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAkBvD"}
+{"version":3,"file":"Rule_16_7_NonBooleanSwitchCondition.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,SAAS,EAAE,MAAM,EAAW,MAAM,qCAAqC,CAAC;AACxG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAwB,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAIxH;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,SAAS;IACtE;;OAEG;IACH,QAAQ,CAAC,QAAQ,KAAK;IAEtB;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;OAIG;IACH,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAatD;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAmBnD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js

@@ -1,13 +1,40 @@
-import { Switch } from "@specs-feup/clava/api/Joinpoints.js";
+import { BinaryOp, BuiltinType, Switch, UnaryOp } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import { MISRASwitchConverter, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
-import { switchHasBooleanCondition, switchHasConditionalBreak } from "../../utils/utils.js";
+import { AnalysisType, MISRASwitchConverter, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { hasConditionalBreak } from "../../utils/SwitchUtils.js";
+import { hasDefinedType } from "../../utils/JoinpointUtils.js";
 /**
- * MISRA Rule 16.7: A switch-expression shall not have essentially Boolean type.
+ * MISRA-C Rule 16.7: A switch-expression shall not have essentially Boolean type.
  */
 export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
-    constructor(context) {
-        super("16.7", context);
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    priority = 5;
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "16.7";
+    }
+    /**
+     * Checks if the provided switch statement has a Boolean condition
+     * @param switchStmt The switch statement to check
+     * @returns Returns true if the switch statement has a Boolean condition, otherwise false
+     */
+    switchHasBooleanCondition(switchStmt) {
+        const switchCondition = switchStmt.condition;
+        if (switchCondition instanceof BinaryOp || switchCondition instanceof UnaryOp) {
+            const logicalOps = new Set(["lt", "gt", "le", "ge", "eq", "ne", "not", "l_not", "and", "or"]);
+            return logicalOps.has(switchCondition.kind);
+        }
+        return hasDefinedType(switchCondition) &&
+            switchCondition.type instanceof BuiltinType &&
+            switchCondition.type.builtinKind === "Bool";
     }
     /**
      * Checks if the given joinpoint is a switch statement with an essentially Boolean condition
@@ -18,9 +45,9 @@ export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
     match($jp, logErrors = false) {
         if (!($jp instanceof Switch))
             return false;
-        const booleanCondition = switchHasBooleanCondition($jp);
+        const booleanCondition = this.switchHasBooleanCondition($jp);
         if (booleanCondition && logErrors) {
-            this.logMISRAError($jp, `Switch statement controlling expression ${$jp.condition.code} must not have essentially boolean type.`);
+            this.logMISRAError($jp, `Switch statement controlling expression '${$jp.condition.code}' must not have essentially boolean type.`);
         }
         return booleanCondition;
     }
@@ -31,10 +58,10 @@ export default class Rule_16_7_NonBooleanSwitchCondition 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 (switchHasConditionalBreak($jp)) {
+        if (hasConditionalBreak($jp)) {
             this.logMISRAError($jp, `The switch statement's controlling expression ${$jp.condition.code} must not be of a boolean type and cannot be transformed due to a conditional break statement.`);
             return new MISRATransformationReport(MISRATransformationType.NoChange);
         }

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js.map

@@ -1 +1 @@
-{"version":3,"file":"Rule_16_7_NonBooleanSwitchCondition.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAE5F;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,SAAS;IACtE,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QACxD,IAAI,gBAAgB,IAAI,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2CAA2C,GAAG,CAAC,SAAS,CAAC,IAAI,0CAA0C,CAAC,CAAA;QACpI,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,IAAI,yBAAyB,CAAC,GAAa,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,iDAAkD,GAAc,CAAC,SAAS,CAAC,IAAI,gGAAgG,CAAC,CAAA;YACxM,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,OAAO,CAAC,GAAa,CAAC,CAAC;QACxE,IAAI,mBAAmB,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAChC,uBAAuB,CAAC,WAAW,EACnC,mBAAmB,CACtB,CAAC;QACN,CAAC;QACD,sDAAsD;QACtD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}
+{"version":3,"file":"Rule_16_7_NonBooleanSwitchCondition.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAa,MAAM,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AACxG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACxH,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,SAAS;IACtE;;OAEG;IACM,QAAQ,GAAG,CAAC,CAAC;IAEtB;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,yBAAyB,CAAC,UAAkB;QACxC,MAAM,eAAe,GAAG,UAAU,CAAC,SAAS,CAAC;QAE7C,IAAI,eAAe,YAAY,QAAQ,IAAI,eAAe,YAAY,OAAO,EAAE,CAAC;YAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9F,OAAO,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,cAAc,CAAC,eAAe,CAAC;YAClC,eAAe,CAAC,IAAI,YAAY,WAAW;YAC3C,eAAe,CAAC,IAAI,CAAC,WAAW,KAAK,MAAM,CAAC;IACpD,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,gBAAgB,GAAG,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;QAC7D,IAAI,gBAAgB,IAAI,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,4CAA4C,GAAG,CAAC,SAAS,CAAC,IAAI,2CAA2C,CAAC,CAAA;QACtI,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED;;;;;;OAMG;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,mBAAmB,CAAC,GAAa,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,iDAAkD,GAAc,CAAC,SAAS,CAAC,IAAI,gGAAgG,CAAC,CAAA;YACxM,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,OAAO,CAAC,GAAa,CAAC,CAAC;QACxE,IAAI,mBAAmB,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAChC,uBAAuB,CAAC,WAAW,EACnC,mBAAmB,CACtB,CAAC;QACN,CAAC;QACD,sDAAsD;QACtD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/Section17_Functions/Rule_17_3_ImplicitFunction.d.ts

@@ -0,0 +1,66 @@
+import { Call, Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
+import UserConfigurableRule from "../UserConfigurableRule.js";
+/**
+ * MISRA-C Rule 17.3: A function shall not be declared implicitly
+ */
+export default class Rule_17_3_ImplicitFunction extends UserConfigurableRule {
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    readonly priority = 1;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * Standards to which this rule applies to
+     */
+    protected readonly appliesTo: Set<string>;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     * Returns the prefix to be used for error messages related to the given joinpoint
+     *
+     * @param $jp - Joinpoint where the violation was detected
+     * @returns Returns a prefix to prepend to error messages if no configuration is specified or if the configuration does not contain a fix for this violation
+     */
+    getErrorMsgPrefix(callJp: Call): string;
+    /**
+     * Retrieves the fix for a implicit call specified on the config file (.h or .c)
+     * @param callJp
+     * @param errorMsgPrefix
+     * @returns
+     */
+    getFixFromConfig(callJp: Call): string | undefined;
+    /**
+     * Checks if the given joinpoint represents a call to an implicit function.
+     *
+     * @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 every implicit call by adding a missing include directive or extern statement specified on the config file.
+     *
+     * - If the configuration is missing or the specified fix is invalid (i.e., not a '.h' or '.c' file), no transformation is performed and the call is left unchanged.
+     * - The fix is applied only if it successfully resolves the issue (i.e., makes the call explicit and the file compiles with no error).
+     * - Otherwise, the fix is removed.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp: Joinpoint): MISRATransformationReport;
+    /**
+     * Attempts to resolve implicit function calls in a file by adding missing includes or extern statements based on the configuration file.
+     * @param fileJp The file to analyze
+     * @returns `true` if any changes were made to the file, otherwise `false`.
+     */
+    private solveImplicitCalls;
+    private solveWithInclude;
+    private solveWithExtern;
+}
+//# sourceMappingURL=Rule_17_3_ImplicitFunction.d.ts.map

package/dist/rules/Section17_Functions/Rule_17_3_ImplicitFunction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_3_ImplicitFunction.d.ts","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_3_ImplicitFunction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAU,SAAS,EAAW,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAKlG,OAAO,oBAAoB,MAAM,4BAA4B,CAAC;AAE9D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,oBAAoB;IACxE;;OAEG;IACH,QAAQ,CAAC,QAAQ,KAAK;IAEtB;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,mBAA4B,SAAS,cAAoB;IAEzD;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,IAAI,GAAG,MAAM;IAIvC;;;;;OAKG;IACH,gBAAgB,CAAC,MAAM,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS;IA4BlD;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAa1D;;;;;;;;;OASG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;IAqBhD;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAyC1B,OAAO,CAAC,gBAAgB;IA6BxB,OAAO,CAAC,eAAe;CAwB1B"}