summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-09-24 14:32:03 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-09-24 14:47:46 +0200
commit9955732a10f0bf1be5d3936897959dbe663c1039 (patch)
tree0ed6631827befca64d153bb93bfa8b7fd8b0336d
parentspecview.py: Enumerators do not need validation (diff)
downloadrtems-central-9955732a10f0bf1be5d3936897959dbe663c1039.tar.bz2
spec: Add usage constraints
-rw-r--r--spec/acfg/constraint/option-not-pre-qualified.yml14
-rw-r--r--spec/acfg/constraint/option-pre-qualified-use.yml14
-rw-r--r--spec/acfg/constraint/option-pre-qualified-zero.yml14
-rw-r--r--spec/constraint/directive-not-pre-qualified.yml13
4 files changed, 55 insertions, 0 deletions
diff --git a/spec/acfg/constraint/option-not-pre-qualified.yml b/spec/acfg/constraint/option-not-pre-qualified.yml
new file mode 100644
index 00000000..62273769
--- /dev/null
+++ b/spec/acfg/constraint/option-not-pre-qualified.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /req/usage-constraints
+rationale: null
+text: |
+ The application configuration option is not included in the pre-qualified
+ feature set of RTEMS. Applications which are restricted to only use
+ interfaces of the pre-qualified feature set of RTEMS shall not use the
+ application configuration option.
+type: constraint
diff --git a/spec/acfg/constraint/option-pre-qualified-use.yml b/spec/acfg/constraint/option-pre-qualified-use.yml
new file mode 100644
index 00000000..512a16e9
--- /dev/null
+++ b/spec/acfg/constraint/option-pre-qualified-use.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /req/usage-constraints
+rationale: null
+text: |
+ The application configuration option is mandatory for the pre-qualified
+ feature set of RTEMS. Applications which are restricted to only use
+ interfaces of the pre-qualified feature set of RTEMS shall use the
+ application configuration option.
+type: constraint
diff --git a/spec/acfg/constraint/option-pre-qualified-zero.yml b/spec/acfg/constraint/option-pre-qualified-zero.yml
new file mode 100644
index 00000000..d1db6b38
--- /dev/null
+++ b/spec/acfg/constraint/option-pre-qualified-zero.yml
@@ -0,0 +1,14 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /req/usage-constraints
+rationale: null
+text: |
+ A value of zero is required for the application configuration option for the
+ pre-qualified feature set of RTEMS. Applications which are restricted to
+ only use interfaces of the pre-qualified feature set of RTEMS shall define
+ the application configuration option to a value equal to zero.
+type: constraint
diff --git a/spec/constraint/directive-not-pre-qualified.yml b/spec/constraint/directive-not-pre-qualified.yml
new file mode 100644
index 00000000..2d07d957
--- /dev/null
+++ b/spec/constraint/directive-not-pre-qualified.yml
@@ -0,0 +1,13 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: requirement-refinement
+ uid: /req/usage-constraints
+rationale: null
+text: |
+ The directive is not included in the pre-qualified feature set of RTEMS.
+ Applications which are restricted to only use interfaces of the pre-qualified
+ feature set of RTEMS shall not use the directive.
+type: constraint