[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