diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-09 16:05:09 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-03-24 11:10:48 +0100 |
commit | a6b4a3b07cb83f13dc83cbf2f0832f80b3dc2d5c (patch) | |
tree | 1da56dd59b09e63277ec4d5eb5aabc80997f26b1 /testsuites/validation/tr-sem-surrender.h | |
parent | validation: Test thread queues (diff) | |
download | rtems-a6b4a3b07cb83f13dc83cbf2f0832f80b3dc2d5c.tar.bz2 |
validation: Test semaphore operations
The test source code is generated from specification items
by the "./spec2modules.py" script contained in the
git://git.rtems.org/rtems-central.git Git repository.
Please read the "How-To" section in the "Software Requirements Engineering"
chapter of the RTEMS Software Engineering manual to get more information about
the process.
Update #3716.
Diffstat (limited to 'testsuites/validation/tr-sem-surrender.h')
-rw-r--r-- | testsuites/validation/tr-sem-surrender.h | 118 |
1 files changed, 118 insertions, 0 deletions
diff --git a/testsuites/validation/tr-sem-surrender.h b/testsuites/validation/tr-sem-surrender.h new file mode 100644 index 0000000000..06ab4c20c1 --- /dev/null +++ b/testsuites/validation/tr-sem-surrender.h @@ -0,0 +1,118 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup RTEMSTestCaseScoreSemReqSurrender + */ + +/* + * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +/* + * This file is part of the RTEMS quality process and was automatically + * generated. If you find something that needs to be fixed or + * worded better please post a report or patch to an RTEMS mailing list + * or raise a bug report: + * + * https://www.rtems.org/bugs.html + * + * For information on updating and regenerating please refer to the How-To + * section in the Software Requirements Engineering chapter of the + * RTEMS Software Engineering manual. The manual is provided as a part of + * a release. For development sources please refer to the online + * documentation at: + * + * https://docs.rtems.org + */ + +#ifndef _TR_SEM_SURRENDER_H +#define _TR_SEM_SURRENDER_H + +#include "tx-thread-queue.h" + +#ifdef __cplusplus +extern "C" { +#endif + +/** + * @addtogroup RTEMSTestCaseScoreSemReqSurrender + * + * @{ + */ + +typedef enum { + ScoreSemReqSurrender_Pre_Variant_Binary, + ScoreSemReqSurrender_Pre_Variant_Counting, + ScoreSemReqSurrender_Pre_Variant_NA +} ScoreSemReqSurrender_Pre_Variant; + +typedef enum { + ScoreSemReqSurrender_Pre_Discipline_FIFO, + ScoreSemReqSurrender_Pre_Discipline_Priority, + ScoreSemReqSurrender_Pre_Discipline_NA +} ScoreSemReqSurrender_Pre_Discipline; + +typedef enum { + ScoreSemReqSurrender_Pre_Count_LessMax, + ScoreSemReqSurrender_Pre_Count_Max, + ScoreSemReqSurrender_Pre_Count_Blocked, + ScoreSemReqSurrender_Pre_Count_NA +} ScoreSemReqSurrender_Pre_Count; + +typedef enum { + ScoreSemReqSurrender_Post_Status_Ok, + ScoreSemReqSurrender_Post_Status_MaxCountExceeded, + ScoreSemReqSurrender_Post_Status_NA +} ScoreSemReqSurrender_Post_Status; + +typedef enum { + ScoreSemReqSurrender_Post_Surrender_FIFO, + ScoreSemReqSurrender_Post_Surrender_Priority, + ScoreSemReqSurrender_Post_Surrender_NA +} ScoreSemReqSurrender_Post_Surrender; + +typedef enum { + ScoreSemReqSurrender_Post_Count_Zero, + ScoreSemReqSurrender_Post_Count_One, + ScoreSemReqSurrender_Post_Count_PlusOne, + ScoreSemReqSurrender_Post_Count_Nop, + ScoreSemReqSurrender_Post_Count_NA +} ScoreSemReqSurrender_Post_Count; + +/** + * @brief Runs the parameterized test case. + * + * @param[in,out] tq_ctx is the thread queue context. + */ +void ScoreSemReqSurrender_Run( TQSemContext *tq_ctx ); + +/** @} */ + +#ifdef __cplusplus +} +#endif + +#endif /* _TR_SEM_SURRENDER_H */ |