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/spec/requirement-action-transition-pre-states.yml | |
| 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/spec/requirement-action-transition-pre-states.yml')
| -rw-r--r-- | spec/spec/requirement-action-transition-pre-states.yml | 8 |
1 files changed, 6 insertions, 2 deletions
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 |