spec: Fix format

7 files changed, 65 insertions, 65 deletions

diff --git a/rtemsspec/tests/spec-interface/option.yml b/rtemsspec/tests/spec-interface/option.yml
index 7580bb8e..523bde33 100644
--- a/rtemsspec/tests/spec-interface/option.yml
+++ b/rtemsspec/tests/spec-interface/option.yml
@@ -1,14 +1,14 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
-default: default a
-description: description a
-index-entries:
-- index a
-name: a
-notes: notes a
 appl-config-option-type: feature
 copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+default: default a
+description: description a
 enabled-by: true
+index-entries:
+- index a
 interface-type: appl-config-option
 links: []
+name: a
+notes: notes a
 type: interface
diff --git a/spec/rtems/part/req/buffers.yml b/spec/rtems/part/req/buffers.yml
index 6e809830..ad53a540 100644
--- a/spec/rtems/part/req/buffers.yml
+++ b/spec/rtems/part/req/buffers.yml
@@ -2,10 +2,10 @@ SPDX-License-Identifier: CC-BY-SA-4.0
 copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
+functional-type: function
 links:
 - role: requirement-refinement
   uid: ../if/group
-functional-type: function
 rationale: null
 references: []
 requirement-type: functional
diff --git a/spec/rtems/part/req/create.yml b/spec/rtems/part/req/create.yml
index 37edd185..5caf2f51 100644
--- a/spec/rtems/part/req/create.yml
+++ b/spec/rtems/part/req/create.yml
@@ -320,114 +320,114 @@ transition-map:
   pre-conditions:
     Id:
     - Id
-    Name:
-    - Valid
-    Start:
-    - Valid
     Length:
     - Valid
-    Size:
+    Name:
     - Valid
     Parts:
     - Avail
+    Size:
+    - Valid
+    Start:
+    - Valid
 - enabled-by: true
   post-conditions:
     Status: InvName
   pre-conditions:
     Id: all
+    Length: all
     Name:
     - Invalid
-    Start: all
-    Length: all
-    Size: all
     Parts: all
+    Size: all
+    Start: all
 - enabled-by: true
   post-conditions:
     Status: InvAddress
   pre-conditions:
     Id:
     - 'Null'
+    Length: all
     Name:
     - Valid
-    Start: all
-    Length: all
-    Size: all
     Parts: all
+    Size: all
+    Start: all
 - enabled-by: true
   post-conditions:
     Status: InvAddress
   pre-conditions:
     Id:
     - Id
+    Length: all
     Name:
     - Valid
+    Parts: all
+    Size: all
     Start:
     - 'Null'
-    Length: all
-    Size: all
-    Parts: all
 - enabled-by: true
   post-conditions:
     Status: InvSize
   pre-conditions:
     Id:
     - Id
+    Length:
+    - Zero
+    - Invalid
     Name:
     - Valid
+    Parts: all
+    Size: all
     Start:
     - Valid
     - BadAlign
-    Length:
-    - Zero
-    - Invalid
-    Size: all
-    Parts: all
 - enabled-by: true
   post-conditions:
     Status: InvSize
   pre-conditions:
     Id:
     - Id
-    Name:
-    - Valid
-    Start:
-    - Valid
-    - BadAlign
     Length:
     - Valid
+    Name:
+    - Valid
+    Parts: all
     Size:
     - Zero
     - Small
-    Parts: all
+    Start:
+    - Valid
+    - BadAlign
 - enabled-by: true
   post-conditions:
     Status: InvAddress
   pre-conditions:
     Id:
     - Id
-    Name:
-    - Valid
-    Start:
-    - BadAlign
     Length:
     - Valid
-    Size:
+    Name:
     - Valid
     Parts: all
+    Size:
+    - Valid
+    Start:
+    - BadAlign
 - enabled-by: true
   post-conditions:
     Status: TooMany
   pre-conditions:
     Id:
     - Id
-    Name:
-    - Valid
-    Start:
-    - Valid
     Length:
     - Valid
-    Size:
+    Name:
     - Valid
     Parts:
     - None
+    Size:
+    - Valid
+    Start:
+    - Valid
 type: requirement
diff --git a/spec/rtems/part/req/delete.yml b/spec/rtems/part/req/delete.yml
index 19a55eae..d5e3ddeb 100644
--- a/spec/rtems/part/req/delete.yml
+++ b/spec/rtems/part/req/delete.yml
@@ -62,7 +62,7 @@ pre-conditions:
   test-prologue: null
 - name: InUse
   states:
-  - name: Yes
+  - name: 'Yes'
     test-code: |
       ctx->buffer = NULL;
       sc = rtems_partition_get_buffer( ctx->id_value, &ctx->buffer );
@@ -70,7 +70,7 @@ pre-conditions:
       T_not_null( ctx->buffer );
     text: |
       The partition shall have at least one buffer in use.
-  - name: No
+  - name: 'No'
     test-code: |
       ctx->buffer = NULL;
     text: |
@@ -150,7 +150,7 @@ transition-map:
     Id:
     - Id
     InUse:
-    - No
+    - 'No'
 - enabled-by: true
   post-conditions:
     Status: InvId
@@ -165,5 +165,5 @@ transition-map:
     Id:
     - Id
     InUse:
-    - Yes
+    - 'Yes'
 type: requirement
diff --git a/spec/rtems/part/req/fifo.yml b/spec/rtems/part/req/fifo.yml
index f19f78e2..79c3653d 100644
--- a/spec/rtems/part/req/fifo.yml
+++ b/spec/rtems/part/req/fifo.yml
@@ -2,10 +2,10 @@ SPDX-License-Identifier: CC-BY-SA-4.0
 copyrights:
 - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
 enabled-by: true
+functional-type: function
 links:
 - role: requirement-refinement
   uid: ../if/group
-functional-type: function
 rationale: null
 references: []
 requirement-type: functional
diff --git a/spec/rtems/part/req/get-buffer.yml b/spec/rtems/part/req/get-buffer.yml
index 3e04be32..dc38e890 100644
--- a/spec/rtems/part/req/get-buffer.yml
+++ b/spec/rtems/part/req/get-buffer.yml
@@ -172,37 +172,37 @@ transition-map:
   post-conditions:
     Status: Ok
   pre-conditions:
-    Id:
-    - Id
-    Buf:
-    - Valid
     Avail:
     - 'Yes'
+    Buf:
+    - Valid
+    Id:
+    - Id
 - enabled-by: true
   post-conditions:
     Status: InvAddr
   pre-conditions:
-    Id: all
+    Avail: all
     Buf:
     - 'Null'
-    Avail: all
+    Id: all
 - enabled-by: true
   post-conditions:
     Status: InvId
   pre-conditions:
-    Id:
-    - Invalid
+    Avail: all
     Buf:
     - Valid
-    Avail: all
+    Id:
+    - Invalid
 - enabled-by: true
   post-conditions:
     Status: Unsatisfied
   pre-conditions:
-    Id:
-    - Id
-    Buf:
-    - Valid
     Avail:
     - 'No'
+    Buf:
+    - Valid
+    Id:
+    - Id
 type: requirement
diff --git a/spec/rtems/part/req/return-buffer.yml b/spec/rtems/part/req/return-buffer.yml
index a4af48ba..2869b998 100644
--- a/spec/rtems/part/req/return-buffer.yml
+++ b/spec/rtems/part/req/return-buffer.yml
@@ -146,23 +146,23 @@ transition-map:
   post-conditions:
     Status: Ok
   pre-conditions:
-    Id:
-    - Id
     Buf:
     - Valid
+    Id:
+    - Id
 - enabled-by: true
   post-conditions:
     Status: InvId
   pre-conditions:
+    Buf: all
     Id:
     - Invalid
-    Buf: all
 - enabled-by: true
   post-conditions:
     Status: InvAddr
   pre-conditions:
-    Id:
-    - Id
     Buf:
     - Invalid
+    Id:
+    - Id
 type: requirement