source: rtems-central/spec/spec/requirement-action-transition-pre-states.yml @ c970d63

Last change on this file since c970d63 was 244b277, checked in by Sebastian Huber <sebastian.huber@…>, on 07/27/20 at 07:23:13

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.
  • Property mode set to 100644
File size: 782 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  list:
12    description: |
13      The list defines the set of states of the pre-condition in the
14      transition.
15    spec-type: requirement-action-name
16  str:
17    assert:
18      in:
19      - all
20      - N/A
21    description: |
22      The value ``all`` represents all states of the pre-condition in this
23      transition.  The value ``N/A`` marks the pre-condition as not applicable
24      in this transition.
25spec-name: Action Requirement Transition Pre-Condition State Set
26spec-type: requirement-action-transition-pre-states
27type: spec
Note: See TracBrowser for help on using the repository browser.