[rtems-central commit] spec: Add constant not pre-qualified constraint

Sebastian Huber sebh at rtems.org
Wed Nov 17 08:07:50 UTC 2021


Module:    rtems-central
Branch:    master
Commit:    a07f53a5490bfe18ba3a83fc6f695a2f25798a0b
Changeset: http://git.rtems.org/rtems-central/commit/?id=a07f53a5490bfe18ba3a83fc6f695a2f25798a0b

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Sat Nov 13 22:12:33 2021 +0100

spec: Add constant not pre-qualified constraint

---

 spec/constraint/constant-not-pre-qualified.yml | 13 +++++++++++++
 specview.py                                    |  4 +++-
 2 files changed, 16 insertions(+), 1 deletion(-)

diff --git a/spec/constraint/constant-not-pre-qualified.yml b/spec/constraint/constant-not-pre-qualified.yml
new file mode 100644
index 0000000..d1e712f
--- /dev/null
+++ b/spec/constraint/constant-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 constant 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 constant.
+type: constraint
diff --git a/specview.py b/specview.py
index 215f703..0e5d0f8 100755
--- a/specview.py
+++ b/specview.py
@@ -179,6 +179,7 @@ _VALIDATION_LEAF = [
 
 _NOT_PRE_QUALIFIED = set([
     "/acfg/constraint/option-not-pre-qualified",
+    "/constraint/constant-not-pre-qualified",
     "/constraint/directive-not-pre-qualified",
 ])
 
@@ -189,7 +190,8 @@ def _is_pre_qualified(item: Item) -> bool:
             _NOT_PRE_QUALIFIED))
 
 
-def _no_validation(item: Item, path: List[str], enabled: List[str]) -> List[str]:
+def _no_validation(item: Item, path: List[str],
+                   enabled: List[str]) -> List[str]:
     path_2 = path + [item.uid]
     if not item.is_enabled(enabled):
         return path_2[:-1]



More information about the vc mailing list