summaryrefslogtreecommitdiffstats
path: root/spec
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-03-12 10:21:40 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-03-17 18:35:11 +0100
commitbcbb588fd258705968de1dac155ba81603646a60 (patch)
treef119489761787fa38b172d7b66310aa083ac1462 /spec
parentspec: Update semaphore specification (diff)
downloadrtems-central-bcbb588fd258705968de1dac155ba81603646a60.tar.bz2
validation: Add default for transition map entries
Diffstat (limited to 'spec')
-rw-r--r--spec/spec/requirement-action-transition-pre.yml7
1 files changed, 7 insertions, 0 deletions
diff --git a/spec/spec/requirement-action-transition-pre.yml b/spec/spec/requirement-action-transition-pre.yml
index 0da85c42..c33df7ab 100644
--- a/spec/spec/requirement-action-transition-pre.yml
+++ b/spec/spec/requirement-action-transition-pre.yml
@@ -22,6 +22,13 @@ spec-info:
key-spec-type: requirement-action-name
value-spec-type: requirement-action-transition-pre-states
mandatory-attributes: all
+ str:
+ assert:
+ eq: default
+ description: |
+ If this name is specified instead of explicit pre-condition states,
+ then the post-condition states of this entry are used to define all
+ remaining transitions of the map.
spec-name: Action Requirement Transition Pre-Conditions
spec-type: requirement-action-transition-pre
type: spec