blob: 5f6606234967722c1235661e1812d13832ea30eb (
plain) (
tree)
|
|
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH & Co. KG
enabled-by: true
links:
- role: spec-member
uid: root
spec-description: null
spec-example: null
spec-info:
list:
description: |
The list contains expressions to define the state of the corresponding
post-condition.
spec-type: requirement-action-exp
str:
assert:
or:
- re: ^[A-Z][a-zA-Z0-9]*$
- eq: N/A
description: |
It shall be the name of a state of the corresponding post-condition or
``N/A`` if the post-condition is not applicable.
spec-name: Action Requirement Transition Post-Condition State
spec-type: requirement-action-transition-post-state
type: spec
|