@specs-feup/clava-misra 1.0.2 → 1.0.4

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.js

@@ -0,0 +1,57 @@
+import { Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { findReferencingFunctions } from "../../utils/VarUtils.js";
+import { isInternalLinkageIdentifier } from "../../utils/IdentifierUtils.js";
+import { resetCaches } from "../../utils/ProgramUtils.js";
+/**
+ * MISRA-C Rule 8.9: An object should be defined at block scope if its identifier only appears in a single function
+ */
+export default class Rule_8_9_BlockScopeDefinition extends MISRARule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "8.9";
+    }
+    /**
+     * Checks if the provided joinpoint represents an object definition with internal linkage, whose identifier only appears in a single function.
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Vardecl && isInternalLinkageIdentifier($jp))) {
+            return false;
+        }
+        const nonCompliant = findReferencingFunctions($jp).length <= 1;
+        if (nonCompliant && logErrors) {
+            this.logMISRAError($jp, `Object '${$jp.name}' should be defined at block scope because its identifier only appears in one single function.`);
+        }
+        return nonCompliant;
+    }
+    /**
+     * If the joinpoint represents the definition of an object with internal linkage used exclusively in one function, it is moved to that function's block scope.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp) {
+        if (!this.match($jp)) {
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        const referencingFunctions = findReferencingFunctions($jp);
+        const functionJp = referencingFunctions.length > 0 ? referencingFunctions[0] : undefined;
+        const declStmt = $jp.getAncestor("declStmt");
+        declStmt.detach();
+        functionJp?.body.firstChild.insertBefore(declStmt);
+        resetCaches();
+        return new MISRATransformationReport(MISRATransformationType.Removal);
+    }
+}
+//# sourceMappingURL=Rule_8_9_BlockScopeDefinition.js.map

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_8_9_BlockScopeDefinition.js","sourceRoot":"","sources":["../../../src/rules/Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAClF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAElG,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;IAChE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,IAAI,2BAA2B,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAChE,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,YAAY,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QAE/D,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,WAAW,GAAG,CAAC,IAAI,gGAAgG,CAAC,CAAA;QAChJ,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,oBAAoB,GAAG,wBAAwB,CAAC,GAAc,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzF,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC7C,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClB,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnD,WAAW,EAAE,CAAC;QAEd,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/UserConfigurableRule.d.ts

@@ -0,0 +1,55 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRARule from "../MISRARule.js";
+import { AnalysisType, MISRATransformationReport } from "../MISRA.js";
+/**
+ * Represents a MISRARule that requires the user to provide custom settings to assist in the automatic transformation.
+ *
+ * Need to implement/define:
+ *  - analysisType
+ *  - name()
+ *  - getErrorMsgPrefix($jp)
+ *  - getFixFromConfig($jp, errorMsgPrefix)
+ *  - match($jp, logErrors)
+ *  - apply($jp)
+ *
+ */
+export default abstract class UserConfigurableRule extends MISRARule {
+    /**
+     * Specifies the scope of analysis: single unit or entire system.
+     */
+    abstract readonly analysisType: AnalysisType;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    abstract get name(): string;
+    /**
+     * Returns the prefix to be used for error messages related to the given joinpoint
+     *
+     * @param $jp - Joinpoint where the violation was detected
+     * @returns Returns a prefix to prepend to error messages if no configuration is specified or if the configuration does not contain a fix for this violation
+     */
+    protected abstract getErrorMsgPrefix($jp: Joinpoint): string;
+    /**
+     * Retrieves a fix for the given joinpoint using the provided configuration file
+     * @param $jp - Joinpoint where the violation was detected
+     * @return The fix retrieved from the configuration for the violation, or `undefined` if no applicable fix is found.
+     */
+    protected abstract getFixFromConfig($jp: Joinpoint): any;
+    /**
+     * 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
+     */
+    abstract match($jp: Joinpoint, logErrors: boolean): boolean;
+    /**
+     * Transforms the joinpoint to comply with the MISRA-C rule
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    abstract apply($jp: LaraJoinPoint): MISRATransformationReport;
+}
+//# sourceMappingURL=UserConfigurableRule.d.ts.map

package/dist/rules/UserConfigurableRule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UserConfigurableRule.d.ts","sourceRoot":"","sources":["../../src/rules/UserConfigurableRule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAEtE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,oBAAqB,SAAQ,SAAS;IAChE;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAE7C;;OAEG;IACH,aAAsB,IAAI,IAAI,MAAM,CAAC;IAErC;;;;;OAKG;IACH,SAAS,CAAC,QAAQ,CAAC,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM;IAE5D;;;;OAIG;IACH,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,EAAE,SAAS,GAAG,GAAG;IAExD;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO;IAE3D;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,aAAa,GAAG,yBAAyB;CAChE"}

package/dist/rules/UserConfigurableRule.js

@@ -0,0 +1,16 @@
+import MISRARule from "../MISRARule.js";
+/**
+ * Represents a MISRARule that requires the user to provide custom settings to assist in the automatic transformation.
+ *
+ * Need to implement/define:
+ *  - analysisType
+ *  - name()
+ *  - getErrorMsgPrefix($jp)
+ *  - getFixFromConfig($jp, errorMsgPrefix)
+ *  - match($jp, logErrors)
+ *  - apply($jp)
+ *
+ */
+export default class UserConfigurableRule extends MISRARule {
+}
+//# sourceMappingURL=UserConfigurableRule.js.map

package/dist/rules/UserConfigurableRule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UserConfigurableRule.js","sourceRoot":"","sources":["../../src/rules/UserConfigurableRule.ts"],"names":[],"mappings":"AAEA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAGxC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,OAAgB,oBAAqB,SAAQ,SAAS;CA0CnE"}

package/dist/rules/index.d.ts

@@ -1,20 +1,13 @@
 import MISRAContext from "../MISRAContext.js";
-import Rule_16_2_TopLevelSwitch from "./Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.js";
-import Rule_16_3_UnconditionalBreak from "./Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.js";
-import Rule_16_4_SwitchHasDefault from "./Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.js";
-import Rule_16_5_DefaultFirstOrLast from "./Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js";
-import Rule_16_6_SwitchMinTwoClauses from "./Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js";
-import Rule_16_7_NonBooleanSwitchCondition from "./Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js";
-import Rule_17_4_NonVoidReturn from "./Section17_Functions/Rule_17_4_NonVoidReturn.js";
-import Rule_17_6_StaticArraySizeParam from "./Section17_Functions/Rule_17_6_StaticArraySizeParam.js";
-import Rule_17_7_UnusedReturnValue from "./Section17_Functions/Rule_17_7_UnusedReturnValue.js";
-import Rule_20_2_InvalidHeaderFileName from "./Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.js";
-import Rule_2_3_UnusedTypeDecl from "./Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js";
-import Rule_2_4_UnusedTagDecl from "./Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js";
-import Rule_2_6_UnusedLabels from "./Section2_UnusedCode/Rule_2_6_UnusedLabels.js";
-import Rule_2_7_UnusedParameters from "./Section2_UnusedCode/Rule_2_7_UnusedParameters.js";
-import Rule_3_1_CommentSequences from "./Section3_Comments/Rule_3_1_CommentSequences.js";
-import Rule_3_2_CommentSequences from "./Section3_Comments/Rule_3_2_LineSplicing.js";
-export declare function misraRules(context: MISRAContext): (Rule_16_2_TopLevelSwitch | Rule_16_3_UnconditionalBreak | Rule_16_4_SwitchHasDefault | Rule_16_5_DefaultFirstOrLast | Rule_16_6_SwitchMinTwoClauses | Rule_16_7_NonBooleanSwitchCondition | Rule_17_4_NonVoidReturn | Rule_17_6_StaticArraySizeParam | Rule_17_7_UnusedReturnValue | Rule_20_2_InvalidHeaderFileName | Rule_2_3_UnusedTypeDecl | Rule_2_4_UnusedTagDecl | Rule_2_6_UnusedLabels | Rule_2_7_UnusedParameters | Rule_3_1_CommentSequences | Rule_3_2_CommentSequences)[];
-export default misraRules;
+import MISRARule from "../MISRARule.js";
+/**
+ * Selects MISRA-C rules based on the provided analysis type.
+ * Returns rules sorted by priority (lower value has higher priority).
+ *
+ * @param context - The shared analysis context
+ * @param analysisType - Rule type to include ("all" for all rules).
+ * @returns Filtered and sorted list of MISRA rules.
+ */
+export declare function selectRules(context: MISRAContext, analysisType: string): MISRARule[];
+export default selectRules;
 //# sourceMappingURL=index.d.ts.map

package/dist/rules/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,YAAY,MAAM,oBAAoB,CAAC;AAC9C,OAAO,wBAAwB,MAAM,0DAA0D,CAAC;AAChG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,0BAA0B,MAAM,4DAA4D,CAAC;AACpG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,6BAA6B,MAAM,+DAA+D,CAAC;AAC1G,OAAO,mCAAmC,MAAM,qEAAqE,CAAC;AACtH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,8BAA8B,MAAM,yDAAyD,CAAC;AACrG,OAAO,2BAA2B,MAAM,sDAAsD,CAAC;AAC/F,OAAO,+BAA+B,MAAM,wEAAwE,CAAC;AACrH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,sBAAsB,MAAM,iDAAiD,CAAC;AACrF,OAAO,qBAAqB,MAAM,gDAAgD,CAAC;AACnF,OAAO,yBAAyB,MAAM,oDAAoD,CAAC;AAC3F,OAAO,yBAAyB,MAAM,kDAAkD,CAAC;AACzF,OAAO,yBAAyB,MAAM,8CAA8C,CAAC;AAErF,wBAAgB,UAAU,CAAC,OAAO,EAAE,YAAY,2dAmB/C;AAED,eAAe,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,YAAY,MAAM,oBAAoB,CAAC;AAC9C,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAiCxC;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,eAqCtE;AAED,eAAe,WAAW,CAAC"}

package/dist/rules/index.js

@@ -1,38 +1,78 @@
+import Rule_13_6_SafeSizeOfOperand from "./Section13_SideEffects/Rule_13_6_SafeSizeOfOperand.js";
 import Rule_16_2_TopLevelSwitch from "./Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.js";
 import Rule_16_3_UnconditionalBreak from "./Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.js";
 import Rule_16_4_SwitchHasDefault from "./Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.js";
 import Rule_16_5_DefaultFirstOrLast from "./Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js";
 import Rule_16_6_SwitchMinTwoClauses from "./Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js";
 import Rule_16_7_NonBooleanSwitchCondition from "./Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js";
+import Rule_17_3_ImplicitFunction from "./Section17_Functions/Rule_17_3_ImplicitFunction.js";
 import Rule_17_4_NonVoidReturn from "./Section17_Functions/Rule_17_4_NonVoidReturn.js";
 import Rule_17_6_StaticArraySizeParam from "./Section17_Functions/Rule_17_6_StaticArraySizeParam.js";
 import Rule_17_7_UnusedReturnValue from "./Section17_Functions/Rule_17_7_UnusedReturnValue.js";
-import Rule_20_2_InvalidHeaderFileName from "./Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.js";
+import Rule_21_10_NoTimeDateFunctions from "./Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.js";
+import Rule_21_11_NoTgmathFunctions from "./Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.js";
+import Rule_21_3_NoDynamicMemory from "./Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.js";
+import Rule_21_6_NoStdIOFunctions from "./Section21-StandardLibraries/Rule_21_6_NoStdIOFunctions.js";
+import Rule_21_7_NoNumericStringConversions from "./Section21-StandardLibraries/Rule_21_7_NoNumericStringConversions.js";
+import Rule_21_8_NoProcessControlFunctions from "./Section21-StandardLibraries/Rule_21_8_NoProcessControlFunctions.js";
+import Rule_21_9_NoGenericSearchOrSort from "./Section21-StandardLibraries/Rule_21_9_NoGenericSearchOrSort.js";
 import Rule_2_3_UnusedTypeDecl from "./Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js";
 import Rule_2_4_UnusedTagDecl from "./Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js";
 import Rule_2_6_UnusedLabels from "./Section2_UnusedCode/Rule_2_6_UnusedLabels.js";
 import Rule_2_7_UnusedParameters from "./Section2_UnusedCode/Rule_2_7_UnusedParameters.js";
 import Rule_3_1_CommentSequences from "./Section3_Comments/Rule_3_1_CommentSequences.js";
-import Rule_3_2_CommentSequences from "./Section3_Comments/Rule_3_2_LineSplicing.js";
-export function misraRules(context) {
-    return [
+import Rule_5_1_DistinctExternalIdentifiers from "./Section5_Identifiers/Rule_5_1_DistinctExternalIdentifiers.js";
+import Rule_5_6_UniqueTypedefNames from "./Section5_Identifiers/Rule_5_6_UniqueTypedefNames.js";
+import Rule_5_7_UniqueTagNames from "./Section5_Identifiers/Rule_5_7_UniqueTagNames.js";
+import Rule_5_8_UniqueExternalLinkIdentifiers from "./Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.js";
+import Rule_5_9_UniqueInternalLinkIdentifiers from "./Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.js";
+import Rule_8_6_SingleExternalDefinition from "./Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.js";
+import Rule_8_7_RestrictExternalLinkage from "./Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.js";
+import Rule_8_9_BlockScopeDefinition from "./Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.js";
+/**
+ * Selects MISRA-C rules based on the provided analysis type.
+ * Returns rules sorted by priority (lower value has higher priority).
+ *
+ * @param context - The shared analysis context
+ * @param analysisType - Rule type to include ("all" for all rules).
+ * @returns Filtered and sorted list of MISRA rules.
+ */
+export function selectRules(context, analysisType) {
+    let rules = [
         new Rule_2_3_UnusedTypeDecl(context),
         new Rule_2_4_UnusedTagDecl(context),
         new Rule_2_6_UnusedLabels(context),
         new Rule_2_7_UnusedParameters(context),
         new Rule_3_1_CommentSequences(context),
-        new Rule_3_2_CommentSequences(context),
+        new Rule_5_1_DistinctExternalIdentifiers(context),
+        new Rule_5_6_UniqueTypedefNames(context),
+        new Rule_5_7_UniqueTagNames(context),
+        new Rule_5_8_UniqueExternalLinkIdentifiers(context),
+        new Rule_5_9_UniqueInternalLinkIdentifiers(context),
+        new Rule_8_6_SingleExternalDefinition(context),
+        new Rule_8_7_RestrictExternalLinkage(context),
+        new Rule_8_9_BlockScopeDefinition(context),
+        new Rule_13_6_SafeSizeOfOperand(context),
         new Rule_16_2_TopLevelSwitch(context),
         new Rule_16_3_UnconditionalBreak(context),
         new Rule_16_4_SwitchHasDefault(context),
         new Rule_16_5_DefaultFirstOrLast(context),
         new Rule_16_6_SwitchMinTwoClauses(context),
         new Rule_16_7_NonBooleanSwitchCondition(context),
+        new Rule_17_3_ImplicitFunction(context),
         new Rule_17_4_NonVoidReturn(context),
         new Rule_17_6_StaticArraySizeParam(context),
         new Rule_17_7_UnusedReturnValue(context),
-        new Rule_20_2_InvalidHeaderFileName(context),
+        new Rule_21_3_NoDynamicMemory(context),
+        new Rule_21_6_NoStdIOFunctions(context),
+        new Rule_21_7_NoNumericStringConversions(context),
+        new Rule_21_8_NoProcessControlFunctions(context),
+        new Rule_21_9_NoGenericSearchOrSort(context),
+        new Rule_21_10_NoTimeDateFunctions(context),
+        new Rule_21_11_NoTgmathFunctions(context)
     ];
+    rules.sort((ruleA, ruleB) => ruleA.priority - ruleB.priority);
+    return analysisType === "all" ? rules : rules.filter(rule => rule.analysisType === analysisType);
 }
-export default misraRules;
+export default selectRules;
 //# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AACA,OAAO,wBAAwB,MAAM,0DAA0D,CAAC;AAChG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,0BAA0B,MAAM,4DAA4D,CAAC;AACpG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,6BAA6B,MAAM,+DAA+D,CAAC;AAC1G,OAAO,mCAAmC,MAAM,qEAAqE,CAAC;AACtH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,8BAA8B,MAAM,yDAAyD,CAAC;AACrG,OAAO,2BAA2B,MAAM,sDAAsD,CAAC;AAC/F,OAAO,+BAA+B,MAAM,wEAAwE,CAAC;AACrH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,sBAAsB,MAAM,iDAAiD,CAAC;AACrF,OAAO,qBAAqB,MAAM,gDAAgD,CAAC;AACnF,OAAO,yBAAyB,MAAM,oDAAoD,CAAC;AAC3F,OAAO,yBAAyB,MAAM,kDAAkD,CAAC;AACzF,OAAO,yBAAyB,MAAM,8CAA8C,CAAC;AAErF,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC5C,OAAO;QACH,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,sBAAsB,CAAC,OAAO,CAAC;QACnC,IAAI,qBAAqB,CAAC,OAAO,CAAC;QAClC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,wBAAwB,CAAC,OAAO,CAAC;QACrC,IAAI,4BAA4B,CAAC,OAAO,CAAC;QACzC,IAAI,0BAA0B,CAAC,OAAO,CAAC;QACvC,IAAI,4BAA4B,CAAC,OAAO,CAAC;QACzC,IAAI,6BAA6B,CAAC,OAAO,CAAC;QAC1C,IAAI,mCAAmC,CAAC,OAAO,CAAC;QAChD,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,8BAA8B,CAAC,OAAO,CAAC;QAC3C,IAAI,2BAA2B,CAAC,OAAO,CAAC;QACxC,IAAI,+BAA+B,CAAC,OAAO,CAAC;KAC/C,CAAC;AACN,CAAC;AAED,eAAe,UAAU,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAEA,OAAO,2BAA2B,MAAM,wDAAwD,CAAC;AACjG,OAAO,wBAAwB,MAAM,0DAA0D,CAAC;AAChG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,0BAA0B,MAAM,4DAA4D,CAAC;AACpG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,6BAA6B,MAAM,+DAA+D,CAAC;AAC1G,OAAO,mCAAmC,MAAM,qEAAqE,CAAC;AACtH,OAAO,0BAA0B,MAAM,qDAAqD,CAAC;AAC7F,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,8BAA8B,MAAM,yDAAyD,CAAC;AACrG,OAAO,2BAA2B,MAAM,sDAAsD,CAAC;AAC/F,OAAO,8BAA8B,MAAM,iEAAiE,CAAC;AAC7G,OAAO,4BAA4B,MAAM,+DAA+D,CAAC;AACzG,OAAO,yBAAyB,MAAM,4DAA4D,CAAC;AACnG,OAAO,0BAA0B,MAAM,6DAA6D,CAAC;AACrG,OAAO,oCAAoC,MAAM,uEAAuE,CAAC;AACzH,OAAO,mCAAmC,MAAM,sEAAsE,CAAC;AACvH,OAAO,+BAA+B,MAAM,kEAAkE,CAAC;AAC/G,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,sBAAsB,MAAM,iDAAiD,CAAC;AACrF,OAAO,qBAAqB,MAAM,gDAAgD,CAAC;AACnF,OAAO,yBAAyB,MAAM,oDAAoD,CAAC;AAC3F,OAAO,yBAAyB,MAAM,kDAAkD,CAAC;AACzF,OAAO,oCAAoC,MAAM,gEAAgE,CAAC;AAClH,OAAO,2BAA2B,MAAM,uDAAuD,CAAC;AAChG,OAAO,uBAAuB,MAAM,mDAAmD,CAAC;AACxF,OAAO,sCAAsC,MAAM,kEAAkE,CAAC;AACtH,OAAO,sCAAsC,MAAM,kEAAkE,CAAC;AACtH,OAAO,iCAAiC,MAAM,4EAA4E,CAAC;AAC3H,OAAO,gCAAgC,MAAM,2EAA2E,CAAC;AACzH,OAAO,6BAA6B,MAAM,wEAAwE,CAAC;AAEnH;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,OAAqB,EAAE,YAAoB;IAEnE,IAAI,KAAK,GAAgB;QACrB,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,sBAAsB,CAAC,OAAO,CAAC;QACnC,IAAI,qBAAqB,CAAC,OAAO,CAAC;QAClC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,oCAAoC,CAAC,OAAO,CAAC;QACjD,IAAI,2BAA2B,CAAC,OAAO,CAAC;QACxC,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,sCAAsC,CAAC,OAAO,CAAC;QACnD,IAAI,sCAAsC,CAAC,OAAO,CAAC;QACnD,IAAI,iCAAiC,CAAC,OAAO,CAAC;QAC9C,IAAI,gCAAgC,CAAC,OAAO,CAAC;QAC7C,IAAI,6BAA6B,CAAC,OAAO,CAAC;QAC1C,IAAI,2BAA2B,CAAC,OAAO,CAAC;QACxC,IAAI,wBAAwB,CAAC,OAAO,CAAC;QACrC,IAAI,4BAA4B,CAAC,OAAO,CAAC;QACzC,IAAI,0BAA0B,CAAC,OAAO,CAAC;QACvC,IAAI,4BAA4B,CAAC,OAAO,CAAC;QACzC,IAAI,6BAA6B,CAAC,OAAO,CAAC;QAC1C,IAAI,mCAAmC,CAAC,OAAO,CAAC;QAChD,IAAI,0BAA0B,CAAC,OAAO,CAAC;QACvC,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,8BAA8B,CAAC,OAAO,CAAC;QAC3C,IAAI,2BAA2B,CAAC,OAAO,CAAC;QACxC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,0BAA0B,CAAC,OAAO,CAAC;QACvC,IAAI,oCAAoC,CAAC,OAAO,CAAC;QACjD,IAAI,mCAAmC,CAAC,OAAO,CAAC;QAChD,IAAI,+BAA+B,CAAC,OAAO,CAAC;QAC5C,IAAI,8BAA8B,CAAC,OAAO,CAAC;QAC3C,IAAI,4BAA4B,CAAC,OAAO,CAAC;KAC5C,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC;AACrG,CAAC;AAED,eAAe,WAAW,CAAC"}

package/dist/tests/Section17_Functions/misra_config.json

@@ -5,6 +5,16 @@
         "float": 0.0,
         "enum Status": "SUCCESS",
         "Color": "RED",
+        "Size": "MEDIUM",
         "my_int_type": 0
+    },
+    "implicitCalls": {
+        "toupper": "ctype.h",
+        "toupper_transformation": "ctype.h",
+        "sin": "math.h",
+        "pow": "math.h",
+        "half": "math.h",
+        "foo_17_3": "good.c",
+        "test_17_3_1": "good.c"
     }
 }

package/dist/tests/Section21-StandardLibraries/misra_config.json

@@ -0,0 +1,88 @@
+{
+    "disallowedFunctions": {
+        "stdlib.h": {
+            "malloc": {
+                "replacement": "my_malloc",
+                "location": "custom_stdlib.c"
+            },
+            "calloc": {
+                "replacement": "my_calloc",
+                "location": "custom_stdlib.c"
+            },
+            "realloc": {
+                "replacement": "my_realloc",
+                "location": "custom_stdlib.c"
+            },
+            "free": {
+                "replacement": "my_free",
+                "location": "custom_stdlib.c"
+            },
+            "atof": {
+                "replacement": "my_atof",
+                "location": "custom_stdlib.c"
+            },
+            "atoi": {
+                "replacement": "my_atoi",
+                "location": "custom_stdlib.c"
+            },
+            "atol": {
+                "replacement": "my_atol",
+                "location": "custom_stdlib.c"
+            },
+            "atoll": {
+                "replacement": "my_atoll",
+                "location": "custom_stdlib.c"
+            },
+            "abort": {
+                "replacement": "my_abort",
+                "location": "custom_stdlib.c"
+            },
+            "exit": {
+                "replacement": "my_exit",
+                "location": "custom_stdlib.c"
+            },
+            "getenv": {
+                "replacement": "my_getenv",
+                "location": "custom_stdlib.c"
+            },
+            "system": {
+                "replacement": "my_system",
+                "location": "custom_stdlib.c"
+            },
+            "qsort": {
+                "replacement": "my_qsort",
+                "location": "custom_stdlib.c"
+            },
+            "bsearch": {
+                "replacement": "my_bsearch",
+                "location": "custom_stdlib.c"
+            }
+        },
+        "stdio.h": {
+            "printf": {
+                "replacement": "my_printf",
+                "location": "custom_stdio.c"
+            },
+            "fgets": {
+                "replacement": "my_fgets",
+                "location": "custom_stdio.c"
+            }
+        },
+        "time.h": {
+            "difftime": {
+                "replacement": "my_difftime",
+                "location": "custom_time.c"
+            },
+            "clock": {
+                "replacement": "my_clock",
+                "location": "custom_time.c"
+            }
+        },
+        "tgmath.h": {
+            "__tg_sqrt": {
+                "replacement": "my_sqrt",
+                "location": "custom_math.c"
+            }
+        }
+    }
+}

package/dist/tests/Section21-StandardLibraries/problematic_misra_config.json

@@ -0,0 +1,19 @@
+{
+    "disallowedFunctions": {
+        "stdlib.h": {
+            "malloc": {
+                "replacement": "my_malloc",
+                "location": "custom_stdlib.c"
+            },
+            "calloc": {
+                "replacement": "my_calloc",
+                "location": "custom_stdlib.c"
+            },
+            "realloc": {
+                "replacement": "my_realloc",
+                "location": "custom_stdlib.c"
+            },
+            "free": {}
+        }
+    }
+}

package/dist/tests/utils.d.ts

@@ -1,10 +1,13 @@
 import { FileJp, Program } from "@specs-feup/clava/api/Joinpoints.js";
-export declare function countMISRAErrors(startingPoint?: FileJp | Program): number;
-export declare function countErrorsAfterCorrection(configPath?: string): number;
+export declare function countMISRAErrors(): number;
+export declare function countMISRAErrors(ruleID: string): number;
+export declare function countMISRAErrors(startingPoint: FileJp | Program): number;
+export declare function countMISRAErrors(startingPoint: FileJp | Program, ruleID: string): number;
+export declare function countErrorsAfterCorrection(ruleID?: string): number;
 export interface TestFile {
     name: string;
     code: string;
     path?: string;
 }
-export declare function registerSourceCode(files: TestFile[]): void;
+export declare function registerSourceCode(files: TestFile[], configPath?: string): void;
 //# sourceMappingURL=utils.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/tests/utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAGtE,wBAAgB,gBAAgB,CAAC,aAAa,GAAE,MAAM,GAAG,OAAiC,GAAG,MAAM,CAGlG;AAED,wBAAgB,0BAA0B,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAGtE;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAgB1D"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/tests/utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAKtE,wBAAgB,gBAAgB,IAAI,MAAM,CAAC;AAC3C,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;AACzD,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAC1E,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;AAqB1F,wBAAgB,0BAA0B,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAMlE;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CA6B/E"}

package/dist/tests/utils.js

@@ -2,17 +2,43 @@ import MISRATool from "../MISRATool.js";
 import Clava from "@specs-feup/clava/api/clava/Clava.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-export function countMISRAErrors(startingPoint = Query.root()) {
+import * as os from 'os';
+import { resetCaches } from "../utils/ProgramUtils.js";
+export function countMISRAErrors(arg1, arg2) {
+    let startingPoint;
+    let ruleID;
+    if (typeof arg1 === "string") {
+        ruleID = arg1;
+        startingPoint = Query.root();
+    }
+    else {
+        startingPoint = arg1 ?? Query.root();
+        ruleID = arg2;
+    }
     MISRATool.checkCompliance(startingPoint);
-    return MISRATool.getMISRAErrors().length;
+    return ruleID ?
+        MISRATool.context.errors.filter(error => error.ruleID === ruleID).length :
+        MISRATool.getErrorCount();
 }
-export function countErrorsAfterCorrection(configPath) {
-    MISRATool.applyCorrections(configPath);
-    return MISRATool.getMISRAErrors().length;
+export function countErrorsAfterCorrection(ruleID) {
+    MISRATool.correctViolations();
+    return ruleID ?
+        MISRATool.context.activeErrors.filter(error => error.ruleID === ruleID).length :
+        MISRATool.getActiveErrorCount();
 }
-export function registerSourceCode(files) {
+export function registerSourceCode(files, configPath) {
     beforeEach(() => {
-        Clava.getData().setStandard(process.env.STD_VERSION);
+        resetCaches();
+        const dataStore = Clava.getData();
+        dataStore.setStandard(process.env.STD_VERSION);
+        dataStore.put("argv", configPath ? `config=${configPath}` : undefined);
+        // If running on macOS, change libcCxxMode
+        if (os.platform() === 'darwin') {
+            const key = "libcCxxMode";
+            const allowedValues = dataStore.getType(key).getEnumConstants();
+            const systemValue = allowedValues.find((value) => value.name() === "SYSTEM");
+            dataStore.put(key, systemValue);
+        }
         Clava.getProgram().push();
         const program = Clava.getProgram();
         files.forEach(file => {

package/dist/tests/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/tests/utils.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD,MAAM,UAAU,gBAAgB,CAAC,gBAAkC,KAAK,CAAC,IAAI,EAAa;IACxF,SAAS,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IACzC,OAAO,SAAS,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,UAAmB;IAC5D,SAAS,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACvC,OAAO,SAAS,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC;AAC3C,CAAC;AAQD,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAChD,UAAU,CAAC,GAAG,EAAE;QACd,KAAK,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,WAAY,CAAC,CAAC;QACtD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnB,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACnF,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,KAAK,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACP,CAAC"}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/tests/utils.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAOvD,MAAM,UAAU,gBAAgB,CAAC,IAAgC,EAAE,IAAa;IAC9E,IAAI,aAA+B,CAAC;IACpC,IAAI,MAA0B,CAAC;IAE/B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,GAAG,IAAI,CAAC;QACd,aAAa,GAAG,KAAK,CAAC,IAAI,EAAa,CAAC;IAC1C,CAAC;SAAM,CAAC;QACN,aAAa,GAAG,IAAI,IAAK,KAAK,CAAC,IAAI,EAAc,CAAC;QAClD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IAEzC,OAAO,MAAM,CAAC,CAAC;QACb,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1E,SAAS,CAAC,aAAa,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAe;IACxD,SAAS,CAAC,iBAAiB,EAAE,CAAC;IAE9B,OAAO,MAAM,CAAC,CAAC;QACb,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;QAChF,SAAS,CAAC,mBAAmB,EAAE,CAAC;AACpC,CAAC;AAQD,MAAM,UAAU,kBAAkB,CAAC,KAAiB,EAAE,UAAmB;IACrE,UAAU,CAAC,GAAG,EAAE;QACd,WAAW,EAAE,CAAC;QAEd,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,WAAY,CAAC,CAAC;QAChD,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,UAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEvE,0CAA0C;QAC1C,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,aAAa,CAAC;YAC1B,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;YAChE,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,CAAC;YAClF,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAClC,CAAC;QAED,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnB,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACnF,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,KAAK,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/utils/CallUtils.d.ts

@@ -0,0 +1,15 @@
+import { Call, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if the given joinpoint represents a call to an implicit function.
+ *
+ * @param callJp The call join point to analyze
+ */
+export declare function isCallToImplicitFunction(callJp: Call): boolean;
+/**
+ * Computes the index of a call in a file
+ * @param fileJp The file to search in
+ * @param callJp The call to find
+ * @returns The index of the call or -1 if not found
+ */
+export declare function getCallIndex(fileJp: FileJp, callJp: Call): number;
+//# sourceMappingURL=CallUtils.d.ts.map

package/dist/utils/CallUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallUtils.d.ts","sourceRoot":"","sources":["../../src/utils/CallUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAsB,MAAM,qCAAqC,CAAC;AAGvF;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,IAAI,GAAG,OAAO,CAkB9D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,MAAM,CAEjE"}

package/dist/utils/CallUtils.js

@@ -0,0 +1,34 @@
+import { Call, FunctionJp, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+/**
+ * Checks if the given joinpoint represents a call to an implicit function.
+ *
+ * @param callJp The call join point to analyze
+ */
+export function isCallToImplicitFunction(callJp) {
+    if (callJp.function?.isInSystemHeader) { // Call to system header function
+        return false;
+    }
+    const varrefs = Query.searchFrom(callJp, Varref, { isFunctionCall: false }).get().map(varRef => varRef.astId);
+    const args = new Set(callJp.argList.flatMap(arg => Query.searchFromInclusive(arg, Varref).get().map(varRef => varRef.astId)));
+    if (varrefs.length > 0 && !args.has(varrefs[0])) { // Call using function pointer
+        return false;
+    }
+    const directCallee = callJp.directCallee;
+    if (directCallee === undefined)
+        return true;
+    const fileJp = directCallee.getAncestor("file");
+    if (fileJp === undefined)
+        return true;
+    return Query.searchFrom(fileJp, FunctionJp, { name: callJp.name }).get().length === 0;
+}
+/**
+ * Computes the index of a call in a file
+ * @param fileJp The file to search in
+ * @param callJp The call to find
+ * @returns The index of the call or -1 if not found
+ */
+export function getCallIndex(fileJp, callJp) {
+    return Query.searchFrom(fileJp, Call, { name: callJp.name }).get().findIndex(c => c.equals(callJp));
+}
+//# sourceMappingURL=CallUtils.js.map

package/dist/utils/CallUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallUtils.js","sourceRoot":"","sources":["../../src/utils/CallUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAU,UAAU,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAY;IACjD,IAAK,MAAM,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC,CAAC,iCAAiC;QACvE,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAC,cAAc,EAAE,KAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9H,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,8BAA8B;QAC7E,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACzC,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5C,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEtC,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,EAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;AACxF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,MAAY;IACrD,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AACxG,CAAC"}

package/dist/utils/CommentUtils.d.ts

@@ -0,0 +1,21 @@
+import { Joinpoint, Comment } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if the comment is an inline comment
+ * @param $comment - The comment to check
+ * @returns Returns true if it's an inline comment, otherwise returns false
+ */
+export declare function isInlineComment($comment: Comment): boolean;
+/**
+ * Retrieves all comments associated with a given joinpoint
+ * @param $jp - The joinpoint to retrieve comments from
+ * @returns Array of comments
+ */
+export declare function getComments($jp: Joinpoint): Comment[];
+/**
+ * Checks if a given join point is a comment statement
+ *
+ * @param $jp The join point to check
+ * @returns Returns true if the given join point is a comment statement, otherwise false
+ */
+export declare function isCommentStmt($jp: Joinpoint): boolean;
+//# sourceMappingURL=CommentUtils.d.ts.map

package/dist/utils/CommentUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CommentUtils.d.ts","sourceRoot":"","sources":["../../src/utils/CommentUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAe,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAEtF;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAE1D;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,EAAE,CAErD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAErD"}

package/dist/utils/CommentUtils.js

@@ -0,0 +1,27 @@
+import { WrapperStmt, Comment } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if the comment is an inline comment
+ * @param $comment - The comment to check
+ * @returns Returns true if it's an inline comment, otherwise returns false
+ */
+export function isInlineComment($comment) {
+    return $comment.astName === "InlineComment";
+}
+/**
+ * Retrieves all comments associated with a given joinpoint
+ * @param $jp - The joinpoint to retrieve comments from
+ * @returns Array of comments
+ */
+export function getComments($jp) {
+    return $jp instanceof Comment ? [$jp] : $jp.inlineComments;
+}
+/**
+ * Checks if a given join point is a comment statement
+ *
+ * @param $jp The join point to check
+ * @returns Returns true if the given join point is a comment statement, otherwise false
+ */
+export function isCommentStmt($jp) {
+    return $jp instanceof WrapperStmt && $jp.kind === "comment";
+}
+//# sourceMappingURL=CommentUtils.js.map

package/dist/utils/CommentUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CommentUtils.js","sourceRoot":"","sources":["../../src/utils/CommentUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,WAAW,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAEtF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAAiB;IAC7C,OAAO,QAAQ,CAAC,OAAO,KAAK,eAAe,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,OAAO,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,GAAc;IACxC,OAAO,GAAG,YAAY,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;AAChE,CAAC"}