[rtems-central commit] spec: Add interface function links

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Sat Nov 13 22:15:37 2021 +0100

spec: Add interface function links

---

 spec/rtems/barrier/req/wait.yml          |  2 ++
 spec/rtems/event/req/send-receive.yml    |  2 ++
 spec/rtems/intr/req/entry-install.yml    |  6 ++++++
 spec/rtems/message/req/receive.yml       |  2 ++
 spec/rtems/ratemon/req/period.yml        |  2 ++
 spec/rtems/req/ident.yml                 | 12 +++++++++---
 spec/rtems/sem/req/obtain.yml            |  2 ++
 spec/rtems/task/req/mode.yml             |  2 ++
 spec/rtems/task/req/set-priority.yml     |  2 ++
 spec/rtems/task/req/wake-after.yml       |  2 ++
 spec/rtems/timer/req/initiate-server.yml |  2 ++
 11 files changed, 33 insertions(+), 3 deletions(-)

diff --git a/spec/rtems/barrier/req/wait.yml b/spec/rtems/barrier/req/wait.yml
index 26ae81d..87edf8a 100644
--- a/spec/rtems/barrier/req/wait.yml
+++ b/spec/rtems/barrier/req/wait.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/wait
+- role: interface-function
+  uid: ../../type/if/no-timeout
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/event/req/send-receive.yml b/spec/rtems/event/req/send-receive.yml
index 082f8a3..7c84f87 100644
--- a/spec/rtems/event/req/send-receive.yml
+++ b/spec/rtems/event/req/send-receive.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: requirement-refinement
   uid: group
+- role: interface-function
+  uid: ../../type/if/no-timeout
 post-conditions:
 - name: SendStatus
   states:
diff --git a/spec/rtems/intr/req/entry-install.yml b/spec/rtems/intr/req/entry-install.yml
index 810a8c0..155eda7 100644
--- a/spec/rtems/intr/req/entry-install.yml
+++ b/spec/rtems/intr/req/entry-install.yml
@@ -6,6 +6,12 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/entry-install
+- role: interface-function
+  uid: ../if/replace
+- role: interface-function
+  uid: ../if/shared
+- role: interface-function
+  uid: ../if/unique
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/message/req/receive.yml b/spec/rtems/message/req/receive.yml
index 4a85358..01d9345 100644
--- a/spec/rtems/message/req/receive.yml
+++ b/spec/rtems/message/req/receive.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/receive
+- role: interface-function
+  uid: ../../type/if/no-timeout
 - role: function-implementation
   uid: /score/tq/req/enqueue-fifo
 - role: function-implementation
diff --git a/spec/rtems/ratemon/req/period.yml b/spec/rtems/ratemon/req/period.yml
index 56ded39..f9dbdde 100644
--- a/spec/rtems/ratemon/req/period.yml
+++ b/spec/rtems/ratemon/req/period.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/period
+- role: interface-function
+  uid: ../if/period-status-define
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/req/ident.yml b/spec/rtems/req/ident.yml
index 46cb507..c11f551 100644
--- a/spec/rtems/req/ident.yml
+++ b/spec/rtems/req/ident.yml
@@ -6,6 +6,12 @@ functional-type: action
 links:
 - role: requirement-refinement
   uid: group
+- role: interface-function
+  uid: ../object/if/search-all-nodes
+- role: interface-function
+  uid: ../object/if/search-local-node
+- role: interface-function
+  uid: ../object/if/search-other-nodes
 post-conditions:
 - name: Status
   states:
@@ -109,17 +115,17 @@ pre-conditions:
     test-code: |
       ctx->node = RTEMS_SEARCH_ALL_NODES;
     text: |
-      While the ``node`` parameter is RTEMS_SEARCH_ALL_NODES.
+      While the ``node`` parameter is ${../object/if/search-all-nodes:/name}.
   - name: SearchOther
     test-code: |
       ctx->node = RTEMS_SEARCH_OTHER_NODES;
     text: |
-      While the ``node`` parameter is RTEMS_SEARCH_OTHER_NODES.
+      While the ``node`` parameter is ${../object/if/search-other-nodes:/name}.
   - name: SearchLocal
     test-code: |
       ctx->node = RTEMS_SEARCH_LOCAL_NODE;
     text: |
-      While the ``node`` parameter is RTEMS_SEARCH_LOCAL_NODE.
+      While the ``node`` parameter is ${../object/if/search-local-node:/name}.
   test-epilogue: null
   test-prologue: null
 - name: Id
diff --git a/spec/rtems/sem/req/obtain.yml b/spec/rtems/sem/req/obtain.yml
index 8828d17..06470d8 100644
--- a/spec/rtems/sem/req/obtain.yml
+++ b/spec/rtems/sem/req/obtain.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/obtain
+- role: interface-function
+  uid: ../../type/if/no-timeout
 - role: function-implementation
   uid: /score/mtx/req/seize-try
 - role: function-implementation
diff --git a/spec/rtems/task/req/mode.yml b/spec/rtems/task/req/mode.yml
index 7a767f6..324cd77 100644
--- a/spec/rtems/task/req/mode.yml
+++ b/spec/rtems/task/req/mode.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/mode
+- role: interface-function
+  uid: ../../mode/if/current-mode
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/task/req/set-priority.yml b/spec/rtems/task/req/set-priority.yml
index b00ec53..ca1142e 100644
--- a/spec/rtems/task/req/set-priority.yml
+++ b/spec/rtems/task/req/set-priority.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/set-priority
+- role: interface-function
+  uid: ../if/current-priority
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/task/req/wake-after.yml b/spec/rtems/task/req/wake-after.yml
index d23bf92..132e7c6 100644
--- a/spec/rtems/task/req/wake-after.yml
+++ b/spec/rtems/task/req/wake-after.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/wake-after
+- role: interface-function
+  uid: ../if/yield-processor
 post-conditions:
 - name: Status
   states:
diff --git a/spec/rtems/timer/req/initiate-server.yml b/spec/rtems/timer/req/initiate-server.yml
index 9fe48ed..b95411f 100644
--- a/spec/rtems/timer/req/initiate-server.yml
+++ b/spec/rtems/timer/req/initiate-server.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/initiate-server
+- role: interface-function
+  uid: ../if/server-default-priority
 post-conditions:
 - name: Status
   states: