diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-08-31 11:26:49 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-08-31 11:29:56 +0200 |
commit | c4472cef3e1c916ddb708ab3d4a46178b78f88a4 (patch) | |
tree | 5436465be5dc391142eaed2abeca5a9e14f6ee58 /testsuites/validation/tr-tq-flush-fifo.h | |
parent | validation: Support a partial thread queue flush (diff) | |
download | rtems-c4472cef3e1c916ddb708ab3d4a46178b78f88a4.tar.bz2 |
validation: Move flush filter stop validation
This gets rid of a cyclic dependency in the specification graph.
Update #3716.
Diffstat (limited to '')
-rw-r--r-- | testsuites/validation/tr-tq-flush-fifo.h | 33 |
1 files changed, 27 insertions, 6 deletions
diff --git a/testsuites/validation/tr-tq-flush-fifo.h b/testsuites/validation/tr-tq-flush-fifo.h index dca1444891..8e05972816 100644 --- a/testsuites/validation/tr-tq-flush-fifo.h +++ b/testsuites/validation/tr-tq-flush-fifo.h @@ -64,14 +64,33 @@ extern "C" { */ typedef enum { - ScoreTqReqFlushFifo_Pre_Queue_Empty, - ScoreTqReqFlushFifo_Pre_Queue_NonEmpty, - ScoreTqReqFlushFifo_Pre_Queue_NA -} ScoreTqReqFlushFifo_Pre_Queue; + ScoreTqReqFlushFifo_Pre_MayStop_Yes, + ScoreTqReqFlushFifo_Pre_MayStop_No, + ScoreTqReqFlushFifo_Pre_MayStop_NA +} ScoreTqReqFlushFifo_Pre_MayStop; + +typedef enum { + ScoreTqReqFlushFifo_Pre_QueueEmpty_Yes, + ScoreTqReqFlushFifo_Pre_QueueEmpty_No, + ScoreTqReqFlushFifo_Pre_QueueEmpty_NA +} ScoreTqReqFlushFifo_Pre_QueueEmpty; + +typedef enum { + ScoreTqReqFlushFifo_Pre_Stop_Yes, + ScoreTqReqFlushFifo_Pre_Stop_No, + ScoreTqReqFlushFifo_Pre_Stop_NA +} ScoreTqReqFlushFifo_Pre_Stop; + +typedef enum { + ScoreTqReqFlushFifo_Pre_WaitState_Blocked, + ScoreTqReqFlushFifo_Pre_WaitState_IntendToBlock, + ScoreTqReqFlushFifo_Pre_WaitState_NA +} ScoreTqReqFlushFifo_Pre_WaitState; typedef enum { ScoreTqReqFlushFifo_Post_Operation_Nop, - ScoreTqReqFlushFifo_Post_Operation_TryExtract, + ScoreTqReqFlushFifo_Post_Operation_ExtractAll, + ScoreTqReqFlushFifo_Post_Operation_ExtractPartial, ScoreTqReqFlushFifo_Post_Operation_NA } ScoreTqReqFlushFifo_Post_Operation; @@ -79,8 +98,10 @@ typedef enum { * @brief Runs the parameterized test case. * * @param[in,out] tq_ctx is the thread queue test context. + * + * @param may_stop is true, if a partial flush is supported. */ -void ScoreTqReqFlushFifo_Run( TQContext *tq_ctx ); +void ScoreTqReqFlushFifo_Run( TQContext *tq_ctx, bool may_stop ); /** @} */ |