spec:/rtems/message/req/receive

Files
file	tc-message-receive.c

Data Structures
struct	RtemsMessageReqReceive_Entry
struct	RtemsMessageReqReceive_Context
	Test context for spec:/rtems/message/req/receive test case. More...

Macros
#define	MAXIMUM_PENDING_MESSAGES   3
#define	MAXIMUM_MESSAGE_SIZE   5

Typedefs
typedef RtemsMessageReqReceive_Context	Context

Enumerations
enum	RtemsMessageReqReceive_Pre_Buffer { RtemsMessageReqReceive_Pre_Buffer_Valid , RtemsMessageReqReceive_Pre_Buffer_Null , RtemsMessageReqReceive_Pre_Buffer_NA }
enum	RtemsMessageReqReceive_Pre_Size { RtemsMessageReqReceive_Pre_Size_Valid , RtemsMessageReqReceive_Pre_Size_Null , RtemsMessageReqReceive_Pre_Size_NA }
enum	RtemsMessageReqReceive_Pre_Id { RtemsMessageReqReceive_Pre_Id_Valid , RtemsMessageReqReceive_Pre_Id_Invalid , RtemsMessageReqReceive_Pre_Id_NA }
enum	RtemsMessageReqReceive_Pre_DuringWait { RtemsMessageReqReceive_Pre_DuringWait_Nop , RtemsMessageReqReceive_Pre_DuringWait_Deleted , RtemsMessageReqReceive_Pre_DuringWait_NA }
enum	RtemsMessageReqReceive_Pre_TaskQueue { RtemsMessageReqReceive_Pre_TaskQueue_Fifo , RtemsMessageReqReceive_Pre_TaskQueue_Priority , RtemsMessageReqReceive_Pre_TaskQueue_NA }
enum	RtemsMessageReqReceive_Pre_Wait { RtemsMessageReqReceive_Pre_Wait_No , RtemsMessageReqReceive_Pre_Wait_Timeout , RtemsMessageReqReceive_Pre_Wait_Forever , RtemsMessageReqReceive_Pre_Wait_NA }
enum	RtemsMessageReqReceive_Pre_MsgQueue { RtemsMessageReqReceive_Pre_MsgQueue_Empty , RtemsMessageReqReceive_Pre_MsgQueue_One , RtemsMessageReqReceive_Pre_MsgQueue_Several , RtemsMessageReqReceive_Pre_MsgQueue_NA }
enum	RtemsMessageReqReceive_Pre_Storage { RtemsMessageReqReceive_Pre_Storage_Nop , RtemsMessageReqReceive_Pre_Storage_NA }
enum	RtemsMessageReqReceive_Post_Status {   RtemsMessageReqReceive_Post_Status_Ok , RtemsMessageReqReceive_Post_Status_InvId , RtemsMessageReqReceive_Post_Status_InvAddr , RtemsMessageReqReceive_Post_Status_Unsat ,   RtemsMessageReqReceive_Post_Status_Timeout , RtemsMessageReqReceive_Post_Status_Deleted , RtemsMessageReqReceive_Post_Status_NA }
enum	RtemsMessageReqReceive_Post_Delay { RtemsMessageReqReceive_Post_Delay_None , RtemsMessageReqReceive_Post_Delay_Ticks , RtemsMessageReqReceive_Post_Delay_Forever , RtemsMessageReqReceive_Post_Delay_NA }
enum	RtemsMessageReqReceive_Post_Size { RtemsMessageReqReceive_Post_Size_First , RtemsMessageReqReceive_Post_Size_Nop , RtemsMessageReqReceive_Post_Size_NA }
enum	RtemsMessageReqReceive_Post_Msg { RtemsMessageReqReceive_Post_Msg_First , RtemsMessageReqReceive_Post_Msg_Nop , RtemsMessageReqReceive_Post_Msg_NA }
enum	RtemsMessageReqReceive_Post_MsgQueue { RtemsMessageReqReceive_Post_MsgQueue_Empty , RtemsMessageReqReceive_Post_MsgQueue_OneLess , RtemsMessageReqReceive_Post_MsgQueue_Nop , RtemsMessageReqReceive_Post_MsgQueue_NA }
enum	RtemsMessageReqReceive_Post_Tasks { RtemsMessageReqReceive_Post_Tasks_Fifo , RtemsMessageReqReceive_Post_Tasks_Priority , RtemsMessageReqReceive_Post_Tasks_NA }

Functions
	T_TEST_CASE_FIXTURE (RtemsMessageReqReceive, &RtemsMessageReqReceive_Fixture)

Detailed Description