@specs-feup/clava-misra 1.0.2 → 1.0.4

package/dist/utils/JoinpointUtils.js

@@ -0,0 +1,63 @@
+import { PointerType, ArrayType, RecordJp, EnumDecl, QualType, Include } from "@specs-feup/clava/api/Joinpoints.js";
+export function isTagDecl($jp) {
+    return $jp instanceof RecordJp || $jp instanceof EnumDecl;
+}
+/**
+ * Checks if the provided node has a defined type
+ * @param $jp The joinpoint to check its type
+ * @returns true if the joinpoint has a defined type, otherwise false
+ */
+export function hasDefinedType($jp) {
+    return $jp.hasType && $jp.type !== null && $jp.type !== undefined;
+}
+/**
+ * Retrieves the base type of the provided joinpoint.
+ * @param $jp The joinpoint to retrieve its type
+ * @returns The base type of the joinpoint, or undefined if the joinpoint does not have a type
+ */
+export function getBaseType($jp) {
+    if (!hasDefinedType($jp))
+        return undefined;
+    let jpType = $jp.type instanceof QualType ? $jp.type.unqualifiedType : $jp.type;
+    while (jpType instanceof PointerType || jpType instanceof ArrayType) {
+        jpType = jpType instanceof PointerType ? jpType.pointee : jpType.elementType;
+    }
+    return jpType;
+}
+/**
+ * Gets the file path of the given join point.
+ * @param $jp The join point
+ * @returns The file path string
+ */
+export function getFilepath($jp) {
+    return $jp instanceof Include ? $jp.parent.filepath : $jp.filepath;
+}
+/**
+ * Returns the exact location of a given join point
+ * @param $jp The joinpoint to evaluate
+ * @returns A location string containing the filepath, line and column in the format "filepath@line:column"
+ */
+export function getFileLocation($jp) {
+    if ($jp instanceof Include && $jp.line === undefined) {
+        return `${$jp.parent?.filepath}`;
+    }
+    return `${$jp.filepath}@${$jp.line}:${$jp.column}`;
+}
+/**
+ * Orders two join points by their source location: filepath, line, and column
+ *
+ * @param $jp1 The first join point
+ * @param $jp2 The second join point
+ * @returns  A negative value if $jp1 comes before $jp2, positive if after, or 0 if equal.
+ */
+export function compareLocation($jp1, $jp2) {
+    const filepath1 = getFilepath($jp1), filepath2 = getFilepath($jp2);
+    if (filepath1 !== filepath2)
+        return getFileLocation($jp1).localeCompare(getFileLocation($jp2));
+    if (($jp1 instanceof Include) && !($jp2 instanceof Include))
+        return -1;
+    if (!($jp1 instanceof Include) && ($jp2 instanceof Include))
+        return 1;
+    return $jp1.line !== $jp2.line ? $jp1.line - $jp2.line : $jp1.column - $jp2.column;
+}
+//# sourceMappingURL=JoinpointUtils.js.map

package/dist/utils/JoinpointUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JoinpointUtils.js","sourceRoot":"","sources":["../../src/utils/JoinpointUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAqB,QAAQ,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAIxJ,MAAM,UAAU,SAAS,CAAC,GAAc;IACpC,OAAO,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,QAAQ,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAc;IACzC,OAAO,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,MAAM,GAAG,GAAG,CAAC,IAAI,YAAY,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IAEhF,OAAO,MAAM,YAAY,WAAW,IAAI,MAAM,YAAY,SAAS,EAAE,CAAC;QAClE,MAAM,GAAG,MAAM,YAAY,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,OAAO,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,GAAc;IAC1C,IAAI,GAAG,YAAY,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnD,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,CAAA;AACtD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,IAAe,EAAE,IAAe;IAC5D,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAEnE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAE/F,IAAI,CAAC,IAAI,YAAY,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,OAAO,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,IAAI,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,YAAY,OAAO,CAAC;QAAE,OAAO,CAAC,CAAC;IAEtE,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;AACvF,CAAC"}

package/dist/utils/ProgramUtils.d.ts

@@ -0,0 +1,39 @@
+import { Vardecl, FunctionJp } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Clears all cached identifiers and variable references
+ */
+export declare function resetCaches(): void;
+/**
+ * Clears the cache of external variable references
+ */
+export declare function resetExternalVarRefs(): void;
+/**
+ * Retrieves all variables and functions that are eligible for `extern` linkage, i.e.,
+ * elements with storage classes that are not `STATIC` or `EXTERN`
+ *
+ *  @returns Array of functions and variables that can be declared as external
+ */
+export declare function getExternalLinkageIdentifiers(): (FunctionJp | Vardecl)[];
+/**
+ * Gets identifiers with internal linkage
+ *
+ * @returns List of functions and variable declarations with internal linkage
+ */
+export declare function getInternalLinkageIdentifiers(): (FunctionJp | Vardecl)[];
+/**
+ * Gets identifiers with external linkage
+ *
+ * @returns List of functions and variable declarations with external linkage
+ */
+export declare function getExternalLinkageVars(): Vardecl[];
+/**
+ * Gets all variable declared with 'extern'
+ *
+ * @returns List of variable declarations with extern storage class
+ */
+export declare function getExternalVarRefs(): Vardecl[];
+/**
+ * Gets all named declarations and labels
+ */
+export declare function getIdentifierDecls(): any[];
+//# sourceMappingURL=ProgramUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ProgramUtils.d.ts","sourceRoot":"","sources":["../../src/utils/ProgramUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAsC,MAAM,qCAAqC,CAAC;AAU9G;;GAEG;AACH,wBAAgB,WAAW,SAM1B;AAED;;GAEG;AACH,wBAAgB,oBAAoB,SAEnC;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,EAAE,CAaxE;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,EAAE,CAYxE;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,IAAI,OAAO,EAAE,CAMlD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,IAAI,OAAO,EAAE,CAM9C;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,GAAG,EAAE,CAS1C"}

package/dist/utils/ProgramUtils.js

@@ -0,0 +1,97 @@
+import { Vardecl, FunctionJp, LabelStmt, NamedDecl, StorageClass } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { isExternalLinkageIdentifier, isIdentifierDecl, isInternalLinkageIdentifier } from "./IdentifierUtils.js";
+let cachedInternalLinkageIdentifiers = null;
+let cachedExternalLinkageIdentifiers = null;
+let cachedExternalLinkageVars = null;
+let cachedExternalVarRefs = null;
+let cachedIdentifierDecls = null;
+/**
+ * Clears all cached identifiers and variable references
+ */
+export function resetCaches() {
+    cachedInternalLinkageIdentifiers = null;
+    cachedExternalLinkageIdentifiers = null;
+    cachedExternalLinkageVars = null;
+    cachedExternalVarRefs = null;
+    cachedIdentifierDecls = null;
+}
+/**
+ * Clears the cache of external variable references
+ */
+export function resetExternalVarRefs() {
+    cachedExternalVarRefs = null;
+}
+/**
+ * Retrieves all variables and functions that are eligible for `extern` linkage, i.e.,
+ * elements with storage classes that are not `STATIC` or `EXTERN`
+ *
+ *  @returns Array of functions and variables that can be declared as external
+ */
+export function getExternalLinkageIdentifiers() {
+    if (cachedExternalLinkageIdentifiers !== null) {
+        return cachedExternalLinkageIdentifiers;
+    }
+    const externalLinkageVarDecls = getExternalLinkageVars();
+    const externalLinkageFunctions = Query.search(FunctionJp, (varDeclJp) => isExternalLinkageIdentifier(varDeclJp)).get();
+    cachedExternalLinkageIdentifiers = [
+        ...externalLinkageFunctions,
+        ...externalLinkageVarDecls
+    ];
+    return cachedExternalLinkageIdentifiers;
+}
+/**
+ * Gets identifiers with internal linkage
+ *
+ * @returns List of functions and variable declarations with internal linkage
+ */
+export function getInternalLinkageIdentifiers() {
+    if (cachedInternalLinkageIdentifiers !== null) {
+        return cachedInternalLinkageIdentifiers;
+    }
+    const internalLinkageVarsDecls = Query.search(Vardecl, (decl) => isInternalLinkageIdentifier(decl)).get();
+    const internalLinkageFunctions = Query.search(FunctionJp, (decl) => isInternalLinkageIdentifier(decl)).get();
+    cachedInternalLinkageIdentifiers = [
+        ...internalLinkageFunctions,
+        ...internalLinkageVarsDecls
+    ];
+    return cachedInternalLinkageIdentifiers;
+}
+/**
+ * Gets identifiers with external linkage
+ *
+ * @returns List of functions and variable declarations with external linkage
+ */
+export function getExternalLinkageVars() {
+    if (cachedExternalLinkageVars != null) {
+        return cachedExternalLinkageVars;
+    }
+    cachedExternalLinkageVars = Query.search(Vardecl, (varDeclJp) => isExternalLinkageIdentifier(varDeclJp)).get();
+    return cachedExternalLinkageVars;
+}
+/**
+ * Gets all variable declared with 'extern'
+ *
+ * @returns List of variable declarations with extern storage class
+ */
+export function getExternalVarRefs() {
+    if (cachedExternalVarRefs !== null) {
+        return cachedExternalVarRefs;
+    }
+    cachedExternalVarRefs = Query.search(Vardecl, { storageClass: StorageClass.EXTERN }).get();
+    return cachedExternalVarRefs;
+}
+/**
+ * Gets all named declarations and labels
+ */
+export function getIdentifierDecls() {
+    if (cachedIdentifierDecls !== null) {
+        return cachedIdentifierDecls;
+    }
+    cachedIdentifierDecls = [
+        ...Query.search(NamedDecl).get(),
+        ...Query.search(LabelStmt).get(),
+    ].filter((jp) => isIdentifierDecl(jp));
+    return cachedIdentifierDecls;
+}
+//# sourceMappingURL=ProgramUtils.js.map

package/dist/utils/ProgramUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProgramUtils.js","sourceRoot":"","sources":["../../src/utils/ProgramUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAC9G,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAElH,IAAI,gCAAgC,GAAoC,IAAI,CAAC;AAC7E,IAAI,gCAAgC,GAAoC,IAAI,CAAC;AAC7E,IAAI,yBAAyB,GAAuB,IAAI,CAAC;AACzD,IAAI,qBAAqB,GAAuB,IAAI,CAAC;AACrD,IAAI,qBAAqB,GAAiB,IAAI,CAAC;AAE/C;;GAEG;AACH,MAAM,UAAU,WAAW;IACvB,gCAAgC,GAAG,IAAI,CAAC;IACxC,gCAAgC,GAAG,IAAI,CAAC;IACxC,yBAAyB,GAAG,IAAI,CAAC;IACjC,qBAAqB,GAAG,IAAI,CAAC;IAC7B,qBAAqB,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAChC,qBAAqB,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B;IACzC,IAAI,gCAAgC,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,gCAAgC,CAAC;IAC5C,CAAC;IAED,MAAM,uBAAuB,GAAG,sBAAsB,EAAE,CAAC;IACzD,MAAM,wBAAwB,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAEvH,gCAAgC,GAAG;QAC/B,GAAG,wBAAwB;QAC3B,GAAG,uBAAuB;KAC7B,CAAC;IACF,OAAO,gCAAgC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,6BAA6B;IACzC,IAAI,gCAAgC,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,gCAAgC,CAAC;IAC5C,CAAC;IAED,MAAM,wBAAwB,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1G,MAAM,wBAAwB,GAAI,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC9G,gCAAgC,GAAG;QAC/B,GAAG,wBAAwB;QAC3B,GAAG,wBAAwB;KAC9B,CAAC;IACF,OAAO,gCAAgC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB;IAClC,IAAI,yBAAyB,IAAI,IAAI,EAAE,CAAC;QACpC,OAAO,yBAAyB,CAAC;IACrC,CAAC;IACD,yBAAyB,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC/G,OAAO,yBAAyB,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB;IAC9B,IAAI,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACjC,OAAO,qBAAqB,CAAC;IACjC,CAAC;IACD,qBAAqB,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAC,YAAY,EAAE,YAAY,CAAC,MAAM,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACzF,OAAO,qBAAqB,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB;IAC9B,IAAI,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACjC,OAAO,qBAAqB,CAAC;IACjC,CAAC;IACD,qBAAqB,GAAG;QACpB,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE;QAChC,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE;KACnC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,OAAO,qBAAqB,CAAC;AACjC,CAAC"}

package/dist/utils/SwitchUtils.d.ts

@@ -0,0 +1,21 @@
+import { Case, Joinpoint, Switch } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Retrieves the last statement of the given case
+ * @param $jp - The case to retrieve the last statement from
+ * @returns The last statement of the case or undefined if there are no statements or it has a consecutive case.
+ */
+export declare function getLastStmtOfCase($jp: Case): Joinpoint | undefined;
+/**
+ * Retrieves the number of switch clauses with instructions in the provided switch statement
+ * @param $jp - The switch statement to analyze
+ * @returns The number of switch clauses with instructions
+ */
+export declare function countSwitchClauses($jp: Switch): number;
+/**
+ * Checks if the provided switch statement contains any conditional break
+ *
+ * @param switchStmt - The switch statement to analyze
+ * @returns Returns true if the switch statement contains a conditional break, otherwise false
+ */
+export declare function hasConditionalBreak(switchStmt: Switch): boolean;
+//# sourceMappingURL=SwitchUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SwitchUtils.d.ts","sourceRoot":"","sources":["../../src/utils/SwitchUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAW,MAAM,qCAAqC,CAAC;AAIrH;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,SAAS,GAAG,SAAS,CAelE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAUtD;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAE/D"}

package/dist/utils/SwitchUtils.js

@@ -0,0 +1,47 @@
+import { Break, Case } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+/**
+ * Retrieves the last statement of the given case
+ * @param $jp - The case to retrieve the last statement from
+ * @returns The last statement of the case or undefined if there are no statements or it has a consecutive case.
+ */
+export function getLastStmtOfCase($jp) {
+    if ($jp.instructions.length === 0) { // Has a consecutive case
+        return undefined;
+    }
+    let caseScopeStmts = [];
+    for (const stmt of $jp.siblingsRight) {
+        if (stmt instanceof Case) {
+            break;
+        }
+        caseScopeStmts.push(stmt);
+    }
+    return !caseScopeStmts.some(stmt => stmt instanceof Break) ?
+        caseScopeStmts[caseScopeStmts.length - 1] :
+        caseScopeStmts.find(stmt => stmt instanceof Break);
+}
+/**
+ * Retrieves the number of switch clauses with instructions in the provided switch statement
+ * @param $jp - The switch statement to analyze
+ * @returns The number of switch clauses with instructions
+ */
+export function countSwitchClauses($jp) {
+    let firstStatements = [];
+    for (const caseLabel of $jp.cases) {
+        if (caseLabel.instructions.length === 0) { // Has a consecutive case
+            continue;
+        }
+        firstStatements.push(caseLabel.instructions[0]);
+    }
+    return firstStatements.length;
+}
+/**
+ * Checks if the provided switch statement contains any conditional break
+ *
+ * @param switchStmt - The switch statement to analyze
+ * @returns Returns true if the switch statement contains a conditional break, otherwise false
+ */
+export function hasConditionalBreak(switchStmt) {
+    return Query.searchFrom(switchStmt, Break, { currentRegion: region => region.astId !== switchStmt.astId, enclosingStmt: jp => jp.astId === switchStmt.astId }).get().length > 0;
+}
+//# sourceMappingURL=SwitchUtils.js.map

package/dist/utils/SwitchUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SwitchUtils.js","sourceRoot":"","sources":["../../src/utils/SwitchUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,EAAe,IAAI,EAA8B,MAAM,qCAAqC,CAAC;AACrH,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAGzD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAS;IACvC,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,yBAAyB;QAC1D,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,cAAc,GAAgB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,IAAI,YAAY,IAAI,EAAE,CAAC;YACvB,MAAM;QACV,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC,CAAC;QAChD,cAAc,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC;AACnE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC1C,IAAI,eAAe,GAAG,EAAE,CAAA;IAExB,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,yBAAyB;YAChE,SAAS;QACb,CAAC;QACD,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IAClD,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACpL,CAAC"}

package/dist/utils/TypeDeclUtils.d.ts

@@ -0,0 +1,35 @@
+import { Joinpoint, TypedefDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import { TagDecl } from "./JoinpointUtils.js";
+/**
+ * Retrieves the typedef declaration for the provided joinpoint, if available
+ * @param $jp The joinpoint to analyze
+ * @returns The typedef declaration if found, or undefined if not
+ */
+export declare function getTypeDefDecl($jp: Joinpoint): TypedefDecl | undefined;
+/**
+ * Checks if the provided joinpoint declares a type (typedef)
+ * @param $jp The joinpoint to check
+ * @returns Returns true if the joinpoint declares a typedef, otherwise false
+ */
+export declare function hasTypeDefDecl($jp: Joinpoint): boolean;
+/**
+ * Checks if a given joinpoint uses the specified typedef declaration.
+ * @param jp - The joinpoint to check
+ * @param typeDecl - The typedef declaration to check against
+ * @returns Returns true if the joinpoint uses the given typedef declaration, false otherwise
+ */
+export declare function jpUsesTypedef(jp: Joinpoint, typeDecl: TypedefDecl): boolean;
+/**
+ * Checks if a given joinpoint uses the specified tag declaration
+ * @param $jp The joinpoint to analyze
+ * @param tag The tag to check against
+ * @returns Returns true if the joinpoint uses the given tag, false otherwise
+ */
+export declare function jpUsesTag($jp: Joinpoint, tag: TagDecl): boolean;
+/**
+ * Checks if the provided typedef or tag declaration is used in any part of the program
+ * @param decl - typedef or tag declaration to verify
+ * @returns Returns true if the declaration is used, false otherwise
+ */
+export declare function isTypeDeclUsed(decl: TypedefDecl | TagDecl): boolean;
+//# sourceMappingURL=TypeDeclUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TypeDeclUtils.d.ts","sourceRoot":"","sources":["../../src/utils/TypeDeclUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAA4F,MAAM,qCAAqC,CAAC;AAGvK,OAAO,EAAa,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAGzD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,WAAW,GAAG,SAAS,CAStE;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,GAAG,OAAO,CAO3E;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CAc/D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,GAAG,OAAO,CAcnE"}

package/dist/utils/TypeDeclUtils.js

@@ -0,0 +1,78 @@
+import { TypedefDecl, DeclStmt, TypedefType, ElaboratedType, TagType, EnumDecl, EnumeratorDecl, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { getBaseType } from "./JoinpointUtils.js";
+import { isTagDecl } from "./JoinpointUtils.js";
+import { findFilesReferencingHeader } from "./FileUtils.js";
+/**
+ * Retrieves the typedef declaration for the provided joinpoint, if available
+ * @param $jp The joinpoint to analyze
+ * @returns The typedef declaration if found, or undefined if not
+ */
+export function getTypeDefDecl($jp) {
+    if ($jp instanceof DeclStmt && $jp.children.length === 1 && $jp.children[0] instanceof TypedefDecl)
+        return $jp.children[0];
+    if (isTagDecl($jp)) {
+        const typeDecls = Query.searchFrom($jp, TypedefDecl).get();
+        if (typeDecls.length === 1)
+            return typeDecls[0];
+    }
+}
+/**
+ * Checks if the provided joinpoint declares a type (typedef)
+ * @param $jp The joinpoint to check
+ * @returns Returns true if the joinpoint declares a typedef, otherwise false
+ */
+export function hasTypeDefDecl($jp) {
+    return getTypeDefDecl($jp) !== undefined;
+}
+/**
+ * Checks if a given joinpoint uses the specified typedef declaration.
+ * @param jp - The joinpoint to check
+ * @param typeDecl - The typedef declaration to check against
+ * @returns Returns true if the joinpoint uses the given typedef declaration, false otherwise
+ */
+export function jpUsesTypedef(jp, typeDecl) {
+    const jpType = getBaseType(jp);
+    return !jpType?.isBuiltin && ((jpType instanceof TypedefType && jpType.decl.astId === typeDecl.astId) ||
+        (jpType instanceof ElaboratedType && jpType.namedType instanceof TypedefType && jpType.namedType.decl.astId === typeDecl.astId));
+}
+/**
+ * Checks if a given joinpoint uses the specified tag declaration
+ * @param $jp The joinpoint to analyze
+ * @param tag The tag to check against
+ * @returns Returns true if the joinpoint uses the given tag, false otherwise
+ */
+export function jpUsesTag($jp, tag) {
+    if (tag instanceof EnumDecl && $jp instanceof Varref && getTypeDefDecl(tag) === undefined) {
+        const enumeratorsIDs = tag.enumerators.map(enumerator => enumerator.astId);
+        const decl = $jp.getValue("decl");
+        if (decl instanceof EnumeratorDecl && enumeratorsIDs.includes(decl.astId)) {
+            return true;
+        }
+    }
+    const jpType = getBaseType($jp);
+    return jpType instanceof ElaboratedType &&
+        jpType.namedType instanceof TagType &&
+        jpType.namedType.decl.astId === tag.astId &&
+        $jp.astId !== getTypeDefDecl(tag)?.astId;
+}
+/**
+ * Checks if the provided typedef or tag declaration is used in any part of the program
+ * @param decl - typedef or tag declaration to verify
+ * @returns Returns true if the declaration is used, false otherwise
+ */
+export function isTypeDeclUsed(decl) {
+    const fileJp = decl.getAncestor("file");
+    let jps = [];
+    if (fileJp.isHeader) {
+        const referencingFiles = findFilesReferencingHeader(fileJp.name);
+        jps = [...fileJp.descendants, ...referencingFiles.flatMap(file => file.descendants)];
+    }
+    else {
+        jps = fileJp.descendants;
+    }
+    return decl instanceof TypedefDecl ?
+        jps.some(jp => jpUsesTypedef(jp, decl)) :
+        jps.some(jp => jpUsesTag(jp, decl));
+}
+//# sourceMappingURL=TypeDeclUtils.js.map

package/dist/utils/TypeDeclUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeDeclUtils.js","sourceRoot":"","sources":["../../src/utils/TypeDeclUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAU,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACvK,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAW,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAqB,MAAM,gBAAgB,CAAC;AAE/E;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAc;IACzC,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,WAAW;QAC9F,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE3B,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAC3D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YACtB,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAc;IACzC,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,EAAa,EAAE,QAAqB;IAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAE/B,OAAO,CAAC,MAAM,EAAE,SAAS,IAAI,CACzB,CAAC,MAAM,YAAY,WAAW,IAAG,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC;QACtE,CAAC,MAAM,YAAY,cAAc,IAAI,MAAM,CAAC,SAAS,YAAY,WAAW,IAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC,CACjI,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAc,EAAE,GAAY;IAClD,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,MAAM,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;QACxF,MAAM,cAAc,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,YAAY,cAAc,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,MAAM,YAAY,cAAc;QACnC,MAAM,CAAC,SAAS,YAAY,OAAO;QACnC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK;QACzC,GAAG,CAAC,KAAK,KAAK,cAAc,CAAC,GAAG,CAAC,EAAE,KAAK,CAAA;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAA2B;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAW,CAAC;IAClD,IAAI,GAAG,GAAgB,EAAE,CAAC;IAE1B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjE,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACzF,CAAC;SAAM,CAAC;QACJ,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC7B,CAAC;IAED,OAAO,IAAI,YAAY,WAAW,CAAC,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5C,CAAC"}

package/dist/utils/VarUtils.d.ts

@@ -0,0 +1,51 @@
+import { FunctionJp, Joinpoint, Vardecl, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Retrieves all variable references qualified as "volatile" starting from the given joinpoint
+ * @param $jp Starting joinpoint
+ * @returns Array of variable references qualified as volatile
+ */
+export declare function getVolatileVarRefs($jp: Joinpoint): Varref[];
+/**
+ * Retrieves all external references of the given variable
+ *
+ * @param $varDecl variable to match by name.
+ * @returns Array of external references with the same name as the given variable.
+ */
+export declare function findExternalVarRefs($varDecl: Vardecl): Vardecl[];
+/**
+ * Identifies functions in the same file that reference the specified variable declaration
+ *
+ * @param $jp The variable declaration
+ * @returns An array of functions that reference the variable
+ */
+export declare function findReferencingFunctions($jp: Vardecl): FunctionJp[];
+/**
+ * Finds duplicate definitions of the given variable declaration among external linkage variables
+ *
+ * @param $jp The variable declaration to evaluate
+ * @returns An array of variable declarations representing duplicates
+ */
+export declare function findDuplicateVarDefinition($jp: Vardecl): Vardecl[];
+/**
+ * Checks whether two joinpoints represent the same variable declaration by comparing identifier name, type, and external linkage
+ *
+ * @param $jp1 The first join point
+ * @param $jp2 The second join point
+ * @returns True if both are equivalent external variable declarations, false otherwise
+ */
+export declare function isSameVarDecl($jp1: Joinpoint, $jp2: Joinpoint): boolean;
+/**
+ * Checks if the given variable has multiple external linkage declarations across different files
+ *
+ * @param $jp The variable declaration to evaluate
+ * @returns True if multiple external declarations exist, false otherwise
+ */
+export declare function hasMultipleExternalLinkDeclarations($jp: Vardecl): boolean;
+/**
+ * Checks whether the given variable declaration is used in its file or in files that include its header.
+ *
+ * @param varDecl The variable declaration to check
+ * @returns True if the variable is referenced, false otherwise
+ */
+export declare function isVarUsed(varDecl: Vardecl): boolean;
+//# sourceMappingURL=VarUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"VarUtils.d.ts","sourceRoot":"","sources":["../../src/utils/VarUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,UAAU,EAAE,SAAS,EAA0B,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAM7H;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,EAAE,CAQ3D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,EAAE,CAEhE;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,OAAO,GAAG,UAAU,EAAE,CAQnE;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,EAAE,CAElE;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAKvE;AAED;;;;;GAKG;AAEH,wBAAgB,mCAAmC,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAIzE;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAWnD"}

package/dist/utils/VarUtils.js

@@ -0,0 +1,91 @@
+import { FunctionJp, QualType, Vardecl, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { getIdentifierName, isExternalLinkageIdentifier } from "./IdentifierUtils.js";
+import { getExternalLinkageIdentifiers, getExternalLinkageVars, getExternalVarRefs } from "./ProgramUtils.js";
+import { findFilesReferencingHeader } from "./FileUtils.js";
+/**
+ * Retrieves all variable references qualified as "volatile" starting from the given joinpoint
+ * @param $jp Starting joinpoint
+ * @returns Array of variable references qualified as volatile
+ */
+export function getVolatileVarRefs($jp) {
+    return Query.searchFromInclusive($jp, Varref, (ref) => {
+        try {
+            return ref.type instanceof QualType && ref.type.qualifiers?.includes("volatile");
+        }
+        catch (error) {
+            return false;
+        }
+    }).get();
+}
+/**
+ * Retrieves all external references of the given variable
+ *
+ * @param $varDecl variable to match by name.
+ * @returns Array of external references with the same name as the given variable.
+ */
+export function findExternalVarRefs($varDecl) {
+    return getExternalVarRefs().filter(ref => ref.name === $varDecl.name);
+}
+/**
+ * Identifies functions in the same file that reference the specified variable declaration
+ *
+ * @param $jp The variable declaration
+ * @returns An array of functions that reference the variable
+ */
+export function findReferencingFunctions($jp) {
+    const fileJp = $jp.getAncestor("file");
+    const functionsJp = Query.searchFrom(fileJp, FunctionJp).get();
+    return functionsJp
+        .filter(funcJp => Query.searchFrom(funcJp, Varref, { decl: (declJp) => declJp?.astId === $jp.astId }).get().length > 0);
+}
+/**
+ * Finds duplicate definitions of the given variable declaration among external linkage variables
+ *
+ * @param $jp The variable declaration to evaluate
+ * @returns An array of variable declarations representing duplicates
+ */
+export function findDuplicateVarDefinition($jp) {
+    return getExternalLinkageVars().filter((varDeclJp) => varDeclJp.astId !== $jp.astId && isSameVarDecl(varDeclJp, $jp));
+}
+/**
+ * Checks whether two joinpoints represent the same variable declaration by comparing identifier name, type, and external linkage
+ *
+ * @param $jp1 The first join point
+ * @param $jp2 The second join point
+ * @returns True if both are equivalent external variable declarations, false otherwise
+ */
+export function isSameVarDecl($jp1, $jp2) {
+    return $jp1 instanceof Vardecl && $jp2 instanceof Vardecl &&
+        isExternalLinkageIdentifier($jp1) && isExternalLinkageIdentifier($jp2) &&
+        getIdentifierName($jp1) === getIdentifierName($jp2) &&
+        $jp1.type.code === $jp2.type.code;
+}
+/**
+ * Checks if the given variable has multiple external linkage declarations across different files
+ *
+ * @param $jp The variable declaration to evaluate
+ * @returns True if multiple external declarations exist, false otherwise
+ */
+export function hasMultipleExternalLinkDeclarations($jp) {
+    return getExternalLinkageIdentifiers().some(identifier => isSameVarDecl(identifier, $jp) && identifier.getAncestor("file").ast !== $jp.getAncestor("file").ast);
+}
+/**
+ * Checks whether the given variable declaration is used in its file or in files that include its header.
+ *
+ * @param varDecl The variable declaration to check
+ * @returns True if the variable is referenced, false otherwise
+ */
+export function isVarUsed(varDecl) {
+    const fileJp = varDecl.getAncestor("file");
+    let referencingFiles;
+    if (fileJp.isHeader) {
+        const filesWithInclude = findFilesReferencingHeader(fileJp.name);
+        referencingFiles = [fileJp, ...filesWithInclude];
+    }
+    else {
+        referencingFiles = [fileJp];
+    }
+    return referencingFiles.some(fileJp => Query.searchFrom(fileJp, Varref, { name: varDecl.name, decl: (declJp) => declJp?.astId === varDecl.astId }).get().length > 0);
+}
+//# sourceMappingURL=VarUtils.js.map

package/dist/utils/VarUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"VarUtils.js","sourceRoot":"","sources":["../../src/utils/VarUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,UAAU,EAAa,QAAQ,EAAgB,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAC7H,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC9G,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAc;IAC7C,OAAO,KAAK,CAAC,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,YAAY,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAA;QACpF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACjB,CAAC;IACJ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAiB;IACjD,OAAO,kBAAkB,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAAY;IACjD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAAG,EAAE,CAAC;IAE/D,OAAO,WAAW;SACb,MAAM,CAAC,MAAM,CAAC,EAAE,CACb,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,KAAK,GAAG,CAAC,KAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CACrG,CAAC;AACV,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,GAAY;IACnD,OAAO,sBAAsB,EAAE,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,aAAa,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAe,EAAE,IAAe;IAC1D,OAAO,IAAI,YAAY,OAAO,IAAI,IAAI,YAAY,OAAO;QACjD,2BAA2B,CAAC,IAAI,CAAC,IAAI,2BAA2B,CAAC,IAAI,CAAC;QACtE,iBAAiB,CAAC,IAAI,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AAEH,MAAM,UAAU,mCAAmC,CAAC,GAAY;IAC5D,OAAO,6BAA6B,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CACrD,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CACvG,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,OAAgB;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAW,CAAC;IACrD,IAAI,gBAA0B,CAAC;IAE/B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjE,gBAAgB,GAAG,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACJ,gBAAgB,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,KAAK,OAAO,CAAC,KAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AACtK,CAAC"}

package/package.json

@@ -1,9 +1,15 @@
 {
   "name": "@specs-feup/clava-misra",
-  "version": "1.0.2",
-  "author": "L. Sousa",
+  "version": "1.0.4",
+  "author": "Milena Gouveia",
   "description": "Clava library to automatically detect and correct violations of the MISRA-C:2012 standard in C code",
   "type": "module",
+  "exports": {
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    }
+  },
   "files": [
     "dist",
     "src",
@@ -35,14 +41,17 @@
     "url": "git+https://github.com/specs-feup/clava-misra.git"
   },
   "dependencies": {
-    "@specs-feup/clava": "^3.0.11",
-    "@specs-feup/clava-visualization": "^1.0.5",
-    "@specs-feup/lara": "^3.0.5"
+    "@specs-feup/clava": "3.0.26",
+    "@specs-feup/lara": "^3.0.11",
+    "@specs-feup/clava-flow": "^1.0.1",
+    "@specs-feup/flow": "^1.0.3"
   },
   "devDependencies": {
     "@jest/globals": "^29.7.0",
-    "@specs-feup/clava": "^3.0.11",
-    "@specs-feup/lara": "^3.0.4",
+    "@specs-feup/clava": "3.0.26",
+    "@specs-feup/lara": "^3.0.11",
+    "@specs-feup/clava-flow": "^1.0.1",
+    "@specs-feup/flow": "^1.0.3",
     "@types/jest": "^29.5.14",
     "@typescript-eslint/eslint-plugin": "^7.16.0",
     "@typescript-eslint/parser": "^7.16.0",