Test context for spec:/rtems/message/req/flush-pending test case. More...

Data Fields
rtems_id	message_queue_id
	This member contains a valid ID of a message queue.

	storage_area [MAXIMUM_PENDING_MESSAGES]
	This member is used as storage area for the message queue.

rtems_status_code	receive_status [NUMBER_OF_WORKERS]
	This member contains the returned status codes of the receivers.

rtems_status_code(*	action )(rtems_id id, uint32_t *count)
	This member specifies the directive to be called as action. More...

rtems_id	id_param
	This member specifies the `id` parameter of the action.

uint32_t *	count_param
	This member specifies the `count` parameter of the action.

rtems_status_code	status
	This member contains the returned status code of the action.

uint32_t	count
	This member contains the value returned in parameter `count` of the action.

rtems_id	worker_id [NUMBER_OF_WORKERS]
	This member contains the task identifiers of the worker tasks.

void(*	check_msgq_unchanged )(void *ctx_in)
	This member contains a pointer to a function which is executed to check that the action has not changed the content of the message queue.

struct {
size_t pcs [6]
	This member defines the pre-condition states for the next action.

bool in_action_loop
	If this member is true, then the test action loop is executed.

size_t index
	This member contains the next transition map index.

RtemsMessageReqFlushPending_Entry entry
	This member contains the current transition map entry.

bool skip
	If this member is true, then the current transition variant should be skipped.

}	Map

Detailed Description

Test context for spec:/rtems/message/req/flush-pending test case.

Field Documentation

rtems_status_code(* RtemsMessageReqFlushPending_Context::action) (rtems_id id, uint32_t *count)

This member specifies the directive to be called as action.

The documentation for this struct was generated from the following file: