diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-12 10:21:40 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-17 18:35:11 +0100 |
commit | bcbb588fd258705968de1dac155ba81603646a60 (patch) | |
tree | f119489761787fa38b172d7b66310aa083ac1462 /spec | |
parent | spec: Update semaphore specification (diff) | |
download | rtems-central-bcbb588fd258705968de1dac155ba81603646a60.tar.bz2 |
validation: Add default for transition map entries
Diffstat (limited to 'spec')
-rw-r--r-- | spec/spec/requirement-action-transition-pre.yml | 7 |
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 |