[rtems-central commit] spec: Fix format

Sebastian Huber sebh at rtems.org
Mon Oct 12 13:42:57 UTC 2020


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon Oct 12 15:20:04 2020 +0200

spec: Fix format

---

 rtemsspec/tests/spec-interface/option.yml | 12 +++---
 spec/rtems/part/req/buffers.yml           |  2 +-
 spec/rtems/part/req/create.yml            | 70 +++++++++++++++----------------
 spec/rtems/part/req/delete.yml            |  8 ++--
 spec/rtems/part/req/fifo.yml              |  2 +-
 spec/rtems/part/req/get-buffer.yml        | 26 ++++++------
 spec/rtems/part/req/return-buffer.yml     | 10 ++---
 7 files changed, 65 insertions(+), 65 deletions(-)

diff --git a/rtemsspec/tests/spec-interface/option.yml b/rtemsspec/tests/spec-interface/option.yml
index 7580bb8..523bde3 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 6e80983..ad53a54 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 37edd18..5caf2f5 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 19a55ea..d5e3dde 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 f19f78e..79c3653 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 3e04be3..dc38e89 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 a4af48b..2869b99 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



More information about the vc mailing list