@specs-feup/clava-misra 1.0.2 → 1.0.4

package/dist/utils/FileUtils.d.ts

@@ -0,0 +1,67 @@
+import { FileJp, Program, Call, FunctionJp, Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if a file compiles correctly after adding a statement by rebuilding it.
+ * If rebuilding fails, the file is considered invalid with the new statement.
+ *
+ * @param fileJp - The file to validate.
+ */
+export declare function isValidFile(fileJp: FileJp, jpType?: typeof Joinpoint, index?: number): boolean | Joinpoint | undefined;
+/**
+ * Checks if the rebuilt version of the file compiles and if the provided call is no longer implicit.
+ *
+ * @param fileJp The file to analyze
+ * @param funcName The function name to search the call
+ * @param callIndex The index of the call
+ */
+export declare function isValidFileWithExplicitCall(fileJp: FileJp, funcName: string, callIndex: number, checkNumParams?: boolean): boolean;
+/**
+ * Retrieves the list of header files included in the given file
+ *
+ * @param fileJp The file join point
+ * @returns An array of strings with the names of the includes
+ */
+export declare function getIncludesOfFile(fileJp: FileJp): Set<string>;
+/**
+ * Removes a specific include directive from the given file, if it exists
+ *
+ * @param includeName The name of the include to remove
+ * @param fileJp The file from which the include should be removed
+ */
+export declare function removeIncludeFromFile(includeName: string, fileJp: FileJp): void;
+/**
+ * Returns all files in the program that include a given header file using the `#include` directive
+ *
+ * @param headerName - The name of the header file to search for
+ * @returns An array of files that include the specified header
+ */
+export declare function findFilesReferencingHeader(headerName: string): FileJp[];
+/**
+ * Returns all files in the program that contain at least one call to an implicit function
+ *
+ * @param programJp - The program to analyze
+ * @returns A list of files with implicit function calls
+ */
+export declare function getFilesWithCallToImplicitFunction(programJp: Program): FileJp[];
+/**
+ * Inserts an extern declaration of the given function into the file.
+ *
+ * @param fileJp The file to modify.
+ * @param functionJp The function to declare as extern.
+ * @returns The inserted join point, or undefined if the function has no external linkage.
+ */
+export declare function addExternFunctionDecl(fileJp: FileJp, functionJp: FunctionJp): Joinpoint | undefined;
+/**
+ * Returns all extern function declarations in the given file
+ * @param fileJp The file join point
+ * @returns An array of functions declared with 'extern'
+ */
+export declare function getExternFunctionDecls(fileJp: FileJp): FunctionJp[];
+/**
+ * Returns function calls from a file that are defined in the provided library header. Optionally filters by function names.
+ *
+ * @param fileJp The file join point
+ * @param libraryName Header filename
+ * @param functionNames Optional list of function names to filter
+ */
+export declare function getCallsToLibrary(fileJp: FileJp, libraryName: string, functionNames?: Set<string>): Call[];
+//# sourceMappingURL=FileUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FileUtils.d.ts","sourceRoot":"","sources":["../../src/utils/FileUtils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAW,IAAI,EAAE,UAAU,EAAE,SAAS,EAAgB,MAAM,qCAAqC,CAAC;AAM1H;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM,GAAI,OAAO,GAAG,SAAS,GAAG,SAAS,CAuBvH;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,GAAE,OAAe,GAAG,OAAO,CA4BzI;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAE7D;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAGxE;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAEvE;AAED;;;;;GAKG;AACH,wBAAgB,kCAAkC,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,EAAE,CAQ/E;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,CAenG;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE,CAEnE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,IAAI,EAAE,CAMrH"}

package/dist/utils/FileUtils.js

@@ -0,0 +1,144 @@
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import { FileJp, Include, Call, FunctionJp, StorageClass } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { isCallToImplicitFunction } from "./CallUtils.js";
+import { isExternalLinkageIdentifier } from "./IdentifierUtils.js";
+import path from "path";
+/**
+ * Checks if a file compiles correctly after adding a statement by rebuilding it.
+ * If rebuilding fails, the file is considered invalid with the new statement.
+ *
+ * @param fileJp - The file to validate.
+ */
+export function isValidFile(fileJp, jpType, index) {
+    let result = true;
+    // Create a temporary copy of the file for validation
+    const programJp = fileJp.parent;
+    let copyFile = ClavaJoinPoints.fileWithSource(`temp_misra_${fileJp.name}`, fileJp.code, fileJp.relativeFolderpath);
+    copyFile = programJp.addFile(copyFile);
+    try {
+        const rebuiltFile = copyFile.rebuild();
+        if (jpType && index) { // If requested, return a specific join point inside the rebuilt file
+            result = Query.searchFrom(rebuiltFile, jpType).get()[index];
+        }
+        // Remove the temporary file
+        const fileToRemove = Query.searchFrom(programJp, FileJp, { filepath: rebuiltFile.filepath }).first();
+        fileToRemove?.detach();
+        return result;
+    }
+    catch (error) {
+        // On rebuild failure, delete copy file and return false
+        copyFile.detach();
+        return false;
+    }
+}
+/**
+ * Checks if the rebuilt version of the file compiles and if the provided call is no longer implicit.
+ *
+ * @param fileJp The file to analyze
+ * @param funcName The function name to search the call
+ * @param callIndex The index of the call
+ */
+export function isValidFileWithExplicitCall(fileJp, funcName, callIndex, checkNumParams = false) {
+    const programJp = fileJp.parent;
+    // Create a temporary copy of the file for validation
+    let copyFile = ClavaJoinPoints.fileWithSource(`temp_misra_${fileJp.name}`, fileJp.code, fileJp.relativeFolderpath);
+    copyFile = programJp.addFile(copyFile);
+    try {
+        // Rebuild the file to check validity
+        const rebuiltFile = copyFile.rebuild();
+        const fileToRemove = Query.searchFrom(programJp, FileJp, { filepath: rebuiltFile.filepath }).first();
+        // Locate the function call and check if it is implicit
+        const callJp = Query.searchFrom(fileToRemove, Call, { name: funcName }).get().at(callIndex);
+        let isExplicitCall = callJp !== undefined && !isCallToImplicitFunction(callJp);
+        if (checkNumParams && isExplicitCall) {
+            isExplicitCall = isExplicitCall && callJp.args.length === callJp.directCallee.params.length;
+        }
+        // Remove the temporary file
+        fileToRemove?.detach();
+        return isExplicitCall;
+    }
+    catch (error) { // On rebuild failure, delete copy file and return false
+        copyFile.detach();
+        return false;
+    }
+}
+/**
+ * Retrieves the list of header files included in the given file
+ *
+ * @param fileJp The file join point
+ * @returns An array of strings with the names of the includes
+ */
+export function getIncludesOfFile(fileJp) {
+    return new Set(fileJp.includes.map(includeJp => includeJp.isAngled ? includeJp.name : path.basename(includeJp.name)));
+}
+/**
+ * Removes a specific include directive from the given file, if it exists
+ *
+ * @param includeName The name of the include to remove
+ * @param fileJp The file from which the include should be removed
+ */
+export function removeIncludeFromFile(includeName, fileJp) {
+    const include = Query.searchFrom(fileJp, Include, { name: includeName }).first();
+    include?.detach();
+}
+/**
+ * Returns all files in the program that include a given header file using the `#include` directive
+ *
+ * @param headerName - The name of the header file to search for
+ * @returns An array of files that include the specified header
+ */
+export function findFilesReferencingHeader(headerName) {
+    return Query.search(FileJp, (jp) => { return getIncludesOfFile(jp).has(headerName); }).get();
+}
+/**
+ * Returns all files in the program that contain at least one call to an implicit function
+ *
+ * @param programJp - The program to analyze
+ * @returns A list of files with implicit function calls
+ */
+export function getFilesWithCallToImplicitFunction(programJp) {
+    const files = Query.searchFrom(programJp, FileJp).get();
+    return files.filter((fileJp) => Query.searchFrom(fileJp, Call, (callJp) => isCallToImplicitFunction(callJp)).get().length > 0);
+}
+/**
+ * Inserts an extern declaration of the given function into the file.
+ *
+ * @param fileJp The file to modify.
+ * @param functionJp The function to declare as extern.
+ * @returns The inserted join point, or undefined if the function has no external linkage.
+ */
+export function addExternFunctionDecl(fileJp, functionJp) {
+    if (!isExternalLinkageIdentifier(functionJp)) {
+        return undefined;
+    }
+    let childAfterExtern = fileJp.firstChild;
+    while (childAfterExtern instanceof Include) {
+        childAfterExtern = childAfterExtern.siblingsRight[0];
+    }
+    const externStr = `extern ${functionJp.getDeclaration(true)};`;
+    const externStmt = ClavaJoinPoints.stmtLiteral(externStr);
+    const newExternStmt = childAfterExtern.insertBefore(externStmt);
+    return newExternStmt;
+}
+/**
+ * Returns all extern function declarations in the given file
+ * @param fileJp The file join point
+ * @returns An array of functions declared with 'extern'
+ */
+export function getExternFunctionDecls(fileJp) {
+    return Query.searchFrom(fileJp, FunctionJp, { storageClass: StorageClass.EXTERN }).get();
+}
+/**
+ * Returns function calls from a file that are defined in the provided library header. Optionally filters by function names.
+ *
+ * @param fileJp The file join point
+ * @param libraryName Header filename
+ * @param functionNames Optional list of function names to filter
+ */
+export function getCallsToLibrary(fileJp, libraryName, functionNames = new Set()) {
+    return Query.searchFrom(fileJp, Call, (callJp) => callJp.function?.isInSystemHeader &&
+        callJp.function?.filepath.endsWith(libraryName) &&
+        (functionNames.size === 0 || functionNames.has(callJp.name))).get();
+}
+//# sourceMappingURL=FileUtils.js.map

package/dist/utils/FileUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FileUtils.js","sourceRoot":"","sources":["../../src/utils/FileUtils.ts"],"names":[],"mappings":"AAAA,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAW,OAAO,EAAE,IAAI,EAAE,UAAU,EAAa,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAC1H,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,MAAyB,EAAE,KAAc;IACjF,IAAI,MAAM,GAAwB,IAAI,CAAC;IAEvC,qDAAqD;IACrD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAiB,CAAC;IAC3C,IAAI,QAAQ,GAAG,eAAe,CAAC,cAAc,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACnH,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAW,CAAC;IAEjD,IAAI,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACvC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC,qEAAqE;YACxF,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC;QAED,4BAA4B;QAC5B,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,EAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACnG,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC;IAClB,CAAC;IAAC,OAAM,KAAK,EAAE,CAAC;QACZ,wDAAwD;QACxD,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACjB,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,MAAc,EAAE,QAAgB,EAAE,SAAiB,EAAE,iBAA0B,KAAK;IAC5H,MAAM,SAAS,GAAG,MAAM,CAAC,MAAiB,CAAC;IAE3C,qDAAqD;IACrD,IAAI,QAAQ,GAAG,eAAe,CAAC,cAAc,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACnH,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAW,CAAC;IAEjD,IAAI,CAAC;QACD,qCAAqC;QACrC,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,EAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAC,CAAC,CAAC,KAAK,EAAY,CAAC;QAE7G,uDAAuD;QACvD,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,EAAE,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC1F,IAAI,cAAc,GAAG,MAAM,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAE/E,IAAI,cAAc,IAAI,cAAc,EAAE,CAAC;YACnC,cAAc,GAAG,cAAc,IAAI,MAAO,CAAC,IAAI,CAAC,MAAM,KAAK,MAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC;QAClG,CAAC;QAED,4BAA4B;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,cAAc,CAAC;IAE1B,CAAC;IAAC,OAAM,KAAK,EAAE,CAAC,CAAC,wDAAwD;QACrE,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACjB,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC5C,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAAmB,EAAE,MAAc;IACrE,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,WAAW,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IAC/E,OAAO,EAAE,MAAM,EAAE,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,UAAkB;IACzD,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAE,OAAO,iBAAiB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA,CAAA,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAC9F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAAC,SAAkB;IACjE,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC;IACxD,OAAO,KAAK,CAAC,MAAM,CACjB,CAAC,MAAM,EAAE,EAAE,CACT,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACxC,wBAAwB,CAAC,MAAM,CAAC,CACjC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CACrB,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc,EAAE,UAAsB;IACxE,IAAI,CAAC,2BAA2B,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,gBAAgB,GAAc,MAAM,CAAC,UAAU,CAAC;IAEpD,OAAM,gBAAgB,YAAY,OAAO,EAAE,CAAC;QACxC,gBAAgB,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC;IAC/D,MAAM,UAAU,GAAG,eAAe,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;IAChE,OAAO,aAAa,CAAC;AACzB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACjD,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,EAAC,YAAY,EAAE,YAAY,CAAC,MAAM,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAC3F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,WAAmB,EAAE,gBAA6B,IAAI,GAAG,EAAE;IACzG,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAC7C,MAAM,CAAC,QAAQ,EAAE,gBAAgB;QACjC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC/C,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAC/D,CAAC,GAAG,EAAE,CAAC;AACZ,CAAC"}

package/dist/utils/FunctionUtils.d.ts

@@ -0,0 +1,47 @@
+import { Param, Varref, FunctionJp, LabelStmt } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Gets direct references to a parameter within a function
+ * @param $param Parameter to find references for
+ * @param functionJp Function joinpoint to search in
+ */
+export declare function getDirectParamReferences($param: Param, functionJp: FunctionJp): Varref[];
+/**
+ * Gets variable references to a parameter inside Variable-Length Array (VLA) fields
+ * @param $param Parameter to find references for
+ * @param functionJp Function joinpoint to search in
+ */
+export declare function getVLAFieldParamReferences($param: Param, functionJp: FunctionJp): Varref[];
+/**
+ * Gets all unique variable references to a parameter in a function.
+ * @param $param Parameter to find references for
+ * @param functionJp Function joinpoint to search in
+ * @returns Array of unique Varref references
+ */
+export declare function getParamReferences($param: Param, functionJp: FunctionJp): Varref[];
+/**
+ * Gets all label statements in the given function that are never referenced
+ * @param func The function to analyze
+ * @returns An array of unused labels statements
+ */
+export declare function getUnusedLabels(func: FunctionJp): LabelStmt[];
+/**
+ * Returns the first function definition matching the given name and file path suffix
+ *
+ * @param functionName Name of the function
+ * @param pathSuffix File path suffix
+ * @returns The function definition, or undefined if not found
+ */
+export declare function findFunctionDef(functionName: string, pathSuffix: string): FunctionJp | undefined;
+/**
+ * Finds extern declarations for the given function
+ * @param functionJp The function join point
+ * @returns List of extern function declarations
+ */
+export declare function findExternalFunctionDecl(functionJp: FunctionJp): FunctionJp[];
+/**
+ * Checks if the given function is called anywhere in the project
+ * @param functionJp The function to evaluate
+ * @returns True if the function is used, false otherwise
+ */
+export declare function isFunctionUsed(functionJp: FunctionJp): boolean;
+//# sourceMappingURL=FunctionUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionUtils.d.ts","sourceRoot":"","sources":["../../src/utils/FunctionUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAA0B,SAAS,EAAmC,MAAM,qCAAqC,CAAC;AAKpJ;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAExF;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAK1F;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAMlF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,CAI7D;AAED;;;;;;GAMG;AAEH,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,0BASvE;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,UAAU,GAAG,UAAU,EAAE,CAG7E;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAW9D"}

package/dist/utils/FunctionUtils.js

@@ -0,0 +1,87 @@
+import { Varref, FunctionJp, StorageClass, GotoStmt, LabelStmt, Call, VariableArrayType } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { findFilesReferencingHeader } from "./FileUtils.js";
+import { hasDefinedType } from "./JoinpointUtils.js";
+/**
+ * Gets direct references to a parameter within a function
+ * @param $param Parameter to find references for
+ * @param functionJp Function joinpoint to search in
+ */
+export function getDirectParamReferences($param, functionJp) {
+    return Query.searchFrom(functionJp, Varref, (ref) => { return ref.decl && ref.decl.astId === $param.astId; }).get();
+}
+/**
+ * Gets variable references to a parameter inside Variable-Length Array (VLA) fields
+ * @param $param Parameter to find references for
+ * @param functionJp Function joinpoint to search in
+ */
+export function getVLAFieldParamReferences($param, functionJp) {
+    const vlaJoinpoints = functionJp.descendants.filter(jp => hasDefinedType(jp) && jp.type instanceof VariableArrayType);
+    const fieldsInVLAs = vlaJoinpoints.flatMap(jp => jp.jpFields(true).flatMap(field => [field, ...field.descendants]));
+    return fieldsInVLAs.filter(field => field instanceof Varref && field.decl?.astId === $param.astId);
+}
+/**
+ * Gets all unique variable references to a parameter in a function.
+ * @param $param Parameter to find references for
+ * @param functionJp Function joinpoint to search in
+ * @returns Array of unique Varref references
+ */
+export function getParamReferences($param, functionJp) {
+    const directRefs = getDirectParamReferences($param, functionJp);
+    const refsInVLAFields = getVLAFieldParamReferences($param, functionJp);
+    // Remove duplicated nodes
+    return Array.from(new Map([...directRefs, ...refsInVLAFields].map(ref => [ref.ast, ref])).values());
+}
+/**
+ * Gets all label statements in the given function that are never referenced
+ * @param func The function to analyze
+ * @returns An array of unused labels statements
+ */
+export function getUnusedLabels(func) {
+    return Query.searchFrom(func, LabelStmt).get().filter(label => Query.searchFrom(func, GotoStmt, { label: jp => jp.astId === label.decl.astId }).get().length === 0);
+}
+/**
+ * Returns the first function definition matching the given name and file path suffix
+ *
+ * @param functionName Name of the function
+ * @param pathSuffix File path suffix
+ * @returns The function definition, or undefined if not found
+ */
+export function findFunctionDef(functionName, pathSuffix) {
+    const funcDefs = Query.search(FunctionJp, (func) => {
+        try {
+            return func.name === functionName && func.isImplementation && func.filepath.endsWith(pathSuffix);
+        }
+        catch (error) {
+            return false;
+        }
+    }).get();
+    return funcDefs.length > 0 ? funcDefs[0] : undefined;
+}
+/**
+ * Finds extern declarations for the given function
+ * @param functionJp The function join point
+ * @returns List of extern function declarations
+ */
+export function findExternalFunctionDecl(functionJp) {
+    return functionJp.declarationJps
+        .filter((declJp) => declJp.storageClass === StorageClass.EXTERN);
+}
+/**
+ * Checks if the given function is called anywhere in the project
+ * @param functionJp The function to evaluate
+ * @returns True if the function is used, false otherwise
+ */
+export function isFunctionUsed(functionJp) {
+    const fileJp = functionJp.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, Call, { name: functionJp.name, directCallee: (jp) => jp?.ast === functionJp.ast }).get().length > 0);
+}
+//# sourceMappingURL=FunctionUtils.js.map

package/dist/utils/FunctionUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionUtils.js","sourceRoot":"","sources":["../../src/utils/FunctionUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAU,IAAI,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACpJ,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAa,EAAE,UAAsB;IAC1E,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAA,CAAA,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACtH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,MAAa,EAAE,UAAsB;IAC5E,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,YAAY,iBAAiB,CAAC,CAAC;IACtH,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAEpH,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,YAAY,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,MAAM,CAAC,KAAK,CAAa,CAAC;AACnH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAa,EAAE,UAAsB;IACpE,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAEvE,0BAA0B;IAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,eAA2B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AACpH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAgB;IAC5C,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC1D,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,KAAK,CAAC,CACtG,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AAEH,MAAM,UAAU,eAAe,CAAC,YAAoB,EAAE,UAAkB;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACvC,IAAI,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;QACpG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,UAAsB;IAC3D,OAAO,UAAU,CAAC,cAAc;SACvB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC;AAC7E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,UAAsB;IACjD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAW,CAAC;IACxD,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,IAAI,EAAE,EAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,UAAU,CAAC,GAAG,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AACtK,CAAC"}

package/dist/utils/IdentifierUtils.d.ts

@@ -0,0 +1,63 @@
+import { Joinpoint, Vardecl, FunctionJp } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if the given joinpoint is an identifier declaration (variable, function, typedef, label, or tag)
+ *
+ * @param $jp The joinpoint to evaluate
+ * @returns True if the join point is an identifier declaration, false otherwise
+ */
+export declare function isIdentifierDecl($jp: Joinpoint): boolean;
+/**
+ * Retrieves the name of the given joinpoint
+ * @param $jp The joinpoint to evaluate
+ * @returns The name of the identifier, or undefined if the join point does not represent an identifier
+ */
+export declare function getIdentifierName($jp: Joinpoint): string | undefined;
+/**
+ * Checks if two joinpoints represent different identifiers with the same name
+ * @param identifier1 The first joinpoint to evaluate
+ * @param identifier2 The second joinpoint to evaluate
+ * @returns True if names match and the nodes differ, otherwise returns false
+ */
+export declare function areIdentifierNamesEqual(identifier1: Joinpoint, identifier2: Joinpoint): boolean;
+/**
+ * Updates the name of an identifier joinpoint
+ * @param $jp The joinpoint to rename
+ * @param newName the new identifier name
+ * @returns True if renaming was successful, false otherwise
+ */
+export declare function renameIdentifier($jp: Joinpoint, newName: string): boolean;
+/**
+ * Checks if a given joinpoint represents an identifier with external linkage
+ *
+ * @param $jp The joinpoint to evaluate
+ * @returns  True if the joinpoint has external linkage, false otherwise
+ */
+export declare function isExternalLinkageIdentifier($jp: Joinpoint): boolean;
+/**
+ * Checks if a given joinpoint represents an identifier with internal linkage
+ *
+ * @param $jp The joinpoint to evaluate
+ * @returns  True if the joinpoint has internal linkage, false otherwise
+ */
+export declare function isInternalLinkageIdentifier($jp: Joinpoint): boolean;
+/**
+ * Determines if an identifier is duplicated in a collection of join points
+ *
+ * @param $jp The identifier to evaluate
+ * @param $others Other join points to compare with
+ * @returns True if a duplicate exists, false otherwise
+ */
+export declare function isIdentifierDuplicated($jp: Joinpoint, $others: Joinpoint[]): boolean;
+/**
+ * Checks if another identifier with the same name is declared before the given joinpoint
+ *
+ * @param $jp The identifier join point to check
+ * @param $others The list of other identifiers to compare with
+ * @returns True if a matching identifier is declared earlier, false otherwise.
+ */
+export declare function isIdentifierNameDeclaredBefore($jp: Joinpoint, $others: Joinpoint[]): boolean;
+/**
+ * @returns Returns true if the identifiers represent different AST nodes but are not distinct within the first 31 characters. Otherwise returns false.
+ */
+export declare function areDistinctIdentifiers($jp1: Vardecl | FunctionJp, $jp2: Vardecl | FunctionJp): boolean;
+//# sourceMappingURL=IdentifierUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"IdentifierUtils.d.ts","sourceRoot":"","sources":["../../src/utils/IdentifierUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAgB,UAAU,EAAqC,MAAM,qCAAqC,CAAC;AAItI;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAMxD;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS,CAOpE;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,WAMrF;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAkBzE;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CASnE;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAUnE;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,WAE1E;AAED;;;;;;GAMG;AAEH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,WAIlF;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,EAAE,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,OAAO,CAMtG"}

package/dist/utils/IdentifierUtils.js

@@ -0,0 +1,133 @@
+import { Vardecl, StorageClass, FunctionJp, TypedefDecl, LabelStmt, NamedDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import { compareLocation, isTagDecl } from "./JoinpointUtils.js";
+import { findDuplicateVarDefinition, findExternalVarRefs, isSameVarDecl } from "./VarUtils.js";
+/**
+ * Checks if the given joinpoint is an identifier declaration (variable, function, typedef, label, or tag)
+ *
+ * @param $jp The joinpoint to evaluate
+ * @returns True if the join point is an identifier declaration, false otherwise
+ */
+export function isIdentifierDecl($jp) {
+    return ($jp instanceof Vardecl && $jp.storageClass !== StorageClass.EXTERN) ||
+        ($jp instanceof FunctionJp && $jp.isImplementation) ||
+        $jp instanceof TypedefDecl ||
+        $jp instanceof LabelStmt ||
+        isTagDecl($jp);
+}
+/**
+ * Retrieves the name of the given joinpoint
+ * @param $jp The joinpoint to evaluate
+ * @returns The name of the identifier, or undefined if the join point does not represent an identifier
+ */
+export function getIdentifierName($jp) {
+    if ($jp instanceof NamedDecl) {
+        return $jp.name;
+    }
+    else if ($jp instanceof LabelStmt) {
+        return $jp.decl.name;
+    }
+    return undefined;
+}
+/**
+ * Checks if two joinpoints represent different identifiers with the same name
+ * @param identifier1 The first joinpoint to evaluate
+ * @param identifier2 The second joinpoint to evaluate
+ * @returns True if names match and the nodes differ, otherwise returns false
+ */
+export function areIdentifierNamesEqual(identifier1, identifier2) {
+    const name1 = getIdentifierName(identifier1);
+    const name2 = getIdentifierName(identifier2);
+    if (!name1 || !name2)
+        return false;
+    return identifier1.ast !== identifier2.ast && name1 === name2;
+}
+/**
+ * Updates the name of an identifier joinpoint
+ * @param $jp The joinpoint to rename
+ * @param newName the new identifier name
+ * @returns True if renaming was successful, false otherwise
+ */
+export function renameIdentifier($jp, newName) {
+    if ($jp instanceof LabelStmt) {
+        $jp.decl.setName(newName);
+    }
+    else if ($jp instanceof Vardecl) {
+        const externalRefs = findExternalVarRefs($jp);
+        const duplicateDefs = findDuplicateVarDefinition($jp);
+        $jp.setName(newName);
+        if (isExternalLinkageIdentifier($jp)) {
+            externalRefs.forEach((varRef) => varRef.setName(newName));
+            duplicateDefs.forEach((defJp) => defJp.setName(newName));
+        }
+    }
+    else if ($jp instanceof NamedDecl) {
+        $jp.setName(newName);
+    }
+    return true;
+}
+/**
+ * Checks if a given joinpoint represents an identifier with external linkage
+ *
+ * @param $jp The joinpoint to evaluate
+ * @returns  True if the joinpoint has external linkage, false otherwise
+ */
+export function isExternalLinkageIdentifier($jp) {
+    if (!($jp instanceof FunctionJp || $jp instanceof Vardecl)) {
+        return false;
+    }
+    let result = $jp.storageClass !== StorageClass.STATIC && $jp.storageClass !== StorageClass.EXTERN && $jp.getAncestor("function") === undefined;
+    if ($jp instanceof FunctionJp) {
+        result = result && $jp.isImplementation;
+    }
+    return result;
+}
+/**
+ * Checks if a given joinpoint represents an identifier with internal linkage
+ *
+ * @param $jp The joinpoint to evaluate
+ * @returns  True if the joinpoint has internal linkage, false otherwise
+ */
+export function isInternalLinkageIdentifier($jp) {
+    if (!($jp instanceof FunctionJp || $jp instanceof Vardecl)) {
+        return false;
+    }
+    let result = $jp.storageClass === StorageClass.STATIC && $jp.getAncestor("function") === undefined;
+    if ($jp instanceof FunctionJp) {
+        result = result && $jp.isImplementation;
+    }
+    return result;
+}
+/**
+ * Determines if an identifier is duplicated in a collection of join points
+ *
+ * @param $jp The identifier to evaluate
+ * @param $others Other join points to compare with
+ * @returns True if a duplicate exists, false otherwise
+ */
+export function isIdentifierDuplicated($jp, $others) {
+    return $others.some((identifier) => identifier.astId !== $jp.astId && !isSameVarDecl($jp, identifier) && areIdentifierNamesEqual($jp, identifier));
+}
+/**
+ * Checks if another identifier with the same name is declared before the given joinpoint
+ *
+ * @param $jp The identifier join point to check
+ * @param $others The list of other identifiers to compare with
+ * @returns True if a matching identifier is declared earlier, false otherwise.
+ */
+export function isIdentifierNameDeclaredBefore($jp, $others) {
+    return $others.some((identifier) => {
+        return identifier.astId !== $jp.astId && !isSameVarDecl($jp, identifier) && compareLocation(identifier, $jp) < 0 && areIdentifierNamesEqual(identifier, $jp);
+    });
+}
+/**
+ * @returns Returns true if the identifiers represent different AST nodes but are not distinct within the first 31 characters. Otherwise returns false.
+ */
+export function areDistinctIdentifiers($jp1, $jp2) {
+    try {
+        return $jp1.astId !== $jp2.ast && $jp1.name.substring(0, 31) !== $jp2.name.substring(0, 31);
+    }
+    catch (error) {
+        return false;
+    }
+}
+//# sourceMappingURL=IdentifierUtils.js.map

package/dist/utils/IdentifierUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IdentifierUtils.js","sourceRoot":"","sources":["../../src/utils/IdentifierUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACtI,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE/F;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAc;IAC3C,OAAQ,CAAC,GAAG,YAAY,OAAO,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;QACpE,CAAC,GAAG,YAAY,UAAU,IAAI,GAAG,CAAC,gBAAgB,CAAC;QACnD,GAAG,YAAY,WAAW;QAC1B,GAAG,YAAY,SAAS;QACxB,SAAS,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAc;IAC5C,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,IAAI,CAAC;IACpB,CAAC;SAAM,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;QAClC,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAsB,EAAE,WAAsB;IAClF,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAE7C,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,WAAW,CAAC,GAAG,KAAK,WAAW,CAAC,GAAG,IAAI,KAAK,KAAK,KAAK,CAAC;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAc,EAAE,OAAe;IAC5D,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;SACI,IAAI,GAAG,YAAY,OAAO,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,aAAa,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC;QAEtD,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACrB,IAAI,2BAA2B,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1D,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;SACI,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAc;IACtD,IAAI,CAAC,CAAC,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC;IAC/I,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,MAAM,IAAI,GAAG,CAAC,gBAAgB,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAc;IACtD,IAAI,CAAC,CAAC,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC;IACnG,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,MAAM,IAAI,GAAG,CAAC,gBAAgB,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAAc,EAAE,OAAoB;IACvE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,uBAAuB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;AACvJ,CAAC;AAED;;;;;;GAMG;AAEH,MAAM,UAAU,8BAA8B,CAAC,GAAc,EAAE,OAAoB;IAC/E,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;QAC/B,OAAO,UAAU,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,eAAe,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,uBAAuB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAA;IAChK,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA0B,EAAE,IAA0B;IACzF,IAAI,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChG,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;AACL,CAAC"}

package/dist/utils/JoinpointUtils.d.ts

@@ -0,0 +1,36 @@
+import { Joinpoint, Type, RecordJp, EnumDecl } from "@specs-feup/clava/api/Joinpoints.js";
+export type TagDecl = RecordJp | EnumDecl;
+export declare function isTagDecl($jp: Joinpoint): $jp is TagDecl;
+/**
+ * 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 declare function hasDefinedType($jp: Joinpoint): boolean;
+/**
+ * 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 declare function getBaseType($jp: Joinpoint): Type | undefined;
+/**
+ * Gets the file path of the given join point.
+ * @param $jp The join point
+ * @returns The file path string
+ */
+export declare function getFilepath($jp: Joinpoint): string;
+/**
+ * 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 declare function getFileLocation($jp: Joinpoint): string;
+/**
+ * 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 declare function compareLocation($jp1: Joinpoint, $jp2: Joinpoint): number;
+//# sourceMappingURL=JoinpointUtils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"JoinpointUtils.d.ts","sourceRoot":"","sources":["../../src/utils/JoinpointUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,IAAI,EAA0B,QAAQ,EAAE,QAAQ,EAAwC,MAAM,qCAAqC,CAAC;AAExJ,MAAM,MAAM,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE1C,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,GAAI,GAAG,IAAI,OAAO,CAEzD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,CAQ5D;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,CAElD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,SAAS,UAK7C;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,CASxE"}