[rtems-central commit] spec: Specify more configuration directives

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    93c5eb801d323c458f42bfae0fe0047f52157085
Changeset: http://git.rtems.org/rtems-central/commit/?id=93c5eb801d323c458f42bfae0fe0047f52157085

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Dec  9 13:20:09 2021 +0100

spec: Specify more configuration directives

---

 spec/acfg/val/acfg.yml                        | 20 ++++++++++++++++++++
 spec/rtems/config/if/get-maximum-ports.yml    |  2 --
 spec/rtems/config/if/get-maximum-regions.yml  |  2 --
 spec/rtems/config/req/get-maximum-ports.yml   | 18 ++++++++++++++++++
 spec/rtems/config/req/get-maximum-regions.yml | 18 ++++++++++++++++++
 5 files changed, 56 insertions(+), 4 deletions(-)

diff --git a/spec/acfg/val/acfg.yml b/spec/acfg/val/acfg.yml
index e174f72..272c5ee 100644
--- a/spec/acfg/val/acfg.yml
+++ b/spec/acfg/val/acfg.yml
@@ -140,6 +140,16 @@ test-actions:
     - role: validation
       uid: /rtems/config/req/get-maximum-periods
   - brief: |
+      Check the default ${/acfg/if/max-ports:/name} value.
+    code: |
+      T_eq_u32(
+        rtems_configuration_get_maximum_ports(),
+        0
+      );
+    links:
+    - role: validation
+      uid: /rtems/config/req/get-maximum-ports
+  - brief: |
       Check the configured ${/acfg/if/max-processors:/name} value.
     code: |
       T_eq_u32(
@@ -156,6 +166,16 @@ test-actions:
     - role: validation
       uid: /rtems/config/req/get-maximum-processors
   - brief: |
+      Check the default ${/acfg/if/max-regions:/name} value.
+    code: |
+      T_eq_u32(
+        rtems_configuration_get_maximum_regions(),
+        0
+      );
+    links:
+    - role: validation
+      uid: /rtems/config/req/get-maximum-regions
+  - brief: |
       Check the configured ${/acfg/if/max-semaphores:/name} value.
     code: |
       T_eq_u32(
diff --git a/spec/rtems/config/if/get-maximum-ports.yml b/spec/rtems/config/if/get-maximum-ports.yml
index 4f6cbbc..fad700d 100644
--- a/spec/rtems/config/if/get-maximum-ports.yml
+++ b/spec/rtems/config/if/get-maximum-ports.yml
@@ -20,8 +20,6 @@ links:
   uid: header-2
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: rtems_configuration_get_maximum_ports
 notes: |
   See ${/acfg/if/max-ports:/name}.
diff --git a/spec/rtems/config/if/get-maximum-regions.yml b/spec/rtems/config/if/get-maximum-regions.yml
index ad13bbc..422882e 100644
--- a/spec/rtems/config/if/get-maximum-regions.yml
+++ b/spec/rtems/config/if/get-maximum-regions.yml
@@ -20,8 +20,6 @@ links:
   uid: header-2
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: rtems_configuration_get_maximum_regions
 notes: |
   See ${/acfg/if/max-regions:/name}.
diff --git a/spec/rtems/config/req/get-maximum-ports.yml b/spec/rtems/config/req/get-maximum-ports.yml
new file mode 100644
index 0000000..1eff71d
--- /dev/null
+++ b/spec/rtems/config/req/get-maximum-ports.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/get-maximum-ports
+functional-type: function
+rationale: |
+  The directive may be used to check the setting of the
+  ${/acfg/if/max-ports:/name} application configuration option.
+references: []
+requirement-type: functional
+text: |
+  The ${../if/get-maximum-ports:/name} directive shall return the maximum
+  number of objects managed by the ${../../dpmem/if/group:/name} that can be
+  concurrently active.
+type: requirement
diff --git a/spec/rtems/config/req/get-maximum-regions.yml b/spec/rtems/config/req/get-maximum-regions.yml
new file mode 100644
index 0000000..2080b7b
--- /dev/null
+++ b/spec/rtems/config/req/get-maximum-regions.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/get-maximum-regions
+functional-type: function
+rationale: |
+  The directive may be used to check the setting of the
+  ${/acfg/if/max-regions:/name} application configuration option.
+references: []
+requirement-type: functional
+text: |
+  The ${../if/get-maximum-regions:/name} directive shall return the maximum
+  number of objects managed by the ${../../region/if/group:/name} that can be
+  concurrently active.
+type: requirement