diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-02 14:45:41 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-02 14:45:41 +0200 |
| commit | ac4ec32e8ff7a4ce7439103dba135af858b9c37a (patch) | |
| tree | 929acbdb4dc435f35377da5d5b1271df2329f5b9 | |
| parent | modules: Update rtems (diff) | |
| download | rtems-central-ac4ec32e8ff7a4ce7439103dba135af858b9c37a.tar.bz2 | |
spec: Fix substitutions
| -rw-r--r-- | spec/rtems/message/req/buffer.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/message/req/buffer.yml b/spec/rtems/message/req/buffer.yml index 575434d7..91d3df67 100644 --- a/spec/rtems/message/req/buffer.yml +++ b/spec/rtems/message/req/buffer.yml @@ -12,17 +12,17 @@ requirement-type: non-functional text: | When argument ${../if/buffer:/params[0]/name} is the size of the largest possible message in bytes - (the same value as member ${../if/config:/definition[2]/name} of type + (the same value as member ${../if/config:/definition[2]/default/name} of type ${../if/config:/name}), and ``MAXIMUM_PENDING_MESSAGES`` is the maximum number of messages which can be stored in the message queue - (the same value as member ${../if/config:/definition[1]/name} of type + (the same value as member ${../if/config:/definition[1]/default/name} of type ${../if/config:/name}), and ``storage_area`` is a variable or structure member, the expression ``${../if/buffer:/name}(`` ``${../if/buffer:/params[0]/name} )`` ``storage_area[`` ``MAXIMUM_PENDING_MESSAGES ]`` shall declare an object of such a size that a pointer to it - is usable as value for member ${../if/config:/definition[3]/name} + is usable as value for member ${../if/config:/definition[3]/default/name} of type ${../if/config:/name}. type: requirement |