From 295933d59a723d65d7d538e707d6524fde86847c Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 9 May 2023 08:29:14 +0200
Subject: spec: Add constraint for opaque types

---
 spec/constraint/type-opaque.yml       | 11 +++++++++++
 spec/rtems/intr/if/entry.yml          |  2 ++
 spec/rtems/intr/if/server-action.yml  |  2 ++
 spec/rtems/intr/if/server-config.yml  |  2 ++
 spec/rtems/intr/if/server-control.yml |  2 ++
 spec/rtems/intr/if/server-entry.yml   |  2 ++
 spec/rtems/intr/if/server-request.yml |  2 ++
 7 files changed, 23 insertions(+)
 create mode 100644 spec/constraint/type-opaque.yml

diff --git a/spec/constraint/type-opaque.yml b/spec/constraint/type-opaque.yml
new file mode 100644
index 00000000..be27c619
--- /dev/null
+++ b/spec/constraint/type-opaque.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2023 embedded brains GmbH & Co. KG
+enabled-by: true
+links:
+- role: requirement-refinement
+  uid: /req/usage-constraints
+rationale: null
+text: |
+  Members of the type shall not be accessed directly by the application.
+type: constraint
diff --git a/spec/rtems/intr/if/entry.yml b/spec/rtems/intr/if/entry.yml
index 87102aac..49b4759c 100644
--- a/spec/rtems/intr/if/entry.yml
+++ b/spec/rtems/intr/if/entry.yml
@@ -46,6 +46,8 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/type-opaque
 name: rtems_interrupt_entry
 notes: |
   This structure shall be treated as an opaque data type from the
diff --git a/spec/rtems/intr/if/server-action.yml b/spec/rtems/intr/if/server-action.yml
index c17b85b2..3e85888a 100644
--- a/spec/rtems/intr/if/server-action.yml
+++ b/spec/rtems/intr/if/server-action.yml
@@ -38,6 +38,8 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/type-opaque
 name: rtems_interrupt_server_action
 notes: |
   This structure shall be treated as an opaque data type from the
diff --git a/spec/rtems/intr/if/server-config.yml b/spec/rtems/intr/if/server-config.yml
index 110b3929..fb4240e1 100644
--- a/spec/rtems/intr/if/server-config.yml
+++ b/spec/rtems/intr/if/server-config.yml
@@ -79,6 +79,8 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/type-opaque
 name: rtems_interrupt_server_config
 notes: |
   See also ${server-create:/name}.
diff --git a/spec/rtems/intr/if/server-control.yml b/spec/rtems/intr/if/server-control.yml
index 35f18132..ef513be1 100644
--- a/spec/rtems/intr/if/server-control.yml
+++ b/spec/rtems/intr/if/server-control.yml
@@ -73,6 +73,8 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/type-opaque
 name: rtems_interrupt_server_control
 notes: |
   This structure shall be treated as an opaque data type from the
diff --git a/spec/rtems/intr/if/server-entry.yml b/spec/rtems/intr/if/server-entry.yml
index f72bcec9..f7b831cc 100644
--- a/spec/rtems/intr/if/server-entry.yml
+++ b/spec/rtems/intr/if/server-entry.yml
@@ -46,6 +46,8 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/type-opaque
 name: rtems_interrupt_server_entry
 notes: |
   This structure shall be treated as an opaque data type from the
diff --git a/spec/rtems/intr/if/server-request.yml b/spec/rtems/intr/if/server-request.yml
index cbdca03c..8ea607e1 100644
--- a/spec/rtems/intr/if/server-request.yml
+++ b/spec/rtems/intr/if/server-request.yml
@@ -30,6 +30,8 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/type-opaque
 name: rtems_interrupt_server_request
 notes: |
   This structure shall be treated as an opaque data type from the
-- 
cgit v1.2.3