Changeset b7282c7 in rtems-central


Ignore:
Timestamp:
11/18/21 08:46:34 (7 months ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
master
Children:
1984239
Parents:
5634751
git-author:
Sebastian Huber <sebastian.huber@…> (11/18/21 08:46:34)
git-committer:
Sebastian Huber <sebastian.huber@…> (11/19/21 07:22:34)
Message:

spec: Use RTEMS_WHO_AM_I for rtems_task_ident()

Location:
spec/rtems/task
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • spec/rtems/task/if/ident.yml

    r5634751 rb7282c7  
    1919  specified in ${.:/params[0]/name}.
    2020
    21   A task may obtain its own identifier by specifying ${self-define:/name} for
    22   the name.
     21  A task may obtain its own identifier by specifying
     22  ${../../object/if/who-am-i:/name} for the name.
    2323
    2424  The node to search is specified in ${.:/params[1]/name}.  It shall be
  • spec/rtems/task/req/ident.yml

    r5634751 rb7282c7  
    77- role: interface-function
    88  uid: ../if/ident
     9- role: interface-function
     10  uid: ../../object/if/who-am-i
    911post-conditions:
    1012- name: Status
    1113  states:
    12   - name: OkAndSelfId
     14  - name: OkAndWhoAmI
    1315    test-code: |
    1416      T_rsc( ctx->status, RTEMS_SUCCESSFUL );
     
    3032- name: Name
    3133  states:
    32   - name: Self
     34  - name: WhoAmI
    3335    test-code: |
    3436      ctx->id_value = 0xffffffff;
    3537      ctx->id = &ctx->id_value;
    3638    text: |
    37       While the ${../if/ident:/params[0]/name} parameter is
    38       ${../if/self:/name}.
    39   - name: NotSelf
     39      While the ${../if/ident:/params[0]/name} parameter is equal to
     40      ${../../object/if/who-am-i:/name},
     41      while ${../if/ident:/params[2]/name} parameter is not equal to
     42      ${/c/if/null:/name}.
     43  - name: NotWhoAmI
    4044    test-code: |
    4145      ctx->id = NULL;
    4246      /* Preparation performed by ${../../req/ident:/test-run}() */
    4347    text: |
    44       While the ${../if/ident:/params[0]/name} is not ${../if/self:/name} or
    45       ${../if/ident:/params[2]/name} parameter is ${/c/if/null:/name}, the
    46       behaviour of ${../if/ident:/name} shall be specified by
     48      While the ${../if/ident:/params[0]/name} is not equal to
     49      ${../../object/if/who-am-i:/name} or ${../if/ident:/params[2]/name}
     50      parameter is equal to ${/c/if/null:/name},
     51      the behaviour of ${../if/ident:/name} shall be specified by
    4752      ${../../req/ident}.
    4853  test-epilogue: null
     
    142147- enabled-by: true
    143148  post-conditions:
    144     Status: OkAndSelfId
     149    Status: OkAndWhoAmI
    145150  pre-conditions:
    146151    Name:
    147     - Self
     152    - WhoAmI
    148153- enabled-by: true
    149154  post-conditions:
     
    151156  pre-conditions:
    152157    Name:
    153     - NotSelf
     158    - NotWhoAmI
    154159type: requirement
Note: See TracChangeset for help on using the changeset viewer.