Expectation handling

Expectation handling support functionality. More...

Macros
#define	MCUX_CSSL_FP_CONDITIONAL_IMPL(condition, ...)
	Conditional expectation aggregation.
#define	MCUX_CSSL_FP_VOID_EXPECTATION_IMPL()
	Implementation of expectation of nothing.
#define	MCUX_CSSL_FP_EXPECT_IMPL(...)
	Declaration(s) of expected code flow behavior.
#define	MCUX_CSSL_FP_ASSERT_IMPL(...)
	Assert an expected state of the code flow.

Detailed Description

Expectation handling support functionality.

Macro Definition Documentation

MCUX_CSSL_FP_CONDITIONAL_IMPL

#define MCUX_CSSL_FP_CONDITIONAL_IMPL	(		condition,
			... )

Conditional expectation aggregation.

Parameters

condition	Condition under which the given expectations apply
expect	One or more (comma separated) declarations of expected code code flow behavior.

Returns

Aggregated counter value for the given expectations, if condition is satisfied. Otherwise 0.

MCUX_CSSL_FP_VOID_EXPECTATION_IMPL

#define MCUX_CSSL_FP_VOID_EXPECTATION_IMPL

(

)

Implementation of expectation of nothing.

This expectation macro indicates to the flow protection mechanism that nothing is expected to happen. This is mainly intended for internal use (to ensure at least one expectation is passed).

MCUX_CSSL_FP_EXPECT_IMPL

#define MCUX_CSSL_FP_EXPECT_IMPL

(

...

)

Declaration(s) of expected code flow behavior.

This macro can be used to indicate expectations in the function body at another location than the function entry or exit.

See also

MCUX_CSSL_FP_EXPECTATIONS

Parameters

expect

One or more (comma separated) declarations of expected code flow behavior.

MCUX_CSSL_FP_ASSERT_IMPL

#define MCUX_CSSL_FP_ASSERT_IMPL

(

...

)

Assert an expected state of the code flow.

Parameters

expect

One or more (comma separated) declarations of expected code flow behavior.