validation: Improve wording

This commit is contained in:
Sebastian Huber
2021-03-11 21:40:03 +01:00
parent a26a326e55
commit 586e06ec62
6 changed files with 13 additions and 11 deletions

View File

@@ -377,7 +377,7 @@ static void RtemsBarrierReqCreate_Pre_Free_Prepare(
case RtemsBarrierReqCreate_Pre_Free_No: {
/*
* The system shall have no inactive partition object available.
* The system shall not have an inactive barrier object available.
*/
ctx->seized_objects = T_seize_objects( Create, NULL );
break;

View File

@@ -242,7 +242,7 @@ static void RtemsBarrierReqDelete_Post_Name_Check(
switch ( state ) {
case RtemsBarrierReqDelete_Post_Name_Valid: {
/*
* The unique object name shall identify the barrier.
* The unique object name shall identify a barrier.
*/
id = 0;
sc = rtems_barrier_ident( NAME, &id );
@@ -253,7 +253,7 @@ static void RtemsBarrierReqDelete_Post_Name_Check(
case RtemsBarrierReqDelete_Post_Name_Invalid: {
/*
* The unique object name shall not identify the barrier.
* The unique object name shall not identify a barrier.
*/
sc = rtems_barrier_ident( NAME, &id );
T_rsc( sc, RTEMS_INVALID_NAME );

View File

@@ -416,7 +416,7 @@ static void RtemsMessageReqConstructErrors_Pre_Free_Prepare(
case RtemsMessageReqConstructErrors_Pre_Free_No: {
/*
* The system shall have no inactive message queue object available.
* The system shall not have an inactive message queue object available.
*/
i = 0;
ctx->seized_objects = T_seize_objects( Create, &i );

View File

@@ -305,9 +305,11 @@ static void RtemsSignalReqCatch_Pre_Pending_Prepare(
switch ( state ) {
case RtemsSignalReqCatch_Pre_Pending_Yes: {
/*
* Where the system has more than one processor, when
* rtems_signal_catch() is called, the calling task shall have pending
* signals.
* Where the system has more than one processor, while the calling task
* has pending signals, the rtems_signal_catch() directive shall be
* called. Where the system has exactly one processor, while the calling
* task has no pending signals, the rtems_signal_catch() directive shall
* be called.
*/
ctx->pending_signals = ( rtems_scheduler_get_processor_maximum() > 1 ) ? 1 : 0;
break;
@@ -315,8 +317,8 @@ static void RtemsSignalReqCatch_Pre_Pending_Prepare(
case RtemsSignalReqCatch_Pre_Pending_No: {
/*
* When rtems_signal_catch() is called, the calling task shall have no
* pending signals.
* While the calling task has no pending signals, the
* rtems_signal_catch() directive shall be called.
*/
ctx->pending_signals = 0;
break;

View File

@@ -464,7 +464,7 @@ static void RtemsTaskReqConstructErrors_Pre_Free_Prepare(
case RtemsTaskReqConstructErrors_Pre_Free_No: {
/*
* The system shall have no inactive task object available.
* The system shall not have an inactive task object available.
*/
ctx->seized_objects = T_seize_objects( Create, ctx );
break;

View File

@@ -426,7 +426,7 @@ static void RtemsTaskReqCreateErrors_Pre_Free_Prepare(
case RtemsTaskReqCreateErrors_Pre_Free_No: {
/*
* The system shall have no inactive task object available.
* The system shall not have an inactive task object available.
*/
ctx->seized_objects = T_seize_objects( Create, ctx );
break;