summaryrefslogtreecommitdiffstats
path: root/spec/rtems
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2023-05-09 08:29:14 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2023-05-09 12:57:56 +0200
commit295933d59a723d65d7d538e707d6524fde86847c (patch)
tree78f15d95726c8834b0ba85c3fa49a7abe41c6fd8 /spec/rtems
parentspec: Fix formatting (diff)
downloadrtems-central-295933d59a723d65d7d538e707d6524fde86847c.tar.bz2
spec: Add constraint for opaque types
Diffstat (limited to 'spec/rtems')
-rw-r--r--spec/rtems/intr/if/entry.yml2
-rw-r--r--spec/rtems/intr/if/server-action.yml2
-rw-r--r--spec/rtems/intr/if/server-config.yml2
-rw-r--r--spec/rtems/intr/if/server-control.yml2
-rw-r--r--spec/rtems/intr/if/server-entry.yml2
-rw-r--r--spec/rtems/intr/if/server-request.yml2
6 files changed, 12 insertions, 0 deletions
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