[rtems-central commit] spec: Improve wording

Sebastian Huber sebh at rtems.org
Fri Feb 26 10:47:49 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f
Changeset: http://git.rtems.org/rtems-central/commit/?id=fb3042cc6a8cd2b35e5c7f61c29a4ca87c9b1d9f

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri Feb 26 08:19:11 2021 +0100

spec: Improve wording

---

 spec/rtems/task/req/construct-errors.yml | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml
index bab6511..2322e59 100644
--- a/spec/rtems/task/req/construct-errors.yml
+++ b/spec/rtems/task/req/construct-errors.yml
@@ -91,7 +91,7 @@ post-conditions:
       ${../if/construct:/name} call.
   test-epilogue: null
   test-prologue: null
-- name: Delete
+- name: DelExt
   states:
   - name: 'Yes'
     test-code: |
@@ -406,7 +406,7 @@ transition-map:
     Status: Ok
     Name: Valid
     IdValue: Assigned
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext:
     - Ok
@@ -428,7 +428,7 @@ transition-map:
     Status: InvName
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext: all
     Id: all
@@ -444,7 +444,7 @@ transition-map:
     Status: InvAddr
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext: all
     Id:
@@ -461,7 +461,7 @@ transition-map:
     Status: InvPrio
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext: all
     Id:
@@ -480,7 +480,7 @@ transition-map:
     Status: TooMany
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext: all
     Id:
@@ -499,7 +499,7 @@ transition-map:
     Status: InvSize
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext: all
     Id:
@@ -519,7 +519,7 @@ transition-map:
     Status: InvSize
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'No'
+    DelExt: 'No'
   pre-conditions:
     Ext: all
     Id:
@@ -540,7 +540,7 @@ transition-map:
     Status: Unsat
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'Yes'
+    DelExt: 'Yes'
   pre-conditions:
     Ext:
     - Err
@@ -562,7 +562,7 @@ transition-map:
     Status: Unsat
     Name: Invalid
     IdValue: Unchanged
-    Delete: 'Yes'
+    DelExt: 'Yes'
   pre-conditions:
     Ext:
     - Ok



More information about the vc mailing list