[rtems-central commit] spec: Add not prequalified constraints

Sebastian Huber sebh at rtems.org
Fri Sep 2 11:24:35 UTC 2022


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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Fri Sep  2 08:48:15 2022 +0200

spec: Add not prequalified constraints

---

 spec/rtems/clock/if/tick.yml                   | 10 ++++++++++
 spec/rtems/event/if/system-network-close.yml   |  2 ++
 spec/rtems/event/if/system-network-sbwait.yml  |  2 ++
 spec/rtems/event/if/system-network-sosleep.yml |  2 ++
 spec/rtems/event/if/system-server-resume.yml   |  2 ++
 spec/rtems/event/if/system-server.yml          |  2 ++
 spec/rtems/event/if/system-transient.yml       |  2 ++
 spec/rtems/event/if/transient-clear.yml        |  2 ++
 spec/rtems/event/if/transient-receive.yml      |  2 ++
 spec/rtems/event/if/transient-send.yml         |  2 ++
 10 files changed, 28 insertions(+)

diff --git a/spec/rtems/clock/if/tick.yml b/spec/rtems/clock/if/tick.yml
index 6c277265..9365c8ca 100644
--- a/spec/rtems/clock/if/tick.yml
+++ b/spec/rtems/clock/if/tick.yml
@@ -18,6 +18,16 @@ interface-type: function
 links:
 - role: interface-placement
   uid: header
+- role: interface-ingroup-hidden
+  uid: group
+- role: constraint
+  uid: /constraint/directive-not-pre-qualified
+- role: constraint
+  uid: /constraint/directive-ctx-isr
+- role: constraint
+  uid: /constraint/directive-ctx-devinit
+- role: constraint
+  uid: /constraint/directive-ctx-task
 name: rtems_clock_tick
 notes: |
   The directive is a legacy interface.  It should not be called by applications
diff --git a/spec/rtems/event/if/system-network-close.yml b/spec/rtems/event/if/system-network-close.yml
index 761861fc..ea36286a 100644
--- a/spec/rtems/event/if/system-network-close.yml
+++ b/spec/rtems/event/if/system-network-close.yml
@@ -17,6 +17,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/constant-not-pre-qualified
 name: RTEMS_EVENT_SYSTEM_NETWORK_CLOSE
 notes: null
 type: interface
diff --git a/spec/rtems/event/if/system-network-sbwait.yml b/spec/rtems/event/if/system-network-sbwait.yml
index 24e61f33..99778425 100644
--- a/spec/rtems/event/if/system-network-sbwait.yml
+++ b/spec/rtems/event/if/system-network-sbwait.yml
@@ -17,6 +17,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/constant-not-pre-qualified
 name: RTEMS_EVENT_SYSTEM_NETWORK_SBWAIT
 notes: null
 type: interface
diff --git a/spec/rtems/event/if/system-network-sosleep.yml b/spec/rtems/event/if/system-network-sosleep.yml
index ee54c55f..41151ce6 100644
--- a/spec/rtems/event/if/system-network-sosleep.yml
+++ b/spec/rtems/event/if/system-network-sosleep.yml
@@ -17,6 +17,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/constant-not-pre-qualified
 name: RTEMS_EVENT_SYSTEM_NETWORK_SOSLEEP
 notes: null
 type: interface
diff --git a/spec/rtems/event/if/system-server-resume.yml b/spec/rtems/event/if/system-server-resume.yml
index b426b30d..5a3486ee 100644
--- a/spec/rtems/event/if/system-server-resume.yml
+++ b/spec/rtems/event/if/system-server-resume.yml
@@ -17,6 +17,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/constant-not-pre-qualified
 name: RTEMS_EVENT_SYSTEM_SERVER_RESUME
 notes: null
 type: interface
diff --git a/spec/rtems/event/if/system-server.yml b/spec/rtems/event/if/system-server.yml
index 3369dbad..56dbfc4d 100644
--- a/spec/rtems/event/if/system-server.yml
+++ b/spec/rtems/event/if/system-server.yml
@@ -17,6 +17,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/constant-not-pre-qualified
 name: RTEMS_EVENT_SYSTEM_SERVER
 notes: null
 type: interface
diff --git a/spec/rtems/event/if/system-transient.yml b/spec/rtems/event/if/system-transient.yml
index bcb1b3fb..74c7bd1a 100644
--- a/spec/rtems/event/if/system-transient.yml
+++ b/spec/rtems/event/if/system-transient.yml
@@ -17,6 +17,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/constant-not-pre-qualified
 name: RTEMS_EVENT_SYSTEM_TRANSIENT
 notes: null
 type: interface
diff --git a/spec/rtems/event/if/transient-clear.yml b/spec/rtems/event/if/transient-clear.yml
index 09214076..42636dd9 100644
--- a/spec/rtems/event/if/transient-clear.yml
+++ b/spec/rtems/event/if/transient-clear.yml
@@ -27,6 +27,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/directive-not-pre-qualified
 - role: constraint
   uid: /constraint/directive-ctx-devinit
 - role: constraint
diff --git a/spec/rtems/event/if/transient-receive.yml b/spec/rtems/event/if/transient-receive.yml
index 51293504..69240581 100644
--- a/spec/rtems/event/if/transient-receive.yml
+++ b/spec/rtems/event/if/transient-receive.yml
@@ -29,6 +29,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/directive-not-pre-qualified
 - role: constraint
   uid: /constraint/directive-ctx-devinit
 - role: constraint
diff --git a/spec/rtems/event/if/transient-send.yml b/spec/rtems/event/if/transient-send.yml
index 9bef47f0..d3dabb0f 100644
--- a/spec/rtems/event/if/transient-send.yml
+++ b/spec/rtems/event/if/transient-send.yml
@@ -21,6 +21,8 @@ links:
   uid: header
 - role: interface-ingroup-hidden
   uid: group
+- role: constraint
+  uid: /constraint/directive-not-pre-qualified
 - role: constraint
   uid: /constraint/directive-ctx-isr
 - role: constraint



More information about the vc mailing list