diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-13 22:15:37 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 20:49:01 +0100 |
commit | 5fccdf5ec4404f86ea575670285c381b4e5d2cd2 (patch) | |
tree | b37dc30ffa8a41a1f05ad0beb28dc736743d0b37 | |
parent | spec: Add not pre-qualified constraints (diff) | |
download | rtems-central-5fccdf5ec4404f86ea575670285c381b4e5d2cd2.tar.bz2 |
spec: Add interface function links
-rw-r--r-- | spec/rtems/barrier/req/wait.yml | 2 | ||||
-rw-r--r-- | spec/rtems/event/req/send-receive.yml | 2 | ||||
-rw-r--r-- | spec/rtems/intr/req/entry-install.yml | 6 | ||||
-rw-r--r-- | spec/rtems/message/req/receive.yml | 2 | ||||
-rw-r--r-- | spec/rtems/ratemon/req/period.yml | 2 | ||||
-rw-r--r-- | spec/rtems/req/ident.yml | 12 | ||||
-rw-r--r-- | spec/rtems/sem/req/obtain.yml | 2 | ||||
-rw-r--r-- | spec/rtems/task/req/mode.yml | 2 | ||||
-rw-r--r-- | spec/rtems/task/req/set-priority.yml | 2 | ||||
-rw-r--r-- | spec/rtems/task/req/wake-after.yml | 2 | ||||
-rw-r--r-- | 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 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: |