Class rule176StaticArraySizeParam

MISRA Rule 17.6: The declaration of an array parameter shall not contain the static keyword between the [ ]

Hierarchy (view full)

MISRARule
- rule176StaticArraySizeParam

Index

Constructors

Properties

Methods

logMISRAError logMISRAWarning match transform

Constructors

constructor

new rule176StaticArraySizeParam(context): rule176StaticArraySizeParam
Parameters
- context: MISRAContext
Returns rule176StaticArraySizeParam
Overrides MISRARule.constructor
- Defined in rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.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 represents a function with any array parameter containing the 'static' keyword between the [ ].
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/Section17_Functions/Rule_17_6_StaticArraySizeParam.ts:24

transform

transform($jp): MISRATransformationReport
Transforms the joinpoint if it represents a function with any array parameter containing the 'static' keyword between the square brackets.
Parameters
- $jp: Joinpoint
  Joinpoint to transform
Returns MISRATransformationReport
Report detailing the transformation result
Overrides MISRARule.transform
- Defined in rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.ts:47