From ea176558fc14f46096e45f58cd858062acbcd150 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 27 May 2020 10:51:43 +0200 Subject: spec: Add dedicated constraint items --- spec/acfg/opt/constraintbspappmin.yml | 5 ++--- spec/acfg/opt/constraintidlestackarea.yml | 5 ++--- spec/acfg/opt/constraintisrstackalign.yml | 5 ++--- spec/acfg/opt/constraintisrstackarea.yml | 5 ++--- spec/acfg/opt/constraintmemsz.yml | 5 ++--- spec/acfg/opt/constraintposix.yml | 5 ++--- spec/acfg/opt/constraintprioclassic.yml | 5 ++--- spec/acfg/opt/constraintstackspace.yml | 5 ++--- spec/acfg/opt/constraintunlimited.yml | 5 ++--- spec/acfg/opt/constraintwkspace.yml | 5 ++--- 10 files changed, 20 insertions(+), 30 deletions(-) (limited to 'spec/acfg') diff --git a/spec/acfg/opt/constraintbspappmin.yml b/spec/acfg/opt/constraintbspappmin.yml index 8bf21c11..6fd21648 100644 --- a/spec/acfg/opt/constraintbspappmin.yml +++ b/spec/acfg/opt/constraintbspappmin.yml @@ -3,10 +3,9 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be greater than or equal to a BSP-specific and application-specific minimum value. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintidlestackarea.yml b/spec/acfg/opt/constraintidlestackarea.yml index faf99ba3..859f7dba 100644 --- a/spec/acfg/opt/constraintidlestackarea.yml +++ b/spec/acfg/opt/constraintidlestackarea.yml @@ -3,11 +3,10 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be small enough so that the IDLE task stack area calculation carried out by ```` does not overflow an integer of type ``size_t``. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintisrstackalign.yml b/spec/acfg/opt/constraintisrstackalign.yml index e8b933bb..646313ea 100644 --- a/spec/acfg/opt/constraintisrstackalign.yml +++ b/spec/acfg/opt/constraintisrstackalign.yml @@ -3,10 +3,9 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be aligned according to ``CPU_INTERRUPT_STACK_ALIGNMENT``. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintisrstackarea.yml b/spec/acfg/opt/constraintisrstackarea.yml index 9100f986..7de6e162 100644 --- a/spec/acfg/opt/constraintisrstackarea.yml +++ b/spec/acfg/opt/constraintisrstackarea.yml @@ -3,11 +3,10 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be small enough so that the interrupt stack area calculation carried out by ```` does not overflow an integer of type ``size_t``. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintmemsz.yml b/spec/acfg/opt/constraintmemsz.yml index 8fa00639..b2ebe079 100644 --- a/spec/acfg/opt/constraintmemsz.yml +++ b/spec/acfg/opt/constraintmemsz.yml @@ -3,11 +3,10 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be less than or equal to a BSP-specific and application-specific value which depends on the size of the memory available to the application. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintposix.yml b/spec/acfg/opt/constraintposix.yml index 1720d109..5602b848 100644 --- a/spec/acfg/opt/constraintposix.yml +++ b/spec/acfg/opt/constraintposix.yml @@ -3,12 +3,11 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be zero if the POSIX API is not enabled (e.g. RTEMS was built without the ``--enable-posix`` build configuration option). Otherwise a compile time error in the configuration file will occur. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintprioclassic.yml b/spec/acfg/opt/constraintprioclassic.yml index a0f861ba..7eb9f639 100644 --- a/spec/acfg/opt/constraintprioclassic.yml +++ b/spec/acfg/opt/constraintprioclassic.yml @@ -3,10 +3,9 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be a valid Classic API task priority. The set of valid task priorities is scheduler-specific. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintstackspace.yml b/spec/acfg/opt/constraintstackspace.yml index 7d444195..3a2acb07 100644 --- a/spec/acfg/opt/constraintstackspace.yml +++ b/spec/acfg/opt/constraintstackspace.yml @@ -3,11 +3,10 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be small enough so that the task stack space calculation carried out by ```` does not overflow an integer of type ``uintptr_t``. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintunlimited.yml b/spec/acfg/opt/constraintunlimited.yml index f1cba5ff..282468f1 100644 --- a/spec/acfg/opt/constraintunlimited.yml +++ b/spec/acfg/opt/constraintunlimited.yml @@ -3,12 +3,11 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option may be defined through :c:func:`rtems_resource_unlimited` the enable unlimited objects for this object class, if the value passed to :c:func:`rtems_resource_unlimited` satisfies all other constraints of this configuration option. -type: requirement +type: constraint diff --git a/spec/acfg/opt/constraintwkspace.yml b/spec/acfg/opt/constraintwkspace.yml index 64a8a130..4f20e1ca 100644 --- a/spec/acfg/opt/constraintwkspace.yml +++ b/spec/acfg/opt/constraintwkspace.yml @@ -3,11 +3,10 @@ copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: [] -non-functional-type: constraint rationale: null -requirement-type: non-functional +scope: user text: | The value of this configuration option shall be small enough so that the RTEMS Workspace size calculation carried out by ```` does not overflow an integer of type ``uintptr_t``. -type: requirement +type: constraint -- cgit v1.2.3