spec:/score/mtx/req/seize-try

Files
file	tr-mtx-seize-try.c
file	tr-mtx-seize-try.h

Data Structures
struct	ScoreMtxReqSeizeTry_Entry
struct	ScoreMtxReqSeizeTry_Context
	Test context for spec:/score/mtx/req/seize-try test case. More...

Typedefs
typedef ScoreMtxReqSeizeTry_Context	Context

Enumerations
enum	ScoreMtxReqSeizeTry_Pre_Protocol { ScoreMtxReqSeizeTry_Pre_Protocol_Ceiling , ScoreMtxReqSeizeTry_Pre_Protocol_MrsP , ScoreMtxReqSeizeTry_Pre_Protocol_Other , ScoreMtxReqSeizeTry_Pre_Protocol_NA }
enum	ScoreMtxReqSeizeTry_Pre_Discipline { ScoreMtxReqSeizeTry_Pre_Discipline_FIFO , ScoreMtxReqSeizeTry_Pre_Discipline_Priority , ScoreMtxReqSeizeTry_Pre_Discipline_NA }
enum	ScoreMtxReqSeizeTry_Pre_Recursive { ScoreMtxReqSeizeTry_Pre_Recursive_Allowed , ScoreMtxReqSeizeTry_Pre_Recursive_Unavailable , ScoreMtxReqSeizeTry_Pre_Recursive_Deadlock , ScoreMtxReqSeizeTry_Pre_Recursive_NA }
enum	ScoreMtxReqSeizeTry_Pre_Owner { ScoreMtxReqSeizeTry_Pre_Owner_None , ScoreMtxReqSeizeTry_Pre_Owner_Caller , ScoreMtxReqSeizeTry_Pre_Owner_Other , ScoreMtxReqSeizeTry_Pre_Owner_NA }
enum	ScoreMtxReqSeizeTry_Pre_Priority { ScoreMtxReqSeizeTry_Pre_Priority_High , ScoreMtxReqSeizeTry_Pre_Priority_Equal , ScoreMtxReqSeizeTry_Pre_Priority_Low , ScoreMtxReqSeizeTry_Pre_Priority_NA }
enum	ScoreMtxReqSeizeTry_Post_Status {   ScoreMtxReqSeizeTry_Post_Status_Ok , ScoreMtxReqSeizeTry_Post_Status_MutexCeilingViolated , ScoreMtxReqSeizeTry_Post_Status_Deadlock , ScoreMtxReqSeizeTry_Post_Status_Unavailable ,   ScoreMtxReqSeizeTry_Post_Status_NA }
enum	ScoreMtxReqSeizeTry_Post_Owner { ScoreMtxReqSeizeTry_Post_Owner_Other , ScoreMtxReqSeizeTry_Post_Owner_Caller , ScoreMtxReqSeizeTry_Post_Owner_None , ScoreMtxReqSeizeTry_Post_Owner_NA }
enum	ScoreMtxReqSeizeTry_Post_Priority { ScoreMtxReqSeizeTry_Post_Priority_Nop , ScoreMtxReqSeizeTry_Post_Priority_Ceiling , ScoreMtxReqSeizeTry_Post_Priority_NA }

Functions
void	ScoreMtxReqSeizeTry_Run (TQMtxContext *tq_ctx)
	Runs the parameterized test case.

Detailed Description

Function Documentation

ScoreMtxReqSeizeTry_Run()

void ScoreMtxReqSeizeTry_Run

(

TQMtxContext *

tq_ctx

)

Runs the parameterized test case.

Parameters

[in,out]

tq_ctx

is the thread queue context.