Class rule165DefaultFirstOrLast

MISRA Rule 16.5: A default label shall appear as either the first or the last switch label of a switch statement

Hierarchy (view full)

MISRARule
- rule165DefaultFirstOrLast

Index

Constructors

Properties

Methods

logMISRAError logMISRAWarning match transform

Constructors

constructor

new rule165DefaultFirstOrLast(context): rule165DefaultFirstOrLast
Parameters
- context: MISRAContext
Returns rule165DefaultFirstOrLast
Overrides MISRARule.constructor
- Defined in rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts:13

Properties

`Protected`context

context: MISRAContext

MISRA context for error tracking and rule transformations state

`Readonly`ruleID

ruleID: string

Unique identifier for the MISRA rule.

Methods

`Protected`logMISRAError

logMISRAError($jp, msg): void
Logs a MISRA-C rule violation error
Parameters
- $jp: Joinpoint
  The joinpoint where the violation occurred
- msg: string
  Description of the violation
Returns void
Inherited from MISRARule.logMISRAError
- Defined in MISRARule.ts:56

`Protected`logMISRAWarning

logMISRAWarning($jp, msg): void
Logs a warning from automatic MISRA-C correction, which may change the program's behavior
Parameters
- $jp: Joinpoint
  The joinpoint where the correction was applied
- msg: string
  Description of the warning
Returns void
Inherited from MISRARule.logMISRAWarning
- Defined in MISRARule.ts:70

match

match($jp, logErrors?): boolean
Checks if the given joinpoint is a switch statement where the default label appears either as first of last label
Parameters
- $jp: Joinpoint
  Joinpoint to analyze
- logErrors: boolean = false
  [logErrors=false] - Whether to log errors if a violation is detected
Returns boolean
Returns true if the joinpoint violates the rule, false otherwise
Overrides MISRARule.match
- Defined in rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts:59

transform

transform($jp): MISRATransformationReport
Transforms a switch statement so that the default case appears as the last label
- If the default case is not already the last case within its case clause list, it is repositioned
- Then, the entire case clause list containing the default case to the end of the switch statement
Parameters
- $jp: Joinpoint
  Joinpoint to transform
Returns MISRATransformationReport
Report detailing the transformation result
Overrides MISRARule.transform
- Defined in rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts:85