spec: Fix format

3 files changed, 99 insertions, 99 deletions

diff --git a/spec/rtems/message/if/construct.yml b/spec/rtems/message/if/construct.yml
index 92b5ff92..1d923c5f 100644
--- a/spec/rtems/message/if/construct.yml
+++ b/spec/rtems/message/if/construct.yml
@@ -25,13 +25,13 @@ notes: |
   In contrast to message queues created by ${create:/name}, the message queues
   constructed by this directive use a user-provided message buffer storage
   area.
- 
+
   This directive is intended for applications which do not want to use the
   RTEMS Workspace and instead statically allocate all operating system
   resources.  An application based solely on static allocation can avoid any
   runtime memory allocators.  This can simplify the application architecture
   as well as any analysis that may be required.
- 
+
   The value for ${/acfg/if/message-buffer-memory:/name} should not include
   memory for message queues constructed by ${.:/name}.
 params:
diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml
index c45a1ab0..9f4c0d57 100644
--- a/spec/rtems/message/req/construct-errors.yml
+++ b/spec/rtems/message/req/construct-errors.yml
@@ -192,8 +192,8 @@ pre-conditions:
       There shall be no inactive message queue object available.
   test-epilogue: null
   test-prologue: |
-      rtems_message_queue_config config;
-      size_t                     i;
+    rtems_message_queue_config config;
+    size_t                     i;
 - name: Area
   states:
   - name: Valid
@@ -298,159 +298,159 @@ transition-map:
   post-conditions:
     Status: Ok
   pre-conditions:
+    Area:
+    - Valid
+    AreaSize:
+    - Valid
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Valid
     MaxSize:
     - Valid
+    Name:
+    - Valid
     Queues:
     - Avail
-    Area:
-    - Valid
-    AreaSize:
-    - Valid
 - enabled-by: true
   post-conditions:
     Status: InvName
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id: all
-    Name:
-    - Invalid
     MaxPending: all
     MaxSize: all
+    Name:
+    - Invalid
     Queues: all
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: InvAddress
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id:
     - 'Null'
-    Name:
-    - Valid
     MaxPending: all
     MaxSize: all
+    Name:
+    - Valid
     Queues: all
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: InvNumber
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Zero
     MaxSize: all
+    Name:
+    - Valid
     Queues: all
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: InvSize
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Valid
     - Big
     MaxSize:
     - Zero
+    Name:
+    - Valid
     Queues: all
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: TooMany
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Valid
     - Big
     MaxSize:
     - Valid
     - Big
+    Name:
+    - Valid
     Queues:
     - None
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: InvNumber
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Big
     MaxSize:
     - Valid
-    Queues: 
+    Name:
+    - Valid
+    Queues:
     - Avail
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: InvSize
   pre-conditions:
+    Area: all
+    AreaSize: all
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Valid
     - Big
     MaxSize:
     - Big
+    Name:
+    - Valid
     Queues:
     - Avail
-    Area: all
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: Unsatisfied
   pre-conditions:
+    Area:
+    - 'Null'
+    AreaSize: all
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Valid
     MaxSize:
     - Valid
+    Name:
+    - Valid
     Queues:
     - Avail
-    Area:
-    - 'Null'
-    AreaSize: all
 - enabled-by: true
   post-conditions:
     Status: Unsatisfied
   pre-conditions:
+    Area:
+    - Valid
+    AreaSize:
+    - Invalid
     Id:
     - Id
-    Name:
-    - Valid
     MaxPending:
     - Valid
     MaxSize:
     - Valid
+    Name:
+    - Valid
     Queues:
     - Avail
-    Area:
-    - Valid
-    AreaSize:
-    - Invalid
 type: requirement
diff --git a/spec/rtems/task/req/construct-errors.yml b/spec/rtems/task/req/construct-errors.yml
index ae9ec6e9..4714d1e0 100644
--- a/spec/rtems/task/req/construct-errors.yml
+++ b/spec/rtems/task/req/construct-errors.yml
@@ -348,152 +348,152 @@ transition-map:
   post-conditions:
     Status: Ok
   pre-conditions:
+    Ext:
+    - Ok
     Id:
     - Id
     Name:
     - Valid
+    Preempt: all
     Prio:
     - Valid
-    Tasks:
-    - Avail
-    TLS:
-    - Enough
     Stack:
     - Enough
-    Ext:
-    - Ok
-    Preempt: all
+    TLS:
+    - Enough
+    Tasks:
+    - Avail
 - enabled-by: true
   post-conditions:
     Status: InvName
   pre-conditions:
+    Ext: all
     Id: all
     Name:
     - Inv
+    Preempt: all
     Prio: all
-    Tasks: all
-    TLS: all
     Stack: all
-    Ext: all
-    Preempt: all
+    TLS: all
+    Tasks: all
 - enabled-by: true
   post-conditions:
     Status: InvAddress
   pre-conditions:
+    Ext: all
     Id:
     - 'Null'
     Name:
     - Valid
+    Preempt: all
     Prio: all
-    Tasks: all
-    TLS: all
     Stack: all
-    Ext: all
-    Preempt: all
+    TLS: all
+    Tasks: all
 - enabled-by: true
   post-conditions:
     Status: InvPrio
   pre-conditions:
+    Ext: all
     Id:
     - Id
     Name:
     - Valid
+    Preempt: all
     Prio:
     - Zero
     - Inv
-    Tasks: all
-    TLS: all
     Stack: all
-    Ext: all
-    Preempt: all
+    TLS: all
+    Tasks: all
 - enabled-by: true
   post-conditions:
     Status: TooMany
   pre-conditions:
+    Ext: all
     Id:
     - Id
     Name:
     - Valid
+    Preempt: all
     Prio:
     - Valid
+    Stack: all
+    TLS: all
     Tasks:
     - None
-    TLS: all
-    Stack: all
-    Ext: all
-    Preempt: all
 - enabled-by: true
   post-conditions:
     Status: InvSize
   pre-conditions:
+    Ext: all
     Id:
     - Id
     Name:
     - Valid
+    Preempt: all
     Prio:
     - Valid
-    Tasks:
-    - Avail
+    Stack: all
     TLS:
     - Small
-    Stack: all
-    Ext: all
-    Preempt: all
+    Tasks:
+    - Avail
 - enabled-by: true
   post-conditions:
     Status: InvSize
   pre-conditions:
+    Ext: all
     Id:
     - Id
     Name:
     - Valid
+    Preempt: all
     Prio:
     - Valid
-    Tasks:
-    - Avail
-    TLS:
-    - Enough
     Stack:
     - Small
-    Ext: all
-    Preempt: all
+    TLS:
+    - Enough
+    Tasks:
+    - Avail
 - enabled-by: true
   post-conditions:
     Status: Unsatisfied
   pre-conditions:
+    Ext:
+    - Err
     Id:
     - Id
     Name:
     - Valid
+    Preempt: all
     Prio:
     - Valid
-    Tasks:
-    - Avail
-    TLS:
-    - Enough
     Stack:
     - Enough
-    Ext:
-    - Err
-    Preempt: all
+    TLS:
+    - Enough
+    Tasks:
+    - Avail
 - enabled-by: RTEMS_SMP
   post-conditions:
     Status: Unsatisfied
   pre-conditions:
+    Ext:
+    - Ok
     Id:
     - Id
     Name:
     - Valid
+    Preempt:
+    - 'No'
     Prio:
     - Valid
-    Tasks:
-    - Avail
-    TLS:
-    - Enough
     Stack:
     - Enough
-    Ext:
-    - Ok
-    Preempt:
-    - 'No'
+    TLS:
+    - Enough
+    Tasks:
+    - Avail
 type: requirement