source: rtems-central/spec/spec/requirement-action-transition-pre-states.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: 660 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      eq: all
19    description: |
20      The value represents all states of the pre-condition in the transition.
21spec-name: Action Requirement Transition Pre-Condition State Set
22spec-type: requirement-action-transition-pre-states
23type: spec
Note: See TracBrowser for help on using the repository browser.