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 | |
---|
1 | SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause |
---|
2 | copyrights: |
---|
3 | - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) |
---|
4 | enabled-by: true |
---|
5 | links: |
---|
6 | - role: spec-member |
---|
7 | uid: root |
---|
8 | spec-description: null |
---|
9 | spec-example: null |
---|
10 | spec-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. |
---|
25 | spec-name: Action Requirement Transition Pre-Condition State Set |
---|
26 | spec-type: requirement-action-transition-pre-states |
---|
27 | type: spec |
---|
Note: See
TracBrowser
for help on using the repository browser.