[rtems-central commit] spec: Use constraints for event manager

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Feb  3 07:03:46 2021 +0100

spec: Use constraints for event manager

---

 spec/rtems/event/if/receive.yml           | 9 ++++++---
 spec/rtems/event/if/send.yml              | 8 ++++++++
 spec/rtems/event/if/system-receive.yml    | 6 ++++++
 spec/rtems/event/if/system-send.yml       | 8 ++++++++
 spec/rtems/event/if/transient-clear.yml   | 6 ++++++
 spec/rtems/event/if/transient-receive.yml | 6 ++++++
 spec/rtems/event/if/transient-send.yml    | 8 ++++++++
 7 files changed, 48 insertions(+), 3 deletions(-)

diff --git a/spec/rtems/event/if/receive.yml b/spec/rtems/event/if/receive.yml
index 9f3018c..b75e011 100644
--- a/spec/rtems/event/if/receive.yml
+++ b/spec/rtems/event/if/receive.yml
@@ -71,11 +71,14 @@ 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/clock-tick
 name: rtems_event_receive
 notes: |
-  This directive shall be called by a task.  Calling this directive from
-  interrupt context is undefined behaviour.
-
   This directive only affects the events specified in ${.:/params[0]/name}.
   Any pending events that do not correspond to any of the events specified in
   ${.:/params[0]/name} will be left pending.
diff --git a/spec/rtems/event/if/send.yml b/spec/rtems/event/if/send.yml
index f061503..dbf2318 100644
--- a/spec/rtems/event/if/send.yml
+++ b/spec/rtems/event/if/send.yml
@@ -36,6 +36,14 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/directive-ctx-isr
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/directive-may-preempt
 name: rtems_event_send
 notes: |
   Events can be sent by tasks or an ${/glossary/isr:/term}.
diff --git a/spec/rtems/event/if/system-receive.yml b/spec/rtems/event/if/system-receive.yml
index 941357d..36b2f18 100644
--- a/spec/rtems/event/if/system-receive.yml
+++ b/spec/rtems/event/if/system-receive.yml
@@ -24,6 +24,12 @@ interface-type: function
 links:
 - role: interface-placement
   uid: header
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/clock-tick
 name: rtems_event_system_receive
 notes: null
 params:
diff --git a/spec/rtems/event/if/system-send.yml b/spec/rtems/event/if/system-send.yml
index 5221a4a..5f71ff1 100644
--- a/spec/rtems/event/if/system-send.yml
+++ b/spec/rtems/event/if/system-send.yml
@@ -20,6 +20,14 @@ interface-type: function
 links:
 - role: interface-placement
   uid: header
+- role: constraint
+  uid: /constraint/directive-ctx-isr
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/directive-may-preempt
 name: rtems_event_system_send
 notes: null
 params:
diff --git a/spec/rtems/event/if/transient-clear.yml b/spec/rtems/event/if/transient-clear.yml
index ee0e689..2febcdc 100644
--- a/spec/rtems/event/if/transient-clear.yml
+++ b/spec/rtems/event/if/transient-clear.yml
@@ -25,6 +25,12 @@ interface-type: function
 links:
 - role: interface-placement
   uid: header
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/directive-no-preempt
 name: rtems_event_transient_clear
 notes: null
 params: []
diff --git a/spec/rtems/event/if/transient-receive.yml b/spec/rtems/event/if/transient-receive.yml
index 54bb618..41b2b18 100644
--- a/spec/rtems/event/if/transient-receive.yml
+++ b/spec/rtems/event/if/transient-receive.yml
@@ -27,6 +27,12 @@ interface-type: function
 links:
 - role: interface-placement
   uid: header
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/clock-tick
 name: rtems_event_transient_receive
 notes: null
 params:
diff --git a/spec/rtems/event/if/transient-send.yml b/spec/rtems/event/if/transient-send.yml
index 24e27e9..b994623 100644
--- a/spec/rtems/event/if/transient-send.yml
+++ b/spec/rtems/event/if/transient-send.yml
@@ -19,6 +19,14 @@ interface-type: function
 links:
 - role: interface-placement
   uid: header
+- role: constraint
+  uid: /constraint/directive-ctx-isr
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: /constraint/directive-may-preempt
 name: rtems_event_transient_send
 notes: null
 params: