[rtems-docs commit] eng: Support N/A in the action transitions

[Sebastian Huber]

Module:    rtems-docs
Branch:    master
Commit:    c2595631da2782fbc3b59f4b65aa5703d460f903
Changeset: http://git.rtems.org/rtems-docs/commit/?id=c2595631da2782fbc3b59f4b65aa5703d460f903

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon Jul 27 15:38:30 2020 +0200

eng: Support N/A in the action transitions

Sometimes the pre-conditions in an action requirement are not
independent and it is necessary to mark pre-conditions as not applicable
in a particular transition.

Update #3715.

---

 eng/req/items.rst | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/eng/req/items.rst b/eng/req/items.rst
index f97afcc..4b4d85c 100644
--- a/eng/req/items.rst
+++ b/eng/req/items.rst
@@ -2192,8 +2192,12 @@ a condition used to define pre-conditions and post-conditions of an action
 requirement.  It shall be formatted in CamelCase.  It should be brief and
 abbreviated. The rationale for this is that the names are used in tables and
 the horizontal space is limited by the page width.  The more conditions you
-have in an action requirement, the shorter the names should be. The value shall
-match with the regular expression "``^[A-Z][a-zA-Z0-9]+$"``.
+have in an action requirement, the shorter the names should be.  The name
+``NA`` is reserved and indicates that a condition is not applicable. The value
+
+* shall match with the regular expression "``^[A-Z][a-zA-Z0-9]+$"``,
+
+* and, shall be not equal to "``NA``".
 
 This type is used by the following types:
 
@@ -2429,8 +2433,13 @@ A value of this type shall be of one of the following variants:
   :ref:`SpecTypeActionRequirementName`. The list defines the set of states of
   the pre-condition in the transition.
 
-* The value may be a string. The value represents all states of the
-  pre-condition in the transition. The value shall be equal to "``all``".
+* The value may be a string. The value ``all`` represents all states of the
+  pre-condition in this transition.  The value ``N/A`` marks the pre-condition
+  as not applicable in this transition. The value shall be an element of
+
+  * "``all``", and
+
+  * "``N/A``".
 
 This type is used by the following types: