From 93c5eb801d323c458f42bfae0fe0047f52157085 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 9 Dec 2021 13:20:09 +0100
Subject: 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(-)
 create mode 100644 spec/rtems/config/req/get-maximum-ports.yml
 create mode 100644 spec/rtems/config/req/get-maximum-regions.yml

diff --git a/spec/acfg/val/acfg.yml b/spec/acfg/val/acfg.yml
index e174f72c..272c5ee5 100644
--- a/spec/acfg/val/acfg.yml
+++ b/spec/acfg/val/acfg.yml
@@ -139,6 +139,16 @@ test-actions:
       uid: ../req/max-periods
     - 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: |
@@ -155,6 +165,16 @@ test-actions:
       uid: ../req/max-processors
     - 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: |
diff --git a/spec/rtems/config/if/get-maximum-ports.yml b/spec/rtems/config/if/get-maximum-ports.yml
index 4f6cbbca..fad700da 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 ad13bbcb..422882e2 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 00000000..1eff71dc
--- /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 00000000..2080b7bb
--- /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
-- 
cgit v1.2.3