@specs-feup/clava-misra 1.0.0 → 1.0.1

package/dist/misra/sections/Section6_Types.d.ts

@@ -0,0 +1,8 @@
+import { Program, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section6_Types extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
+    constructor(rules: number[]);
+    private r6_2_noSingleBitSignedFields;
+}
+//# sourceMappingURL=Section6_Types.d.ts.map

package/dist/misra/sections/Section6_Types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Section6_Types.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section6_Types.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA6C,MAAM,qCAAqC,CAAC;AACjH,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,cAAe,SAAQ,aAAa;IACrD,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAQ3B,OAAO,CAAC,4BAA4B;CAUvC"}

package/dist/misra/sections/Section6_Types.js

@@ -0,0 +1,23 @@
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { Field } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section6_Types extends MISRAAnalyser {
+    ruleMapper;
+    constructor(rules) {
+        super(rules);
+        this.ruleMapper = new Map([
+            [2, this.r6_2_noSingleBitSignedFields.bind(this)],
+        ]);
+    }
+    r6_2_noSingleBitSignedFields($startNode) {
+        Query.searchFrom($startNode, Field).get().forEach(field => {
+            if (field.children.length > 0 && field.name) {
+                const width = new Number(field.children[0].children[0].value);
+                if (width == 1 && field.type.isSigned) {
+                    this.logMISRAError(field, `Single-bit named bit field ${field.name} must not have a signed type.`);
+                }
+            }
+        }, this);
+    }
+}
+//# sourceMappingURL=Section6_Types.js.map

package/dist/misra/sections/Section6_Types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Section6_Types.js","sourceRoot":"","sources":["../../../src/misra/sections/Section6_Types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAA8B,KAAK,EAA2B,MAAM,qCAAqC,CAAC;AACjH,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,cAAe,SAAQ,aAAa;IACrD,UAAU,CAA8C;IAExD,YAAY,KAAe;QACvB,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,UAAU,GAAG,IAAI,GAAG,CAAC;YACtB,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAEpD,CAAC,CAAC;IACP,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACtD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAgB,CAAC,KAAK,CAAC,CAAC;gBAC9E,IAAI,KAAK,IAAI,CAAC,IAAK,KAAK,CAAC,IAAoB,CAAC,QAAQ,EAAE,CAAC;oBACrD,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,8BAA8B,KAAK,CAAC,IAAI,+BAA+B,CAAC,CAAC;gBACvG,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;CACJ"}

package/dist/misra/sections/Section7_LiteralsConstants.d.ts

@@ -0,0 +1,11 @@
+import { Program, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section7_LiteralsConstants extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
+    constructor(rules: number[]);
+    private r7_1_noOctalConstants;
+    private r7_3_noLowercaseLSuffix;
+    private static checkPointerConst;
+    private r7_4_constStringLiterals;
+}
+//# sourceMappingURL=Section7_LiteralsConstants.d.ts.map

package/dist/misra/sections/Section7_LiteralsConstants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Section7_LiteralsConstants.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section7_LiteralsConstants.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA4H,MAAM,qCAAqC,CAAC;AAChM,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,aAAa;IACjE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAS3B,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,uBAAuB;IAQ/B,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAUhC,OAAO,CAAC,wBAAwB;CAiCnC"}

package/{src/misra/sections/Section7_LiteralsConstants.ts → dist/misra/sections/Section7_LiteralsConstants.js}

@@ -1,11 +1,9 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program, FileJp, IntLiteral, Type, PointerType, QualType, Vardecl, BinaryOp, ReturnStmt, FunctionJp, Call, Varref, ArrayAccess, Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import { IntLiteral, PointerType, QualType, Vardecl, BinaryOp, ReturnStmt, Call } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
-
 export default class Section7_LiteralsConstants extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [1, this.r7_1_noOctalConstants.bind(this)],
@@ -13,64 +11,59 @@ export default class Section7_LiteralsConstants extends MISRAAnalyser {
             [4, this.r7_4_constStringLiterals.bind(this)]
         ]);
     }
-    
-    private r7_1_noOctalConstants($startNode: Joinpoint) {
+    r7_1_noOctalConstants($startNode) {
         for (const intLit of Query.searchFrom($startNode, IntLiteral)) {
             if (intLit.code.match(/0[0-9]+/g)) {
                 this.logMISRAError(intLit, `The octal constant ${intLit.code} was used. Its decimal value is ${intLit.value}`);
             }
         }
     }
-    
-    private r7_3_noLowercaseLSuffix($startNode: Joinpoint) {
+    r7_3_noLowercaseLSuffix($startNode) {
         for (const intLit of Query.searchFrom($startNode, IntLiteral)) {
             if (intLit.code.includes('l')) {
                 this.logMISRAError(intLit, `A lowercase 'l' was used as a suffix in ${intLit.code}.`);
             }
         }
     }
-    
-    private static checkPointerConst(type: Type) {
+    static checkPointerConst(type) {
         if (type instanceof PointerType) {
             return type.pointee.constant;
         }
         else if (type instanceof QualType && type.unqualifiedType instanceof PointerType) {
             return type.unqualifiedType.pointee.constant;
         }
-        else return undefined;
+        else
+            return undefined;
     }
-    
-    private r7_4_constStringLiterals($startNode: Joinpoint) { 
+    r7_4_constStringLiterals($startNode) {
         for (const varDecl of Query.searchFrom($startNode, Vardecl)) {
-            if (!varDecl.type.isPointer) continue;
-    
+            if (!varDecl.type.isPointer)
+                continue;
             if (varDecl.children.length > 0 && varDecl.children[0].joinPointType === "literal"
                 && !Section7_LiteralsConstants.checkPointerConst(varDecl.type)) {
-                    this.logMISRAError(varDecl, `String literal assigned to non-const qualified variable ${varDecl.name}`);
+                this.logMISRAError(varDecl, `String literal assigned to non-const qualified variable ${varDecl.name}`);
             }
         }
-        
-        Query.searchFrom($startNode, BinaryOp, {isAssignment: true}).get().forEach(bOp => {
+        Query.searchFrom($startNode, BinaryOp, { isAssignment: true }).get().forEach(bOp => {
             if (bOp.right.joinPointType === "literal" && !Section7_LiteralsConstants.checkPointerConst(bOp.left.type)) {
-                this.logMISRAError(bOp, `String literal assigned to non-const qualified variable ${(bOp.left as Varref | ArrayAccess).name}`);
+                this.logMISRAError(bOp, `String literal assigned to non-const qualified variable ${bOp.left.name}`);
             }
         }, this);
-    
         for (const ret of Query.searchFrom($startNode, ReturnStmt)) {
-            const ancestor = ret.getAncestor("function") as FunctionJp;
+            const ancestor = ret.getAncestor("function");
             const retType = ancestor.functionType.returnType;
             if (ret.returnExpr?.joinPointType === "literal" && !Section7_LiteralsConstants.checkPointerConst(retType)) {
                 this.logMISRAError(ret, `String literal returned in non-const qualified return value for function ${ancestor.name}`);
             }
         }
-    
         for (const call of Query.searchFrom($startNode, Call)) {
             const paramTypes = call.function.functionType.paramTypes;
             for (let i = 1; i < call.children.length; i++) {
-                if (call.children[i].joinPointType === "literal" && !Section7_LiteralsConstants.checkPointerConst(paramTypes[i-1])) {
+                if (call.children[i].joinPointType === "literal" && !Section7_LiteralsConstants.checkPointerConst(paramTypes[i - 1])) {
                     this.logMISRAError(call.children[i], `String literal passed as non-const qualified parameter in call of ${call.function.name}`);
                 }
             }
         }
     }
-}
+}
+//# sourceMappingURL=Section7_LiteralsConstants.js.map

package/dist/misra/sections/Section7_LiteralsConstants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Section7_LiteralsConstants.js","sourceRoot":"","sources":["../../../src/misra/sections/Section7_LiteralsConstants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAmB,UAAU,EAAQ,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAc,IAAI,EAAkC,MAAM,qCAAqC,CAAC;AAChM,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,aAAa;IACjE,UAAU,CAA8C;IAExD,YAAY,KAAe;QACvB,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,UAAU,GAAG,IAAI,GAAG,CAAC;YACtB,CAAC,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,CAAC,EAAE,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAEO,qBAAqB,CAAC,UAAqB;QAC/C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YAC5D,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,sBAAsB,MAAM,CAAC,IAAI,mCAAmC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YACnH,CAAC;QACL,CAAC;IACL,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YAC5D,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,2CAA2C,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;YAC1F,CAAC;QACL,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,iBAAiB,CAAC,IAAU;QACvC,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjC,CAAC;aACI,IAAI,IAAI,YAAY,QAAQ,IAAI,IAAI,CAAC,eAAe,YAAY,WAAW,EAAE,CAAC;YAC/E,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjD,CAAC;;YACI,OAAO,SAAS,CAAC;IAC1B,CAAC;IAEO,wBAAwB,CAAC,UAAqB;QAClD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAEtC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS;mBAC3E,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,2DAA2D,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/G,CAAC;QACL,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAC,YAAY,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAC7E,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2DAA4D,GAAG,CAAC,IAA6B,CAAC,IAAI,EAAE,CAAC,CAAC;YAClI,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QAET,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAe,CAAC;YAC3D,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC;YACjD,IAAI,GAAG,CAAC,UAAU,EAAE,aAAa,KAAK,SAAS,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,4EAA4E,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YACzH,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC;YACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjH,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,qEAAqE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;gBACpI,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}

package/dist/misra/sections/Section8_DeclarationsDefinitions.d.ts

@@ -0,0 +1,15 @@
+import { Program, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
+    constructor(rules: number[]);
+    private r8_2_functionPrototype;
+    private r8_3_compatibleDefinitions;
+    private static hasExternalLinkage;
+    private r8_7_noUnnecessaryExternalLinkage;
+    private r8_10_onlyStaticInline;
+    private r8_11_externArrayExplicitSize;
+    private setEnumMap;
+    private r8_12_implicitExplicitEnumMatching;
+}
+//# sourceMappingURL=Section8_DeclarationsDefinitions.d.ts.map

package/dist/misra/sections/Section8_DeclarationsDefinitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Section8_DeclarationsDefinitions.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section8_DeclarationsDefinitions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA+F,MAAM,qCAAqC,CAAC;AACnK,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAGhD,MAAM,CAAC,OAAO,OAAO,gCAAiC,SAAQ,aAAa;IACvE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAY3B,OAAO,CAAC,sBAAsB;IAK9B,OAAO,CAAC,0BAA0B;IAelC,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAIjC,OAAO,CAAC,iCAAiC;IAwCzC,OAAO,CAAC,sBAAsB;IAQ9B,OAAO,CAAC,6BAA6B;IAQrC,OAAO,CAAC,UAAU;IASlB,OAAO,CAAC,kCAAkC;CAuB7C"}

package/{src/misra/sections/Section8_DeclarationsDefinitions.ts → dist/misra/sections/Section8_DeclarationsDefinitions.js}

@@ -1,12 +1,10 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program, FileJp, Param, FunctionJp, StorageClass, Vardecl, EnumDecl, IntLiteral, Joinpoint, DeclStmt, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import { FileJp, Param, FunctionJp, StorageClass, Vardecl, EnumDecl, IntLiteral, DeclStmt, Varref } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
 import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
-
 export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-    
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [2, this.r8_2_functionPrototype.bind(this)],
@@ -17,14 +15,12 @@ export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
             [12, this.r8_12_implicitExplicitEnumMatching.bind(this)]
         ]);
     }
-
-    private r8_2_functionPrototype($startNode: Joinpoint) { //needs to apply to function pointers, void info lost
+    r8_2_functionPrototype($startNode) {
         Query.searchFrom($startNode, Param).get().filter(param => !param.name)
             .forEach(param => this.logMISRAError(param, `Parameter of type ${param.type.code} lacks a name.`), this);
     }
-
-    private r8_3_compatibleDefinitions($startNode: Joinpoint) { //what if no impl?
-        Query.searchFrom($startNode, FunctionJp, {isImplementation: true}).get().forEach(fun => {
+    r8_3_compatibleDefinitions($startNode) {
+        Query.searchFrom($startNode, FunctionJp, { isImplementation: true }).get().forEach(fun => {
             fun.declarationJps.forEach(decl => {
                 for (let i = 0; i < fun.params.length; i++) {
                     if (fun.paramNames[i] !== decl.paramNames[i]) {
@@ -37,14 +33,11 @@ export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
             }, this);
         }, this);
     }
-
-    private static hasExternalLinkage(jp: FunctionJp | Vardecl) {
+    static hasExternalLinkage(jp) {
         return jp.storageClass !== StorageClass.STATIC && jp.storageClass !== StorageClass.EXTERN;
     }
-
-    private r8_7_noUnnecessaryExternalLinkage($startNode: Joinpoint) { //finish
+    r8_7_noUnnecessaryExternalLinkage($startNode) {
         const globals = new Map();
-    
         Query.searchFrom($startNode, FileJp).get().forEach(file => {
             file.children.forEach(jp => {
                 if (jp instanceof FunctionJp && jp.name !== "main" && Section8_DeclarationsDefinitions.hasExternalLinkage(jp)) {
@@ -58,16 +51,14 @@ export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
                         this.logMISRAError(jp, `Function ${jp.name} has external linkage but it is only referenced in its file.`);
                     }
                 }
-    
                 if (jp instanceof DeclStmt) {
                     jp.decls.filter(decl => decl instanceof Vardecl && Section8_DeclarationsDefinitions.hasExternalLinkage(decl)).forEach(decl => {
                         //globals.push({decl: decl as Vardecl, file: decl.filename});
-                        globals.set(decl.astId, {decl: decl as Vardecl, file: decl.filename});
+                        globals.set(decl.astId, { decl: decl, file: decl.filename });
                     }, this);
                 }
             });
         }, this);
-
         Query.searchFrom($startNode, Varref).get().forEach(ref => {
             if (globals.has(ref.astId)) {
                 const declFile = globals.get(ref.astId).file;
@@ -76,41 +67,34 @@ export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
                 }
             }
         }, this);
-
         globals.forEach((v, k, m) => {
             this.logMISRAError(v.decl, `Variable ${v.decl.name} is declared with external linkage but is not referenced outside its file.`);
         }, this);
     }
-
-    private r8_10_onlyStaticInline($startNode: Joinpoint) {
-        Query.searchFrom($startNode, FunctionJp, {isInline: true}).get().forEach(fun => {
+    r8_10_onlyStaticInline($startNode) {
+        Query.searchFrom($startNode, FunctionJp, { isInline: true }).get().forEach(fun => {
             if (fun.storageClass !== StorageClass.STATIC) {
                 this.logMISRAError(fun, "Inline functions must always be declared static.");
             }
         });
     }
-
-    private r8_11_externArrayExplicitSize($startNode: Joinpoint) {
-        for (const varDecl of Query.searchFrom($startNode, Vardecl, {storageClass: StorageClass.EXTERN})) {
+    r8_11_externArrayExplicitSize($startNode) {
+        for (const varDecl of Query.searchFrom($startNode, Vardecl, { storageClass: StorageClass.EXTERN })) {
             if (varDecl.type.isArray && varDecl.type.arraySize === -1) {
-                this.logMISRAError(varDecl, `Size of external array ${varDecl.name} is not explicit.`)
+                this.logMISRAError(varDecl, `Size of external array ${varDecl.name} is not explicit.`);
             }
         }
     }
-
-    private setEnumMap(map: Map<number, boolean>, newValue: number, isExplicit: boolean, jp: EnumDecl) {
+    setEnumMap(map, newValue, isExplicit, jp) {
         if (map.has(newValue) && !(isExplicit && map.get(newValue))) {
             this.logMISRAError(jp, `An implicitly numbered identifier in enum ${jp.name} shares a value with another identifier.`, new Fix(jp, jp => {
-                
             }));
         }
         map.set(newValue, isExplicit);
     }
-    
-    private r8_12_implicitExplicitEnumMatching($startNode: Joinpoint) {
+    r8_12_implicitExplicitEnumMatching($startNode) {
         for (const enumDecl of Query.searchFrom($startNode, EnumDecl)) {
             const map = new Map();
-    
             let index = 0;
             for (const enumerator of enumDecl.enumerators) {
                 if (enumerator.children.length > 0) {
@@ -130,4 +114,5 @@ export default class Section8_DeclarationsDefinitions extends MISRAAnalyser {
             }
         }
     }
-}
+}
+//# sourceMappingURL=Section8_DeclarationsDefinitions.js.map

package/dist/misra/sections/Section8_DeclarationsDefinitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Section8_DeclarationsDefinitions.js","sourceRoot":"","sources":["../../../src/misra/sections/Section8_DeclarationsDefinitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAW,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAa,QAAQ,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACnK,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,gCAAiC,SAAQ,aAAa;IACvE,UAAU,CAA8C;IAExD,YAAY,KAAe;QACvB,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,UAAU,GAAG,IAAI,GAAG,CAAC;YACtB,CAAC,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,CAAC,EAAE,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC,EAAE,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,EAAE,EAAE,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC,EAAE,EAAE,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC3D,CAAC,CAAC;IACP,CAAC;IAEO,sBAAsB,CAAC,UAAqB;QAChD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;aACjE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,qBAAqB,KAAK,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,IAAI,CAAC,CAAC;IACjH,CAAC;IAEO,0BAA0B,CAAC,UAAqB;QACpD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,EAAC,gBAAgB,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACnF,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,sDAAsD,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;oBAChI,CAAC;oBACD,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;wBACvD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,mDAAmD,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC5H,CAAC;gBACL,CAAC;YACL,CAAC,EAAE,IAAI,CAAC,CAAC;QACb,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,EAAwB;QACtD,OAAO,EAAE,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;IAC9F,CAAC;IAEO,iCAAiC,CAAC,UAAqB;QAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;QAE1B,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACtD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;gBACvB,IAAI,EAAE,YAAY,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,gCAAgC,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC5G,IAAI,YAAY,GAAG,KAAK,CAAC;oBACzB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;wBACpB,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;4BAChC,YAAY,GAAG,IAAI,CAAC;wBACxB,CAAC;oBACL,CAAC,EAAE,IAAI,CAAC,CAAC;oBACT,IAAI,CAAC,YAAY,EAAE,CAAC;wBAChB,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,IAAI,8DAA8D,CAAC,CAAC;oBAC9G,CAAC;gBACL,CAAC;gBAED,IAAI,EAAE,YAAY,QAAQ,EAAE,CAAC;oBACzB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,OAAO,IAAI,gCAAgC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;wBACzH,6DAA6D;wBAC7D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAC,IAAI,EAAE,IAAe,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAC,CAAC,CAAC;oBAC1E,CAAC,EAAE,IAAI,CAAC,CAAC;gBACb,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,EAAE,IAAI,CAAC,CAAC;QAET,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACrD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;gBAC7C,IAAI,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;oBAC5B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC9B,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QAET,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACxB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,4EAA4E,CAAC,CAAC;QACpI,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,sBAAsB,CAAC,UAAqB;QAChD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,EAAC,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAC3E,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,kDAAkD,CAAC,CAAC;YAChF,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,YAAY,EAAE,YAAY,CAAC,MAAM,EAAC,CAAC,EAAE,CAAC;YAC/F,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;gBACxD,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,0BAA0B,OAAO,CAAC,IAAI,mBAAmB,CAAC,CAAA;YAC1F,CAAC;QACL,CAAC;IACL,CAAC;IAEO,UAAU,CAAC,GAAyB,EAAE,QAAgB,EAAE,UAAmB,EAAE,EAAY;QAC7F,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,6CAA6C,EAAE,CAAC,IAAI,0CAA0C,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE;YAExI,CAAC,CAAC,CAAC,CAAC;QACR,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClC,CAAC;IAEO,kCAAkC,CAAC,UAAqB;QAC5D,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;YAEtB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAC5C,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACjC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,UAAU,EAAE,CAAC;wBAC3D,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;wBACzD,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;oBAChD,CAAC;yBACI,CAAC;wBACF,OAAO,CAAC,GAAG,CAAC,mDAAmD,QAAQ,CAAC,IAAI,kCAAkC,CAAC,CAAC;wBAChH,OAAO;oBACX,CAAC;gBACL,CAAC;qBACI,CAAC;oBACF,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;gBACjD,CAAC;gBACD,KAAK,EAAE,CAAC;YACZ,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}

package/dist/misra/tests/utils.d.ts

@@ -0,0 +1,10 @@
+import MISRAReporter from "../MISRAReporter.js";
+import MISRAPass from "../MISRAPass.js";
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+export declare function expectNumberOfErrors($reporter: MISRAReporter, $pass: MISRAPass, $errors: number, $jp: Joinpoint): void;
+export interface TestFile {
+    name: string;
+    code: string;
+}
+export declare function registerSourceCode(files: TestFile[]): void;
+//# sourceMappingURL=utils.d.ts.map

package/dist/misra/tests/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/misra/tests/utils.ts"],"names":[],"mappings":"AAEA,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAchE,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,QAO/G;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAA;CACf;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAcxD"}

package/dist/misra/tests/utils.js

@@ -0,0 +1,33 @@
+import Clava from "@specs-feup/clava/api/clava/Clava.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+function countErrors($passResult) {
+    let count = 0;
+    $passResult.results.forEach(res => {
+        const misraRes = res;
+        count += misraRes.reports.length;
+    });
+    return count;
+}
+export function expectNumberOfErrors($reporter, $pass, $errors, $jp) {
+    const result = $reporter.applyPass($pass, $jp);
+    if (!result) {
+        expect($errors).toBe(0);
+        return;
+    }
+    expect(countErrors(result)).toBe($errors);
+}
+export function registerSourceCode(files) {
+    beforeAll(() => {
+        Clava.getProgram().push();
+        const program = Clava.getProgram();
+        files.forEach(file => {
+            const sourceFile = ClavaJoinPoints.fileWithSource(file.name, file.code);
+            program.addFile(sourceFile);
+        });
+        program.rebuild();
+    });
+    afterAll(() => {
+        Clava.getProgram().pop();
+    });
+}
+//# sourceMappingURL=utils.js.map

package/dist/misra/tests/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/misra/tests/utils.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,SAAS,WAAW,CAAC,WAAgC;IACjD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;QAC9B,MAAM,QAAQ,GAAG,GAAsB,CAAC;QACxC,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAwB,EAAE,KAAgB,EAAE,OAAe,EAAE,GAAc;IAC5G,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9C,CAAC;AAOD,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAChD,SAAS,CAAC,GAAG,EAAE;QACb,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnB,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACxE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/rules/Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.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";
+/**
+ * MISRA Rule 16.2: A switch label shall only be used when the most closely-enclos ing
+compound statement is the body of a switch statement
+ */
+export default class Rule_16_2_TopLevelSwitch extends MISRARule {
+    #private;
+    constructor(context: MISRAContext);
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_16_2_TopLevelSwitch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_2_TopLevelSwitch.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,SAAS,EAAU,MAAM,qCAAqC,CAAC;AAC9E,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,wBAAyB,SAAQ,SAAS;;gBAG/C,OAAO,EAAE,YAAY;IAIjC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAc1D,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAQvD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.js

@@ -0,0 +1,33 @@
+import { Case, Switch } 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";
+/**
+ * MISRA Rule 16.2: A switch label shall only be used when the most closely-enclos ing
+compound statement is the body of a switch statement
+ */
+export default class Rule_16_2_TopLevelSwitch extends MISRARule {
+    #misplacedCases = [];
+    constructor(context) {
+        super("16.2", context);
+    }
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Switch))
+            return false;
+        this.#misplacedCases = Query.searchFrom($jp, Case).get()
+            .filter(caseLabel => !(caseLabel.currentRegion instanceof Switch));
+        if (logErrors) {
+            this.#misplacedCases.forEach(caseLabel => this.logMISRAError(caseLabel, "A switch label can only be used if its enclosing compound statement is the switch statement itself."));
+        }
+        return this.#misplacedCases.length > 0;
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        for (const caseLabel of this.#misplacedCases) {
+            caseLabel.detach();
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_16_2_TopLevelSwitch.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_2_TopLevelSwitch.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAa,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAC9E,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,wBAAyB,SAAQ,SAAS;IAC3D,eAAe,GAAW,EAAE,CAAC;IAE7B,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE;aACnD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,YAAY,MAAM,CAAC,CAAC,CAAC;QAEvE,IAAI,SAAS,EAAE,CAAC;YACZ,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CACrC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,qGAAqG,CAAC,CACvI,CAAC;QACN,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAC3C,SAAS,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

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

@@ -0,0 +1,16 @@
+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 16.3: An unconditional break statement shall terminate every switch-clause
+ */
+export default class Rule_16_3_UnconditionalBreak extends MISRARule {
+    #private;
+    constructor(context: MISRAContext);
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    private getNextStatementsToExecute;
+    private insertNextStatementsToExecute;
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_16_3_UnconditionalBreak.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_3_UnconditionalBreak.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,SAAS,EAA2B,MAAM,qCAAqC,CAAC;AAChG,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,4BAA6B,SAAQ,SAAS;;gBAGnD,OAAO,EAAE,YAAY;IAIjC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAc1D,OAAO,CAAC,0BAA0B;IAalC,OAAO,CAAC,6BAA6B;IAWrC,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAavD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.js

@@ -0,0 +1,60 @@
+import { Break, Switch, Case } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getLastStmtOfCase } from "../../utils/utils.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+/**
+ * MISRA Rule 16.3: An unconditional break statement shall terminate every switch-clause
+ */
+export default class Rule_16_3_UnconditionalBreak extends MISRARule {
+    #statementsNeedingBreakAfter = [];
+    constructor(context) {
+        super("16.3", context);
+    }
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Switch))
+            return false;
+        this.#statementsNeedingBreakAfter = $jp.cases.map(caseLabel => getLastStmtOfCase(caseLabel))
+            .filter(lastStmt => lastStmt && !(lastStmt instanceof Break));
+        if (logErrors) {
+            this.#statementsNeedingBreakAfter.forEach(stmt => {
+                this.logMISRAError(stmt, `Missing unconditional break after statement '${stmt.code}'`);
+            });
+        }
+        return this.#statementsNeedingBreakAfter.length > 0;
+    }
+    getNextStatementsToExecute(jp) {
+        let stmts = [];
+        for (const sibling of jp.siblingsRight) {
+            if (sibling instanceof Break)
+                break;
+            if (sibling instanceof Case)
+                continue;
+            stmts.push(sibling.deepCopy());
+        }
+        return stmts;
+    }
+    insertNextStatementsToExecute(jp) {
+        const nextStmts = this.getNextStatementsToExecute(jp);
+        let lastStmt = jp;
+        for (const stmt of nextStmts) {
+            lastStmt.insertAfter(stmt);
+            lastStmt = stmt;
+        }
+        lastStmt.insertAfter(ClavaJoinPoints.breakStmt());
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        for (const stmt of this.#statementsNeedingBreakAfter) {
+            if (stmt.rightJp === undefined) { // last statement of the switch
+                stmt.insertAfter(ClavaJoinPoints.breakStmt());
+            }
+            else {
+                this.insertNextStatementsToExecute(stmt);
+            }
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_16_3_UnconditionalBreak.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_3_UnconditionalBreak.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAwB,MAAM,EAAE,IAAI,EAAE,MAAM,qCAAqC,CAAC;AAChG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;IAC/D,4BAA4B,GAAgB,EAAE,CAAC;IAE/C,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,IAAI,CAAC,4BAA4B,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;aACvF,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,YAAY,KAAK,CAAC,CAAgB,CAAC;QAEjF,IAAI,SAAS,EAAE,CAAC;YACZ,IAAI,CAAC,4BAA4B,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBAC7C,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,gDAAgD,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YAC3F,CAAC,CAAC,CAAC;QACP,CAAC;QACD,OAAO,IAAI,CAAC,4BAA4B,CAAC,MAAM,GAAG,CAAC,CAAC;IACxD,CAAC;IAEO,0BAA0B,CAAC,EAAa;QAC5C,IAAI,KAAK,GAAG,EAAE,CAAC;QAEf,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACrC,IAAI,OAAO,YAAY,KAAK;gBACxB,MAAM;YACV,IAAI,OAAO,YAAY,IAAI;gBACvB,SAAS;YACb,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,6BAA6B,CAAC,EAAa;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAC;QACtD,IAAI,QAAQ,GAAG,EAAE,CAAC;QAElB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC3B,QAAQ,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,QAAQ,CAAC,WAAW,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC;IACtD,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,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACnD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC,CAAC,+BAA+B;gBAC7D,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC;QACL,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

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

@@ -0,0 +1,19 @@
+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 16.4: Every switch statement shall have a default label
+ */
+export default class Rule_16_4_SwitchHasDefault extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint is a switch statement with a default case
+     * @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;
+}
+//# sourceMappingURL=Rule_16_4_SwitchHasDefault.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_4_SwitchHasDefault.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAU,MAAM,qCAAqC,CAAC;AACxE,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,0BAA2B,SAAQ,SAAS;gBACjD,OAAO,EAAE,YAAY;IAIjC;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAcvD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.js

@@ -0,0 +1,42 @@
+import { Switch } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import { getNumOfSwitchClauses, switchHasBooleanCondition, switchHasConditionalBreak } from "../../utils/utils.js";
+/**
+ * MISRA Rule 16.4: Every switch statement shall have a default label
+ */
+export default class Rule_16_4_SwitchHasDefault extends MISRARule {
+    constructor(context) {
+        super("16.4", context);
+    }
+    /**
+     * Checks if the given joinpoint is a switch statement with a default case
+     * @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 Switch))
+            return false;
+        const noDefaultCase = !$jp.hasDefaultCase;
+        if (noDefaultCase && logErrors) {
+            this.logMISRAError($jp, "Switch statement is missing a default case.");
+        }
+        return noDefaultCase;
+    }
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        if ((getNumOfSwitchClauses($jp) < 2 || switchHasBooleanCondition($jp)) &&
+            !switchHasConditionalBreak($jp)) { // Will be handled by rules 16.6 or 16.7
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        $jp.children[1].lastChild
+            .insertAfter(ClavaJoinPoints.defaultStmt())
+            .insertAfter(ClavaJoinPoints.emptyStmt())
+            .insertAfter(ClavaJoinPoints.breakStmt());
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_16_4_SwitchHasDefault.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_4_SwitchHasDefault.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAEnH;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,SAAS;IAC7D,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,aAAa,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC;QAC1C,IAAI,aAAa,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAA;QAC1E,CAAC;QACD,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,IAAI,CAAC,qBAAqB,CAAC,GAAa,CAAC,GAAG,CAAC,IAAI,yBAAyB,CAAC,GAAa,CAAC,CAAC;YACtF,CAAC,yBAAyB,CAAC,GAAa,CAAC,EAAE,CAAC,CAAC,wCAAwC;YACrF,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;aACpB,WAAW,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;aAC1C,WAAW,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC;aACxC,WAAW,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9C,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}