RTEMS 6.1-rc6
|
Test context for spec:/rtems/message/req/urgent-send 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. | |
uint32_t | magic |
This member contains always the same arbitrary number magic . | |
uint8_t | send_msg_counter |
This member contains a number which is sent as next message. | |
uint8_t | receive_buffer [MAXIMUM_MESSAGE_SIZE] |
This member contains a buffer to receive messages from the queue. | |
size_t | receive_size |
This member contains a buffer to receive the messages size. | |
rtems_status_code | receive_status |
This member contains the returned status code of the receiver. | |
bool | is_receiver_waiting |
This member indicates whether the a receiver task should be started to receive a message. | |
uint8_t | send_message [MAXIMUM_MESSAGE_SIZE] |
This member contains the message to be sent by the action. | |
rtems_status_code(* | action )(rtems_id id, const void *buffer, size_t size) |
This member specifies the directive to be called as action. | |
rtems_id | id_param |
This member specifies the id parameter for the action. | |
void * | buffer_param |
This member specifies the buffer parameter for the action. | |
size_t | size_param |
This member specifies the size parameter for the action. | |
rtems_status_code | status |
This member contains the returned status code of the action. | |
rtems_id | worker_id |
This member contains the task identifier of the worker task. | |
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 [7] | |
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. | |
RtemsMessageReqUrgentSend_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 |
Test context for spec:/rtems/message/req/urgent-send test case.
rtems_status_code(* RtemsMessageReqUrgentSend_Context::action) (rtems_id id, const void *buffer, size_t size) |
This member specifies the directive to be called as action.
This is either rtems_message_queue_send() or rtems_message_queue_urgent().
uint32_t RtemsMessageReqUrgentSend_Context::magic |
This member contains always the same arbitrary number magic
.
It is used for run-time type checking.