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 an essentially Boolean condition
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 a switch statement with a Boolean condition into equivalent statement(s), only if there is no conditional break. If a conditional break is present, no transformation is performed and an error is generated.
Joinpoint to transform
Report detailing the transformation result
MISRA Rule 16.7: A switch-expression shall not have essentially Boolean type.