diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-27 09:23:13 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-27 14:21:19 +0200 |
commit | 244b2771339059836c1dc22c3664f1b4fa772f51 (patch) | |
tree | 578297adbd0916fa52566fd3dd2b4c8c4fc83115 /spec | |
parent | config.yml: Fix UIDs (diff) | |
download | rtems-central-244b2771339059836c1dc22c3664f1b4fa772f51.tar.bz2 |
validation: Support N/A in the action transitions
Sometimes the pre-conditions are not independent and it is necessary to
mark pre-conditions as not applicable in a particular transition.
Diffstat (limited to 'spec')
-rw-r--r-- | spec/spec/requirement-action-name.yml | 8 | ||||
-rw-r--r-- | spec/spec/requirement-action-transition-pre-states.yml | 8 |
2 files changed, 12 insertions, 4 deletions
diff --git a/spec/spec/requirement-action-name.yml b/spec/spec/requirement-action-name.yml index 62ce8b3a..76451efe 100644 --- a/spec/spec/requirement-action-name.yml +++ b/spec/spec/requirement-action-name.yml @@ -10,14 +10,18 @@ spec-example: null spec-info: str: assert: - - re: ^[A-Z][a-zA-Z0-9]+$ + and: + - re: ^[A-Z][a-zA-Z0-9]+$ + - not: + eq: NA description: | It shall be the name of a condition or a state of a condition used to define pre-conditions and post-conditions of an action requirement. It shall be formatted in CamelCase. It should be brief and abbreviated. The rationale for this is that the names are used in tables and the horizontal space is limited by the page width. The more conditions you - have in an action requirement, the shorter the names should be. + have in an action requirement, the shorter the names should be. The name + ``NA`` is reserved and indicates that a condition is not applicable. spec-name: Action Requirement Name spec-type: requirement-action-name type: spec diff --git a/spec/spec/requirement-action-transition-pre-states.yml b/spec/spec/requirement-action-transition-pre-states.yml index 4c55c872..0d417b1c 100644 --- a/spec/spec/requirement-action-transition-pre-states.yml +++ b/spec/spec/requirement-action-transition-pre-states.yml @@ -15,9 +15,13 @@ spec-info: spec-type: requirement-action-name str: assert: - eq: all + in: + - all + - N/A description: | - The value represents all states of the pre-condition in the transition. + The value ``all`` represents all states of the pre-condition in this + transition. The value ``N/A`` marks the pre-condition as not applicable + in this transition. spec-name: Action Requirement Transition Pre-Condition State Set spec-type: requirement-action-transition-pre-states type: spec |