[rtems-central commit] spec: Canonicalize name and id checks

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Sep 30 17:05:45 2020 +0200

spec: Canonicalize name and id checks

---

 spec/rtems/message/req/construct-errors.yml | 14 +++++++-------
 spec/rtems/task/req/construct-errors.yml    | 14 +++++++-------
 2 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml
index 72f9192..c45a1ab 100644
--- a/spec/rtems/message/req/construct-errors.yml
+++ b/spec/rtems/message/req/construct-errors.yml
@@ -314,11 +314,11 @@ transition-map:
     - Valid
 - enabled-by: true
   post-conditions:
-    Status: InvAddress
+    Status: InvName
   pre-conditions:
-    Id:
-    - 'Null'
-    Name: all
+    Id: all
+    Name:
+    - Invalid
     MaxPending: all
     MaxSize: all
     Queues: all
@@ -326,12 +326,12 @@ transition-map:
     AreaSize: all
 - enabled-by: true
   post-conditions:
-    Status: InvName
+    Status: InvAddress
   pre-conditions:
     Id:
-    - Id
+    - 'Null'
     Name:
-    - Invalid
+    - Valid
     MaxPending: all
     MaxSize: all
     Queues: all
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml
index b498131..ae9ec6e 100644
--- a/spec/rtems/task/req/construct-errors.yml
+++ b/spec/rtems/task/req/construct-errors.yml
@@ -365,11 +365,11 @@ transition-map:
     Preempt: all
 - enabled-by: true
   post-conditions:
-    Status: InvAddress
+    Status: InvName
   pre-conditions:
-    Id:
-    - 'Null'
-    Name: all
+    Id: all
+    Name:
+    - Inv
     Prio: all
     Tasks: all
     TLS: all
@@ -378,12 +378,12 @@ transition-map:
     Preempt: all
 - enabled-by: true
   post-conditions:
-    Status: InvName
+    Status: InvAddress
   pre-conditions:
     Id:
-    - Id
+    - 'Null'
     Name:
-    - Inv
+    - Valid
     Prio: all
     Tasks: all
     TLS: all