diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-05 15:46:51 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-07 09:00:49 +0200 |
commit | fd7f16505969a106738238e4d50f82225e9b3510 (patch) | |
tree | 2e70b3d4caf3c3aff300a07916045311fbaf94fb | |
parent | spec: Canonicalize name and id checks (diff) | |
download | rtems-central-fd7f16505969a106738238e4d50f82225e9b3510.tar.bz2 |
spec: Fix format
-rw-r--r-- | spec/rtems/message/if/construct.yml | 4 | ||||
-rw-r--r-- | spec/rtems/message/req/construct-errors.yml | 96 | ||||
-rw-r--r-- | 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 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 |