[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