source: rtems-central/spec/spec/requirement-action-transition-post.yml @ 1a58bbe

Last change on this file since 1a58bbe was 1a58bbe, checked in by Sebastian Huber <sebastian.huber@…>, on 06/08/20 at 06:45:01

spec: Generalize directive to action requirements
  • Property mode set to 100644
File size: 946 bytes
Line 
1SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
2copyrights:
3- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
4enabled-by: true
5links:
6- role: spec-member
7  uid: root
8spec-description: null
9spec-example: null
10spec-info:
11  dict:
12    attributes: {}
13    description: |
14      This set of attributes defines for each post-condition the state after
15      the action for a transition in an action requirement.
16    generic-attributes:
17      description: |
18        There shall be exactly one generic attribute key for each
19        post-condition.  The key name shall be the post-condition name.  The
20        value of each generic attribute shall be the state of the
21        post-condition.
22      key-spec-type: requirement-action-name
23      value-spec-type: requirement-action-name
24    mandatory-attributes: all
25spec-name: Action Requirement Transition Post-Conditions
26spec-type: requirement-action-transition-post
27type: spec
Note: See TracBrowser for help on using the repository browser.