summaryrefslogtreecommitdiffstats
path: root/spec/req/rtems/event/val
diff options
context:
space:
mode:
Diffstat (limited to 'spec/req/rtems/event/val')
-rw-r--r--spec/req/rtems/event/val/event-constant.yml391
-rw-r--r--spec/req/rtems/event/val/events.yml96
-rw-r--r--spec/req/rtems/event/val/send-receive.yml66
-rw-r--r--spec/req/rtems/event/val/system-send-receive.yml71
4 files changed, 0 insertions, 624 deletions
diff --git a/spec/req/rtems/event/val/event-constant.yml b/spec/req/rtems/event/val/event-constant.yml
deleted file mode 100644
index d1e0b84e..00000000
--- a/spec/req/rtems/event/val/event-constant.yml
+++ /dev/null
@@ -1,391 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links: []
-test-actions:
-- action: |
- /* No action */
- checks:
- - check: |
- T_step_eq_u32( ${step}, event, ( (rtems_event_set) 1 ) << number );
- description: |
- Check that the event constant is equal to the event number bit in the
- event set.
- links: []
- - check: |
- T_step_eq_u32( ${step}, event & RTEMS_PENDING_EVENTS, 0 );
- description: |
- Check that the event number bit of the event constant is not set in
- RTEMS_PENDING_EVENTS.
- links: []
- description: |
- Validate the event constant.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no pending events.
- links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_system_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no pending events.
- links: []
- description: |
- Get all pending events of the system event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_receive(
- RTEMS_ALL_EVENTS,
- RTEMS_NO_WAIT | RTEMS_EVENT_ANY,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
- Check that the directive call was unsatisfied.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no events received.
- links: []
- description: |
- Receive all pending events of the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_system_receive(
- RTEMS_ALL_EVENTS,
- RTEMS_NO_WAIT | RTEMS_EVENT_ANY,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
- Check that the directive call was unsatisfied.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no events received.
- links: []
- description: |
- Receive all pending events of the system event set of the executing task.
- links: []
-- action: |
- sc = rtems_event_send( RTEMS_SELF, event );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- description: |
- Send the event to the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, event );
- description: |
- Check that the pending event is equal to the event sent by a previous
- action.
- links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_system_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no pending events.
- links: []
- description: |
- Get all pending events of the system event set of the executing task.
- links: []
-- action: |
- out = 0;
- sc = rtems_event_receive(
- RTEMS_ALL_EVENTS,
- RTEMS_NO_WAIT | RTEMS_EVENT_ANY,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, event );
- description: |
- Check that the received event is equal to the event sent by a previous
- action.
- links: []
- description: |
- Receive any event of the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_system_receive(
- RTEMS_ALL_EVENTS,
- RTEMS_NO_WAIT | RTEMS_EVENT_ANY,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
- Check that the directive call was unsatisfied.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that the no events were received.
- links: []
- description: |
- Receive any event of the system event set of the executing task.
- links: []
-- action: |
- sc = rtems_event_system_send( RTEMS_SELF, event );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- description: |
- Send the event to the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no pending events.
- links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_system_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, event );
- description: |
- Check that the pending event is equal to the event sent by a previous
- action.
- links: []
- description: |
- Get all pending events of the system event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_receive(
- RTEMS_ALL_EVENTS,
- RTEMS_NO_WAIT | RTEMS_EVENT_ANY,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
- Check that the directive call was unsatisfied.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that the no events were received.
- links: []
- description: |
- Receive any event of the Classic event set of the executing task.
- links: []
-- action: |
- out = 0;
- sc = rtems_event_system_receive(
- RTEMS_ALL_EVENTS,
- RTEMS_NO_WAIT | RTEMS_EVENT_ANY,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, event );
- description: |
- Check that the received event is equal to the event sent by a previous
- action.
- links: []
- description: |
- Receive any event of the system event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no pending events.
- links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
- links: []
-- action: |
- out = RTEMS_ALL_EVENTS;
- sc = rtems_event_system_receive(
- RTEMS_PENDING_EVENTS,
- RTEMS_DEFAULT_OPTIONS,
- 0,
- &out
- );
- checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
- Check that the directive call was successful.
- links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
- Check that there were no pending events.
- links: []
- description: |
- Get all pending events of the system event set of the executing task.
- links: []
-test-brief: |
- Tests an event constant and number of the Event Manager using the Classic and
- system event sets of the executing task.
-test-description: null
-test-epilogue: null
-test-fixture: null
-test-header:
- code: null
- includes:
- - rtems.h
- local-includes: []
- run-params:
- - description: |
- is the event constant.
- dir: null
- name: event
- specifier: rtems_event_set ${.:name}
- - description: |
- is the event number.
- dir: null
- name: number
- specifier: int ${.:name}
- target: testsuites/validation/tr-event-constant.h
-test-includes:
-- rtems.h
-test-local-includes:
-- tr-event-constant.h
-test-prologue: |
- rtems_status_code sc;
- rtems_event_set out;
-test-support: null
-test-target: testsuites/validation/tr-event-constant.c
-type: test-case
diff --git a/spec/req/rtems/event/val/events.yml b/spec/req/rtems/event/val/events.yml
deleted file mode 100644
index ede39e36..00000000
--- a/spec/req/rtems/event/val/events.yml
+++ /dev/null
@@ -1,96 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links: []
-test-actions:
-- action: |
- for ( i = 0; i < 32; ++i ) {
- ${event-constant:/test-run}( events[ i ], i );
- T_step( (unsigned int) i ); /* ${steps/32} */
- }
- checks: []
- description: |
- Run the event constant and number test for all 32 event constants.
- links: []
-- action: |
- all = 0;
-
- for ( i = 0; i < 32; ++i ) {
- all |= events[ i ];
- }
- checks:
- - check: |
- T_step_eq_u32( ${step}, all, RTEMS_ALL_EVENTS );
- description: |
- Check that the value is equal to RTEMS_ALL_EVENTS.
- links: []
- description: |
- Calculate the value of a bitwise or of all 32 event constants.
- links: []
-- action: |
- /* No action */
- checks:
- - check: |
- T_step_eq_u32( ${step}, RTEMS_EVENT_ALL, 0 );
- description: |
- Check that RTEMS_EVENT_ALL is equal to zero.
- links: []
- - check: |
- T_step_ne_u32( ${step}, RTEMS_EVENT_ANY, 0 );
- T_step_eq_u32( ${step}, RTEMS_EVENT_ANY & ( RTEMS_EVENT_ANY - 1), 0 );
- description: |
- Check that RTEMS_EVENT_ANY is a power of two.
- links: []
- description: |
- Validate the Event Manager directive options.
- links: []
-test-brief: Tests the Event Manager API.
-test-description: null
-test-epilogue: null
-test-fixture: null
-test-header: null
-test-includes:
-- rtems.h
-test-local-includes:
-- tr-event-constant.h
-test-prologue: |
- rtems_event_set all;
- int i;
-test-support: |
- static const rtems_event_set events[] = {
- RTEMS_EVENT_0,
- RTEMS_EVENT_1,
- RTEMS_EVENT_2,
- RTEMS_EVENT_3,
- RTEMS_EVENT_4,
- RTEMS_EVENT_5,
- RTEMS_EVENT_6,
- RTEMS_EVENT_7,
- RTEMS_EVENT_8,
- RTEMS_EVENT_9,
- RTEMS_EVENT_10,
- RTEMS_EVENT_11,
- RTEMS_EVENT_12,
- RTEMS_EVENT_13,
- RTEMS_EVENT_14,
- RTEMS_EVENT_15,
- RTEMS_EVENT_16,
- RTEMS_EVENT_17,
- RTEMS_EVENT_18,
- RTEMS_EVENT_19,
- RTEMS_EVENT_20,
- RTEMS_EVENT_21,
- RTEMS_EVENT_22,
- RTEMS_EVENT_23,
- RTEMS_EVENT_24,
- RTEMS_EVENT_25,
- RTEMS_EVENT_26,
- RTEMS_EVENT_27,
- RTEMS_EVENT_28,
- RTEMS_EVENT_29,
- RTEMS_EVENT_30,
- RTEMS_EVENT_31,
- };
-test-target: testsuites/validation/tc-events.c
-type: test-case
diff --git a/spec/req/rtems/event/val/send-receive.yml b/spec/req/rtems/event/val/send-receive.yml
deleted file mode 100644
index bca154b3..00000000
--- a/spec/req/rtems/event/val/send-receive.yml
+++ /dev/null
@@ -1,66 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links:
-- role: validation
- uid: ../receive
-- role: validation
- uid: ../send
-test-actions:
-- action: |
- ${../send-receive:/test-run}(
- EventSend,
- EventReceive,
- GetPendingEvents,
- THREAD_WAIT_CLASS_EVENT,
- STATES_WAITING_FOR_EVENT
- );
- checks: []
- description: |
- Run the event send and receive tests for the application event set defined
- by ${../send-receive}.
- links: []
-test-brief: |
- Tests the ${/if/rtems/event/send:/name} and ${/if/rtems/event/receive:/name}
- directives.
-test-description: null
-test-epilogue: null
-test-fixture: null
-test-header: null
-test-includes:
-- rtems/rtems/eventimpl.h
-- rtems/rtems/tasksdata.h
-- rtems/score/statesimpl.h
-- rtems/score/threadimpl.h
-test-local-includes:
-- tr-event-send-receive.h
-test-prologue: null
-test-support: |
- static rtems_status_code EventSend(
- rtems_id id,
- rtems_event_set event_in
- )
- {
- return rtems_event_send( id, event_in );
- }
-
- static rtems_status_code EventReceive(
- rtems_id event_in,
- rtems_option option_set,
- rtems_interval ticks,
- rtems_event_set *event_out
- )
- {
- return rtems_event_receive( event_in, option_set, ticks, event_out );
- }
-
- static rtems_event_set GetPendingEvents( Thread_Control *thread )
- {
- RTEMS_API_Control *api;
-
- api = thread->API_Extensions[ THREAD_API_RTEMS ];
- return api->Event.pending_events;
- }
-test-target: testsuites/validation/tc-event-send-receive.c
-type: test-case
diff --git a/spec/req/rtems/event/val/system-send-receive.yml b/spec/req/rtems/event/val/system-send-receive.yml
deleted file mode 100644
index a683f565..00000000
--- a/spec/req/rtems/event/val/system-send-receive.yml
+++ /dev/null
@@ -1,71 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links:
-- role: validation
- uid: ../system-receive
-- role: validation
- uid: ../system-send
-test-actions:
-- action: |
- ${../send-receive:/test-run}(
- EventSystemSend,
- EventSystemReceive,
- GetPendingSystemEvents,
- THREAD_WAIT_CLASS_SYSTEM_EVENT,
- STATES_WAITING_FOR_SYSTEM_EVENT
- );
- checks: []
- description: |
- Run the event send and receive tests for the system event set defined
- by ${../send-receive}.
- links: []
-test-brief: |
- Tests the ${/if/rtems/event/system-send:/name} and
- ${/if/rtems/event/system-receive:/name} directives.
-test-description: null
-test-epilogue: null
-test-fixture: null
-test-header: null
-test-includes:
-- rtems/rtems/eventimpl.h
-- rtems/rtems/tasksdata.h
-- rtems/score/statesimpl.h
-- rtems/score/threadimpl.h
-test-local-includes:
-- tr-event-send-receive.h
-test-prologue: null
-test-support: |
- static rtems_status_code EventSystemSend(
- rtems_id id,
- rtems_event_set event_in
- )
- {
- return rtems_event_system_send( id, event_in );
- }
-
- static rtems_status_code EventSystemReceive(
- rtems_id event_in,
- rtems_option option_set,
- rtems_interval ticks,
- rtems_event_set *event_out
- )
- {
- return rtems_event_system_receive(
- event_in,
- option_set,
- ticks,
- event_out
- );
- }
-
- static rtems_event_set GetPendingSystemEvents( Thread_Control *thread )
- {
- RTEMS_API_Control *api;
-
- api = thread->API_Extensions[ THREAD_API_RTEMS ];
- return api->System_event.pending_events;
- }
-test-target: testsuites/validation/tc-event-send-receive.c
-type: test-case
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-01 08:00:33 +0000