spec: Add constraints to create/delete

11 files changed, 55 insertions, 0 deletions

diff --git a/spec/constraint/mp-send.yml b/spec/constraint/mp-send.yml
new file mode 100644
index 00000000..70195c64
--- /dev/null
+++ b/spec/constraint/mp-send.yml
@@ -0,0 +1,11 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links: []
+rationale: null
+scope: user
+text: |
+  When the directive operates on a global object, the directive sends a message
+  to remote nodes.  This may preempt the calling task.
+type: constraint
diff --git a/spec/rtems/message/if/construct.yml b/spec/rtems/message/if/construct.yml
index c8e52757..a32dfc48 100644
--- a/spec/rtems/message/if/construct.yml
+++ b/spec/rtems/message/if/construct.yml
@@ -22,6 +22,20 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/object-allocator
+- role: constraint
+  uid: /constraint/mp-send
+- role: constraint
+  uid: ../constraint/max
+- role: constraint
+  uid: /constraint/obj-unlimited-alloc
+- role: constraint
+  uid: ../../constraint/mp-max-global-objects
 name: rtems_message_queue_construct
 notes: |
   In contrast to message queues created by ${create:/name}, the message queues
diff --git a/spec/rtems/message/if/create.yml b/spec/rtems/message/if/create.yml
index 57d804e9..6497c711 100644
--- a/spec/rtems/message/if/create.yml
+++ b/spec/rtems/message/if/create.yml
@@ -78,6 +78,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../constraint/max
 - role: constraint
   uid: /constraint/obj-unlimited-alloc
diff --git a/spec/rtems/message/if/delete.yml b/spec/rtems/message/if/delete.yml
index 72afc6ca..fb170c97 100644
--- a/spec/rtems/message/if/delete.yml
+++ b/spec/rtems/message/if/delete.yml
@@ -33,6 +33,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../../constraint/delete-by-any-task
 - role: constraint
   uid: /constraint/obj-unlimited-free
diff --git a/spec/rtems/part/if/create.yml b/spec/rtems/part/if/create.yml
index 88022ab0..e914bd37 100644
--- a/spec/rtems/part/if/create.yml
+++ b/spec/rtems/part/if/create.yml
@@ -63,6 +63,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../constraint/max
 - role: constraint
   uid: /constraint/obj-unlimited-alloc
diff --git a/spec/rtems/part/if/delete.yml b/spec/rtems/part/if/delete.yml
index 7d2976cb..c08bbf24 100644
--- a/spec/rtems/part/if/delete.yml
+++ b/spec/rtems/part/if/delete.yml
@@ -30,6 +30,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../../constraint/delete-by-any-task
 - role: constraint
   uid: /constraint/obj-unlimited-free
diff --git a/spec/rtems/sem/if/create.yml b/spec/rtems/sem/if/create.yml
index 805860ff..10b58d4c 100644
--- a/spec/rtems/sem/if/create.yml
+++ b/spec/rtems/sem/if/create.yml
@@ -130,6 +130,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../constraint/create-mrsp-not-locked
 - role: constraint
   uid: ../constraint/max
diff --git a/spec/rtems/sem/if/delete.yml b/spec/rtems/sem/if/delete.yml
index 6b22b603..af5d7c78 100644
--- a/spec/rtems/sem/if/delete.yml
+++ b/spec/rtems/sem/if/delete.yml
@@ -30,6 +30,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../../constraint/delete-by-any-task
 - role: constraint
   uid: /constraint/obj-unlimited-free
diff --git a/spec/rtems/task/if/construct.yml b/spec/rtems/task/if/construct.yml
index fa2ae2a7..cb0dda37 100644
--- a/spec/rtems/task/if/construct.yml
+++ b/spec/rtems/task/if/construct.yml
@@ -21,6 +21,20 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/object-allocator
+- role: constraint
+  uid: /constraint/mp-send
+- role: constraint
+  uid: ../constraint/max
+- role: constraint
+  uid: /constraint/obj-unlimited-alloc
+- role: constraint
+  uid: ../../constraint/mp-max-global-objects
 name: rtems_task_construct
 notes: |
   In contrast to tasks created by ${create:/name}, the tasks constructed by
diff --git a/spec/rtems/task/if/create.yml b/spec/rtems/task/if/create.yml
index a05c765a..46da64e8 100644
--- a/spec/rtems/task/if/create.yml
+++ b/spec/rtems/task/if/create.yml
@@ -172,6 +172,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../constraint/max
 - role: constraint
   uid: /constraint/obj-unlimited-alloc
diff --git a/spec/rtems/task/if/delete.yml b/spec/rtems/task/if/delete.yml
index d34ed0ec..0e3678aa 100644
--- a/spec/rtems/task/if/delete.yml
+++ b/spec/rtems/task/if/delete.yml
@@ -31,6 +31,8 @@ links:
 - role: constraint
   uid: /constraint/object-allocator
 - role: constraint
+  uid: /constraint/mp-send
+- role: constraint
   uid: ../../constraint/delete-by-any-task
 - role: constraint
   uid: /constraint/obj-unlimited-free