summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-11-13 22:12:33 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-11-17 09:05:48 +0100
commita07f53a5490bfe18ba3a83fc6f695a2f25798a0b (patch)
tree7059a7d697d79b0d688ce0cac1e110b5e5b29877
parentspecview.py: Substitute "rationale" attributes (diff)
downloadrtems-central-a07f53a5490bfe18ba3a83fc6f695a2f25798a0b.tar.bz2
spec: Add constant not pre-qualified constraint
-rw-r--r--spec/constraint/constant-not-pre-qualified.yml13
-rwxr-xr-xspecview.py4
2 files changed, 16 insertions, 1 deletions
diff --git a/spec/constraint/constant-not-pre-qualified.yml b/spec/constraint/constant-not-pre-qualified.yml
new file mode 100644
index 00000000..d1e712f5
--- /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 215f703b..0e5d0f84 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]