ProtectedcontextMISRA context for error tracking and rule transformations state
ReadonlyruleIDUnique identifier for the MISRA rule.
ProtectedlogMISRAErrorLogs a MISRA-C rule violation error
The joinpoint where the violation occurred
Description of the violation
ProtectedlogMISRAWarningLogs a warning from automatic MISRA-C correction, which may change the program's behavior
The joinpoint where the correction was applied
Description of the warning
Checks if the given joinpoint is a switch statement with a default case
Joinpoint to analyze
[logErrors=false] - Whether to log errors if a violation is detected
Returns true if the joinpoint violates the rule, false otherwise
Transforms the joinpoint to comply with the MISRA-C rule
Joinpoint to transform
Report detailing the transformation result
MISRA Rule 16.4: Every switch statement shall have a default label