diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-07-21 09:09:37 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-07-21 09:34:01 +0200 |
commit | 6ea50c8684bd7f1284e412f97571e42168f626c7 (patch) | |
tree | a1f74a97cd56bf6e0028d1ddbe997cfa9bae50ea /spec/rtems | |
parent | spec: Fix format (diff) | |
download | rtems-central-6ea50c8684bd7f1284e412f97571e42168f626c7.tar.bz2 |
spec: Remove superfluous ';'
Diffstat (limited to 'spec/rtems')
26 files changed, 62 insertions, 63 deletions
diff --git a/spec/rtems/intr/req/entry-install.yml b/spec/rtems/intr/req/entry-install.yml index c1fa587c..c5639387 100644 --- a/spec/rtems/intr/req/entry-install.yml +++ b/spec/rtems/intr/req/entry-install.yml @@ -418,7 +418,7 @@ test-context: This member provides a counter snapshot for each entry. description: null member: | - uint32_t counter_by_entry[ 3 ]; + uint32_t counter_by_entry[ 3 ] - brief: | This member provides the vector number of a testable interrupt vector. description: null @@ -511,7 +511,7 @@ test-context: parameter value. description: null member: | - rtems_interrupt_entry *entry; + rtems_interrupt_entry *entry - brief: | This member contains the return value of the ${../if/entry-install:/name} call. diff --git a/spec/rtems/intr/req/entry-remove.yml b/spec/rtems/intr/req/entry-remove.yml index 4279ec3c..b7f810f9 100644 --- a/spec/rtems/intr/req/entry-remove.yml +++ b/spec/rtems/intr/req/entry-remove.yml @@ -423,7 +423,7 @@ test-context: This member provides a counter incremented by EntryRoutine(). description: null member: | - uint32_t entry_counter; + uint32_t entry_counter - brief: | This member provides another ${../if/entry:/name} object. description: null @@ -525,7 +525,7 @@ test-context: parameter value. description: null member: | - rtems_interrupt_entry *entry; + rtems_interrupt_entry *entry - brief: | This member contains the return value of the ${../if/entry-remove:/name} call. diff --git a/spec/rtems/intr/req/get-affinity.yml b/spec/rtems/intr/req/get-affinity.yml index 8a52dff4..57b3ac6d 100644 --- a/spec/rtems/intr/req/get-affinity.yml +++ b/spec/rtems/intr/req/get-affinity.yml @@ -239,7 +239,7 @@ test-context: ${../if/get-affinity:/params[2]/name} parameter. description: null member: | - cpu_set_t cpuset_obj[ 2 ]; + cpu_set_t cpuset_obj[ 2 ] - brief: | This member contains the return value of the ${../if/get-affinity:/name} call. diff --git a/spec/rtems/intr/req/get-attributes.yml b/spec/rtems/intr/req/get-attributes.yml index a1c193d0..9e99a273 100644 --- a/spec/rtems/intr/req/get-attributes.yml +++ b/spec/rtems/intr/req/get-attributes.yml @@ -153,7 +153,7 @@ test-context: parameter value. description: null member: | - rtems_interrupt_attributes *attributes; + rtems_interrupt_attributes *attributes - brief: | This member contains the return value of the ${../if/get-attributes:/name} call. diff --git a/spec/rtems/intr/req/is-pending.yml b/spec/rtems/intr/req/is-pending.yml index 0ef55b2b..6e42827f 100644 --- a/spec/rtems/intr/req/is-pending.yml +++ b/spec/rtems/intr/req/is-pending.yml @@ -181,7 +181,7 @@ test-context: parameter value. description: null member: | - bool *pending; + bool *pending - brief: | This member contains the return value of the ${../if/is-pending:/name} call. diff --git a/spec/rtems/intr/req/vector-is-enabled.yml b/spec/rtems/intr/req/vector-is-enabled.yml index 54af6237..3c0b69fa 100644 --- a/spec/rtems/intr/req/vector-is-enabled.yml +++ b/spec/rtems/intr/req/vector-is-enabled.yml @@ -188,7 +188,7 @@ test-context: parameter value. description: null member: | - bool *enabled; + bool *enabled - brief: | This member contains the return value of the ${../if/vector-is-enabled:/name} call. diff --git a/spec/rtems/malloc/req/calloc.yml b/spec/rtems/malloc/req/calloc.yml index 6a2bcb53..ddff4844 100644 --- a/spec/rtems/malloc/req/calloc.yml +++ b/spec/rtems/malloc/req/calloc.yml @@ -121,7 +121,7 @@ test-context: This member provides a memory support context. description: null member: | - MemoryContext mem_ctx; + MemoryContext mem_ctx - brief: | This member contains the return value of the ${../if/calloc:/name} call. description: null diff --git a/spec/rtems/malloc/req/malloc.yml b/spec/rtems/malloc/req/malloc.yml index 82ae500a..742009fd 100644 --- a/spec/rtems/malloc/req/malloc.yml +++ b/spec/rtems/malloc/req/malloc.yml @@ -90,7 +90,7 @@ test-context: This member provides a memory support context. description: null member: | - MemoryContext mem_ctx; + MemoryContext mem_ctx - brief: | This member contains the return value of the ${../if/malloc:/name} call. description: null diff --git a/spec/rtems/message/req/receive.yml b/spec/rtems/message/req/receive.yml index af1491bb..ca95d9e6 100644 --- a/spec/rtems/message/req/receive.yml +++ b/spec/rtems/message/req/receive.yml @@ -243,7 +243,7 @@ pre-conditions: - name: TaskQueue states: - name: Fifo - test-code: | + test-code: | ctx->attribute_set = RTEMS_LOCAL | RTEMS_FIFO; text: | While the member ${../if/config:/definition[6]/default/name} of type @@ -373,7 +373,7 @@ test-context: description: | It is used for run-time type checking. member: | - uint32_t magic; + uint32_t magic - brief: | This member contains a number which is sent as next message. description: null diff --git a/spec/rtems/message/req/urgent-send.yml b/spec/rtems/message/req/urgent-send.yml index 1805fd26..ed4dc5ab 100644 --- a/spec/rtems/message/req/urgent-send.yml +++ b/spec/rtems/message/req/urgent-send.yml @@ -274,7 +274,7 @@ test-action: | } test-brief: null test-cleanup: | - T_rsc_success( rtems_message_queue_delete( ctx->message_queue_id ) ); + T_rsc_success( rtems_message_queue_delete( ctx->message_queue_id ) ); test-context: - brief: | This member contains a valid ${/glossary/id:/term} of a @@ -294,7 +294,7 @@ test-context: description: | It is used for run-time type checking. member: | - uint32_t magic; + uint32_t magic - brief: | This member contains a number which is sent as next message. description: null @@ -331,7 +331,7 @@ test-context: This member specifies the directive to be called as action. description: | This is either ${../if/send:/name} or ${../if/urgent:/name}. - member: + member: | rtems_status_code (*action)( rtems_id id, const void *buffer, size_t size ) - brief: | This member specifies the ${../if/send:/params[0]/name} parameter @@ -578,7 +578,6 @@ test-support: | T_rsc_success( status ); ++ctx->send_msg_counter; } - test-target: testsuites/validation/tc-message-urgent-send.c test-teardown: brief: null diff --git a/spec/rtems/scheduler/req/add-processor.yml b/spec/rtems/scheduler/req/add-processor.yml index 73e13fd5..f655f047 100644 --- a/spec/rtems/scheduler/req/add-processor.yml +++ b/spec/rtems/scheduler/req/add-processor.yml @@ -257,18 +257,18 @@ test-context: ${../if/add-processor:/name} call is prepared. description: null member: | - bool online; + bool online - brief: | If this member is true, then the processor should be added to the scheduler B during cleanup. description: null member: | - bool add_cpu_to_scheduler_b; + bool add_cpu_to_scheduler_b - brief: | This member provides the scheduler operation records. description: null member: | - T_scheduler_log_2 scheduler_log; + T_scheduler_log_2 scheduler_log - brief: | This member contains the return value of the ${../if/add-processor:/name} call. diff --git a/spec/rtems/scheduler/req/remove-processor.yml b/spec/rtems/scheduler/req/remove-processor.yml index 58993b53..f5d3d9a2 100644 --- a/spec/rtems/scheduler/req/remove-processor.yml +++ b/spec/rtems/scheduler/req/remove-processor.yml @@ -388,12 +388,12 @@ test-context: This member contains the worker busy status. description: null member: | - volatile bool busy[ WORKER_COUNT ]; + volatile bool busy[ WORKER_COUNT ] - brief: | This member contains the worker busy status. description: null member: | - volatile uint32_t busy_counter[ WORKER_COUNT ]; + volatile uint32_t busy_counter[ WORKER_COUNT ] - brief: | This member contains the barrier to synchronize the runner and the workers. description: null @@ -403,7 +403,7 @@ test-context: This member contains the call within ISR request. description: null member: | - CallWithinISRRequest request; + CallWithinISRRequest request - brief: | This member provides the context to wrap thread queue operations. description: null @@ -455,7 +455,7 @@ test-context: This member provides the scheduler operation records. description: null member: | - T_scheduler_log_4 scheduler_log; + T_scheduler_log_4 scheduler_log - brief: | This member contains the return value of the ${../if/remove-processor:/name} call. diff --git a/spec/rtems/sem/req/create.yml b/spec/rtems/sem/req/create.yml index 307a47b2..7e033473 100644 --- a/spec/rtems/sem/req/create.yml +++ b/spec/rtems/sem/req/create.yml @@ -427,23 +427,23 @@ test-context: - brief: null description: null member: | - Semaphore_Variant variant; + Semaphore_Variant variant - brief: null description: null member: | - Semaphore_Discipline discipline; + Semaphore_Discipline discipline - brief: null description: null member: | - uint32_t sem_count; + uint32_t sem_count - brief: null description: null member: | - Thread_Control *executing; + Thread_Control *executing - brief: null description: null member: | - Thread_Control *owner; + Thread_Control *owner - brief: null description: null member: | diff --git a/spec/rtems/sem/req/flush.yml b/spec/rtems/sem/req/flush.yml index 4194b929..4d013d46 100644 --- a/spec/rtems/sem/req/flush.yml +++ b/spec/rtems/sem/req/flush.yml @@ -164,7 +164,7 @@ test-action: | ); T_rsc_success( sc ); test-brief: null -test-cleanup: +test-cleanup: | rtems_status_code sc; sc = rtems_semaphore_delete( ctx->tq_ctx.thread_queue_id ); @@ -174,7 +174,7 @@ test-context: This member contains the thread queue test context. description: null member: | - TQContext tq_ctx; + TQContext tq_ctx - brief: | This member specifies if the attribute set of the semaphore. description: null diff --git a/spec/rtems/sem/req/timeout.yml b/spec/rtems/sem/req/timeout.yml index fa2d9250..5f7ca768 100644 --- a/spec/rtems/sem/req/timeout.yml +++ b/spec/rtems/sem/req/timeout.yml @@ -118,7 +118,7 @@ test-action: | ); T_rsc_success( sc ); test-brief: null -test-cleanup: +test-cleanup: | if ( ctx->tq_ctx.thread_queue_id != 0 ) { rtems_status_code sc; @@ -130,7 +130,7 @@ test-context: This member contains the thread queue test context. description: null member: | - TQContext tq_ctx; + TQContext tq_ctx - brief: | This member specifies if the attribute set of the semaphore. description: null diff --git a/spec/rtems/sem/val/smp.yml b/spec/rtems/sem/val/smp.yml index cc8a887f..624350df 100644 --- a/spec/rtems/sem/val/smp.yml +++ b/spec/rtems/sem/val/smp.yml @@ -234,12 +234,12 @@ test-context: This member contains the mutex identifier. description: null member: | - rtems_id mutex_id; + rtems_id mutex_id - brief: | This member contains the second mutex identifier. description: null member: | - rtems_id mutex_2_id; + rtems_id mutex_2_id - brief: | If this member is true, then the worker is done. description: null diff --git a/spec/rtems/signal/req/send.yml b/spec/rtems/signal/req/send.yml index 10a1e97a..06b6fa58 100644 --- a/spec/rtems/signal/req/send.yml +++ b/spec/rtems/signal/req/send.yml @@ -273,11 +273,11 @@ test-context: - brief: null description: null member: | - uintptr_t stack_pointers[ 2 ]; + uintptr_t stack_pointers[ 2 ] - brief: null description: null member: | - rtems_mode mode; + rtems_mode mode - brief: null description: null member: | diff --git a/spec/rtems/task/req/construct.yml b/spec/rtems/task/req/construct.yml index 6ee7480a..e5e1e4ab 100644 --- a/spec/rtems/task/req/construct.yml +++ b/spec/rtems/task/req/construct.yml @@ -557,7 +557,7 @@ test-context: If this member is true, then the zombie thread is ready to get killed. description: null member: | - volatile bool zombie_ready; + volatile bool zombie_ready - brief: | This member contains the actual modes of the constructed task. description: null diff --git a/spec/rtems/task/req/delete.yml b/spec/rtems/task/req/delete.yml index adae9793..e4560b28 100644 --- a/spec/rtems/task/req/delete.yml +++ b/spec/rtems/task/req/delete.yml @@ -488,7 +488,7 @@ test-context: This member provides a jump context to resume a thread dispatch. description: null member: | - jmp_buf thread_dispatch_context; + jmp_buf thread_dispatch_context - brief: | This member contains the identifier of the runner scheduler. description: null @@ -536,13 +536,13 @@ test-context: ${../if/delete:/name} call. description: null member: | - TaskTimerInfo worker_timer_info; + TaskTimerInfo worker_timer_info - brief: | This member contains the worker thread queue at the end of the ${../if/delete:/name} call. description: null member: | - const Thread_queue_Queue *worker_wait_queue; + const Thread_queue_Queue *worker_wait_queue - brief: | This member contains the worker thread life state at the end of the ${../if/delete:/name} call. @@ -584,12 +584,12 @@ test-context: This member contains extension calls. description: null member: | - ExtensionCalls calls; + ExtensionCalls calls - brief: | This member contains extension calls after the ${../if/delete:/name} call. description: null member: | - ExtensionCalls calls_after_restart; + ExtensionCalls calls_after_restart - brief: | This member contains the delete counter. description: null diff --git a/spec/rtems/task/req/restart.yml b/spec/rtems/task/req/restart.yml index 7e3ae5d4..1555e29a 100644 --- a/spec/rtems/task/req/restart.yml +++ b/spec/rtems/task/req/restart.yml @@ -669,7 +669,7 @@ test-context: This member provides a jump context to resume a thread dispatch. description: null member: | - jmp_buf thread_dispatch_context; + jmp_buf thread_dispatch_context - brief: | This member provides the context to wrap thread queue operations. description: null @@ -737,12 +737,12 @@ test-context: This member contains extension calls. description: null member: | - ExtensionCalls calls; + ExtensionCalls calls - brief: | This member contains extension calls after the ${../if/restart:/name} call. description: null member: | - ExtensionCalls calls_after_restart; + ExtensionCalls calls_after_restart - brief: | This member contains the actual argument passed to the entry point. description: null diff --git a/spec/rtems/task/req/set-affinity.yml b/spec/rtems/task/req/set-affinity.yml index 82f80893..df07cf5f 100644 --- a/spec/rtems/task/req/set-affinity.yml +++ b/spec/rtems/task/req/set-affinity.yml @@ -211,7 +211,7 @@ test-context: This member provides the scheduler operation records. description: null member: | - T_scheduler_log_2 scheduler_log; + T_scheduler_log_2 scheduler_log - brief: | This member provides the object referenced by the ${../if/set-affinity:/params[2]/name} parameter. diff --git a/spec/rtems/task/req/set-scheduler.yml b/spec/rtems/task/req/set-scheduler.yml index f149e418..5767c119 100644 --- a/spec/rtems/task/req/set-scheduler.yml +++ b/spec/rtems/task/req/set-scheduler.yml @@ -503,7 +503,7 @@ test-context: This member contains the identifier of the new scheduler. description: null member: | - rtems_id new_scheduler; + rtems_id new_scheduler - brief: | This member contains the new priorities of the task. description: null diff --git a/spec/rtems/task/req/wake-after.yml b/spec/rtems/task/req/wake-after.yml index ec8ffc4d..4124f4d9 100644 --- a/spec/rtems/task/req/wake-after.yml +++ b/spec/rtems/task/req/wake-after.yml @@ -127,29 +127,29 @@ test-context: This member provides the scheduler operation records. description: null member: | - T_scheduler_log_4 scheduler_log; + T_scheduler_log_4 scheduler_log - brief: | This member contains the ${/glossary/clock-tick:/term} value before the ${../if/wake-after:/name} call. description: null member: | - uint64_t now; + uint64_t now - brief: | This member contains the worker task identifier. description: null member: | - rtems_id worker_id; + rtems_id worker_id - brief: | If this member is true, then the worker shall be suspended during the ${../if/wake-after:/name} call. description: null member: | - bool suspended; + bool suspended - brief: | This member contains the timer information of the worker task. description: null member: | - TaskTimerInfo timer_info; + TaskTimerInfo timer_info - brief: | This member contains the return value of the ${../if/wake-after:/name} call. diff --git a/spec/rtems/task/req/wake-when.yml b/spec/rtems/task/req/wake-when.yml index 91ae4709..e5c5253e 100644 --- a/spec/rtems/task/req/wake-when.yml +++ b/spec/rtems/task/req/wake-when.yml @@ -155,23 +155,23 @@ test-context: This member provides the scheduler operation records. description: null member: | - T_scheduler_log_4 scheduler_log; + T_scheduler_log_4 scheduler_log - brief: | This member contains the CLOCK_REALTIME value before the ${../if/wake-when:/name} call. description: null member: | - struct timespec now; + struct timespec now - brief: | This member contains the worker task identifier. description: null member: | - rtems_id worker_id; + rtems_id worker_id - brief: | This member contains the timer information of the worker task. description: null member: | - TaskTimerInfo timer_info; + TaskTimerInfo timer_info - brief: | This member provides the object referenced by the ${../if/wake-when:/params[0]/name} parameter. diff --git a/spec/rtems/timer/req/reset.yml b/spec/rtems/timer/req/reset.yml index 909f71f8..2ce67864 100644 --- a/spec/rtems/timer/req/reset.yml +++ b/spec/rtems/timer/req/reset.yml @@ -57,8 +57,8 @@ post-conditions: See also ${../glossary/nop:/term}. test-epilogue: null test-prologue: | - Timer_Classes class; - class = GetTimerClass( ctx->timer_id ); + Timer_Classes class; + class = GetTimerClass( ctx->timer_id ); - name: Clock states: - name: None @@ -88,8 +88,8 @@ post-conditions: accessed by the ${../if/reset:/name} call. test-epilogue: null test-prologue: | - Timer_Classes class; - class = GetTimerClass( ctx->timer_id ); + Timer_Classes class; + class = GetTimerClass( ctx->timer_id ); - name: State states: - name: Scheduled @@ -388,7 +388,7 @@ test-context: in the next call to the ${../glossary/timerserviceroutine:/term}. description: null member: | - void **scheduled_user_data; + void **scheduled_user_data - brief: | This member contains 1 if the ${../glossary/timerserviceroutine:/term} "A" has been ${../glossary/scheduled:/term} otherwise 0. diff --git a/spec/rtems/userext/req/create.yml b/spec/rtems/userext/req/create.yml index bfac495e..f3143c36 100644 --- a/spec/rtems/userext/req/create.yml +++ b/spec/rtems/userext/req/create.yml @@ -178,7 +178,7 @@ test-context: - brief: null description: null member: | - rtems_extensions_table table_variable; + rtems_extensions_table table_variable - brief: null description: null member: | @@ -190,7 +190,7 @@ test-context: - brief: null description: null member: | - rtems_extensions_table *table; + rtems_extensions_table *table - brief: null description: null member: | |