spec: Specify status constants

3 files changed, 73 insertions, 0 deletions

diff --git a/spec/rtems/status/req/first.yml b/spec/rtems/status/req/first.yml
new file mode 100644
index 00000000..1c0190fe
--- /dev/null
+++ b/spec/rtems/status/req/first.yml
@@ -0,0 +1,15 @@
+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/first
+functional-type: function
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The ${../if/first:/name} constant shall be equal to the minimum value of all
+  ${../if/code:/name} enumerators.
+type: requirement
diff --git a/spec/rtems/status/req/last.yml b/spec/rtems/status/req/last.yml
new file mode 100644
index 00000000..cfc58303
--- /dev/null
+++ b/spec/rtems/status/req/last.yml
@@ -0,0 +1,15 @@
+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/last
+functional-type: function
+rationale: null
+references: []
+requirement-type: functional
+text: |
+  The ${../if/last:/name} constant shall be equal to the maximum value of all
+  ${../if/code:/name} enumerators.
+type: requirement
diff --git a/spec/rtems/status/val/status.yml b/spec/rtems/status/val/status.yml
new file mode 100644
index 00000000..312a3aa1
--- /dev/null
+++ b/spec/rtems/status/val/status.yml
@@ -0,0 +1,43 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links: []
+test-actions:
+- action-brief: |
+    Validate the status code constants.
+  action-code: |
+    /* Nothing to do */
+  checks:
+  - brief: |
+      Check that ${../if/first:/name} has the expected value and is a constant
+      expression.
+    code: |
+      RTEMS_STATIC_ASSERT( RTEMS_STATUS_CODES_FIRST == 0, FIRST );
+    links:
+    - role: validation
+      uid: ../req/first
+  - brief: |
+      Check that ${../if/last:/name} has the expected value and is a constant
+      expression.
+    code: |
+      RTEMS_STATIC_ASSERT( RTEMS_STATUS_CODES_LAST == 29, LAST );
+    links:
+    - role: validation
+      uid: ../req/last
+  links: []
+test-brief: |
+  Tests some ${../if/group:/name} interfaces.
+test-context: []
+test-context-support: null
+test-description: null
+test-header: null
+test-includes:
+- rtems.h
+test-local-includes: []
+test-setup: null
+test-stop: null
+test-support: null
+test-target: testsuites/validation/tc-status.c
+test-teardown: null
+type: test-case