diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-04 10:53:57 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-08 08:59:20 +0200 |
commit | e5d1f8d9528dc33cf1289c8e7ec551109806604e (patch) | |
tree | 01ee87bb4d651d6a1e564e2784adc8473952dade /rtemsqual/tests/test_specdoc.py | |
parent | spec: Rename required in mandatory attributes (diff) | |
download | rtems-central-e5d1f8d9528dc33cf1289c8e7ec551109806604e.tar.bz2 |
spec: Define generic attribute key types
Diffstat (limited to '')
-rw-r--r-- | rtemsqual/tests/test_specdoc.py | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/rtemsqual/tests/test_specdoc.py b/rtemsqual/tests/test_specdoc.py index d8ead25d..b2ed7d47 100644 --- a/rtemsqual/tests/test_specdoc.py +++ b/rtemsqual/tests/test_specdoc.py @@ -86,8 +86,8 @@ A value of this type shall be of one of the following variants: The attribute value shall be a :ref:`SpecTypeName`. In addition to the explicit attributes, generic attributes may be specified. - Each attribute key shall be a :ref:`SpecTypeName`. The attribute value shall - be a :ref:`SpecTypeRoot`. + Each generic attribute key shall be a :ref:`SpecTypeName`. Each generic + attribute value shall be a :ref:`SpecTypeRoot`. * The value may be a floating-point number. The value shall be equal to 0.0. @@ -219,9 +219,9 @@ This type refines the following types: * :ref:`SpecTypeRoot` though the ``type`` attribute if the value is ``b`` -Generic attributes may be specified. Each attribute key shall be a -:ref:`SpecTypeName`. The attribute value shall be a list. Each list element -shall be a string. +Generic attributes may be specified. Each generic attribute key shall be a +:ref:`SpecTypeName`. Each generic attribute value shall be a list. Each list +element shall be a string. .. _ReqEngSpecificationAttributeSetsAndValueTypes: @@ -272,6 +272,8 @@ The value shall be a string. A string is a valid name if it matches with the This type is used by the following types: +* :ref:`SpecTypeB` + * :ref:`SpecTypeD` * :ref:`SpecTypeRoot` |