@specs-feup/clava-misra 1.0.0 → 1.0.2

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

@@ -1,11 +1,9 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program, FileJp, Joinpoint, BinaryOp, Field, Param, Vardecl, FunctionJp, Type, PointerType, QualType, FunctionType } from "@specs-feup/clava/api/Joinpoints.js";
+import { BinaryOp, Field, Param, Vardecl, FunctionJp, PointerType, QualType, FunctionType } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
-
 export default class Section18_PointersAndArrays extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-    
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [4, this.r18_4_noPointerArithmetic.bind(this)],
@@ -14,51 +12,49 @@ export default class Section18_PointersAndArrays extends MISRAAnalyser {
             [8, this.r18_8_noVariableLengthArrays.bind(this)]
         ]);
     }
-
-    private r18_4_noPointerArithmetic($startNode: Joinpoint) {
-        for (const bOp of Query.searchFrom($startNode, BinaryOp, {operator: /(\+=)|(-=)|(\+)|(-)/})) {
-            if (!bOp.type.isPointer) continue;
-            this.logMISRAError(bOp, "Pointer arithmetic is not allowed. The only exception is if two pointers to elements of the same array are subtracted.")
+    r18_4_noPointerArithmetic($startNode) {
+        for (const bOp of Query.searchFrom($startNode, BinaryOp, { operator: /(\+=)|(-=)|(\+)|(-)/ })) {
+            if (!bOp.type.isPointer)
+                continue;
+            this.logMISRAError(bOp, "Pointer arithmetic is not allowed. The only exception is if two pointers to elements of the same array are subtracted.");
         }
     }
-
-    private static getDepth(type: Type) {
+    static getDepth(type) {
         let depth = 0;
         let curr = type.desugarAll;
         while (curr.isPointer === true) {
             depth++;
-    
-            if(curr instanceof PointerType) {
-                curr = curr.pointee.desugarAll;    
-            } else if(curr instanceof QualType) {
-                curr = (curr.unqualifiedType as PointerType).pointee.desugarAll;    
-            } else {
+            if (curr instanceof PointerType) {
+                curr = curr.pointee.desugarAll;
+            }
+            else if (curr instanceof QualType) {
+                curr = curr.unqualifiedType.pointee.desugarAll;
+            }
+            else {
                 throw new Error(`Not supported for type ${curr.joinPointType}.`);
             }
         }
-    
         return depth;
     }
-
-    private static getUnderlyingType(type: Type) {
+    static getUnderlyingType(type) {
         let curr = type.desugarAll;
         while (curr.isPointer === true) {
-    
-            if(curr instanceof PointerType) {
-                curr = curr.pointee.desugarAll;    
-            } else if(curr instanceof QualType) {
-                curr = (curr.unqualifiedType as PointerType).pointee.desugarAll;    
-            } else {
+            if (curr instanceof PointerType) {
+                curr = curr.pointee.desugarAll;
+            }
+            else if (curr instanceof QualType) {
+                curr = curr.unqualifiedType.pointee.desugarAll;
+            }
+            else {
                 throw new Error(`Not supported for type ${curr.joinPointType}.`);
             }
         }
-    
         return curr;
     }
-
-    private r18_5_noExcessivePointerNesting($startNode: Joinpoint) { //must apply to fields as well
+    r18_5_noExcessivePointerNesting($startNode) {
         Query.searchFrom($startNode, Vardecl).get().forEach(decl => {
-            if (decl instanceof Param) return;
+            if (decl instanceof Param)
+                return;
             const depth = Section18_PointersAndArrays.getDepth(decl.type);
             const underlyingType = Section18_PointersAndArrays.getUnderlyingType(decl.type);
             if (underlyingType instanceof FunctionType) {
@@ -72,10 +68,9 @@ export default class Section18_PointersAndArrays extends MISRAAnalyser {
                 }
             }
             if (depth > 2) {
-                this.logMISRAError(decl, `Type ${decl.type.code} has more than two levels of indirection.`)
+                this.logMISRAError(decl, `Type ${decl.type.code} has more than two levels of indirection.`);
             }
         }, this);
-        
         Query.searchFrom($startNode, FunctionJp).get().forEach(fun => {
             const retDepth = Section18_PointersAndArrays.getDepth(fun.functionType.returnType);
             const paramDepths = fun.functionType.paramTypes.map(type => Section18_PointersAndArrays.getDepth(type)).filter(d => d > 2);
@@ -87,22 +82,23 @@ export default class Section18_PointersAndArrays extends MISRAAnalyser {
             }
         }, this);
     }
-
-    private r18_7_noFlexibleArrayMembers($startNode: Joinpoint) {
+    r18_7_noFlexibleArrayMembers($startNode) {
         for (const varDecl of Query.searchFrom($startNode, Field)) {
-            if (!varDecl.type.isArray || varDecl instanceof Param) continue;
+            if (!varDecl.type.isArray || varDecl instanceof Param)
+                continue;
             if (varDecl.type.arraySize === -1) {
                 this.logMISRAError(varDecl, `Array ${varDecl.name} has variable or undefined size.`);
             }
         }
     }
-
-    private r18_8_noVariableLengthArrays($startNode: Joinpoint) {
+    r18_8_noVariableLengthArrays($startNode) {
         for (const varDecl of Query.searchFrom($startNode, Vardecl)) {
-            if (!varDecl.type.isArray || varDecl.instanceOf("param")) continue;
+            if (!varDecl.type.isArray || varDecl.instanceOf("param"))
+                continue;
             if (varDecl.type.arraySize === -1) {
                 this.logMISRAError(varDecl, `Array ${varDecl.name} has variable or undefined size.`);
             }
         }
     }
-}
+}
+//# sourceMappingURL=Section18_PointersAndArrays.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section18_PointersAndArrays.js","sourceRoot":"","sources":["../../../src/misra/sections/Section18_PointersAndArrays.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAA8B,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAQ,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACzK,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,aAAa;IAClE,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,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC,CAAC,EAAE,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACpD,CAAC,CAAC;IACP,CAAC;IAEO,yBAAyB,CAAC,UAAqB;QACnD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAC,QAAQ,EAAE,qBAAqB,EAAC,CAAC,EAAE,CAAC;YAC1F,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAClC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,wHAAwH,CAAC,CAAA;QACrJ,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,QAAQ,CAAC,IAAU;QAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAC3B,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC7B,KAAK,EAAE,CAAC;YAER,IAAG,IAAI,YAAY,WAAW,EAAE,CAAC;gBAC7B,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YACnC,CAAC;iBAAM,IAAG,IAAI,YAAY,QAAQ,EAAE,CAAC;gBACjC,IAAI,GAAI,IAAI,CAAC,eAA+B,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;YACrE,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,MAAM,CAAC,iBAAiB,CAAC,IAAU;QACvC,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAC3B,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAE7B,IAAG,IAAI,YAAY,WAAW,EAAE,CAAC;gBAC7B,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YACnC,CAAC;iBAAM,IAAG,IAAI,YAAY,QAAQ,EAAE,CAAC;gBACjC,IAAI,GAAI,IAAI,CAAC,eAA+B,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;YACrE,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,+BAA+B,CAAC,UAAqB;QACzD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACvD,IAAI,IAAI,YAAY,KAAK;gBAAE,OAAO;YAClC,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,MAAM,cAAc,GAAG,2BAA2B,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChF,IAAI,cAAc,YAAY,YAAY,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;gBACjF,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACzH,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;oBACf,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,mCAAmC,IAAI,CAAC,IAAI,2CAA2C,CAAC,CAAC;gBACtH,CAAC;gBACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACzB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,8CAA8C,IAAI,CAAC,IAAI,4CAA4C,CAAC,CAAC;gBAClI,CAAC;YACL,CAAC;YACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACZ,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,2CAA2C,CAAC,CAAA;YAC/F,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QAET,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACzD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YACnF,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3H,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;gBACf,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2BAA2B,GAAG,CAAC,SAAS,2CAA2C,CAAC,CAAC;YACjH,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,sCAAsC,GAAG,CAAC,SAAS,4CAA4C,CAAC,CAAC;YAC7H,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,YAAY,KAAK;gBAAE,SAAS;YAChE,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;gBAChC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,OAAO,CAAC,IAAI,kCAAkC,CAAC,CAAC;YACzF,CAAC;QACL,CAAC;IACL,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;gBAAE,SAAS;YACnE,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;gBAChC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,OAAO,CAAC,IAAI,kCAAkC,CAAC,CAAC;YACzF,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section19_OverlappingStorage.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section19_OverlappingStorage.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAoB,MAAM,qCAAqC,CAAC;AACxF,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,aAAa;IACnE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAO3B,OAAO,CAAC,aAAa;CAGxB"}

package/dist/misra/sections/Section19_OverlappingStorage.js

@@ -0,0 +1,16 @@
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { Class } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section19_OverlappingStorage extends MISRAAnalyser {
+    ruleMapper;
+    constructor(rules) {
+        super(rules);
+        this.ruleMapper = new Map([
+            [2, this.r19_2_noUnion.bind(this)]
+        ]);
+    }
+    r19_2_noUnion($startNode) {
+        Query.searchFrom($startNode, Class, { kind: "union" }).get().forEach(union => this.logMISRAError(union, "The union keyword should not be used."), this);
+    }
+}
+//# sourceMappingURL=Section19_OverlappingStorage.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section19_OverlappingStorage.js","sourceRoot":"","sources":["../../../src/misra/sections/Section19_OverlappingStorage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAA8B,KAAK,EAAE,MAAM,qCAAqC,CAAC;AACxF,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,aAAa;IACnE,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,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACrC,CAAC,CAAC;IACP,CAAC;IAEO,aAAa,CAAC,UAAqB;QACvC,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,uCAAuC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1J,CAAC;CACJ"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section20_PreprocessingDirectives.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section20_PreprocessingDirectives.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAsB,MAAM,qCAAqC,CAAC;AAC1F,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,iCAAkC,SAAQ,aAAa;IACxE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAO3B,OAAO,CAAC,6BAA6B;CAOxC"}

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

@@ -1,22 +1,20 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program, FileJp, Joinpoint, Include } from "@specs-feup/clava/api/Joinpoints.js";
+import { Include } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
-
 export default class Section20_PreprocessingDirectives extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [2, this.r20_2_noInvalidCharsInInclude.bind(this)]
         ]);
     }
-    
-    private r20_2_noInvalidCharsInInclude($startNode: Joinpoint) {
+    r20_2_noInvalidCharsInInclude($startNode) {
         Query.searchFrom($startNode, Include).get().forEach(include => {
             if (/.*('|"|\\|\/\*|\/\/).*/.test(include.name)) {
-                this.logMISRAError(include, `Invalid characters in include for ${include.name}. Invalid characters are ', ", \\, and the sequences /* and //.`)
+                this.logMISRAError(include, `Invalid characters in include for ${include.name}. Invalid characters are ', ", \\, and the sequences /* and //.`);
             }
         }, this);
     }
-}
+}
+//# sourceMappingURL=Section20_PreprocessingDirectives.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section20_PreprocessingDirectives.js","sourceRoot":"","sources":["../../../src/misra/sections/Section20_PreprocessingDirectives.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAA8B,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,iCAAkC,SAAQ,aAAa;IACxE,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,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACrD,CAAC,CAAC;IACP,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAC1D,IAAI,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,qCAAqC,OAAO,CAAC,IAAI,iEAAiE,CAAC,CAAA;YACnJ,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;CACJ"}

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

@@ -0,0 +1,17 @@
+import { FileJp, Program } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section21_StandardLibraries extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: FileJp | Program) => void>;
+    constructor(rules: number[]);
+    private r21_3_noDynamicAllocation;
+    private r21_4_noSetjmpUsage;
+    private r21_5_noSignalUsage;
+    private r21_6_noStandardIO;
+    private r21_7_noStringFunctions;
+    private r21_8_noSysFunctions;
+    private r21_9_noStdAlgos;
+    private r21_10_noDateUsage;
+    private r21_11_noTgmathUsage;
+    private r21_12_noFenvExceptions;
+}
+//# sourceMappingURL=Section21_StandardLibraries.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section21_StandardLibraries.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section21_StandardLibraries.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,MAAM,EAAsB,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAChG,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,aAAa;IAClE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAgB3B,OAAO,CAAC,yBAAyB;IAIjC,OAAO,CAAC,mBAAmB;IAI3B,OAAO,CAAC,mBAAmB;IAI3B,OAAO,CAAC,kBAAkB;IAK1B,OAAO,CAAC,uBAAuB;IAI/B,OAAO,CAAC,oBAAoB;IAI5B,OAAO,CAAC,gBAAgB;IAIxB,OAAO,CAAC,kBAAkB;IAK1B,OAAO,CAAC,oBAAoB;IAI5B,OAAO,CAAC,uBAAuB;CAGlC"}

package/dist/misra/sections/Section21_StandardLibraries.js

@@ -0,0 +1,54 @@
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { Call, Include } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section21_StandardLibraries extends MISRAAnalyser {
+    ruleMapper;
+    constructor(rules) {
+        super(rules);
+        this.ruleMapper = new Map([
+            [3, this.r21_3_noDynamicAllocation.bind(this)],
+            [4, this.r21_4_noSetjmpUsage.bind(this)],
+            [5, this.r21_5_noSignalUsage.bind(this)],
+            [6, this.r21_6_noStandardIO.bind(this)],
+            [7, this.r21_7_noStringFunctions.bind(this)],
+            [8, this.r21_8_noSysFunctions.bind(this)],
+            [9, this.r21_9_noStdAlgos.bind(this)],
+            [10, this.r21_10_noDateUsage.bind(this)],
+            [11, this.r21_11_noTgmathUsage.bind(this)],
+            [12, this.r21_12_noFenvExceptions.bind(this)]
+        ]);
+    }
+    r21_3_noDynamicAllocation($startNode) {
+        Query.searchFrom($startNode, Call, { name: /(malloc|realloc|calloc|free)/ }).get().forEach(call => this.logMISRAError(call, "Use of memory allocation functions provided by <stdlib.h> is not allowed."), this);
+    }
+    r21_4_noSetjmpUsage($startNode) {
+        Query.searchFrom($startNode, Include, { name: "setjmp.h", isAngled: true }).get().forEach(include => this.logMISRAError(include, "Use of <setjmp.h> is not allowed."), this);
+    }
+    r21_5_noSignalUsage($startNode) {
+        Query.searchFrom($startNode, Include, { name: "signal.h", isAngled: true }).get().forEach(include => this.logMISRAError(include, "Use of <setjmp.h> is not allowed."), this);
+    }
+    r21_6_noStandardIO($startNode) {
+        Query.searchFrom($startNode, Include, { name: /(stdio.h|wchar.h)/ }).get().forEach(include => this.logMISRAError(include, "Use of the standard library I/O functions provided by <stdio.h> and <wchar.h> is not allowed."), this);
+    }
+    //how to avoid triggering errors for functions with the same name?
+    r21_7_noStringFunctions($startNode) {
+        Query.searchFrom($startNode, Call, { name: /(atoi|atof|atol|atoll)/ }).get().forEach(call => this.logMISRAError(call, `Use of function ${call.signature} is not allowed.`), this);
+    }
+    r21_8_noSysFunctions($startNode) {
+        Query.searchFrom($startNode, Call, { name: /(system|abort|exit|getenv)/ }).get().forEach(call => this.logMISRAError(call, `Use of function ${call.signature} is not allowed.`), this);
+    }
+    r21_9_noStdAlgos($startNode) {
+        Query.searchFrom($startNode, Call, { name: /(qsort|bsearch)/ }).get().forEach(call => this.logMISRAError(call, `Use of function ${call.signature} is not allowed.`), this);
+    }
+    r21_10_noDateUsage($startNode) {
+        Query.searchFrom($startNode, Include, { name: "time.h", isAngled: true }).get().forEach(include => this.logMISRAError(include, "Use of <time.h> is not allowed."), this);
+        Query.searchFrom($startNode, Call, { name: "wcsftime" }).get().forEach(call => this.logMISRAError(call, "Identifier 'wcsftime' shall not be used."), this);
+    }
+    r21_11_noTgmathUsage($startNode) {
+        Query.searchFrom($startNode, Include, { name: "tgmath.h", isAngled: true }).get().forEach(include => this.logMISRAError(include, "Use of <tgmath.h> is not allowed."), this);
+    }
+    r21_12_noFenvExceptions($startNode) {
+        Query.searchFrom($startNode, Call, { name: /(feclearexcept|fegetexceptflag|feraiseexcept|fesetexceptflag|fetestexcept)/ }).get().forEach(call => this.logMISRAError(call, `Use of function ${call.signature} is not allowed`), this);
+    }
+}
+//# sourceMappingURL=Section21_StandardLibraries.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section21_StandardLibraries.js","sourceRoot":"","sources":["../../../src/misra/sections/Section21_StandardLibraries.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,IAAI,EAAU,OAAO,EAAsB,MAAM,qCAAqC,CAAC;AAChG,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAEhD,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,aAAa;IAClE,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,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC,EAAE,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,EAAE,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC,EAAE,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAEO,yBAAyB,CAAC,UAAqB;QACnD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAC,IAAI,EAAE,8BAA8B,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,2EAA2E,CAAC,EAAE,IAAI,CAAC,CAAC;IAClN,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,mCAAmC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/K,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,mCAAmC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/K,CAAC;IAEO,kBAAkB,CAAC,UAAqB;QAC5C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,mBAAmB,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,+FAA+F,CAAC,EAAE,IAAI,CAAC,CAAC;IACpO,CAAC;IAED,kEAAkE;IAC1D,uBAAuB,CAAC,UAAqB;QACjD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAC,IAAI,EAAE,wBAAwB,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,mBAAmB,IAAI,CAAC,SAAS,kBAAkB,CAAC,EAAE,IAAI,CAAC,CAAC;IACpL,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAC,IAAI,EAAE,4BAA4B,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,mBAAmB,IAAI,CAAC,SAAS,kBAAkB,CAAC,EAAE,IAAI,CAAC,CAAC;IACxL,CAAC;IAEO,gBAAgB,CAAC,UAAqB;QAC1C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAC,IAAI,EAAE,iBAAiB,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,mBAAmB,IAAI,CAAC,SAAS,kBAAkB,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7K,CAAC;IAEO,kBAAkB,CAAC,UAAqB;QAC5C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,iCAAiC,CAAC,EAAE,IAAI,CAAC,CAAC;QACvK,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAC,IAAI,EAAE,UAAU,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,0CAA0C,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7J,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,mCAAmC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/K,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAC,IAAI,EAAG,4EAA4E,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,mBAAmB,IAAI,CAAC,SAAS,iBAAiB,CAAC,EAAE,IAAI,CAAC,CAAC;IACxO,CAAC;CACJ"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section2_UnusedCode.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section2_UnusedCode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA6D,MAAM,qCAAqC,CAAC;AACjI,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAIhD,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,aAAa;IAC1D,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAQ3B,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,mBAAmB;CAoB9B"}

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

@@ -1,47 +1,42 @@
-import { Program, FileJp, Joinpoint, FunctionJp, Varref, Param, LabelStmt, GotoStmt } from "@specs-feup/clava/api/Joinpoints.js";
+import { FunctionJp, Varref, LabelStmt, GotoStmt } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
 import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
-
 export default class Section2_UnusedCode extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-    
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [6, this.r2_6_noUnusedLabels.bind(this)],
             [7, this.r2_7_noUnusedParams.bind(this)]
         ]);
     }
-
-    private r2_6_noUnusedLabels($startNode: Joinpoint) {
+    r2_6_noUnusedLabels($startNode) {
         Query.searchFrom($startNode, FunctionJp).get().forEach(fun => {
             Query.searchFrom(fun, LabelStmt).get().forEach(label => {
-                if (Query.searchFrom(fun, GotoStmt, {label: jp => jp.astId == label.decl.astId}).get().length === 0) {
+                if (Query.searchFrom(fun, GotoStmt, { label: jp => jp.astId == label.decl.astId }).get().length === 0) {
                     this.logMISRAError(label, `Label ${label.decl.name} is unused in function ${fun.name}.`);
                 }
-            },this);
+            }, this);
         }, this);
     }
-
-    private r2_7_noUnusedParams($startNode: Joinpoint) {
+    r2_7_noUnusedParams($startNode) {
         Query.searchFrom($startNode, FunctionJp).get().forEach(fun => {
-            const params: Map<string, Param> = new Map();
+            const params = new Map();
             for (const param of fun.params) {
                 params.set(param.astId, param);
             }
-
             Query.searchFrom(fun, Varref).get().forEach(ref => {
                 params.delete(ref.decl?.astId);
             }, this);
-
             params.forEach((v, k, m) => {
                 this.logMISRAError(v, `Parameter ${v.name} is unused.`, new Fix(v, $jp => {
-                    const fun = $jp.getAncestor("function") as FunctionJp;
+                    const fun = $jp.getAncestor("function");
                     const params = fun.params.filter(param => param.astId !== $jp.astId);
                     fun.setParams(params);
                 }));
             }, this);
         }, this);
     }
-}
+}
+//# sourceMappingURL=Section2_UnusedCode.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section2_UnusedCode.js","sourceRoot":"","sources":["../../../src/misra/sections/Section2_UnusedCode.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8B,UAAU,EAAE,MAAM,EAAS,SAAS,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AACjI,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,aAAa;IAC1D,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,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC3C,CAAC,CAAC;IACP,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACzD,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACnD,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAClG,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,0BAA0B,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC7F,CAAC;YACL,CAAC,EAAC,IAAI,CAAC,CAAC;QACZ,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACzD,MAAM,MAAM,GAAuB,IAAI,GAAG,EAAE,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;YAED,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;gBAC9C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC,EAAE,IAAI,CAAC,CAAC;YAET,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBACvB,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;oBACrE,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAe,CAAC;oBACtD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;oBACrE,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC1B,CAAC,CAAC,CAAC,CAAC;YACR,CAAC,EAAE,IAAI,CAAC,CAAC;QACb,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;CACJ"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section3_Comments.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section3_Comments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAsB,MAAM,qCAAqC,CAAC;AAC1F,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAGhD,MAAM,CAAC,OAAO,OAAO,iBAAkB,SAAQ,aAAa;IACxD,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAEtD,KAAK,EAAE,MAAM,EAAE;IAO3B,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAIrC,OAAO,CAAC,gBAAgB;CAI3B"}

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

@@ -1,23 +1,20 @@
-import { Program, FileJp, Joinpoint, Comment } from "@specs-feup/clava/api/Joinpoints.js";
+import { Comment } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-
 export default class Section3_Comments extends MISRAAnalyser {
-    protected ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [3, this.r3_1_fixComments.bind(this)]
         ]);
     }
-
-    private static removeCommentSequences(str: string) {
+    static removeCommentSequences(str) {
         return str.replace(/(\/\/||\/\*)/g, '');
     }
-    
-    private r3_1_fixComments($startNode: Joinpoint) { //inlines
+    r3_1_fixComments($startNode) {
         Query.search(Comment).get().forEach(comment => comment.setText(Section3_Comments.removeCommentSequences(comment.text)));
         //Query.searchFrom(Query.root()).get().forEach(jp => jp.setInlineComments(jp.inlineComments.map(comment => removeCommentSequences(comment.text).toString())));
     }
-}
+}
+//# sourceMappingURL=Section3_Comments.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section3_Comments.js","sourceRoot":"","sources":["../../../src/misra/sections/Section3_Comments.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8B,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD,MAAM,CAAC,OAAO,OAAO,iBAAkB,SAAQ,aAAa;IAC9C,UAAU,CAA8C;IAElE,YAAY,KAAe;QACvB,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,UAAU,GAAG,IAAI,GAAG,CAAC;YACtB,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACxC,CAAC,CAAC;IACP,CAAC;IAEO,MAAM,CAAC,sBAAsB,CAAC,GAAW;QAC7C,OAAO,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,gBAAgB,CAAC,UAAqB;QAC1C,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxH,8JAA8J;IAClK,CAAC;CACJ"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section5_Identifiers.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section5_Identifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAmH,MAAM,qCAAqC,CAAC;AACvL,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAIhD,MAAM,CAAC,OAAO,OAAO,oBAAqB,SAAQ,aAAa;IAC3D,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAU3B,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAIjC,OAAO,CAAC,6BAA6B;IA6BrC,OAAO,CAAC,mBAAmB;IA+B3B,OAAO,CAAC,eAAe;IA0CvB,OAAO,CAAC,sBAAsB;CAwBjC"}

package/dist/misra/sections/Section5_Identifiers.js

@@ -0,0 +1,139 @@
+import { StorageClass, Vardecl, FunctionJp, TypedefDecl, NamedDecl, TypedefNameDecl, Class, TagType, EnumDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default class Section5_Identifiers extends MISRAAnalyser {
+    ruleMapper;
+    constructor(rules) {
+        super(rules);
+        this.ruleMapper = new Map([
+            [1, this.r5_1_externalIdentifierLength.bind(this)],
+            [6, this.r5_6_uniqueTypedefs.bind(this)],
+            [7, this.r5_7_uniqueTags.bind(this)],
+            [8, this.r5_8_uniqueExternalIds.bind(this)]
+        ]);
+    }
+    static hasExternalLinkage($class) {
+        return $class !== StorageClass.STATIC && $class !== StorageClass.EXTERN;
+    }
+    r5_1_externalIdentifierLength($startNode) {
+        const prefixes = new Set();
+        for (const vardecl of Query.searchFrom($startNode, Vardecl, { storageClass: (sC) => Section5_Identifiers.hasExternalLinkage(sC) })) {
+            if (vardecl.name.length >= 31) {
+                if (prefixes.has(vardecl.name.substring(0, 32))) {
+                    this.logMISRAError(vardecl, `External identifier ${vardecl.name} is not distinct.`, new Fix(vardecl, ($jp) => {
+                        $jp.name = "a_" + $jp.name;
+                    }));
+                }
+                else {
+                    prefixes.add(vardecl.name.substring(0, 32));
+                }
+            }
+        }
+        for (const fun of Query.searchFrom($startNode, FunctionJp, { storageClass: (sC) => Section5_Identifiers.hasExternalLinkage(sC) })) {
+            if (fun.name.length >= 31) {
+                if (prefixes.has(fun.name.substring(0, 32))) {
+                    this.logMISRAError(fun, `External identifier ${fun.name} is not distinct.`, new Fix(fun, ($jp) => {
+                        $jp.name = "a_" + $jp.name;
+                    }));
+                }
+                else {
+                    prefixes.add(fun.name.substring(0, 32));
+                }
+            }
+        }
+    }
+    r5_6_uniqueTypedefs($startNode) {
+        const typedefs = new Set();
+        for (const typedef of Query.searchFrom($startNode, TypedefDecl)) {
+            if (typedefs.has(typedef.name)) {
+                this.logMISRAError(typedef, "Typedef names must be unique across all translation units.", new Fix(typedef, jp => {
+                    const typedefJp = jp;
+                    typedefJp.name = typedef.name + "_" + typedefJp.astId;
+                }));
+            }
+            else {
+                typedefs.add(typedef.name);
+            }
+        }
+        Query.searchFrom($startNode, NamedDecl).get().filter(decl => !(decl instanceof TypedefNameDecl)).forEach(decl => {
+            if (decl instanceof Class) {
+                const typedefChildren = decl.getDescendants("typedefDecl");
+                for (const child of typedefChildren) {
+                    if (decl.name === child.name)
+                        return;
+                }
+            }
+            if (typedefs.has(decl.name)) {
+                this.logMISRAError(decl, `${decl.name} is also the name of a typedef. Typedef identifiers must not be reused.`, new Fix(decl, jp => {
+                    const declJp = jp;
+                    declJp.name = declJp.name + "_" + declJp.astId;
+                }));
+            }
+        }, this);
+    }
+    r5_7_uniqueTags($startNode) {
+        const tags = new Set();
+        for (const classJp of Query.searchFrom($startNode, Class)) {
+            if (classJp.type instanceof TagType) {
+                if (tags.has(classJp.type.name)) {
+                    this.logMISRAError(classJp, "Tag names must be unique across all translation units.");
+                }
+                else {
+                    tags.add(classJp.type.name);
+                }
+            }
+        }
+        for (const enumDecl of Query.searchFrom($startNode, EnumDecl)) {
+            if (enumDecl.type instanceof TagType) {
+                if (tags.has(enumDecl.type.name)) {
+                    this.logMISRAError(enumDecl, "Tag names must be unique across all translation units.");
+                }
+                else {
+                    tags.add(enumDecl.type.name);
+                }
+            }
+        }
+        Query.searchFrom($startNode, NamedDecl).get().filter(decl => !(decl instanceof TypedefNameDecl)).forEach(decl => {
+            if (decl instanceof Class) {
+                const typedefChildren = decl.getDescendants("typedefDecl");
+                for (const child of typedefChildren) {
+                    if (decl.name === child.name)
+                        return;
+                }
+            }
+            if (decl.type instanceof TagType)
+                return;
+            if (tags.has(decl.name)) {
+                this.logMISRAError(decl, `${decl.name} is also the name of a tag. Tag identifiers must not be reused.`, new Fix(decl, jp => {
+                    const declJp = jp;
+                    declJp.name = declJp.name + "_" + declJp.astId;
+                }));
+            }
+        }, this);
+    }
+    r5_8_uniqueExternalIds($startNode) {
+        const ids = new Set();
+        for (const vardecl of Query.searchFrom($startNode, Vardecl, { storageClass: (sC) => Section5_Identifiers.hasExternalLinkage(sC) })) {
+            if (ids.has(vardecl.name)) {
+                this.logMISRAError(vardecl, `External identifier ${vardecl.name} must be unique across all translation units.`, new Fix(vardecl, ($jp) => {
+                    $jp.name = "a_" + $jp.name;
+                }));
+            }
+            else {
+                ids.add(vardecl.name);
+            }
+        }
+        for (const fun of Query.searchFrom($startNode, FunctionJp, { storageClass: (sC) => Section5_Identifiers.hasExternalLinkage(sC) })) {
+            if (ids.has(fun.name)) {
+                this.logMISRAError(fun, `External identifier ${fun.name} must be unique across all translation units.`, new Fix(fun, ($jp) => {
+                    $jp.name = "a_" + $jp.name;
+                }));
+            }
+            else {
+                ids.add(fun.name);
+            }
+        }
+    }
+}
+//# sourceMappingURL=Section5_Identifiers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section5_Identifiers.js","sourceRoot":"","sources":["../../../src/misra/sections/Section5_Identifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8B,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AACvL,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,oBAAqB,SAAQ,aAAa;IAC3D,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,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,CAAC,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC9C,CAAC,CAAC;IACP,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,MAAoB;QAClD,OAAO,MAAM,KAAK,YAAY,CAAC,MAAM,IAAI,MAAM,KAAK,YAAY,CAAC,MAAM,CAAC;IAC5E,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,MAAM,QAAQ,GAAgB,IAAI,GAAG,EAAE,CAAC;QACxC,KAAK,MAAM,OAAO,IAAK,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,YAAY,EAAE,CAAC,EAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAC,CAAC,EAAE,CAAC;YAC9I,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC9C,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,uBAAuB,OAAO,CAAC,IAAI,mBAAmB,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;wBACxG,GAAe,CAAC,IAAI,GAAG,IAAI,GAAI,GAAe,CAAC,IAAI,CAAC;oBACzD,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC;qBACI,CAAC;oBACF,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAChD,CAAC;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,EAAC,YAAY,EAAE,CAAC,EAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAC,CAAC,EAAE,CAAC;YAC5I,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC1C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,uBAAuB,GAAG,CAAC,IAAI,mBAAmB,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;wBAC5F,GAAkB,CAAC,IAAI,GAAG,IAAI,GAAI,GAAkB,CAAC,IAAI,CAAC;oBAC/D,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC;qBACI,CAAC;oBACF,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,MAAM,QAAQ,GAAgB,IAAI,GAAG,EAAE,CAAC;QAExC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;YAC9D,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,4DAA4D,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE;oBAC5G,MAAM,SAAS,GAAG,EAAiB,CAAC;oBACpC,SAAS,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,GAAG,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC;gBAC1D,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;iBACI,CAAC;gBACF,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,CAAC;QACL,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,YAAY,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YAC5G,IAAI,IAAI,YAAY,KAAK,EAAE,CAAC;gBACxB,MAAM,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,CAAkB,CAAC;gBAC5E,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;oBAClC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;wBAAE,OAAO;gBACzC,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,yEAAyE,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;oBAC/H,MAAM,MAAM,GAAG,EAAe,CAAC;oBAC/B,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC;gBACnD,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,eAAe,CAAC,UAAqB;QACzC,MAAM,IAAI,GAAgB,IAAI,GAAG,EAAE,CAAC;QAEpC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YACxD,IAAI,OAAO,CAAC,IAAI,YAAY,OAAO,EAAE,CAAC;gBAClC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,wDAAwD,CAAC,CAAC;gBAC1F,CAAC;qBACI,CAAC;oBACF,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5D,IAAI,QAAQ,CAAC,IAAI,YAAY,OAAO,EAAE,CAAC;gBACnC,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,wDAAwD,CAAC,CAAC;gBAC3F,CAAC;qBACI,CAAC;oBACF,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,CAAC;YACL,CAAC;QACL,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,YAAY,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YAC5G,IAAI,IAAI,YAAY,KAAK,EAAE,CAAC;gBACxB,MAAM,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,CAAkB,CAAC;gBAC5E,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;oBAClC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;wBAAE,OAAO;gBACzC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,YAAY,OAAO;gBAAE,OAAO;YACzC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,iEAAiE,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;oBACvH,MAAM,MAAM,GAAG,EAAe,CAAC;oBAC/B,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC;gBACnD,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,sBAAsB,CAAC,UAAqB;QAChD,MAAM,GAAG,GAAgB,IAAI,GAAG,EAAE,CAAC;QACnC,KAAK,MAAM,OAAO,IAAK,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,EAAC,YAAY,EAAE,CAAC,EAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAC,CAAC,EAAE,CAAC;YAC1I,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,uBAAuB,OAAO,CAAC,IAAI,+CAA+C,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;oBACpI,GAAe,CAAC,IAAI,GAAG,IAAI,GAAI,GAAe,CAAC,IAAI,CAAC;gBACzD,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;iBACI,CAAC;gBACF,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;QACT,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,EAAC,YAAY,EAAE,CAAC,EAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAC,CAAC,EAAE,CAAC;YAC5I,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,uBAAuB,GAAG,CAAC,IAAI,+CAA+C,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;oBACxH,GAAkB,CAAC,IAAI,GAAG,IAAI,GAAI,GAAkB,CAAC,IAAI,CAAC;gBAC/D,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;iBACI,CAAC;gBACF,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}