[rtems-central commit] spec: Add constraint for opaque types

Sebastian Huber sebh at rtems.org
Tue May 9 13:45:27 UTC 2023


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue May  9 08:29:14 2023 +0200

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(+)

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



More information about the vc mailing list