[rtems-central commit] spec: Add constraints to create/delete

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Feb  9 10:34:37 2021 +0100

spec: Add constraints to create/delete

---

 spec/constraint/mp-send.yml         | 11 +++++++++++
 spec/rtems/message/if/construct.yml | 14 ++++++++++++++
 spec/rtems/message/if/create.yml    |  2 ++
 spec/rtems/message/if/delete.yml    |  2 ++
 spec/rtems/part/if/create.yml       |  2 ++
 spec/rtems/part/if/delete.yml       |  2 ++
 spec/rtems/sem/if/create.yml        |  2 ++
 spec/rtems/sem/if/delete.yml        |  2 ++
 spec/rtems/task/if/construct.yml    | 14 ++++++++++++++
 spec/rtems/task/if/create.yml       |  2 ++
 spec/rtems/task/if/delete.yml       |  2 ++
 11 files changed, 55 insertions(+)

diff --git a/spec/constraint/mp-send.yml b/spec/constraint/mp-send.yml
new file mode 100644
index 0000000..70195c6
--- /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 c8e5275..a32dfc4 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 57d804e..6497c71 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 72afc6c..fb170c9 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 88022ab..e914bd3 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 7d2976c..c08bbf2 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 805860f..10b58d4 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 6b22b60..af5d7c7 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 fa2ae2a..cb0dda3 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 a05c765..46da64e 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 d34ed0e..0e3678a 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