@specs-feup/clava-misra 1.0.2 → 1.0.3

package/dist/MISRAContext.js.map

@@ -1 +1 @@
-{"version":3,"file":"MISRAContext.js","sourceRoot":"","sources":["../src/MISRAContext.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAEzB;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B;;OAEG;IACH,YAAY,GAAiB,EAAE,CAAC;IAChC;;OAEG;IACH,cAAc,GAAiB,EAAE,CAAC;IAElC;;OAEG;IACH,OAAO,GAAiC,SAAS,CAAC;IAElD,WAAW,GAAG,CAAC,CAAC;IAChB,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IAEnB,UAAU,GAAG,cAAc,CAAC;IAC5B,WAAW,GAAG,eAAe,CAAC;IAC9B,aAAa,GAAG,YAAY,CAAC;IAE7B,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;IAED,IAAI,MAAM,CAAC,cAAsB;QAC7B,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAC;YAC9E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAED,eAAe;QACX,OAAO,GAAG,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACrD,CAAC;IAED,gBAAgB;QACZ,OAAO,GAAG,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACvD,CAAC;IAED,sBAAsB;QAClB,OAAO,GAAG,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC;IAC7D,CAAC;IAED,aAAa,CAAC,MAAc,EAAE,GAAc,EAAE,OAAe;QACzD,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAEtD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;IAED,eAAe,CAAC,MAAc,EAAE,GAAc,EAAE,OAAe;QAC3D,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAExD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;IACL,CAAC;IAED,WAAW;QACP,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,aAAa;QACT,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;CACJ"}
+{"version":3,"file":"MISRAContext.js","sourceRoot":"","sources":["../src/MISRAContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAa,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AACjI,OAAO,EAAE,UAAU,EAAuD,MAAM,YAAY,CAAC;AAC7F,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,OAAO,MAAM,0BAA0B,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE7E;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,YAAa,SAAQ,OAAmC;IACzE;;;;;OAKG;IACH,YAAY,GAAiB,EAAE,CAAC;IAChC,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAEpC;;OAEG;IACH,OAAO,GAAiC,SAAS,CAAC;IAElD,WAAW,GAAG,CAAC,CAAC;IAChB,gBAAgB,GAAG,CAAC,CAAC;IACrB,aAAa,GAAG,CAAC,CAAC;IAClB,eAAe,GAAG,CAAC,CAAC;IACpB,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IACnB,aAAa,GAAG,CAAC,CAAC;IAElB,UAAU,GAAG,aAAa,CAAC;IAC3B,WAAW,GAAG,cAAc,CAAC;IAC7B,YAAY,GAAG,eAAe,CAAC;IAC/B,cAAc,GAAG,iBAAiB,CAAC;IACnC,WAAW,GAAG,cAAc,CAAC;IAC7B,aAAa,GAAG,gBAAgB,CAAC;IACjC,YAAY,GAAG,eAAe,CAAC;IAE/B;;OAEG;IACH,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,IAAI,YAAY;QACZ,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;IACpE,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,MAAqB;QACpC,IAAI,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QACpD,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5F,CAAC;IAEF;;OAEG;IACF,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,IAAI,MAAM,CAAC,cAAsB;QAC7B,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAC;YAC9E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAED;;OAEG;IACH,YAAY;QACR,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACnC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;QACpC,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,CAAC;IAED;;;;;;;OAOG;IACH,aAAa,CAAC,MAAc,EAAE,GAAc;QACxC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED;;;;;OAKG;IACH,aAAa,CAAC,MAAc,EAAE,GAAc,EAAE,MAA+B;QACzE,IAAI,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEvC,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChC,eAAe,GAAG,IAAI,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QACtC,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED;;;;;;OAMG;IACH,aAAa,CAAC,MAAc,EAAE,GAAc,EAAE,OAAe;QACzD,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,OAAO,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QACjE,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,GAAc;QACjC,IAAI,GAAG,YAAY,OAAO,EAAE,CAAC;YACzB,OAAO,GAAG,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACrD,CAAC;aAAM,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;YACnC,OAAO,GAAG,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC3D,CAAC;aAAM,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;YAClC,OAAO,GAAG,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QACzD,CAAC;aAAM,IAAI,GAAG,YAAY,WAAW,EAAE,CAAC;YACpC,OAAO,GAAG,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QAC7D,CAAC;aAAM,IAAI,GAAG,YAAY,QAAQ,EAAE,CAAC;YACjC,OAAO,GAAG,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACvD,CAAC;aAAM,IAAI,GAAG,YAAY,QAAQ,EAAE,CAAC;YACjC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;gBAC1B,GAAG,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;gBACjD,GAAG,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,EAAE,CAAA;QACrD,CAAC;IACL,CAAC;IAED;;;;OAIG;IACK,WAAW,CAAC,KAAiB;QACjC,OAAO,CAAC,GAAG,CAAC,WAAW,KAAK,CAAC,MAAM,QAAQ,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;IACvG,CAAC;IAED;;OAEG;IACH,eAAe;QACX,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;OAEG;IACH,kBAAkB;QACd,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACxB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,CAAC;CACJ"}

package/dist/MISRARule.d.ts

@@ -1,43 +1,48 @@
 import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRAContext from "./MISRAContext.js";
-import { MISRATransformationReport } from "./MISRA.js";
+import { AnalysisType, MISRATransformationReport, MISRATransformationResults } from "./MISRA.js";
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import StandardGuideline from "./StandardGuideline.js";
 /**
  * Represents a MISRA Rule that detects and corrects violations in the code according to MISRA standards.
  *
- * Need to implement:
+ * Need to implement/define:
+ *  - analysisType
+ *  - name()
  *  - match($jp, logErrors)
- *  - transform($jp)
+ *  - apply($jp)
  */
-export default abstract class MISRARule {
+export default abstract class MISRARule extends StandardGuideline<MISRATransformationResults, MISRAContext> {
     /**
-     * Unique identifier for the MISRA rule.
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     * By default, a rule has the lowest priority unless overridden.
      */
-    readonly ruleID: string;
+    readonly priority: number;
     /**
-     * MISRA context for error tracking and rule transformations state
+     * Scope of analysis: single unit or entire system.
      */
-    protected context: MISRAContext;
+    abstract readonly analysisType: AnalysisType;
+    /**
+     * Standards to which this rule applies to
+     */
+    protected readonly appliesTo: Set<string>;
     /**
      *
-     * @param ruleID - Unique identifier for the MISRA-C rule
      * @param context - MISRA context for error tracking and rule transformations state
      */
-    constructor(ruleID: string, context: MISRAContext);
+    constructor(context: MISRAContext);
     /**
-     * Checks if the joinpoint violates the rule
-     *
-     * @param $jp - Joinpoint to analyze
-     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
-     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     * @returns Initial value stored in the shared context
      */
-    abstract match($jp: Joinpoint, logErrors: boolean): boolean;
+    initialValue(): MISRATransformationResults;
     /**
-     * Transforms the joinpoint to comply with the MISRA-C rule
-     *
-     * @param $jp - Joinpoint to transform
-     * @returns Report detailing the transformation result
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    abstract get name(): string;
+    /**
+     * An alias for 'name'
      */
-    abstract transform($jp: Joinpoint): MISRATransformationReport;
+    get ruleID(): string;
     /**
      * Logs a MISRA-C rule violation error
      *
@@ -46,11 +51,19 @@ export default abstract class MISRARule {
      */
     protected logMISRAError($jp: Joinpoint, msg: string): void;
     /**
-     * Logs a warning from automatic MISRA-C correction, which may change the program's behavior
+     * Verifies if the rule applies to the standard being used
+     */
+    protected appliesToCurrentStandard(): boolean;
+    /**
+     *  Rebuilds the program based on the current AST, clears stored data in the shared context, and resets all caches
+     */
+    protected rebuildProgram(): void;
+    /**
+     * Transforms the joinpoint to comply with the MISRA-C rule
      *
-     * @param $jp - The joinpoint where the correction was applied
-     * @param msg - Description of the warning
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
      */
-    protected logMISRAWarning($jp: Joinpoint, msg: string): void;
+    abstract apply($jp: LaraJoinPoint): MISRATransformationReport;
 }
 //# sourceMappingURL=MISRARule.d.ts.map

package/dist/MISRARule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MISRARule.d.ts","sourceRoot":"","sources":["../src/MISRARule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,SAAS;IACnC;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;IAEhC;;;;OAIG;gBACS,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY;IAKjD;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO;IAE3D;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;IAE7D;;;;;OAKG;IACH,SAAS,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAC,MAAM,GAAG,IAAI;IAQzD;;;;;OAKG;IACH,SAAS,CAAC,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAC,MAAM,GAAG,IAAI;CAO9D"}
+{"version":3,"file":"MISRARule.d.ts","sourceRoot":"","sources":["../src/MISRARule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAW,MAAM,qCAAqC,CAAC;AACzE,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,YAAY,CAAC;AACjG,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAItE,OAAO,iBAAiB,MAAM,wBAAwB,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,SAAU,SAAQ,iBAAiB,CAAC,0BAA0B,EAAE,YAAY,CAAC;IACvG;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAoB;IAE7C;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAE7C;;OAEG;IACH,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAkC;IAE3E;;;OAGG;gBACS,OAAO,EAAE,YAAY;IAIjC;;OAEG;IACM,YAAY,IAAI,0BAA0B;IAInD;;OAEG;IACH,aAAsB,IAAI,IAAI,MAAM,CAAC;IAErC;;OAEG;IACH,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED;;;;;OAKG;IACH,SAAS,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAC,MAAM,GAAG,IAAI;IAIzD;;OAEG;IACH,SAAS,CAAC,wBAAwB,IAAI,OAAO;IAI7C;;OAEG;IACH,SAAS,CAAC,cAAc;IAMxB;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,aAAa,GAAG,yBAAyB;CAChE"}

package/dist/MISRARule.js

@@ -1,27 +1,44 @@
+import Clava from "@specs-feup/clava/api/clava/Clava.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { resetCaches } from "./utils/ProgramUtils.js";
+import StandardGuideline from "./StandardGuideline.js";
 /**
  * Represents a MISRA Rule that detects and corrects violations in the code according to MISRA standards.
  *
- * Need to implement:
+ * Need to implement/define:
+ *  - analysisType
+ *  - name()
  *  - match($jp, logErrors)
- *  - transform($jp)
+ *  - apply($jp)
  */
-export default class MISRARule {
+export default class MISRARule extends StandardGuideline {
     /**
-     * Unique identifier for the MISRA rule.
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     * By default, a rule has the lowest priority unless overridden.
      */
-    ruleID;
+    priority = Number.MAX_VALUE;
     /**
-     * MISRA context for error tracking and rule transformations state
+     * Standards to which this rule applies to
      */
-    context;
+    appliesTo = new Set(["c90", "c99", "c11"]);
     /**
      *
-     * @param ruleID - Unique identifier for the MISRA-C rule
      * @param context - MISRA context for error tracking and rule transformations state
      */
-    constructor(ruleID, context) {
-        this.ruleID = ruleID;
-        this.context = context;
+    constructor(context) {
+        super(context);
+    }
+    /**
+     * @returns Initial value stored in the shared context
+     */
+    initialValue() {
+        return new Map();
+    }
+    /**
+     * An alias for 'name'
+     */
+    get ruleID() {
+        return this.name;
     }
     /**
      * Logs a MISRA-C rule violation error
@@ -30,16 +47,21 @@ export default class MISRARule {
      * @param msg - Description of the violation
      */
     logMISRAError($jp, msg) {
-        this.context.addMISRAError(this.ruleID, $jp, `MISRA-C Rule ${this.ruleID} violation at ${$jp.filepath}@${$jp.line}:${$jp.column}: ${msg}`);
+        this.context.addMISRAError(this.ruleID, $jp, msg);
     }
     /**
-     * Logs a warning from automatic MISRA-C correction, which may change the program's behavior
-     *
-     * @param $jp - The joinpoint where the correction was applied
-     * @param msg - Description of the warning
+     * Verifies if the rule applies to the standard being used
+     */
+    appliesToCurrentStandard() {
+        return this.appliesTo.has(Clava.getStandard());
+    }
+    /**
+     *  Rebuilds the program based on the current AST, clears stored data in the shared context, and resets all caches
      */
-    logMISRAWarning($jp, msg) {
-        this.context.addMISRAWarning(this.ruleID, $jp, `Warning: MISRA-C Rule ${this.ruleID} correction at ${$jp.filepath}@${$jp.line}:${$jp.column}: ${msg}.`);
+    rebuildProgram() {
+        Query.root().rebuild();
+        this.context.resetStorage();
+        resetCaches();
     }
 }
 //# sourceMappingURL=MISRARule.js.map

package/dist/MISRARule.js.map

@@ -1 +1 @@
-{"version":3,"file":"MISRARule.js","sourceRoot":"","sources":["../src/MISRARule.ts"],"names":[],"mappings":"AAIA;;;;;;GAMG;AACH,MAAM,CAAC,OAAO,OAAgB,SAAS;IACnC;;OAEG;IACM,MAAM,CAAS;IAExB;;OAEG;IACO,OAAO,CAAe;IAEhC;;;;OAIG;IACH,YAAY,MAAc,EAAE,OAAqB;QAC7C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IAC3B,CAAC;IAmBD;;;;;OAKG;IACO,aAAa,CAAC,GAAc,EAAE,GAAU;QAC9C,IAAI,CAAC,OAAO,CAAC,aAAa,CACtB,IAAI,CAAC,MAAM,EACX,GAAG,EACH,gBAAgB,IAAI,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAC/F,CAAA;IACL,CAAC;IAED;;;;;OAKG;IACO,eAAe,CAAC,GAAc,EAAE,GAAU;QAChD,IAAI,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,MAAM,EACX,GAAG,EACH,yBAAyB,IAAI,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,GAAG,CAC1G,CAAA;IACL,CAAC;CACJ"}
+{"version":3,"file":"MISRARule.js","sourceRoot":"","sources":["../src/MISRARule.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,iBAAiB,MAAM,wBAAwB,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,OAAgB,SAAU,SAAQ,iBAA2D;IACvG;;;OAGG;IACM,QAAQ,GAAW,MAAM,CAAC,SAAS,CAAC;IAO7C;;OAEG;IACgB,SAAS,GAAgB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAE3E;;;OAGG;IACH,YAAY,OAAqB;QAC7B,KAAK,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;IAED;;OAEG;IACM,YAAY;QACjB,OAAO,IAAI,GAAG,EAAE,CAAC;IACrB,CAAC;IAOD;;OAEG;IACH,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;IAED;;;;;OAKG;IACO,aAAa,CAAC,GAAc,EAAE,GAAU;QAC9C,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACO,wBAAwB;QAC9B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,CAAC;IAED;;OAEG;IACO,cAAc;QACnB,KAAK,CAAC,IAAI,EAAc,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC5B,WAAW,EAAE,CAAC;IAClB,CAAC;CASJ"}

package/dist/MISRATool.d.ts

@@ -1,12 +1,46 @@
 import { FileJp, Program } from "@specs-feup/clava/api/Joinpoints.js";
-import { MISRAError } from "./MISRA.js";
+import MISRAContext from "./MISRAContext.js";
 export default class MISRATool {
     #private;
-    private static init;
-    private static validateStdVersion;
+    static context: MISRAContext;
     static checkCompliance(startingPoint?: Program | FileJp): void;
-    static applyCorrections(configFilePath?: string, startingPoint?: Program | FileJp): void;
+    /**
+     * Transforms the source code to comply with the coding guidelines.
+     * After the transformation, any violations that could not be fixed will be displayed along with their justification.
+     */
+    static correctViolations(): void;
+    /**
+     * Recursively transforms the AST using a pre-order traversal
+     *
+     * @param $jp  AST node from which to start the visit.
+     * @returns Return true if any modifications were made (removal, replacement, or changes in descendants). Otherwise, returns false.
+     */
     private static transformAST;
-    static getMISRAErrors(): MISRAError[];
+    private static init;
+    /**
+     * Selects applicable rules according to the analysis type. When not specified, both system and single translation unit rules are selected.
+     */
+    private static initRules;
+    /**
+     * Checks whether the provided standard version is valid and supported
+     */
+    private static validateStdVersion;
+    private static getArgValue;
+    /**
+     * Displays standard violations based on execution mode.
+     * - In detection mode, all violations are shown.
+     * - In correction mode, only the remaining violations are displayed
+     *
+     * @param mode execution mode
+     */
+    private static outputReport;
+    /**
+     * @returns Returns the number of identified violations.
+     */
+    static getErrorCount(): number;
+    /**
+     * @returns Returns the number of active errors linked to nodes that are still present in the AST after correction.
+     */
+    static getActiveErrorCount(): number;
 }
 //# sourceMappingURL=MISRATool.d.ts.map

package/dist/MISRATool.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MISRATool.d.ts","sourceRoot":"","sources":["../src/MISRATool.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAa,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAIjF,OAAO,EAAE,UAAU,EAA2B,MAAM,YAAY,CAAC;AAEjE,MAAM,CAAC,OAAO,OAAO,SAAS;;IAI1B,OAAO,CAAC,MAAM,CAAC,IAAI;IAMnB,OAAO,CAAC,MAAM,CAAC,kBAAkB;WAUnB,eAAe,CAAC,aAAa,GAAE,OAAO,GAAG,MAAgC;WAgBzE,gBAAgB,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,aAAa,GAAE,OAAO,GAAG,MAAgC;IA2BjH,OAAO,CAAC,MAAM,CAAC,YAAY;WAsBb,cAAc,IAAI,UAAU,EAAE;CAG/C"}
+{"version":3,"file":"MISRATool.d.ts","sourceRoot":"","sources":["../src/MISRATool.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAa,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAW7C,MAAM,CAAC,OAAO,OAAO,SAAS;;IAE1B,OAAc,OAAO,EAAE,YAAY,CAAC;WAItB,eAAe,CAAC,aAAa,GAAE,OAAO,GAAG,MAAgC;IAYvF;;;OAGG;WACW,iBAAiB;IAkB/B;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,YAAY;IAsB3B,OAAO,CAAC,MAAM,CAAC,IAAI;IAOnB;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,SAAS;IAKxB;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;IASjC,OAAO,CAAC,MAAM,CAAC,WAAW;IAe1B;;;;;;OAMG;IACH,OAAO,CAAC,MAAM,CAAC,YAAY;IAgB3B;;OAEG;WACW,aAAa,IAAI,MAAM;IAIrC;;OAEG;WACW,mBAAmB,IAAI,MAAM;CAG9C"}

package/dist/MISRATool.js

@@ -1,68 +1,58 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Program } from "@specs-feup/clava/api/Joinpoints.js";
-import misraRules from "./rules/index.js";
 import MISRAContext from "./MISRAContext.js";
 import { MISRATransformationType } from "./MISRA.js";
+import Clava from "@specs-feup/clava/api/clava/Clava.js";
+import { resetCaches } from "./utils/ProgramUtils.js";
+import { selectRules } from "./rules/index.js";
+var ExecutionMode;
+(function (ExecutionMode) {
+    ExecutionMode[ExecutionMode["CORRECTION"] = 0] = "CORRECTION";
+    ExecutionMode[ExecutionMode["DETECTION"] = 1] = "DETECTION";
+})(ExecutionMode || (ExecutionMode = {}));
 export default class MISRATool {
     static #misraRules;
-    static #context;
-    static init(startingPoint) {
-        this.validateStdVersion(startingPoint);
-        this.#context = new MISRAContext();
-        this.#misraRules = misraRules(this.#context);
-    }
-    static validateStdVersion(startingPoint) {
-        const allowedVersions = ["c90", "c99", "c11"];
-        const stdVersion = startingPoint instanceof Program ? startingPoint.standard : startingPoint.root.standard;
-        if (!allowedVersions.includes(stdVersion)) {
-            console.error(`[Clava-MISRATool] Invalid --std value. Allowed values: ${allowedVersions.join(", ")}`);
-            process.exit(1);
-        }
-    }
+    static context;
+    static #standards = new Set(["c90", "c99", "c11"]);
+    static #ruleTypes = new Set(["all", "single", "system"]);
     static checkCompliance(startingPoint = Query.root()) {
-        this.init(startingPoint);
-        const nodes = startingPoint.descendants;
+        this.init();
+        const nodes = [startingPoint, ...startingPoint.descendants];
         for (const node of nodes) {
             for (const rule of this.#misraRules) {
                 rule.match(node, true);
             }
         }
-        if (this.#context.errors.length > 0) {
-            this.#context.printErrors();
-        }
-        else {
-            console.log("[Clava-MISRATool] No MISRA-C violations detected.");
-        }
+        this.outputReport(ExecutionMode.DETECTION);
     }
-    static applyCorrections(configFilePath, startingPoint = Query.root()) {
-        this.init(startingPoint);
+    /**
+     * Transforms the source code to comply with the coding guidelines.
+     * After the transformation, any violations that could not be fixed will be displayed along with their justification.
+     */
+    static correctViolations() {
+        this.init();
+        // Store config file in context, if provided
+        const configFilePath = this.getArgValue("config");
         if (configFilePath) {
-            this.#context.config = configFilePath;
+            this.context.config = configFilePath;
         }
         let iteration = 0;
-        let modified = false;
-        do {
+        let modified = true;
+        while (modified) {
             console.log(`[Clava-MISRATool] Iteration #${++iteration}: Applying MISRA-C transformations...`);
-            modified = this.transformAST(startingPoint);
-        } while (modified);
-        if (this.#context.errors.length === 0 && this.#context.warnings.length === 0) {
-            console.log("[Clava-MISRATool] All detected violations were corrected.");
-        }
-        else {
-            if (this.#context.warnings.length > 0) {
-                console.log("\n[Clava-MISRATool] Warnings from automatic MISRA-C corrections (these may change the program's behavior):");
-                this.#context.printWarnings();
-            }
-            if (this.#context.errors.length > 0) {
-                console.log("\n[Clava-MISRATool] Remaining MISRA-C violations:");
-                this.#context.printErrors();
-            }
+            modified = this.transformAST(Query.root());
         }
+        this.outputReport(ExecutionMode.CORRECTION);
     }
+    /**
+     * Recursively transforms the AST using a pre-order traversal
+     *
+     * @param $jp  AST node from which to start the visit.
+     * @returns Return true if any modifications were made (removal, replacement, or changes in descendants). Otherwise, returns false.
+     */
     static transformAST($jp) {
         let modified = false;
         for (const rule of this.#misraRules) {
-            const transformReport = rule.transform($jp);
+            const transformReport = rule.apply($jp);
             if (transformReport.type !== MISRATransformationType.NoChange) {
                 modified = true;
                 if (transformReport.type === MISRATransformationType.Removal)
@@ -77,8 +67,74 @@ export default class MISRATool {
         }
         return modified;
     }
-    static getMISRAErrors() {
-        return this.#context.errors;
+    static init() {
+        this.validateStdVersion();
+        this.context = new MISRAContext();
+        resetCaches();
+        this.initRules();
+    }
+    /**
+     * Selects applicable rules according to the analysis type. When not specified, both system and single translation unit rules are selected.
+     */
+    static initRules() {
+        const typeStr = this.getArgValue("type", this.#ruleTypes) ?? "all";
+        this.#misraRules = selectRules(this.context, typeStr);
+    }
+    /**
+     * Checks whether the provided standard version is valid and supported
+     */
+    static validateStdVersion() {
+        const stdVersion = Query.root().standard;
+        if (!this.#standards.has(stdVersion)) {
+            console.error(`[Clava-MISRATool] Invalid -std value. Allowed values: ${[...this.#standards].join(", ")}`);
+            process.exit(1);
+        }
+    }
+    static getArgValue(field, validValues) {
+        const args = Clava.getData().get("argv");
+        if (!args)
+            return undefined;
+        const pair = args.split(/\s+/).find(arg => arg.startsWith(field + "="));
+        if (!pair)
+            return undefined;
+        const value = pair.split("=")[1];
+        if (validValues && !validValues.has(value)) {
+            console.error(`[Clava-MISRATool] Invalid '${field}' value. Allowed values: ${[...validValues].join(", ")}`);
+            process.exit(1);
+        }
+        return value;
+    }
+    /**
+     * Displays standard violations based on execution mode.
+     * - In detection mode, all violations are shown.
+     * - In correction mode, only the remaining violations are displayed
+     *
+     * @param mode execution mode
+     */
+    static outputReport(mode) {
+        const isDetection = mode === ExecutionMode.DETECTION;
+        const errorCount = isDetection ? this.getErrorCount() : this.getActiveErrorCount();
+        if (errorCount > 0) {
+            console.log(isDetection
+                ? `[Clava-MISRATool] Detected ${errorCount} MISRA-C violation${errorCount === 1 ? "" : "s"}:\n`
+                : `[Clava-MISRATool] ${errorCount} MISRA-C violation${errorCount === 1 ? "" : "s"} remain${errorCount === 1 ? "s" : ""} after transformation:\n`);
+            isDetection ? this.context.outputAllErrors() : this.context.outputActiveErrors();
+        }
+        else {
+            console.log(isDetection ? "[Clava-MISRATool] No MISRA-C violations detected.\n" : "[Clava-MISRATool] All detected violations were corrected.\n");
+        }
+    }
+    /**
+     * @returns Returns the number of identified violations.
+     */
+    static getErrorCount() {
+        return this.context.errors.length;
+    }
+    /**
+     * @returns Returns the number of active errors linked to nodes that are still present in the AST after correction.
+     */
+    static getActiveErrorCount() {
+        return this.context.activeErrors.length;
     }
 }
 //# sourceMappingURL=MISRATool.js.map

package/dist/MISRATool.js.map

@@ -1 +1 @@
-{"version":3,"file":"MISRATool.js","sourceRoot":"","sources":["../src/MISRATool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAqB,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,UAAU,MAAM,kBAAkB,CAAC;AAC1C,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAc,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAEjE,MAAM,CAAC,OAAO,OAAO,SAAS;IAC1B,MAAM,CAAC,WAAW,CAAc;IAChC,MAAM,CAAC,QAAQ,CAAe;IAEtB,MAAM,CAAC,IAAI,CAAC,aAA+B;QAC/C,IAAI,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,aAA+B;QAC7D,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,aAAa,YAAY,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAE,aAAa,CAAC,IAAgB,CAAC,QAAQ,CAAC;QAExH,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,KAAK,CAAC,0DAA0D,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,eAAe,CAAC,gBAAkC,KAAK,CAAC,IAAI,EAAa;QACnF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAClC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAChC,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,gBAAgB,CAAC,cAAuB,EAAE,gBAAkC,KAAK,CAAC,IAAI,EAAa;QAC7G,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzB,IAAI,cAAc,EAAE,CAAC;YACjB,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,cAAc,CAAC;QAC1C,CAAC;QAED,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC;YACA,OAAO,CAAC,GAAG,CAAC,gCAAgC,EAAE,SAAS,uCAAuC,CAAC,CAAC;YAChG,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QAChD,CAAC,QAAO,QAAQ,EAAE;QAElB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3E,OAAO,CAAC,GAAG,CAAC,2DAA2D,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACJ,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,4GAA4G,CAAC,CAAC;gBAC1H,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;YAClC,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;gBACjE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,GAAc;QACtC,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAE5C,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,QAAQ,EAAE,CAAC;gBAC5D,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,OAAO;oBACxD,OAAO,QAAQ,CAAC;qBACf,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,WAAW;oBACjE,GAAG,GAAG,eAAe,CAAC,OAAoB,CAAC;YACnD,CAAC;QACL,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBACxB,QAAQ,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,MAAM,CAAC,cAAc;QACxB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAChC,CAAC;CACJ"}
+{"version":3,"file":"MISRATool.js","sourceRoot":"","sources":["../src/MISRATool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAGzD,OAAO,YAAY,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,IAAK,aAGJ;AAHD,WAAK,aAAa;IACd,6DAAU,CAAA;IACV,2DAAS,CAAA;AACb,CAAC,EAHI,aAAa,KAAb,aAAa,QAGjB;AAED,MAAM,CAAC,OAAO,OAAO,SAAS;IAC1B,MAAM,CAAC,WAAW,CAAc;IACzB,MAAM,CAAC,OAAO,CAAe;IACpC,MAAM,CAAU,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAU,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAE3D,MAAM,CAAC,eAAe,CAAC,gBAAkC,KAAK,CAAC,IAAI,EAAa;QACnF,IAAI,CAAC,IAAI,EAAE,CAAC;QAEZ,MAAM,KAAK,GAAG,CAAC,aAAa,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;QAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAClC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,iBAAiB;QAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;QAEZ,4CAA4C;QAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,cAAc,EAAE,CAAC;YACjB,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,cAAc,CAAC;QACzC,CAAC;QAED,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,OAAO,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,gCAAgC,EAAE,SAAS,uCAAuC,CAAC,CAAC;YAChG,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAa,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC;IAED;;;;;OAKG;IACK,MAAM,CAAC,YAAY,CAAC,GAAc;QACtC,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAExC,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,QAAQ,EAAE,CAAC;gBAC5D,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,OAAO;oBACxD,OAAO,QAAQ,CAAC;qBACf,IAAI,eAAe,CAAC,IAAI,KAAK,uBAAuB,CAAC,WAAW;oBACjE,GAAG,GAAG,eAAe,CAAC,OAAoB,CAAC;YACnD,CAAC;QACL,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBACxB,QAAQ,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEO,MAAM,CAAC,IAAI;QACf,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,YAAY,EAAE,CAAC;QAClC,WAAW,EAAE,CAAC;QACd,IAAI,CAAC,SAAS,EAAE,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,MAAM,CAAC,SAAS;QACpB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QACnE,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED;;OAEG;IACK,MAAM,CAAC,kBAAkB;QAC7B,MAAM,UAAU,GAAI,KAAK,CAAC,IAAI,EAAc,CAAC,QAAQ,CAAC;QAEtD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,KAAK,CAAC,yDAAyD,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1G,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,WAAW,CAAC,KAAa,EAAE,WAAyB;QAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAW,CAAC;QACnD,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAE5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAE5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,KAAK,CAAC,8BAA8B,KAAK,4BAA4B,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5G,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACK,MAAM,CAAC,YAAY,CAAC,IAAmB;QAC3C,MAAM,WAAW,GAAG,IAAI,KAAK,aAAa,CAAC,SAAS,CAAC;QACrD,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAEnF,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,WAAW;gBACrB,CAAC,CAAC,8BAA8B,UAAU,qBAAqB,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK;gBAC/F,CAAC,CAAC,qBAAqB,UAAU,qBAAqB,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,0BAA0B,CACjJ,CAAC;YACF,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC;QACnF,CAAC;aACI,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,6DAA6D,CAAC,CAAC;QACnJ,CAAC;IACL,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,aAAa;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,mBAAmB;QAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC;IAC5C,CAAC"}

package/dist/StandardGuideline.d.ts

@@ -0,0 +1,22 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import Context from "./ast-visitor/Context.js";
+import VisitWithContext from "./ast-visitor/VisitWithContext.js";
+/**
+ * Represents a standard guideline that detects and corrects violations in the code according to a particular coding standard.
+ *
+ * Need to implement/define:
+ *  - initialValue()
+ *  - match($jp, logErrors)
+ *  - apply($jp)
+ */
+export default abstract class StandardGuideline<T, C extends Context<T> = Context<T>> extends VisitWithContext<T, C> {
+    /**
+     * Checks if the joinpoint violates the guideline
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the guideline, false otherwise
+     */
+    abstract match($jp: Joinpoint, logErrors: boolean): boolean;
+}
+//# sourceMappingURL=StandardGuideline.d.ts.map

package/dist/StandardGuideline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StandardGuideline.d.ts","sourceRoot":"","sources":["../src/StandardGuideline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,OAAO,MAAM,0BAA0B,CAAC;AAC/C,OAAO,gBAAgB,MAAM,mCAAmC,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,iBAAiB,CAAC,CAAC,EAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAE,SAAQ,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;IAE/G;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO;CAC9D"}

package/dist/StandardGuideline.js

@@ -0,0 +1,12 @@
+import VisitWithContext from "./ast-visitor/VisitWithContext.js";
+/**
+ * Represents a standard guideline that detects and corrects violations in the code according to a particular coding standard.
+ *
+ * Need to implement/define:
+ *  - initialValue()
+ *  - match($jp, logErrors)
+ *  - apply($jp)
+ */
+export default class StandardGuideline extends VisitWithContext {
+}
+//# sourceMappingURL=StandardGuideline.js.map

package/dist/StandardGuideline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StandardGuideline.js","sourceRoot":"","sources":["../src/StandardGuideline.ts"],"names":[],"mappings":"AAEA,OAAO,gBAAgB,MAAM,mCAAmC,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,CAAC,OAAO,OAAgB,iBAAuD,SAAQ,gBAAsB;CAUlH"}

package/dist/ast-visitor/Context.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Key-value storage to share data between visits
+ *
+ *  @template T Type of the stored values
+ */
+export default class Context<T> {
+    protected storage: Map<string, T>;
+    put(key: string, value: T): void;
+    get(key: string): T | undefined;
+}
+//# sourceMappingURL=Context.d.ts.map

package/dist/ast-visitor/Context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Context.d.ts","sourceRoot":"","sources":["../../src/ast-visitor/Context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,OAAO,OAAO,OAAO,CAAC,CAAC;IAC1B,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAa;IAE9C,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAIzB,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;CAGlC"}

package/dist/ast-visitor/Context.js

@@ -0,0 +1,15 @@
+/**
+ * Key-value storage to share data between visits
+ *
+ *  @template T Type of the stored values
+ */
+export default class Context {
+    storage = new Map();
+    put(key, value) {
+        this.storage.set(key, value);
+    }
+    get(key) {
+        return this.storage.get(key);
+    }
+}
+//# sourceMappingURL=Context.js.map

package/dist/ast-visitor/Context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Context.js","sourceRoot":"","sources":["../../src/ast-visitor/Context.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,OAAO,OAAO,OAAO;IACd,OAAO,GAAmB,IAAI,GAAG,EAAE,CAAC;IAE9C,GAAG,CAAC,GAAW,EAAE,KAAQ;QACrB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,GAAG,CAAC,GAAW;QACX,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;CACJ"}

package/dist/ast-visitor/Visit.d.ts

@@ -0,0 +1,23 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+/**
+ * Common interface for AST transformations applied to a single node
+ *
+ * Need to implement:
+ * - apply($jp)
+ *
+ * @template T Type of data stored in the shared context
+ * @template C Type of the context (default is Context<T>)
+ */
+export default abstract class Visit {
+    /**
+     * Applies the transformation to the given node
+     * @param $jp The node to transform
+     * @returns Transformation result
+     */
+    abstract apply($jp: LaraJoinPoint): unknown;
+    /**
+     * @returns List of dependent visits, which is empty by default
+     */
+    get dependencies(): Visit[];
+}
+//# sourceMappingURL=Visit.d.ts.map

package/dist/ast-visitor/Visit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Visit.d.ts","sourceRoot":"","sources":["../../src/ast-visitor/Visit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAEtE;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,KAAK;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAE3C;;OAEG;IACH,IAAI,YAAY,IAAI,KAAK,EAAE,CAE1B;CACJ"}

package/dist/ast-visitor/Visit.js

@@ -0,0 +1,18 @@
+/**
+ * Common interface for AST transformations applied to a single node
+ *
+ * Need to implement:
+ * - apply($jp)
+ *
+ * @template T Type of data stored in the shared context
+ * @template C Type of the context (default is Context<T>)
+ */
+export default class Visit {
+    /**
+     * @returns List of dependent visits, which is empty by default
+     */
+    get dependencies() {
+        return [];
+    }
+}
+//# sourceMappingURL=Visit.js.map

package/dist/ast-visitor/Visit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Visit.js","sourceRoot":"","sources":["../../src/ast-visitor/Visit.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,CAAC,OAAO,OAAgB,KAAK;IAQ/B;;OAEG;IACH,IAAI,YAAY;QACZ,OAAO,EAAE,CAAC;IACd,CAAC;CACJ"}