RTEMS 6.1-rc2
|
Test context for spec:/score/mtx/req/seize-try test case. More...
Data Fields | |
bool | owner_caller |
If this member is true, then the calling thread shall be the owner of the mutex. | |
bool | owner_other |
If this member is true, then a thread other than the calling thread shall be the owner of the mutex. | |
rtems_task_priority | priority_before |
This member contains the current priority of the calling thread before the directive call. | |
const rtems_tcb * | owner_after |
This member contains the owner of the mutex after the directive call. | |
rtems_task_priority | priority_after |
This member contains the current priority of the calling thread after the directive call. | |
TQMtxContext * | tq_ctx |
This member contains a copy of the corresponding ScoreMtxReqSeizeTry_Run() parameter. | |
struct { | |
size_t pci [5] | |
This member defines the pre-condition indices for the next action. | |
size_t pcs [5] | |
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. | |
ScoreMtxReqSeizeTry_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:/score/mtx/req/seize-try test case.