@specs-feup/clava-misra 1.0.0 → 1.0.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section10_EssentialTypeModel.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section10_EssentialTypeModel.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA8D,IAAI,EAAE,UAAU,EAAuF,MAAM,qCAAqC,CAAC;AACzO,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAIhD,oBAAY,cAAc;IACtB,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,IAAI,SAAS;IACb,MAAM,WAAW;CACpB;AAED,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;IAY3B,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,GAAG,cAAc;IA8BpD,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO;IAI9C,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,cAAc;IAmB9D,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,kCAAkC;IA0D1C,OAAO,CAAC,6BAA6B;IAqCrC,OAAO,CAAC,0BAA0B;IAiClC,OAAO,CAAC,MAAM,CAAC,eAAe;IAU9B,OAAO,CAAC,oBAAoB;IA2B5B,OAAO,CAAC,MAAM,CAAC,qBAAqB;IAIpC,OAAO,CAAC,MAAM,CAAC,eAAe;IAiB9B,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAiBjC,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAIhC,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAcjC,OAAO,CAAC,qCAAqC;IAgC7C,OAAO,CAAC,2BAA2B;CAuBtC"}

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

@@ -1,23 +1,22 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program, FileJp, TernaryOp, UnaryOp, BinaryOp, Joinpoint, Cast, BuiltinType, Type, Expression, IntLiteral, EnumType, QualType, ReturnStmt, FunctionJp, Call, Op, ParenExpr, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import { TernaryOp, UnaryOp, BinaryOp, Cast, BuiltinType, Expression, IntLiteral, EnumType, QualType, ReturnStmt, Call, Op, ParenExpr } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
 import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
-
-export enum EssentialTypes {
-    UNSIGNED = "unsigned",
-    CHAR = "char",
-    SIGNED = "signed",
-    ENUM = "enum",
-    FLOAT = "float",
-    BOOL = "bool",
-    UNKOWN = "unkown"
-};
-
+export var EssentialTypes;
+(function (EssentialTypes) {
+    EssentialTypes["UNSIGNED"] = "unsigned";
+    EssentialTypes["CHAR"] = "char";
+    EssentialTypes["SIGNED"] = "signed";
+    EssentialTypes["ENUM"] = "enum";
+    EssentialTypes["FLOAT"] = "float";
+    EssentialTypes["BOOL"] = "bool";
+    EssentialTypes["UNKOWN"] = "unkown";
+})(EssentialTypes || (EssentialTypes = {}));
+;
 export default class Section10_EssentialTypeModel extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [1, this.r10_1_appropriateEssentialOperands.bind(this)],
@@ -28,13 +27,11 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             [8, this.r10_8_noWiderCompositeCasts.bind(this)]
         ]);
     }
-
-    static getEssentialType(bType: Type): EssentialTypes {
+    static getEssentialType(bType) {
         let type = bType.desugarAll;
         while (type instanceof QualType) {
             type = type.unqualifiedType.desugarAll;
         }
-
         if (type instanceof BuiltinType) {
             if (type.builtinKind === "Bool") {
                 return EssentialTypes.BOOL;
@@ -55,19 +52,16 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
         else if (type instanceof EnumType) {
             return type.name === undefined ? EssentialTypes.SIGNED : EssentialTypes.ENUM;
         }
-
         return EssentialTypes.UNKOWN;
     }
-
-    static isInteger($et: EssentialTypes): boolean {
+    static isInteger($et) {
         return $et === EssentialTypes.SIGNED || $et === EssentialTypes.UNSIGNED;
     }
-
-    static getExprEssentialType($expr: Expression): EssentialTypes {
+    static getExprEssentialType($expr) {
         if ($expr instanceof BinaryOp) {
             if ($expr.kind === "add") {
                 if ((this.getExprEssentialType($expr.left) === EssentialTypes.CHAR && this.isInteger(this.getExprEssentialType($expr.right)))
-                        || (this.getExprEssentialType($expr.right) === EssentialTypes.CHAR && this.isInteger(this.getExprEssentialType($expr.left)))) {
+                    || (this.getExprEssentialType($expr.right) === EssentialTypes.CHAR && this.isInteger(this.getExprEssentialType($expr.left)))) {
                     return EssentialTypes.CHAR;
                 }
             }
@@ -81,24 +75,21 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
         }
         return this.getEssentialType($expr.type);
     }
-
-    private restrictOperand($expr: Expression, $restrictedType: EssentialTypes, $baseExpr: Expression, $castTo?: BuiltinType) {
+    restrictOperand($expr, $restrictedType, $baseExpr, $castTo) {
         const et = Section10_EssentialTypeModel.getExprEssentialType($expr);
         if (et === $restrictedType) {
             const fix = $castTo ? new Fix($expr, ($jp) => {
-                $jp.replaceWith(ClavaJoinPoints.cStyleCast($castTo, $jp as Expression));
+                $jp.replaceWith(ClavaJoinPoints.cStyleCast($castTo, $jp));
             }) : undefined;
             this.logMISRAError($baseExpr, `Operand ${$expr.code} of expression ${$baseExpr.code} must not have essentially ${et} type.`, fix);
         }
     }
-
-    private restrictOperandList($expr: Expression, $restrictedTypes: EssentialTypes[], $baseExpr: Expression, $castTo?: BuiltinType) {
+    restrictOperandList($expr, $restrictedTypes, $baseExpr, $castTo) {
         for (const type of $restrictedTypes) {
             this.restrictOperand($expr, type, $baseExpr, $castTo);
         }
     }
-    
-    private r10_1_appropriateEssentialOperands($startNode: Joinpoint) { //missing exception and compound operators
+    r10_1_appropriateEssentialOperands($startNode) {
         Query.searchFrom($startNode, Op).get().forEach(op => {
             if (op instanceof TernaryOp) {
                 this.restrictOperandList(op.cond, [EssentialTypes.CHAR, EssentialTypes.ENUM, EssentialTypes.FLOAT, EssentialTypes.SIGNED, EssentialTypes.UNSIGNED], op);
@@ -107,12 +98,14 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
                 switch (op.kind) {
                     case "shl":
                     case "shr":
-                        if (!(op.right instanceof IntLiteral)) this.restrictOperand(op.right, EssentialTypes.SIGNED, op);
+                        if (!(op.right instanceof IntLiteral))
+                            this.restrictOperand(op.right, EssentialTypes.SIGNED, op);
                     case "and":
                     case "or":
                     case "x_or":
                         this.restrictOperand(op.left, EssentialTypes.SIGNED, op);
-                        if (op.kind !== "shl" && op.kind !== "shr") this.restrictOperand(op.right, EssentialTypes.SIGNED, op);
+                        if (op.kind !== "shl" && op.kind !== "shr")
+                            this.restrictOperand(op.right, EssentialTypes.SIGNED, op);
                     case "rem":
                         this.restrictOperand(op.left, EssentialTypes.FLOAT, op);
                         this.restrictOperand(op.right, EssentialTypes.FLOAT, op);
@@ -155,15 +148,13 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         }, this);
     }
-
-    private r10_2_appropriateCharOperands($startNode: Joinpoint) {
-        Query.searchFrom($startNode, BinaryOp, {kind: /(add|sub)/}).get().forEach(bOp => {
+    r10_2_appropriateCharOperands($startNode) {
+        Query.searchFrom($startNode, BinaryOp, { kind: /(add|sub)/ }).get().forEach(bOp => {
             if (bOp.kind === "add") {
                 if (Section10_EssentialTypeModel.getExprEssentialType(bOp.left) === EssentialTypes.CHAR && Section10_EssentialTypeModel.getExprEssentialType(bOp.right) === EssentialTypes.CHAR) {
                     this.logMISRAError(bOp, `Both operands of addition ${bOp.code} have essentially character type.`);
                     return;
                 }
-            
                 let otherType;
                 if (Section10_EssentialTypeModel.getExprEssentialType(bOp.left) === EssentialTypes.CHAR) {
                     otherType = Section10_EssentialTypeModel.getExprEssentialType(bOp.right);
@@ -171,7 +162,6 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
                 else if (Section10_EssentialTypeModel.getExprEssentialType(bOp.right) === EssentialTypes.CHAR) {
                     otherType = Section10_EssentialTypeModel.getExprEssentialType(bOp.left);
                 }
-
                 if (otherType && !Section10_EssentialTypeModel.isInteger(otherType)) {
                     this.logMISRAError(bOp, `One operand of addition ${bOp.code} has essentially character type, so the other one must have either essentially signed or unsigned type.`);
                     return;
@@ -192,9 +182,8 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         }, this);
     }
-
-    private r10_3_noInvalidAssignments($startNode: Joinpoint) { //not working for decls
-        Query.searchFrom($startNode, BinaryOp, {kind: "assign"}).get().forEach(bOp => {
+    r10_3_noInvalidAssignments($startNode) {
+        Query.searchFrom($startNode, BinaryOp, { kind: "assign" }).get().forEach(bOp => {
             if (Section10_EssentialTypeModel.getEssentialType(bOp.left.type) !== Section10_EssentialTypeModel.getEssentialType(bOp.right.type)) {
                 this.logMISRAError(bOp, `Value ${bOp.right.code} cannot be assigned to ${bOp.left.code}, since it has a different essential type category.`);
             }
@@ -203,7 +192,7 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         }, this);
         Query.searchFrom($startNode, ReturnStmt).get().forEach(ret => {
-            const fun = ret.getAncestor("function") as FunctionJp;
+            const fun = ret.getAncestor("function");
             console.log(ret.returnExpr.code, ret.returnExpr.bitWidth);
             console.log(fun.bitWidth);
             if (Section10_EssentialTypeModel.getEssentialType(ret.returnExpr.type) !== Section10_EssentialTypeModel.getEssentialType(fun.returnType)) {
@@ -225,26 +214,23 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         }, this);
     }
-
-    private static checkBoolSource(subExpr: Expression) {
+    static checkBoolSource(subExpr) {
         if (subExpr.type.desugarAll instanceof BuiltinType && subExpr.type.desugarAll.builtinKind === "Bool") {
             return true;
         }
         else if (subExpr instanceof IntLiteral && (Number(subExpr.value) === 0 || Number(subExpr.value) === 1)) {
             return true;
         }
-        else return false;
+        else
+            return false;
     }
-
-    private r10_5_noInvalidCasts($startNode: Joinpoint) {//chars, anonymous enums
+    r10_5_noInvalidCasts($startNode) {
         Query.searchFrom($startNode, Cast).get().forEach(cast => {
             const fromType = cast.fromType.desugarAll;
             const toType = cast.toType.desugarAll;
-
             if (toType instanceof BuiltinType) {
-                console.log(toType.builtinKind)
+                console.log(toType.builtinKind);
             }
-
             if (toType instanceof BuiltinType && toType.builtinKind === "Bool" && !Section10_EssentialTypeModel.checkBoolSource(cast.subExpr)) {
                 this.logMISRAError(cast, "Only essentially boolean values, or the integer constants 0 or 1, may be cast to an essentially boolean type.");
             }
@@ -262,12 +248,10 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         }, this);
     }
-
-    private static isCompositeBinaryExpr($op: BinaryOp) {
+    static isCompositeBinaryExpr($op) {
         return /(add)|(sub)|(mul)|(div)|(rem)|(shl)|(shr)|(l_and)|(l_or)|(xor)/.test($op.kind);
     }
-
-    private static isCompositeExpr($expr: Expression): Expression | undefined {
+    static isCompositeExpr($expr) {
         if ($expr instanceof ParenExpr) {
             return this.isCompositeExpr($expr.subExpr);
         }
@@ -281,10 +265,10 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
                 return $expr;
             }
         }
-        else return undefined;
+        else
+            return undefined;
     }
-
-    private static compositeExprWidth($op: Expression): number {
+    static compositeExprWidth($op) {
         if ($op instanceof BinaryOp && Section10_EssentialTypeModel.isCompositeBinaryExpr($op)) {
             const leftW = Section10_EssentialTypeModel.compositeExprWidth($op.left);
             const rightW = Section10_EssentialTypeModel.compositeExprWidth($op.right);
@@ -298,28 +282,29 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
         else if ($op instanceof ParenExpr) {
             return this.compositeExprWidth($op.subExpr);
         }
-        else return $op.bitWidth;
+        else
+            return $op.bitWidth;
     }
-
-    private static transformBinaryOp($expr: BinaryOp, $type: Type) {
+    static transformBinaryOp($expr, $type) {
         $expr.left.replaceWith(ClavaJoinPoints.cStyleCast($type, $expr.left));
     }
-
-    private static transformTernaryOp($expr: TernaryOp, $type: Type, $bitWidth: number) {
+    static transformTernaryOp($expr, $type, $bitWidth) {
         const trueExpr = this.isCompositeExpr($expr.trueExpr);
         const falseExpr = this.isCompositeExpr($expr.falseExpr);
         if (trueExpr && this.compositeExprWidth(trueExpr) < $bitWidth) {
-            if (trueExpr instanceof TernaryOp) this.transformTernaryOp(trueExpr, $type, $bitWidth);
-            else if (trueExpr instanceof BinaryOp) this.transformBinaryOp(trueExpr, $type);
+            if (trueExpr instanceof TernaryOp)
+                this.transformTernaryOp(trueExpr, $type, $bitWidth);
+            else if (trueExpr instanceof BinaryOp)
+                this.transformBinaryOp(trueExpr, $type);
         }
-
         if (falseExpr && this.compositeExprWidth(falseExpr) < $type.bitWidth) {
-            if (falseExpr instanceof TernaryOp) this.transformTernaryOp(falseExpr, $type, $bitWidth);
-            else if (falseExpr instanceof BinaryOp) this.transformBinaryOp(falseExpr, $type);
+            if (falseExpr instanceof TernaryOp)
+                this.transformTernaryOp(falseExpr, $type, $bitWidth);
+            else if (falseExpr instanceof BinaryOp)
+                this.transformBinaryOp(falseExpr, $type);
         }
     }
-
-    private r10_6_noWiderCompositeExprAssignments($startNode: Joinpoint) { //unfinished for rets and params
+    r10_6_noWiderCompositeExprAssignments($startNode) {
         Query.searchFrom($startNode, Expression).get().forEach(expr => {
             const compositeExpr = Section10_EssentialTypeModel.isCompositeExpr(expr);
             if (compositeExpr) {
@@ -350,8 +335,7 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         }, this);*/
     }
-
-    private r10_8_noWiderCompositeCasts($startNode: Joinpoint) {
+    r10_8_noWiderCompositeCasts($startNode) {
         Query.searchFrom($startNode, Cast).get().forEach(cast => {
             const compositeExpr = Section10_EssentialTypeModel.isCompositeExpr(cast.subExpr);
             if (compositeExpr) {
@@ -360,7 +344,7 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
                 }
                 else if (cast.bitWidth > Section10_EssentialTypeModel.compositeExprWidth(compositeExpr)) {
                     this.logMISRAError(compositeExpr, `Composite expression ${cast.subExpr.code} cannot be cast to ${cast.toType.code} since it is a wider type.`, new Fix(cast, cast => {
-                        const castJp = cast as Cast;
+                        const castJp = cast;
                         const compositeExpr = Section10_EssentialTypeModel.isCompositeExpr(castJp.subExpr);
                         if (compositeExpr instanceof BinaryOp) {
                             compositeExpr.left.replaceWith(ClavaJoinPoints.cStyleCast(cast.type, compositeExpr.left));
@@ -374,4 +358,5 @@ export default class Section10_EssentialTypeModel extends MISRAAnalyser {
             }
         });
     }
-}
+}
+//# sourceMappingURL=Section10_EssentialTypeModel.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section10_EssentialTypeModel.js","sourceRoot":"","sources":["../../../src/misra/sections/Section10_EssentialTypeModel.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAmB,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAa,IAAI,EAAE,WAAW,EAAQ,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAc,IAAI,EAAE,EAAE,EAAE,SAAS,EAAU,MAAM,qCAAqC,CAAC;AACzO,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAC9D,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,MAAM,CAAN,IAAY,cAQX;AARD,WAAY,cAAc;IACtB,uCAAqB,CAAA;IACrB,+BAAa,CAAA;IACb,mCAAiB,CAAA;IACjB,+BAAa,CAAA;IACb,iCAAe,CAAA;IACf,+BAAa,CAAA;IACb,mCAAiB,CAAA;AACrB,CAAC,EARW,cAAc,KAAd,cAAc,QAQzB;AAAA,CAAC;AAEF,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,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC,CAAC,EAAE,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CAAC,EAAE,IAAI,CAAC,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,CAAC,CAAC,EAAE,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACnD,CAAC,CAAC;IACP,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,KAAW;QAC/B,IAAI,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;QAC5B,OAAO,IAAI,YAAY,QAAQ,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC;QAC3C,CAAC;QAED,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBAC9B,OAAO,cAAc,CAAC,IAAI,CAAC;YAC/B,CAAC;iBACI,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBACrC,OAAO,cAAc,CAAC,IAAI,CAAC;YAC/B,CAAC;iBACI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACvC,OAAO,cAAc,CAAC,MAAM,CAAC;YACjC,CAAC;iBACI,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACxC,OAAO,cAAc,CAAC,QAAQ,CAAC;YACnC,CAAC;iBACI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,cAAc,CAAC,KAAK,CAAC;YAChC,CAAC;QACL,CAAC;aACI,IAAI,IAAI,YAAY,QAAQ,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;QACjF,CAAC;QAED,OAAO,cAAc,CAAC,MAAM,CAAC;IACjC,CAAC;IAED,MAAM,CAAC,SAAS,CAAC,GAAmB;QAChC,OAAO,GAAG,KAAK,cAAc,CAAC,MAAM,IAAI,GAAG,KAAK,cAAc,CAAC,QAAQ,CAAC;IAC5E,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,KAAiB;QACzC,IAAI,KAAK,YAAY,QAAQ,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,cAAc,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;uBAClH,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnI,OAAO,cAAc,CAAC,IAAI,CAAC;gBAC/B,CAAC;YACL,CAAC;iBACI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBAChE,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;wBACjE,OAAO,cAAc,CAAC,IAAI,CAAC;oBAC/B,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAEO,eAAe,CAAC,KAAiB,EAAE,eAA+B,EAAE,SAAqB,EAAE,OAAqB;QACpH,MAAM,EAAE,GAAG,4BAA4B,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,EAAE,KAAK,eAAe,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;gBACzC,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,EAAE,GAAiB,CAAC,CAAC,CAAC;YAC5E,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACf,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,WAAW,KAAK,CAAC,IAAI,kBAAkB,SAAS,CAAC,IAAI,8BAA8B,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACtI,CAAC;IACL,CAAC;IAEO,mBAAmB,CAAC,KAAiB,EAAE,gBAAkC,EAAE,SAAqB,EAAE,OAAqB;QAC3H,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YAClC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1D,CAAC;IACL,CAAC;IAEO,kCAAkC,CAAC,UAAqB;QAC5D,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;YAChD,IAAI,EAAE,YAAY,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5J,CAAC;iBACI,IAAI,EAAE,YAAY,QAAQ,EAAE,CAAC;gBAC9B,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;oBACd,KAAK,KAAK,CAAC;oBACX,KAAK,KAAK;wBACN,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,YAAY,UAAU,CAAC;4BAAE,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBACrG,KAAK,KAAK,CAAC;oBACX,KAAK,IAAI,CAAC;oBACV,KAAK,MAAM;wBACP,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;wBACzD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;4BAAE,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBAC1G,KAAK,KAAK;wBACN,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBACxD,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC7D,KAAK,KAAK,CAAC;oBACX,KAAK,KAAK;wBACN,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACvD,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC5D,KAAK,KAAK,CAAC;oBACX,KAAK,KAAK;wBACN,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACvD,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC5D,KAAK,IAAI,CAAC;oBACV,KAAK,IAAI,CAAC;oBACV,KAAK,IAAI,CAAC;oBACV,KAAK,IAAI;wBACL,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACvD,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBACxD,MAAM;oBACV,KAAK,OAAO,CAAC;oBACb,KAAK,MAAM;wBACP,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;wBACxJ,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;wBACzJ,MAAM;gBACd,CAAC;YACL,CAAC;iBACI,IAAI,EAAE,YAAY,OAAO,EAAE,CAAC;gBAC7B,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;oBACd,KAAK,OAAO;wBACR,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;oBAClE,KAAK,MAAM;wBACP,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC1G,MAAM;oBACV,KAAK,OAAO;wBACR,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC3J,MAAM;oBACV,KAAK,KAAK;wBACN,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;wBACvJ,MAAM;gBACd,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAC,IAAI,EAAE,WAAW,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAC5E,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACrB,IAAI,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,cAAc,CAAC,IAAI,IAAI,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9K,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,6BAA6B,GAAG,CAAC,IAAI,mCAAmC,CAAC,CAAC;oBAClG,OAAO;gBACX,CAAC;gBAED,IAAI,SAAS,CAAC;gBACd,IAAI,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBACtF,SAAS,GAAG,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7E,CAAC;qBACI,IAAI,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC5F,SAAS,GAAG,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC5E,CAAC;gBAED,IAAI,SAAS,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;oBAClE,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2BAA2B,GAAG,CAAC,IAAI,yGAAyG,CAAC,CAAC;oBACtK,OAAO;gBACX,CAAC;YACL,CAAC;iBACI,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC1B,IAAI,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBACtF,MAAM,SAAS,GAAG,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBAC/E,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC;wBACtG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,+BAA+B,GAAG,CAAC,IAAI,4FAA4F,CAAC,CAAC;wBAC7J,OAAO;oBACX,CAAC;gBACL,CAAC;qBACI,IAAI,4BAA4B,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC5F,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,gCAAgC,GAAG,CAAC,IAAI,+DAA+D,CAAC,CAAC;oBACjI,OAAO;gBACX,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,0BAA0B,CAAC,UAAqB;QACpD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACzE,IAAI,4BAA4B,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,4BAA4B,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjI,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,KAAK,CAAC,IAAI,0BAA0B,GAAG,CAAC,IAAI,CAAC,IAAI,qDAAqD,CAAC,CAAC;YACjJ,CAAC;iBACI,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,KAAK,CAAC,IAAI,0BAA0B,GAAG,CAAC,IAAI,CAAC,IAAI,gCAAgC,CAAC,CAAC;YAC5H,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QACT,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACzD,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAe,CAAC;YACtD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC1B,IAAI,4BAA4B,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,4BAA4B,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvI,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,UAAU,CAAC,IAAI,0BAA0B,GAAG,CAAC,SAAS,qDAAqD,CAAC,CAAC;YACtJ,CAAC;iBACI,IAAI,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,GAAG,CAAC,UAAU,CAAC,IAAI,0BAA0B,GAAG,CAAC,SAAS,gCAAgC,CAAC,CAAC;YACjI,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QACT,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;YAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,IAAI,4BAA4B,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,4BAA4B,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3I,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,oCAAoC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,qDAAqD,CAAC,CAAC;gBACtK,CAAC;qBACI,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;oBACxD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,oCAAoC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,iCAAiC,CAAC,CAAC;gBAClJ,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,OAAmB;QAC9C,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,YAAY,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;YACnG,OAAO,IAAI,CAAC;QAChB,CAAC;aACI,IAAI,OAAO,YAAY,UAAU,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACrG,OAAO,IAAI,CAAC;QAChB,CAAC;;YACI,OAAO,KAAK,CAAC;IACtB,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAEtC,IAAI,MAAM,YAAY,WAAW,EAAE,CAAC;gBAChC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;YACnC,CAAC;YAED,IAAI,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,4BAA4B,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChI,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,+GAA+G,CAAC,CAAC;YAC9I,CAAC;iBACI,IAAI,MAAM,YAAY,QAAQ,IAAI,CAAC,CAAC,QAAQ,YAAY,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,wFAAwF,CAAC,CAAC;YACvH,CAAC;iBACI,IAAI,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,IAAI,MAAM,CAAC,QAAQ,IAAI,QAAQ,YAAY,WAAW,IAAI,QAAQ,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBAC9J,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,8EAA8E,CAAC,CAAC;YAC7G,CAAC;iBACI,IAAI,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,YAAY,WAAW,IAAI,QAAQ,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBAC/J,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,gFAAgF,CAAC,CAAC;YAC/G,CAAC;iBACI,IAAI,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,OAAO,IAAI,QAAQ,YAAY,WAAW,IAAI,QAAQ,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBAC7H,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,gFAAgF,CAAC,CAAC;YAC/G,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,MAAM,CAAC,qBAAqB,CAAC,GAAa;QAC9C,OAAO,gEAAgE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,KAAiB;QAC5C,IAAI,KAAK,YAAY,SAAS,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/C,CAAC;aACI,IAAI,KAAK,YAAY,QAAQ,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;aACI,IAAI,KAAK,YAAY,SAAS,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChF,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;;YACI,OAAO,SAAS,CAAC;IAC1B,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,GAAe;QAC7C,IAAI,GAAG,YAAY,QAAQ,IAAI,4BAA4B,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;YACrF,MAAM,KAAK,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC1E,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnC,CAAC;aACI,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC9E,MAAM,MAAM,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9E,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;aACI,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC;;YACI,OAAO,GAAG,CAAC,QAAQ,CAAC;IAC7B,CAAC;IAEO,MAAM,CAAC,iBAAiB,CAAC,KAAe,EAAE,KAAW;QACzD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,KAAgB,EAAE,KAAW,EAAE,SAAiB;QAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,IAAI,QAAQ,IAAI,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,GAAG,SAAS,EAAE,CAAC;YAC5D,IAAI,QAAQ,YAAY,SAAS;gBAAE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;iBAClF,IAAI,QAAQ,YAAY,QAAQ;gBAAE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnF,CAAC;QAED,IAAI,SAAS,IAAI,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnE,IAAI,SAAS,YAAY,SAAS;gBAAE,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;iBACpF,IAAI,SAAS,YAAY,QAAQ;gBAAE,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACrF,CAAC;IACL,CAAC;IAEO,qCAAqC,CAAC,UAAqB;QAC/D,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YAC1D,MAAM,aAAa,GAAG,4BAA4B,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACzE,IAAI,aAAa,EAAE,CAAC;gBAChB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC3B,IAAI,MAAM,YAAY,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzD,IAAI,4BAA4B,CAAC,kBAAkB,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACxF,IAAI,CAAC,aAAa,CAAC,aAAa,EAAE,yEAAyE,EAAE,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE;4BACrI,IAAI,EAAE,YAAY,QAAQ,EAAE,CAAC;gCACzB,4BAA4B,CAAC,iBAAiB,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;4BACvE,CAAC;iCACI,IAAI,EAAE,YAAY,SAAS,EAAE,CAAC;gCAC/B,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;4BACnE,CAAC;wBACL,CAAC,CAAC,CAAC,CAAC;oBACR,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QACT;;;;;;;;;;mBAUW;IACf,CAAC;IAEO,2BAA2B,CAAC,UAAqB;QACrD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,MAAM,aAAa,GAAG,4BAA4B,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjF,IAAI,aAAa,EAAE,CAAC;gBAChB,IAAI,4BAA4B,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,4BAA4B,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9H,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,wBAAwB,IAAI,CAAC,OAAO,CAAC,IAAI,sBAAsB,IAAI,CAAC,MAAM,CAAC,IAAI,qDAAqD,CAAC,CAAC;gBACnK,CAAC;qBACI,IAAI,IAAI,CAAC,QAAQ,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,aAAa,CAAC,EAAE,CAAC;oBACtF,IAAI,CAAC,aAAa,CAAC,aAAa,EAAE,wBAAwB,IAAI,CAAC,OAAO,CAAC,IAAI,sBAAsB,IAAI,CAAC,MAAM,CAAC,IAAI,4BAA4B,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE;wBAChK,MAAM,MAAM,GAAG,IAAY,CAAC;wBAC5B,MAAM,aAAa,GAAG,4BAA4B,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;wBACnF,IAAI,aAAa,YAAY,QAAQ,EAAE,CAAC;4BACpC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;4BAC1F,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;wBACpC,CAAC;6BACI,IAAI,aAAa,YAAY,SAAS,EAAE,CAAC;4BAC1C,4BAA4B,CAAC,kBAAkB,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;wBAC7F,CAAC;oBACL,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC;YACL,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;CACJ"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section11_PointerTypeConversions.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section11_PointerTypeConversions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAiF,MAAM,qCAAqC,CAAC;AACrJ,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;IAO3B,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAiBjC,OAAO,CAAC,kCAAkC;IAyB1C,OAAO,CAAC,oBAAoB;IAU5B,OAAO,CAAC,0BAA0B;IAWlC,OAAO,CAAC,wBAAwB;CAwBnC"}

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

@@ -1,19 +1,16 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program, FileJp, Cast, FunctionType, PointerType, BuiltinType, IntLiteral, Joinpoint, QualType } from "@specs-feup/clava/api/Joinpoints.js";
+import { Cast, FunctionType, PointerType, BuiltinType, IntLiteral, QualType } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAAnalyser from "../MISRAAnalyser.js";
 import Section10_EssentialTypeModel, { EssentialTypes } from "./Section10_EssentialTypeModel.js";
-
 export default class Section11_PointerTypeConversions extends MISRAAnalyser {
-    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
-    
-    constructor(rules: number[]) {
+    ruleMapper;
+    constructor(rules) {
         super(rules);
         this.ruleMapper = new Map([
             [7, this.r11_7_noFloatConversions.bind(this)]
         ]);
     }
-
-    private static functionTypesMatch(t1: FunctionType, t2: FunctionType) {
+    static functionTypesMatch(t1, t2) {
         console.log(t1.returnType.kind, t2.returnType.kind);
         if (t1.returnType != t2.returnType) {
             return false;
@@ -26,20 +23,16 @@ export default class Section11_PointerTypeConversions extends MISRAAnalyser {
                 return false;
             }
         }
-    
         return true;
     }
-
-    private r11_1_noFunctionPointerConversions($startNode: Joinpoint) { //type equality not working
+    r11_1_noFunctionPointerConversions($startNode) {
         Query.searchFrom($startNode, Cast).get().forEach(cast => {
             const fromType = cast.fromType.desugarAll;
             const toType = cast.toType.desugarAll;
-
             if (fromType instanceof PointerType && toType instanceof PointerType && fromType.pointee.desugarAll instanceof FunctionType && toType.pointee.desugarAll instanceof FunctionType) {
                 console.log("hello");
                 if (!Section11_PointerTypeConversions.functionTypesMatch(fromType.pointee.desugarAll, toType.pointee.desugarAll)) {
                     this.logMISRAError(cast, "A function pointer can only be converted into another function pointer if the types match.");
-
                 }
             }
             else if (fromType instanceof PointerType && fromType.pointee.desugarAll instanceof FunctionType) {
@@ -54,50 +47,46 @@ export default class Section11_PointerTypeConversions extends MISRAAnalyser {
             }
         });
     }
-
-    private r11_4_noIntToPointer($startNode: Joinpoint) {
+    r11_4_noIntToPointer($startNode) {
         Query.searchFrom($startNode, Cast).get().forEach(cast => {
             const fromType = cast.fromType.desugarAll;
             const toType = cast.toType.desugarAll;
             if (fromType.isPointer !== toType.isPointer) {
                 this.logMISRAError(cast, "Integers should not be converted to pointers and vice-versa.");
             }
-        })
+        });
     }
-
-    private r11_5_noConversionFromVoid($startNode: Joinpoint) {
+    r11_5_noConversionFromVoid($startNode) {
         Query.searchFrom($startNode, Cast).get().forEach(cast => {
             const fromType = cast.fromType.desugarAll;
-            const toType =cast.toType.desugarAll;
+            const toType = cast.toType.desugarAll;
             if (fromType instanceof PointerType && fromType.pointee instanceof BuiltinType && fromType.pointee.isVoid
                 && toType instanceof PointerType && !(toType.pointee instanceof BuiltinType && toType.pointee.isVoid)) {
                 this.logMISRAError(cast, "Pointer to void should not be converted to pointer to object");
             }
         });
     }
-
-    private r11_7_noFloatConversions($startNode: Joinpoint) {
+    r11_7_noFloatConversions($startNode) {
         Query.searchFrom($startNode, Cast).get().forEach(cast => {
             let fromType = cast.fromType.desugarAll;
             let toType = cast.fromType.desugarAll;
-
             if (fromType instanceof QualType) {
                 fromType = fromType.unqualifiedType.desugarAll;
             }
             if (toType instanceof QualType) {
                 toType = toType.unqualifiedType.desugarAll;
             }
-
             if (fromType instanceof PointerType && !(toType instanceof PointerType)
-                    && Section10_EssentialTypeModel.getEssentialType(toType) !== EssentialTypes.SIGNED
-                    && Section10_EssentialTypeModel.getEssentialType(toType) !== EssentialTypes.UNSIGNED) {
+                && Section10_EssentialTypeModel.getEssentialType(toType) !== EssentialTypes.SIGNED
+                && Section10_EssentialTypeModel.getEssentialType(toType) !== EssentialTypes.UNSIGNED) {
                 this.logMISRAError(cast, "A pointer to object cannot be cast to a non-integer arithmetic type.");
             }
             else if (toType instanceof PointerType && !(fromType instanceof PointerType)
-                    && Section10_EssentialTypeModel.getEssentialType(fromType) !== EssentialTypes.SIGNED
-                    && Section10_EssentialTypeModel.getEssentialType(fromType) !== EssentialTypes.UNSIGNED) {
+                && Section10_EssentialTypeModel.getEssentialType(fromType) !== EssentialTypes.SIGNED
+                && Section10_EssentialTypeModel.getEssentialType(fromType) !== EssentialTypes.UNSIGNED) {
                 this.logMISRAError(cast, "A non-arithmetic integer value cannot be cast to a pointer to object.");
             }
         }, this);
     }
-}
+}
+//# sourceMappingURL=Section11_PointerTypeConversions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section11_PointerTypeConversions.js","sourceRoot":"","sources":["../../../src/misra/sections/Section11_PointerTypeConversions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAmB,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAa,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AACrJ,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,4BAA4B,EAAE,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAEjG,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,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,EAAgB,EAAE,EAAgB;QAChE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,kCAAkC,CAAC,UAAqB;QAC5D,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAEtC,IAAI,QAAQ,YAAY,WAAW,IAAI,MAAM,YAAY,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC,UAAU,YAAY,YAAY,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,YAAY,YAAY,EAAE,CAAC;gBAC/K,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACrB,IAAI,CAAC,gCAAgC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC/G,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,4FAA4F,CAAC,CAAC;gBAE3H,CAAC;YACL,CAAC;iBACI,IAAI,QAAQ,YAAY,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC,UAAU,YAAY,YAAY,EAAE,CAAC;gBAC9F,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBACpD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,4FAA4F,CAAC,CAAC;gBAC3H,CAAC;YACL,CAAC;iBACI,IAAI,MAAM,YAAY,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,YAAY,YAAY,EAAE,CAAC;gBAC1F,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,YAAY,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;oBAC5E,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,sEAAsE,CAAC,CAAC;gBACrG,CAAC;YACL,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACtC,IAAI,QAAQ,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,8DAA8D,CAAC,CAAC;YAC7F,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAEO,0BAA0B,CAAC,UAAqB;QACpD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC1C,MAAM,MAAM,GAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACrC,IAAI,QAAQ,YAAY,WAAW,IAAI,QAAQ,CAAC,OAAO,YAAY,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM;mBAClG,MAAM,YAAY,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,YAAY,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,8DAA8D,CAAC,CAAC;YAC7F,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,wBAAwB,CAAC,UAAqB;QAClD,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpD,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACxC,IAAI,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAEtC,IAAI,QAAQ,YAAY,QAAQ,EAAE,CAAC;gBAC/B,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC,UAAU,CAAC;YACnD,CAAC;YACD,IAAI,MAAM,YAAY,QAAQ,EAAE,CAAC;gBAC7B,MAAM,GAAG,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC;YAC/C,CAAC;YAED,IAAI,QAAQ,YAAY,WAAW,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,CAAC;mBAC5D,4BAA4B,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,cAAc,CAAC,MAAM;mBAC/E,4BAA4B,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,cAAc,CAAC,QAAQ,EAAE,CAAC;gBAC3F,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,sEAAsE,CAAC,CAAC;YACrG,CAAC;iBACI,IAAI,MAAM,YAAY,WAAW,IAAI,CAAC,CAAC,QAAQ,YAAY,WAAW,CAAC;mBACjE,4BAA4B,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,cAAc,CAAC,MAAM;mBACjF,4BAA4B,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,cAAc,CAAC,QAAQ,EAAE,CAAC;gBAC7F,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,uEAAuE,CAAC,CAAC;YACtG,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;CACJ"}

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

@@ -0,0 +1,15 @@
+import { Program, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section12_Expressions extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
+    constructor(rules: number[]);
+    private static isAdditive;
+    private static isMultiplicative;
+    private static isShift;
+    private static isRelational;
+    private static isEquality;
+    private static isSamePrecedence;
+    private r12_1_explicitPrecedence;
+    private r12_3_noCommaOperator;
+}
+//# sourceMappingURL=Section12_Expressions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section12_Expressions.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section12_Expressions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA6C,MAAM,qCAAqC,CAAC;AACjH,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAIhD,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,aAAa;IAC5D,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAQ3B,OAAO,CAAC,MAAM,CAAC,UAAU;IAIzB,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAI/B,OAAO,CAAC,MAAM,CAAC,OAAO;IAItB,OAAO,CAAC,MAAM,CAAC,YAAY;IAI3B,OAAO,CAAC,MAAM,CAAC,UAAU;IAIzB,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAY/B,OAAO,CAAC,wBAAwB;IAehC,OAAO,CAAC,qBAAqB;CAehC"}

package/dist/misra/sections/Section12_Expressions.js

@@ -0,0 +1,70 @@
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { BinaryOp, Op, Loop } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default class Section12_Expressions extends MISRAAnalyser {
+    ruleMapper;
+    constructor(rules) {
+        super(rules);
+        this.ruleMapper = new Map([
+            [1, this.r12_1_explicitPrecedence.bind(this)],
+            [3, this.r12_3_noCommaOperator.bind(this)]
+        ]);
+    }
+    static isAdditive(op) {
+        return op === "add" || op === "sub";
+    }
+    static isMultiplicative(op) {
+        return op === "mul" || op === "div" || op === "rem";
+    }
+    static isShift(op) {
+        return op === "shl" || op === "shr";
+    }
+    static isRelational(op) {
+        return op === "lt" || op === "gt" || op === "le" || op === "ge";
+    }
+    static isEquality(op) {
+        return op === "eq" || op === "ne";
+    }
+    static isSamePrecedence(op1, op2) {
+        if (op1 === op2)
+            return true;
+        for (const fun of [this.isAdditive, this.isMultiplicative, this.isShift, this.isRelational, this.isEquality]) {
+            if (fun(op1) && fun(op2)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    r12_1_explicitPrecedence($startNode) {
+        for (const bOp of Query.searchFrom($startNode, BinaryOp, { isAssignment: false })) {
+            if ((bOp.kind === "ptr_mem_d" || bOp.kind === "ptr_mem_i")
+                || (!bOp.getAncestor("binaryOp") && !bOp.getAncestor("ternaryOp"))
+                || (bOp.parent instanceof BinaryOp && bOp.parent.isAssignment)
+                || (bOp.parent instanceof Op && Section12_Expressions.isSamePrecedence(bOp.kind, bOp.parent.kind))
+                || (bOp.parent.instanceOf("parenExpr")))
+                continue;
+            this.logMISRAError(bOp, `Operator precedence in expression ${bOp.code} is not explicit.`, new Fix(bOp, ($jp) => {
+                const parenExpr = ClavaJoinPoints.parenthesis($jp);
+                bOp.replaceWith(parenExpr);
+            }));
+        }
+    }
+    r12_3_noCommaOperator($startNode) {
+        Query.searchFrom($startNode, BinaryOp, { operator: ',' }).get().forEach(op => {
+            const loopAncestor = op.getAncestor("loop");
+            if (loopAncestor instanceof Loop && (loopAncestor?.step?.contains(op) || loopAncestor?.cond?.contains(op) || loopAncestor?.init?.contains(op))) {
+                console.log(`Cannot eliminate comma operator in expression ${op.code} since it is at the head of a loop.`);
+                this.logMISRAError(op, "Use of the comma operator is not allowed.");
+            }
+            else {
+                this.logMISRAError(op, "Use of the comma operator is not allowed.", new Fix(op, ($jp) => {
+                    $jp.insertBefore($jp.left.stmt);
+                    $jp.replaceWith($jp.right);
+                }));
+            }
+        }, this);
+    }
+}
+//# sourceMappingURL=Section12_Expressions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section12_Expressions.js","sourceRoot":"","sources":["../../../src/misra/sections/Section12_Expressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAmB,QAAQ,EAAa,EAAE,EAAE,IAAI,EAAc,MAAM,qCAAqC,CAAC;AACjH,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAChD,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,aAAa;IAC5D,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,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC7C,CAAC,CAAC;IACP,CAAC;IAEO,MAAM,CAAC,UAAU,CAAC,EAAU;QAChC,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;IACxC,CAAC;IAEO,MAAM,CAAC,gBAAgB,CAAC,EAAU;QACtC,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;IACxD,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,EAAU;QAC7B,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;IACxC,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,EAAU;QAClC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IACpE,CAAC;IAEO,MAAM,CAAC,UAAU,CAAC,EAAU;QAChC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IACtC,CAAC;IAEO,MAAM,CAAC,gBAAgB,CAAC,GAAW,EAAE,GAAW;QACpD,IAAI,GAAG,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAE7B,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3G,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,wBAAwB,CAAC,UAAqB;QAClD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAC,YAAY,EAAE,KAAK,EAAC,CAAC,EAAE,CAAC;YAC9E,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC;mBACnD,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;mBAC/D,CAAC,GAAG,CAAC,MAAM,YAAY,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC;mBAC3D,CAAC,GAAG,CAAC,MAAM,YAAY,EAAE,IAAI,qBAAqB,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;mBAC/F,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;gBAAE,SAAS;YAEtD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,qCAAqC,GAAG,CAAC,IAAI,mBAAmB,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,GAAc,EAAE,EAAE;gBACtH,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,CAAC,GAAiB,CAAC,CAAC;gBACjE,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAEO,qBAAqB,CAAC,UAAqB;QAC/C,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAC,QAAQ,EAAE,GAAG,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;YACvE,MAAM,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,YAAY,YAAY,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC7I,OAAO,CAAC,GAAG,CAAC,iDAAiD,EAAE,CAAC,IAAI,qCAAqC,CAAC,CAAC;gBAC3G,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,2CAA2C,CAAC,CAAC;YACxE,CAAC;iBACI,CAAC;gBACF,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,2CAA2C,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,GAAc,EAAE,EAAE;oBAC/F,GAAG,CAAC,YAAY,CAAE,GAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC9C,GAAG,CAAC,WAAW,CAAE,GAAgB,CAAC,KAAK,CAAC,CAAC;gBAC7C,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;CACJ"}

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

@@ -0,0 +1,14 @@
+import { Program, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export default class Section13_SideEffects extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
+    constructor(rules: number[]);
+    private checkPotentialPersistentSideEffects;
+    private r13_1_initListSideEffects;
+    private static visitAllExprs;
+    private checkIncrementSideEffects;
+    private r13_3_noIncrementSideEffects;
+    private r13_4_noUseOfAssignmentValue;
+    private r13_5_shortCircuitSideEffects;
+}
+//# sourceMappingURL=Section13_SideEffects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Section13_SideEffects.d.ts","sourceRoot":"","sources":["../../../src/misra/sections/Section13_SideEffects.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,EAA2E,MAAM,qCAAqC,CAAC;AAC/I,OAAO,aAAa,MAAM,qBAAqB,CAAC;AAIhD,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,aAAa;IAC5D,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC;gBAE5C,KAAK,EAAE,MAAM,EAAE;IAU3B,OAAO,CAAC,mCAAmC;IAoB3C,OAAO,CAAC,yBAAyB;IAIjC,OAAO,CAAC,MAAM,CAAC,aAAa;IAa5B,OAAO,CAAC,yBAAyB;IA2BjC,OAAO,CAAC,4BAA4B;IAIpC,OAAO,CAAC,4BAA4B;IAQpC,OAAO,CAAC,6BAA6B;CAGxC"}