Changeset b7282c7 in rtems-central

Timestamp:

11/18/21 08:46:34 (22 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:

• if/ident.yml (modified) (1 diff)
• req/ident.yml (modified) (4 diffs)

spec/rtems/task/if/ident.yml

@@ -19 +19 @@
   specified in ${.:/params[0]/name}.
 
-  A task may obtain its own identifier by specifying ${self-define:/name} for
-  the name.
+  A task may obtain its own identifier by specifying
+  ${../../object/if/who-am-i:/name} for the name.
 
   The node to search is specified in ${.:/params[1]/name}.  It shall be

spec/rtems/task/req/ident.yml

@@ -7 +7 @@
 - role: interface-function
   uid: ../if/ident
+- role: interface-function
+  uid: ../../object/if/who-am-i
 post-conditions:
 - name: Status
   states:
-  - name: OkAndSelfId
+  - name: OkAndWhoAmI
     test-code: |
       T_rsc( ctx->status, RTEMS_SUCCESSFUL );
@@ -30 +32 @@
 - name: Name
   states:
-  - name: Self
+  - name: WhoAmI
     test-code: |
       ctx->id_value = 0xffffffff;
       ctx->id = &ctx->id_value;
     text: |
-      While the ${../if/ident:/params[0]/name} parameter is
-      ${../if/self:/name}.
-  - name: NotSelf
+      While the ${../if/ident:/params[0]/name} parameter is equal to
+      ${../../object/if/who-am-i:/name},
+      while ${../if/ident:/params[2]/name} parameter is not equal to
+      ${/c/if/null:/name}.
+  - name: NotWhoAmI
     test-code: |
       ctx->id = NULL;
       /* Preparation performed by ${../../req/ident:/test-run}() */
     text: |
-      While the ${../if/ident:/params[0]/name} is not ${../if/self:/name} or
-      ${../if/ident:/params[2]/name} parameter is ${/c/if/null:/name}, the
-      behaviour of ${../if/ident:/name} shall be specified by
+      While the ${../if/ident:/params[0]/name} is not equal to
+      ${../../object/if/who-am-i:/name} or ${../if/ident:/params[2]/name}
+      parameter is equal to ${/c/if/null:/name},
+      the behaviour of ${../if/ident:/name} shall be specified by
       ${../../req/ident}.
   test-epilogue: null
@@ -142 +147 @@
 - enabled-by: true
   post-conditions:
-    Status: OkAndSelfId
+    Status: OkAndWhoAmI
   pre-conditions:
     Name:
-    - Self
+    - WhoAmI
 - enabled-by: true
   post-conditions:
@@ -151 +156 @@
   pre-conditions:
     Name:
-    - NotSelf
+    - NotWhoAmI
 type: requirement