summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2022-01-11 16:05:12 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2022-01-11 16:49:15 +0100
commitc620a77d70984fe7aedae40cf594352c331c0733 (patch)
tree54b9cef2e5c5ec3be870f540ae0fcf36b38bc4d9
parentspec: Improve some Interrupt Manager tests (diff)
downloadrtems-central-c620a77d70984fe7aedae40cf594352c331c0733.tar.bz2
spec: Fix action requirement patterns
-rw-r--r--spec/spec/requirement-action-exp-state-name.yml2
-rw-r--r--spec/spec/requirement-action-exp-states.yml2
-rw-r--r--spec/spec/requirement-action-name.yml2
-rw-r--r--spec/spec/requirement-action-transition-post-state.yml2
-rw-r--r--spec/spec/requirement-action-transition-post.yml2
5 files changed, 5 insertions, 5 deletions
diff --git a/spec/spec/requirement-action-exp-state-name.yml b/spec/spec/requirement-action-exp-state-name.yml
index 5d9d291d..134b883d 100644
--- a/spec/spec/requirement-action-exp-state-name.yml
+++ b/spec/spec/requirement-action-exp-state-name.yml
@@ -11,7 +11,7 @@ spec-info:
str:
assert:
or:
- - re: ^[A-Z][a-zA-Z0-9]+$
+ - re: ^[A-Z][a-zA-Z0-9]*$
- eq: N/A
description: |
It shall be the name of a state of the condition or ``N/A`` if the
diff --git a/spec/spec/requirement-action-exp-states.yml b/spec/spec/requirement-action-exp-states.yml
index 943ec381..931fb267 100644
--- a/spec/spec/requirement-action-exp-states.yml
+++ b/spec/spec/requirement-action-exp-states.yml
@@ -15,7 +15,7 @@ spec-info:
str:
assert:
or:
- - re: ^[A-Z][a-zA-Z0-9]+$
+ - re: ^[A-Z][a-zA-Z0-9]*$
- eq: N/A
description: |
It shall be the name of a state of the condition or ``N/A`` if the
diff --git a/spec/spec/requirement-action-name.yml b/spec/spec/requirement-action-name.yml
index 76451efe..e9679f3e 100644
--- a/spec/spec/requirement-action-name.yml
+++ b/spec/spec/requirement-action-name.yml
@@ -11,7 +11,7 @@ spec-info:
str:
assert:
and:
- - re: ^[A-Z][a-zA-Z0-9]+$
+ - re: ^[A-Z][a-zA-Z0-9]*$
- not:
eq: NA
description: |
diff --git a/spec/spec/requirement-action-transition-post-state.yml b/spec/spec/requirement-action-transition-post-state.yml
index e2f99c74..e6e1c392 100644
--- a/spec/spec/requirement-action-transition-post-state.yml
+++ b/spec/spec/requirement-action-transition-post-state.yml
@@ -16,7 +16,7 @@ spec-info:
str:
assert:
or:
- - re: ^[A-Z][a-zA-Z0-9]+$
+ - 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
diff --git a/spec/spec/requirement-action-transition-post.yml b/spec/spec/requirement-action-transition-post.yml
index fd8b9f10..eb68d577 100644
--- a/spec/spec/requirement-action-transition-post.yml
+++ b/spec/spec/requirement-action-transition-post.yml
@@ -25,7 +25,7 @@ spec-info:
str:
assert:
and:
- - re: ^[A-Z][a-zA-Z0-9]+$
+ - re: ^[A-Z][a-zA-Z0-9]*$
- not:
eq: NA
description: |