From c01aa1f57642d2381045d9a890c1a22529503c2b Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 15 Mar 2023 16:21:33 +0100 Subject: validation: Fix Doxygen groups of model tests --- testsuites/validation/tc-event-mgr-model.c | 40 +------------------------- testsuites/validation/tr-chains-api-model-0.c | 8 ++++++ testsuites/validation/tr-chains-api-model-1.c | 8 ++++++ testsuites/validation/tr-chains-api-model-10.c | 8 ++++++ testsuites/validation/tr-chains-api-model-11.c | 8 ++++++ testsuites/validation/tr-chains-api-model-12.c | 8 ++++++ testsuites/validation/tr-chains-api-model-13.c | 8 ++++++ testsuites/validation/tr-chains-api-model-14.c | 8 ++++++ testsuites/validation/tr-chains-api-model-15.c | 8 ++++++ testsuites/validation/tr-chains-api-model-16.c | 8 ++++++ testsuites/validation/tr-chains-api-model-17.c | 8 ++++++ testsuites/validation/tr-chains-api-model-18.c | 8 ++++++ testsuites/validation/tr-chains-api-model-19.c | 8 ++++++ testsuites/validation/tr-chains-api-model-2.c | 8 ++++++ testsuites/validation/tr-chains-api-model-20.c | 8 ++++++ testsuites/validation/tr-chains-api-model-3.c | 8 ++++++ testsuites/validation/tr-chains-api-model-4.c | 8 ++++++ testsuites/validation/tr-chains-api-model-5.c | 8 ++++++ testsuites/validation/tr-chains-api-model-6.c | 8 ++++++ testsuites/validation/tr-chains-api-model-7.c | 8 ++++++ testsuites/validation/tr-chains-api-model-8.c | 8 ++++++ testsuites/validation/tr-chains-api-model-9.c | 8 ++++++ testsuites/validation/tr-chains-api-model.c | 8 ++++++ testsuites/validation/tr-chains-api-model.h | 8 ++++++ testsuites/validation/tr-event-mgr-model-0.c | 4 ++- testsuites/validation/tr-event-mgr-model-1.c | 4 ++- testsuites/validation/tr-event-mgr-model-2.c | 4 ++- testsuites/validation/tr-event-mgr-model-3.c | 4 ++- testsuites/validation/tr-event-mgr-model-4.c | 4 ++- testsuites/validation/tr-event-mgr-model-5.c | 4 ++- testsuites/validation/tr-event-mgr-model-6.c | 4 ++- testsuites/validation/tr-event-mgr-model-7.c | 4 ++- testsuites/validation/tr-event-mgr-model-8.c | 4 ++- testsuites/validation/tr-event-mgr-model.c | 4 ++- testsuites/validation/tr-event-mgr-model.h | 4 +++ 35 files changed, 219 insertions(+), 49 deletions(-) diff --git a/testsuites/validation/tc-event-mgr-model.c b/testsuites/validation/tc-event-mgr-model.c index def21c612c..22a4933149 100644 --- a/testsuites/validation/tc-event-mgr-model.c +++ b/testsuites/validation/tc-event-mgr-model.c @@ -3,8 +3,7 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsEventValSendReceive - * @ingroup RTEMSTestCaseRtemsEventValSystemSendReceive + * @ingroup TestsuitesModel0 */ /* @@ -59,22 +58,6 @@ #include -/** - * @defgroup RTEMSTestCaseRtemsEventValSendReceive \ - * spec:/rtems/event/val/send-receive - * - * @ingroup RTEMSTestSuiteTestsuitesValidation0 - * - * @brief Tests the rtems_event_send and rtems_event_receive directives. - * - * This test case performs the following actions: - * - * - Run the event send and receive tests for the application event set defined - * by /rtems/event/req/send-receive. - * - * @{ - */ - static rtems_status_code EventSend( rtems_id id, rtems_event_set event_in @@ -203,25 +186,6 @@ T_TEST_CASE( RtemsModelEventsMgr8 ) ); } -/** @} */ - -/** - * @defgroup RTEMSTestCaseRtemsEventValSystemSendReceive \ - * spec:/rtems/event/val/system-send-receive - * - * @ingroup RTEMSTestSuiteTestsuitesValidation0 - * - * @brief Tests the rtems_event_system_send and rtems_event_system_receive - * directives. - * - * This test case performs the following actions: - * - * - Run the event send and receive tests for the system event set defined by - * /rtems/event/req/send-receive. - * - * @{ - */ - static rtems_status_code EventSystemSend( rtems_id id, rtems_event_set event_in @@ -354,5 +318,3 @@ T_TEST_CASE( RtemsModelSystemEventsMgr8 ) STATES_WAITING_FOR_SYSTEM_EVENT ); } - -/** @} */ diff --git a/testsuites/validation/tr-chains-api-model-0.c b/testsuites/validation/tr-chains-api-model-0.c index 4b91a04637..fac9a20de1 100644 --- a/testsuites/validation/tr-chains-api-model-0.c +++ b/testsuites/validation/tr-chains-api-model-0.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-1.c b/testsuites/validation/tr-chains-api-model-1.c index b3cf2945bd..30255f191c 100644 --- a/testsuites/validation/tr-chains-api-model-1.c +++ b/testsuites/validation/tr-chains-api-model-1.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-10.c b/testsuites/validation/tr-chains-api-model-10.c index 06743dabfe..fbf31c296c 100644 --- a/testsuites/validation/tr-chains-api-model-10.c +++ b/testsuites/validation/tr-chains-api-model-10.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-11.c b/testsuites/validation/tr-chains-api-model-11.c index 37d28daafa..2e1f9cdf27 100644 --- a/testsuites/validation/tr-chains-api-model-11.c +++ b/testsuites/validation/tr-chains-api-model-11.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-12.c b/testsuites/validation/tr-chains-api-model-12.c index d859955235..877cc37b92 100644 --- a/testsuites/validation/tr-chains-api-model-12.c +++ b/testsuites/validation/tr-chains-api-model-12.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-13.c b/testsuites/validation/tr-chains-api-model-13.c index 325baac2cd..dd8c881c10 100644 --- a/testsuites/validation/tr-chains-api-model-13.c +++ b/testsuites/validation/tr-chains-api-model-13.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-14.c b/testsuites/validation/tr-chains-api-model-14.c index 51d20620a1..e616775ce0 100644 --- a/testsuites/validation/tr-chains-api-model-14.c +++ b/testsuites/validation/tr-chains-api-model-14.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-15.c b/testsuites/validation/tr-chains-api-model-15.c index 1ca6cd80d7..affe0ac2e6 100644 --- a/testsuites/validation/tr-chains-api-model-15.c +++ b/testsuites/validation/tr-chains-api-model-15.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-16.c b/testsuites/validation/tr-chains-api-model-16.c index a6158a884e..6b75c62b6d 100644 --- a/testsuites/validation/tr-chains-api-model-16.c +++ b/testsuites/validation/tr-chains-api-model-16.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-17.c b/testsuites/validation/tr-chains-api-model-17.c index bed84d8051..9b83d11f35 100644 --- a/testsuites/validation/tr-chains-api-model-17.c +++ b/testsuites/validation/tr-chains-api-model-17.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-18.c b/testsuites/validation/tr-chains-api-model-18.c index 1d9c6cf0b4..5e013e75c6 100644 --- a/testsuites/validation/tr-chains-api-model-18.c +++ b/testsuites/validation/tr-chains-api-model-18.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-19.c b/testsuites/validation/tr-chains-api-model-19.c index 1e260041f1..615e8b4c77 100644 --- a/testsuites/validation/tr-chains-api-model-19.c +++ b/testsuites/validation/tr-chains-api-model-19.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-2.c b/testsuites/validation/tr-chains-api-model-2.c index ce2eec0edd..8928857876 100644 --- a/testsuites/validation/tr-chains-api-model-2.c +++ b/testsuites/validation/tr-chains-api-model-2.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-20.c b/testsuites/validation/tr-chains-api-model-20.c index 8c290026d6..a523c6c8e9 100644 --- a/testsuites/validation/tr-chains-api-model-20.c +++ b/testsuites/validation/tr-chains-api-model-20.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-3.c b/testsuites/validation/tr-chains-api-model-3.c index ed87860371..26ca19067d 100644 --- a/testsuites/validation/tr-chains-api-model-3.c +++ b/testsuites/validation/tr-chains-api-model-3.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-4.c b/testsuites/validation/tr-chains-api-model-4.c index 4a01ecf53c..e03d3ad9c1 100644 --- a/testsuites/validation/tr-chains-api-model-4.c +++ b/testsuites/validation/tr-chains-api-model-4.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-5.c b/testsuites/validation/tr-chains-api-model-5.c index b54a84a9ef..a70f18f9a3 100644 --- a/testsuites/validation/tr-chains-api-model-5.c +++ b/testsuites/validation/tr-chains-api-model-5.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-6.c b/testsuites/validation/tr-chains-api-model-6.c index 94a7a0f632..b452c555aa 100644 --- a/testsuites/validation/tr-chains-api-model-6.c +++ b/testsuites/validation/tr-chains-api-model-6.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-7.c b/testsuites/validation/tr-chains-api-model-7.c index dcae640049..6812f02fe9 100644 --- a/testsuites/validation/tr-chains-api-model-7.c +++ b/testsuites/validation/tr-chains-api-model-7.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-8.c b/testsuites/validation/tr-chains-api-model-8.c index eab1761120..4455b80247 100644 --- a/testsuites/validation/tr-chains-api-model-8.c +++ b/testsuites/validation/tr-chains-api-model-8.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model-9.c b/testsuites/validation/tr-chains-api-model-9.c index 918b8fc1dd..c8c38215ff 100644 --- a/testsuites/validation/tr-chains-api-model-9.c +++ b/testsuites/validation/tr-chains-api-model-9.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model.c b/testsuites/validation/tr-chains-api-model.c index c804ca0714..f362083833 100644 --- a/testsuites/validation/tr-chains-api-model.c +++ b/testsuites/validation/tr-chains-api-model.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-chains-api-model.h b/testsuites/validation/tr-chains-api-model.h index bcf81e8963..38610df68d 100644 --- a/testsuites/validation/tr-chains-api-model.h +++ b/testsuites/validation/tr-chains-api-model.h @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * diff --git a/testsuites/validation/tr-event-mgr-model-0.c b/testsuites/validation/tr-event-mgr-model-0.c index 0aef758ab2..2aa05dfd2b 100644 --- a/testsuites/validation/tr-event-mgr-model-0.c +++ b/testsuites/validation/tr-event-mgr-model-0.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-1.c b/testsuites/validation/tr-event-mgr-model-1.c index d858005398..c083a20d4d 100644 --- a/testsuites/validation/tr-event-mgr-model-1.c +++ b/testsuites/validation/tr-event-mgr-model-1.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-2.c b/testsuites/validation/tr-event-mgr-model-2.c index bb8e2dcc34..7be3578052 100644 --- a/testsuites/validation/tr-event-mgr-model-2.c +++ b/testsuites/validation/tr-event-mgr-model-2.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-3.c b/testsuites/validation/tr-event-mgr-model-3.c index 4cc9dc8447..df0f3b884c 100644 --- a/testsuites/validation/tr-event-mgr-model-3.c +++ b/testsuites/validation/tr-event-mgr-model-3.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-4.c b/testsuites/validation/tr-event-mgr-model-4.c index c4401d698d..a48974471f 100644 --- a/testsuites/validation/tr-event-mgr-model-4.c +++ b/testsuites/validation/tr-event-mgr-model-4.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-5.c b/testsuites/validation/tr-event-mgr-model-5.c index 51bcd98564..49851f4f61 100644 --- a/testsuites/validation/tr-event-mgr-model-5.c +++ b/testsuites/validation/tr-event-mgr-model-5.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-6.c b/testsuites/validation/tr-event-mgr-model-6.c index 5d2fee7363..09279a2952 100644 --- a/testsuites/validation/tr-event-mgr-model-6.c +++ b/testsuites/validation/tr-event-mgr-model-6.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-7.c b/testsuites/validation/tr-event-mgr-model-7.c index f38f01698b..743737ca45 100644 --- a/testsuites/validation/tr-event-mgr-model-7.c +++ b/testsuites/validation/tr-event-mgr-model-7.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model-8.c b/testsuites/validation/tr-event-mgr-model-8.c index 9c3b53c673..f60c15ffd0 100644 --- a/testsuites/validation/tr-event-mgr-model-8.c +++ b/testsuites/validation/tr-event-mgr-model-8.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model.c b/testsuites/validation/tr-event-mgr-model.c index a3884ce1cd..cc4fc48c53 100644 --- a/testsuites/validation/tr-event-mgr-model.c +++ b/testsuites/validation/tr-event-mgr-model.c @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* diff --git a/testsuites/validation/tr-event-mgr-model.h b/testsuites/validation/tr-event-mgr-model.h index 7e05f6953c..927e2592bd 100644 --- a/testsuites/validation/tr-event-mgr-model.h +++ b/testsuites/validation/tr-event-mgr-model.h @@ -2,6 +2,10 @@ /** * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* -- cgit v1.2.3