[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