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 /spec/rtems/task/req | |
| parent | spec: Add not pre-qualified constraints (diff) | |
| download | rtems-central-5fccdf5ec4404f86ea575670285c381b4e5d2cd2.tar.bz2 | |
spec: Add interface function links
Diffstat (limited to 'spec/rtems/task/req')
| -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 |
3 files changed, 6 insertions, 0 deletions
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: |