diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-15 08:55:27 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-17 18:35:11 +0100 |
| commit | 2a4a2574340945c263e5b49f4ae5c9719a54d783 (patch) | |
| tree | c9f1bb09b972fbda854bbac4c31a187792e85477 /spec/spec/requirement-action-exp-states.yml | |
| parent | validation: Make Transition named tuple public (diff) | |
| download | rtems-central-2a4a2574340945c263e5b49f4ae5c9719a54d783.tar.bz2 | |
validation: Add post-condition expressions
Diffstat (limited to 'spec/spec/requirement-action-exp-states.yml')
| -rw-r--r-- | spec/spec/requirement-action-exp-states.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/spec/spec/requirement-action-exp-states.yml b/spec/spec/requirement-action-exp-states.yml new file mode 100644 index 00000000..943ec381 --- /dev/null +++ b/spec/spec/requirement-action-exp-states.yml @@ -0,0 +1,25 @@ +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: spec-member + uid: root +spec-description: null +spec-example: null +spec-info: + list: + description: | + The list defines a set of states of the condition. + spec-type: requirement-action-exp-state-name + str: + assert: + or: + - re: ^[A-Z][a-zA-Z0-9]+$ + - eq: N/A + description: | + It shall be the name of a state of the condition or ``N/A`` if the + condition is not applicable. +spec-name: Action Requirement Expression State Set +spec-type: requirement-action-exp-states +type: spec |