summaryrefslogtreecommitdiffstats
path: root/spec/rtems/event/val
diff options
context:
space:
mode:
Diffstat (limited to 'spec/rtems/event/val')
-rw-r--r--spec/rtems/event/val/event-constant.yml296
-rw-r--r--spec/rtems/event/val/events.yml36
-rw-r--r--spec/rtems/event/val/send-receive.yml8
-rw-r--r--spec/rtems/event/val/system-send-receive.yml8
4 files changed, 174 insertions, 174 deletions
diff --git a/spec/rtems/event/val/event-constant.yml b/spec/rtems/event/val/event-constant.yml
index 1b76d81e..7b1e3b2a 100644
--- a/spec/rtems/event/val/event-constant.yml
+++ b/spec/rtems/event/val/event-constant.yml
@@ -4,29 +4,31 @@ copyrights:
enabled-by: true
links: []
test-actions:
-- action: |
+- action-brief: |
+ Validate the event constant.
+ action-code: |
/* No action */
checks:
- - check: |
+ - brief: |
+ Check that the event constant is equal to the event number bit in the
+ event set.
+ code: |
T_step_eq_u32(
${step},
ctx->event,
( (rtems_event_set) 1 ) << ctx->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}, ctx->event & RTEMS_PENDING_EVENTS, 0 );
- description: |
+ - brief: |
Check that the event number bit of the event constant is not set in
RTEMS_PENDING_EVENTS.
+ code: |
+ T_step_eq_u32( ${step}, ctx->event & RTEMS_PENDING_EVENTS, 0 );
links: []
- description: |
- Validate the event constant.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -38,20 +40,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no pending events.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -63,20 +65,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no pending events.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Get all pending events of the system event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Receive all pending events of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -88,20 +90,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
+ - brief: |
Check that the directive call was unsatisfied.
+ code: |
+ T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no events received.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Receive all pending events of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Receive all pending events of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -113,33 +115,33 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
+ - brief: |
Check that the directive call was unsatisfied.
+ code: |
+ T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no events received.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Receive all pending events of the system event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Send the event to the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
sc = rtems_event_send( RTEMS_SELF, ctx->event );
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- description: |
- Send the event to the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -151,21 +153,21 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, ctx->event );
- description: |
+ - brief: |
Check that the pending event is equal to the event sent by a previous
action.
+ code: |
+ T_step_eq_u32( ${step}, out, ctx->event );
links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -177,20 +179,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no pending events.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Get all pending events of the system event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Receive any event of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -202,21 +204,21 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, ctx->event );
- description: |
+ - brief: |
Check that the received event is equal to the event sent by a previous
action.
+ code: |
+ T_step_eq_u32( ${step}, out, ctx->event );
links: []
- description: |
- Receive any event of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Receive any event of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -228,33 +230,33 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
+ - brief: |
Check that the directive call was unsatisfied.
+ code: |
+ T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that the no events were received.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Receive any event of the system event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Send the event to the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
sc = rtems_event_system_send( RTEMS_SELF, ctx->event );
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- description: |
- Send the event to the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -266,20 +268,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no pending events.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -291,21 +293,21 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, ctx->event );
- description: |
+ - brief: |
Check that the pending event is equal to the event sent by a previous
action.
+ code: |
+ T_step_eq_u32( ${step}, out, ctx->event );
links: []
- description: |
- Get all pending events of the system event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Receive any event of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -317,20 +319,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
- description: |
+ - brief: |
Check that the directive call was unsatisfied.
+ code: |
+ T_step_rsc( ${step}, sc, RTEMS_UNSATISFIED );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that the no events were received.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Receive any event of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Receive any event of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -342,21 +344,21 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, ctx->event );
- description: |
+ - brief: |
Check that the received event is equal to the event sent by a previous
action.
+ code: |
+ T_step_eq_u32( ${step}, out, ctx->event );
links: []
- description: |
- Receive any event of the system event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the Classic event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -368,20 +370,20 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no pending events.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
links: []
- description: |
- Get all pending events of the Classic event set of the executing task.
links: []
-- action: |
+- action-brief: |
+ Get all pending events of the system event set of the executing task.
+ action-code: |
rtems_status_code sc;
rtems_event_set out;
@@ -393,18 +395,16 @@ test-actions:
&out
);
checks:
- - check: |
- T_step_rsc_success( ${step}, sc );
- description: |
+ - brief: |
Check that the directive call was successful.
+ code: |
+ T_step_rsc_success( ${step}, sc );
links: []
- - check: |
- T_step_eq_u32( ${step}, out, 0 );
- description: |
+ - brief: |
Check that there were no pending events.
+ code: |
+ T_step_eq_u32( ${step}, out, 0 );
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
diff --git a/spec/rtems/event/val/events.yml b/spec/rtems/event/val/events.yml
index 43578af0..42ab27a1 100644
--- a/spec/rtems/event/val/events.yml
+++ b/spec/rtems/event/val/events.yml
@@ -4,7 +4,9 @@ copyrights:
enabled-by: true
links: []
test-actions:
-- action: |
+- action-brief: |
+ Run the event constant and number test for all 32 event constants.
+ action-code: |
int i;
for ( i = 0; i < 32; ++i ) {
@@ -12,10 +14,10 @@ test-actions:
T_step( (unsigned int) i ); /* ${steps/32} */
}
checks: []
- description: |
- Run the event constant and number test for all 32 event constants.
links: []
-- action: |
+- action-brief: |
+ Calculate the value of a bitwise or of all 32 event constants.
+ action-code: |
rtems_event_set all;
int i;
@@ -25,30 +27,28 @@ test-actions:
all |= events[ i ];
}
checks:
- - check: |
- T_step_eq_u32( ${step}, all, RTEMS_ALL_EVENTS );
- description: |
+ - brief: |
Check that the value is equal to RTEMS_ALL_EVENTS.
+ code: |
+ T_step_eq_u32( ${step}, all, RTEMS_ALL_EVENTS );
links: []
- description: |
- Calculate the value of a bitwise or of all 32 event constants.
links: []
-- action: |
+- action-brief: |
+ Validate the Event Manager directive options.
+ action-code: |
/* No action */
checks:
- - check: |
- T_step_eq_u32( ${step}, RTEMS_EVENT_ALL, 0 );
- description: |
+ - brief: |
Check that RTEMS_EVENT_ALL is equal to zero.
+ code: |
+ T_step_eq_u32( ${step}, RTEMS_EVENT_ALL, 0 );
links: []
- - check: |
+ - brief: |
+ Check that RTEMS_EVENT_ANY is a power of two.
+ code: |
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-context: []
diff --git a/spec/rtems/event/val/send-receive.yml b/spec/rtems/event/val/send-receive.yml
index ec12f2fd..f3a41211 100644
--- a/spec/rtems/event/val/send-receive.yml
+++ b/spec/rtems/event/val/send-receive.yml
@@ -8,7 +8,10 @@ links:
- role: validation
uid: ../req/send
test-actions:
-- action: |
+- action-brief: |
+ Run the event send and receive tests for the application event set defined
+ by ${../req/send-receive}.
+ action-code: |
${../req/send-receive:/test-run}(
EventSend,
EventReceive,
@@ -17,9 +20,6 @@ test-actions:
STATES_WAITING_FOR_EVENT
);
checks: []
- description: |
- Run the event send and receive tests for the application event set defined
- by ${../req/send-receive}.
links: []
test-brief: |
Tests the ${../if/send:/name} and ${../if/receive:/name} directives.
diff --git a/spec/rtems/event/val/system-send-receive.yml b/spec/rtems/event/val/system-send-receive.yml
index bda6cd33..7e0418d5 100644
--- a/spec/rtems/event/val/system-send-receive.yml
+++ b/spec/rtems/event/val/system-send-receive.yml
@@ -8,7 +8,10 @@ links:
- role: validation
uid: ../req/system-send
test-actions:
-- action: |
+- action-brief: |
+ Run the event send and receive tests for the system event set defined
+ by ${../req/send-receive}.
+ action-code: |
${../req/send-receive:/test-run}(
EventSystemSend,
EventSystemReceive,
@@ -17,9 +20,6 @@ test-actions:
STATES_WAITING_FOR_SYSTEM_EVENT
);
checks: []
- description: |
- Run the event send and receive tests for the system event set defined
- by ${../req/send-receive}.
links: []
test-brief: |
Tests the ${../if/system-send:/name} and ${../if/system-receive:/name}
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-03 16:08:02 +0000