diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-08 08:45:01 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-08 08:59:20 +0200 |
| commit | 1a58bbe76eba50160565d02e63a5c3a4d5424d8e (patch) | |
| tree | 47ad7e535ebe1993186894c2e49709c0be136d75 /spec/spec/requirement-action-transition-post.yml | |
| parent | interface: Substitute text of return values (diff) | |
| download | rtems-central-1a58bbe76eba50160565d02e63a5c3a4d5424d8e.tar.bz2 | |
spec: Generalize directive to action requirements
Diffstat (limited to 'spec/spec/requirement-action-transition-post.yml')
| -rw-r--r-- | spec/spec/requirement-action-transition-post.yml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/spec/spec/requirement-action-transition-post.yml b/spec/spec/requirement-action-transition-post.yml new file mode 100644 index 00000000..7fca2f11 --- /dev/null +++ b/spec/spec/requirement-action-transition-post.yml @@ -0,0 +1,27 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2020 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: + dict: + attributes: {} + description: | + This set of attributes defines for each post-condition the state after + the action for a transition in an action requirement. + generic-attributes: + description: | + There shall be exactly one generic attribute key for each + post-condition. The key name shall be the post-condition name. The + value of each generic attribute shall be the state of the + post-condition. + key-spec-type: requirement-action-name + value-spec-type: requirement-action-name + mandatory-attributes: all +spec-name: Action Requirement Transition Post-Conditions +spec-type: requirement-action-transition-post +type: spec |