diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-13 22:12:33 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-17 09:05:48 +0100 |
commit | a07f53a5490bfe18ba3a83fc6f695a2f25798a0b (patch) | |
tree | 7059a7d697d79b0d688ce0cac1e110b5e5b29877 | |
parent | specview.py: Substitute "rationale" attributes (diff) | |
download | rtems-central-a07f53a5490bfe18ba3a83fc6f695a2f25798a0b.tar.bz2 |
spec: Add constant not pre-qualified constraint
-rw-r--r-- | spec/constraint/constant-not-pre-qualified.yml | 13 | ||||
-rwxr-xr-x | specview.py | 4 |
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] |