[rtems-central commit] spec: Fix format
Sebastian Huber
sebh at rtems.org
Thu Oct 8 13:25:40 UTC 2020
Module: rtems-central
Branch: master
Commit: fd7f16505969a106738238e4d50f82225e9b3510
Changeset: http://git.rtems.org/rtems-central/commit/?id=fd7f16505969a106738238e4d50f82225e9b3510
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Mon Oct 5 15:46:51 2020 +0200
spec: Fix format
---
spec/rtems/message/if/construct.yml | 4 +-
spec/rtems/message/req/construct-errors.yml | 96 ++++++++++++++--------------
spec/rtems/task/req/construct-errors.yml | 98 ++++++++++++++---------------
3 files changed, 99 insertions(+), 99 deletions(-)
diff --git a/spec/rtems/message/if/construct.yml b/spec/rtems/message/if/construct.yml
index 92b5ff9..1d923c5 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 c45a1ab..9f4c0d5 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 ae9ec6e..4714d1e 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
More information about the vc
mailing list