Support for flow protected switches. More...
Macros | |
#define | MCUX_CSSL_FP_SWITCH_DECL(id) |
Declaration of a flow protected switch. | |
#define | MCUX_CSSL_FP_SWITCH_CASE(...) |
Case that is being handled from a switch. | |
#define | MCUX_CSSL_FP_SWITCH_DEFAULT(...) |
Case that is being handled from a switch. | |
#define | MCUX_CSSL_FP_SWITCH_TAKEN(...) |
Expected that a specific case is handled from a switch. | |
#define | MCUX_CSSL_FP_SWITCH_TAKEN_DEFAULT(...) |
Expected that default case is handled from a switch. | |
Support for flow protected switches.
#define MCUX_CSSL_FP_SWITCH_DECL | ( | id | ) |
Declaration of a flow protected switch.
To inform the flow protection mechanism about a switch that needs to be protected, a switch identifier needs to be declared. This identifier can then be used in the events and expectation macros. For example:
id | Identifier for the switch that is flow protected. |
#define MCUX_CSSL_FP_SWITCH_CASE | ( | ... | ) |
Case that is being handled from a switch.
This switch event macro informs the flow mechanism that the given case
of the switch is executed for the switch declared by MCUX_CSSL_FP_SWITCH_DECL with the given id
. For example:
... | The following parameters need to be passed (comma separated):
|
#define MCUX_CSSL_FP_SWITCH_DEFAULT | ( | ... | ) |
Case that is being handled from a switch.
This switch event macro informs the flow mechanism that the default case of the switch is executed for the switch declared by MCUX_CSSL_FP_SWITCH_DECL with the given id
. For example:
... | The following parameters need to be passed (comma separated):
|
#define MCUX_CSSL_FP_SWITCH_TAKEN | ( | ... | ) |
Expected that a specific case is handled from a switch.
This expectation macro indicates to the flow protection mechanism that the switch declared by MCUX_CSSL_FP_SWITCH_DECL with the given id
has executed the case
(under the given condition
). For example:
... | The following parameters need to be passed (comma separated):
|
#define MCUX_CSSL_FP_SWITCH_TAKEN_DEFAULT | ( | ... | ) |
Expected that default case is handled from a switch.
This expectation macro indicates to the flow protection mechanism that the switch declared by MCUX_CSSL_FP_SWITCH_DECL with the given id
has executed the default case (under the given condition
). For example:
... | The following parameters need to be passed (comma separated):
|