diff options
Diffstat (limited to 'spec/rtems/event/val/event-constant.yml')
-rw-r--r-- | spec/rtems/event/val/event-constant.yml | 296 |
1 files changed, 148 insertions, 148 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 |