summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-11-13 22:15:37 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-11-18 20:49:01 +0100
commit5fccdf5ec4404f86ea575670285c381b4e5d2cd2 (patch)
treeb37dc30ffa8a41a1f05ad0beb28dc736743d0b37
parentspec: Add not pre-qualified constraints (diff)
downloadrtems-central-5fccdf5ec4404f86ea575670285c381b4e5d2cd2.tar.bz2
spec: Add interface function links
-rw-r--r--spec/rtems/barrier/req/wait.yml2
-rw-r--r--spec/rtems/event/req/send-receive.yml2
-rw-r--r--spec/rtems/intr/req/entry-install.yml6
-rw-r--r--spec/rtems/message/req/receive.yml2
-rw-r--r--spec/rtems/ratemon/req/period.yml2
-rw-r--r--spec/rtems/req/ident.yml12
-rw-r--r--spec/rtems/sem/req/obtain.yml2
-rw-r--r--spec/rtems/task/req/mode.yml2
-rw-r--r--spec/rtems/task/req/set-priority.yml2
-rw-r--r--spec/rtems/task/req/wake-after.yml2
-rw-r--r--spec/rtems/timer/req/initiate-server.yml2
11 files changed, 33 insertions, 3 deletions
diff --git a/spec/rtems/barrier/req/wait.yml b/spec/rtems/barrier/req/wait.yml
index 26ae81dd..87edf8a8 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 082f8a30..7c84f87e 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 810a8c0b..155eda7c 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 4a853581..01d93452 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 56ded39f..f9dbdde4 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 46cb5073..c11f5518 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 8828d172..06470d86 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 7a767f69..324cd775 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 b00ec53d..ca1142ea 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 d23bf926..132e7c67 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 9fe48edd..b95411fb 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: