source: rtems-central/spec/spec/requirement-action-transition-post-state.yml @ c620a77

Last change on this file since c620a77 was c620a77, checked in by Sebastian Huber <sebastian.huber@…>, on 01/11/22 at 15:05:12

spec: Fix action requirement patterns
  • Property mode set to 100644
File size: 766 bytes
Line 
1SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
2copyrights:
3- Copyright (C) 2021 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 contains expressions to define the state of the corresponding
14      post-condition.
15    spec-type: requirement-action-exp
16  str:
17    assert:
18      or:
19      - re: ^[A-Z][a-zA-Z0-9]*$
20      - eq: N/A
21    description: |
22      It shall be the name of a state of the corresponding post-condition or
23      ``N/A`` if the post-condition is not applicable.
24spec-name: Action Requirement Transition Post-Condition State
25spec-type: requirement-action-transition-post-state
26type: spec
Note: See TracBrowser for help on using the repository browser.