blob: 77cac693f75c9afe13c94f15094df9acee371d54 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
- role: spec-member
uid: root
spec-description: null
spec-example: null
spec-info:
dict:
attributes:
enabled-by:
description: |
The transition map may be customized to support configuration
variants through this attribute. The default transitions
(``enabled-by: true``) shall be specified before the customized
variants in the list.
spec-type: enabled-by
post-conditions:
description: null
spec-type: requirement-action-transition-post
pre-conditions:
description: null
spec-type: requirement-action-transition-pre
description: |
This set of attributes defines the transition from multiple sets of
states of pre-conditions to a set of states of post-conditions through an
action in an action requirement. The ability to specify multiple sets of
states of pre-conditions which result in a common set of post-conditions
may allow a more compact specification of the transition map. For
example, let us suppose you want to specify the action of a function with
a pointer parameter. The function performs an early check that the
pointer is NULL and in this case returns an error code. The pointer
condition dominates the action outcome if the pointer is NULL. Other
pre-condition states can be simply set to ``all`` for this transition.
mandatory-attributes: all
spec-name: Action Requirement Transition
spec-type: requirement-action-transition
type: spec
|