diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-09 08:29:14 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-09 12:57:56 +0200 |
| commit | 295933d59a723d65d7d538e707d6524fde86847c (patch) | |
| tree | 78f15d95726c8834b0ba85c3fa49a7abe41c6fd8 | |
| parent | spec: Fix formatting (diff) | |
| download | rtems-central-295933d59a723d65d7d538e707d6524fde86847c.tar.bz2 | |
spec: Add constraint for opaque types
| -rw-r--r-- | spec/constraint/type-opaque.yml | 11 | ||||
| -rw-r--r-- | spec/rtems/intr/if/entry.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/intr/if/server-action.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/intr/if/server-config.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/intr/if/server-control.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/intr/if/server-entry.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/intr/if/server-request.yml | 2 |
7 files changed, 23 insertions, 0 deletions
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 |