spec: Use constraints for timer manager

8 files changed, 75 insertions, 21 deletions

diff --git a/spec/rtems/timer/if/cancel.yml b/spec/rtems/timer/if/cancel.yml
index a582c337..13fe834e 100644
--- a/spec/rtems/timer/if/cancel.yml
+++ b/spec/rtems/timer/if/cancel.yml
@@ -13,10 +13,9 @@ definition:
     return: ${../../status/if/code:/name}
   variants: []
 description: |
-  This directive cancels the timer specified in the ${.:/params[0]/name}
-  parameter.  This timer will be reinitiated by the next invocation of
-  ${reset:/name}, ${fire-after:/name}, or ${fire-when:/name} with the same
-  timer identifier.
+  This directive cancels the timer specified by ${.:/params[0]/name}.  This
+  timer will be reinitiated by the next invocation of ${reset:/name},
+  ${fire-after:/name}, or ${fire-when:/name} with the same timer identifier.
 enabled-by: true
 index-entries:
 - cancel a timer
@@ -26,9 +25,16 @@ 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-no-preempt
 name: rtems_timer_cancel
-notes: |
-  This directive will not cause the running task to be preempted.
+notes: null
 params:
 - description: is the timer identifier.
   dir: null
diff --git a/spec/rtems/timer/if/fire-after.yml b/spec/rtems/timer/if/fire-after.yml
index 63647897..0113c460 100644
--- a/spec/rtems/timer/if/fire-after.yml
+++ b/spec/rtems/timer/if/fire-after.yml
@@ -31,9 +31,16 @@ 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-no-preempt
 name: rtems_timer_fire_after
-notes: |
-  This directive will not cause the running task to be preempted.
+notes: null
 params:
 - description: is the timer identifier.
   dir: null
diff --git a/spec/rtems/timer/if/fire-when.yml b/spec/rtems/timer/if/fire-when.yml
index a6fde1c0..220865cd 100644
--- a/spec/rtems/timer/if/fire-when.yml
+++ b/spec/rtems/timer/if/fire-when.yml
@@ -31,9 +31,16 @@ 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-no-preempt
 name: rtems_timer_fire_when
-notes: |
-  This directive will not cause the running task to be preempted.
+notes: null
 params:
 - description: is the timer identifier.
   dir: null
diff --git a/spec/rtems/timer/if/get-information.yml b/spec/rtems/timer/if/get-information.yml
index b4a414ea..a69032eb 100644
--- a/spec/rtems/timer/if/get-information.yml
+++ b/spec/rtems/timer/if/get-information.yml
@@ -23,9 +23,16 @@ 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-no-preempt
 name: rtems_timer_get_information
-notes: |
-  This directive will not cause the running task to be preempted.
+notes: null
 params:
 - description: is the timer identifier.
   dir: null
diff --git a/spec/rtems/timer/if/initiate-server.yml b/spec/rtems/timer/if/initiate-server.yml
index 0f58d53d..82d95169 100644
--- a/spec/rtems/timer/if/initiate-server.yml
+++ b/spec/rtems/timer/if/initiate-server.yml
@@ -27,11 +27,18 @@ links:
   uid: header
 - role: interface-ingroup
   uid: group
+- role: constraint
+  uid: /constraint/object-allocator
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: ../constraint/max
+- role: constraint
+  uid: /constraint/obj-unlimited-alloc
 name: rtems_timer_initiate_server
 notes: |
-  This directive may cause the calling task to be preempted due to an obtain
-  and release of the object allocator mutex.
-
   The Timer Server task is created using the ${../../task/if/create:/name}
   directive and must be accounted for when configuring the system.
 params:
diff --git a/spec/rtems/timer/if/reset.yml b/spec/rtems/timer/if/reset.yml
index 6bbac0fe..08de21fa 100644
--- a/spec/rtems/timer/if/reset.yml
+++ b/spec/rtems/timer/if/reset.yml
@@ -28,10 +28,16 @@ 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-no-preempt
 name: rtems_timer_reset
 notes: |
-  This directive will not cause the running task to be preempted.
-
   If the timer has not been used or the last usage of this timer was by a
   ${fire-when:/name} or ${server-fire-when:/name} directive, then the
   ${../../status/if/not-defined:/name} error is returned.
diff --git a/spec/rtems/timer/if/server-fire-after.yml b/spec/rtems/timer/if/server-fire-after.yml
index 086ce8d2..a32c7016 100644
--- a/spec/rtems/timer/if/server-fire-after.yml
+++ b/spec/rtems/timer/if/server-fire-after.yml
@@ -31,9 +31,16 @@ 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-no-preempt
 name: rtems_timer_server_fire_after
-notes: |
-  This directive will not cause the running task to be preempted.
+notes: null
 params:
 - description: is the timer identifier.
   dir: null
diff --git a/spec/rtems/timer/if/server-fire-when.yml b/spec/rtems/timer/if/server-fire-when.yml
index 037283b8..98ec5d5d 100644
--- a/spec/rtems/timer/if/server-fire-when.yml
+++ b/spec/rtems/timer/if/server-fire-when.yml
@@ -31,9 +31,16 @@ 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-no-preempt
 name: rtems_timer_server_fire_when
-notes: |
-  This directive will not cause the running task to be preempted.
+notes: null
 params:
 - description: is the timer identifier.
   dir: null