import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js"; import IdentifierRenameRule from "./IdentifierRenameRule.js"; import { AnalysisType } from "../../MISRA.js"; /** * MISRA-C Rule 5.1 External identifiers shall be distinct. */ export default class Rule_5_1_DistinctExternalIdentifiers extends IdentifierRenameRule { /** * Scope of analysis */ readonly analysisType = AnalysisType.SYSTEM; /** * @returns Rule identifier according to MISRA-C:2012 */ get name(): string; /** * Checks if the given joinpoint is an external identifier distinct from other external identifiers. * * @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: Joinpoint, logErrors?: boolean): boolean; } //# sourceMappingURL=Rule_5_1_DistinctExternalIdentifiers.d.ts.map