diff options
Diffstat (limited to 'spec/rtems/req/ident-local.yml')
| -rw-r--r-- | spec/rtems/req/ident-local.yml | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/spec/rtems/req/ident-local.yml b/spec/rtems/req/ident-local.yml index 416d8fc6..4215f4a3 100644 --- a/spec/rtems/req/ident-local.yml +++ b/spec/rtems/req/ident-local.yml @@ -11,17 +11,17 @@ post-conditions: test-code: | T_rsc( ctx->status, RTEMS_SUCCESSFUL ); text: | - The status shall be RTEMS_SUCCESSFUL. + The return status shall be ${../status/if/successful:/name}. - name: InvAddr test-code: | T_rsc( ctx->status, RTEMS_INVALID_ADDRESS ); text: | - The status shall be RTEMS_INVALID_ADDRESS. + The return status shall be ${../status/if/invalid-address:/name}. - name: InvName test-code: | T_rsc( ctx->status, RTEMS_INVALID_NAME ); text: | - The status shall be RTEMS_INVALID_NAME. + The return status shall be ${../status/if/invalid-name:/name}. test-epilogue: null test-prologue: null - name: Id @@ -33,11 +33,11 @@ post-conditions: text: | The value of the object identifier referenced by the id parameter shall be the value before the action. - - name: NullPtr + - name: 'Null' test-code: | T_null( ctx->id ) text: | - The id parameter shall be NULL. + While the id is NULL. - name: Id test-code: | T_eq_ptr( ctx->id, &ctx->id_value ); @@ -57,29 +57,30 @@ pre-conditions: test-code: | ctx->name = 1; text: | - The name parameter shall not equal to a name of an active Classic API - object of the specified class. + While the ``name`` parameter is not associated with an active object of + the specified class . - name: Valid test-code: | ctx->name = ClassicObjectLocalIdentName; text: | - The name parameter shall equal to a name of an active Classic API object - of the specified class. + While the ``name`` parameter is associated with an active object of the + specified class . test-epilogue: null test-prologue: null - name: Id states: - - name: NullPtr - test-code: | - ctx->id = NULL; - text: | - The id parameter shall be NULL. - name: Valid test-code: | ctx->id_value = 0xffffffff; ctx->id = &ctx->id_value; text: | - The id parameter shall point to an object identifier. + While the ``id`` parameter references an object of type + ${../type/if/id:/name}. + - name: 'Null' + test-code: | + ctx->id = NULL; + text: | + While the ``id`` parameter is ${/c/if/null:/name}. test-epilogue: null test-prologue: null rationale: null @@ -138,11 +139,11 @@ text: ${.:text-template} transition-map: - enabled-by: true post-conditions: - Id: NullPtr + Id: 'Null' Status: InvAddr pre-conditions: Id: - - NullPtr + - 'Null' Name: all - enabled-by: true post-conditions: |