diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-07-15 10:26:02 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-07-15 10:27:17 +0200 |
| commit | 5807c6f59530d3271e44298bc8a4750132c29902 (patch) | |
| tree | 2654725b547b0d52d526e2d3f58cf09f85dfa911 | |
| parent | spec: Fix sporadic test failures (diff) | |
| download | rtems-central-5807c6f59530d3271e44298bc8a4750132c29902.tar.bz2 | |
spec: Fix format of some references
| -rw-r--r-- | spec/rtems/basedefs/req/have-member-same-type-0.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/basedefs/req/printflike-0.yml | 8 | ||||
| -rw-r--r-- | spec/rtems/basedefs/req/printflike-1.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/req/perf-runtime.yml | 2 | ||||
| -rw-r--r-- | spec/rtems/task/if/current-priority.yml | 2 |
5 files changed, 8 insertions, 8 deletions
diff --git a/spec/rtems/basedefs/req/have-member-same-type-0.yml b/spec/rtems/basedefs/req/have-member-same-type-0.yml index d6f897ed..f138988e 100644 --- a/spec/rtems/basedefs/req/have-member-same-type-0.yml +++ b/spec/rtems/basedefs/req/have-member-same-type-0.yml @@ -28,7 +28,7 @@ text: | ${../if/have-member-same-type:/params[2]/name}, the ${../if/have-member-same-type:/name} macro shall evaluate to the integer values 1 or 0 depending on whether - the types of the members {../if/have-member-same-type:/params[1]/name} + the types of the members ${../if/have-member-same-type:/params[1]/name} and ${../if/have-member-same-type:/params[3]/name} are compatible in the sense of C. type: requirement diff --git a/spec/rtems/basedefs/req/printflike-0.yml b/spec/rtems/basedefs/req/printflike-0.yml index a4a2ec14..de11b9f1 100644 --- a/spec/rtems/basedefs/req/printflike-0.yml +++ b/spec/rtems/basedefs/req/printflike-0.yml @@ -21,12 +21,12 @@ text: | referring to two different arguments of that function, and the function argument number ${../if/printflike:/params[0]/name} is a ``printf``-format string, - and the function argument number {../if/printflike:/params[1]/name} + and the function argument number ${../if/printflike:/params[1]/name} is the first argument to be used in the ``printf``-format string, and all other arguments used in the ``printf``-format string - are arguments {../if/printflike:/params[1]/name} + 1, - {../if/printflike:/params[1]/name} + 2, - {../if/printflike:/params[1]/name} + 3, and so on, + are arguments ${../if/printflike:/params[1]/name} + 1, + ${../if/printflike:/params[1]/name} + 2, + ${../if/printflike:/params[1]/name} + 3, and so on, the macro shall cause the compiler to use this information for type checking the format string and arguments. type: requirement diff --git a/spec/rtems/basedefs/req/printflike-1.yml b/spec/rtems/basedefs/req/printflike-1.yml index f44d7b46..c79aad40 100644 --- a/spec/rtems/basedefs/req/printflike-1.yml +++ b/spec/rtems/basedefs/req/printflike-1.yml @@ -24,7 +24,7 @@ text: | referring to an argument of that function, and the function argument number ${../if/printflike:/params[0]/name} is a ``printf``-format string, - and the function argument {../if/printflike:/params[1]/name} is 0, + and the function argument ${../if/printflike:/params[1]/name} is 0, the macro shall cause the compiler to use this information for checking the format string. type: requirement diff --git a/spec/rtems/req/perf-runtime.yml b/spec/rtems/req/perf-runtime.yml index 139d40e7..e3fe4507 100644 --- a/spec/rtems/req/perf-runtime.yml +++ b/spec/rtems/req/perf-runtime.yml @@ -10,5 +10,5 @@ rationale: null references: [] requirement-type: non-functional text: | - The runtime of {../if/group:/name} directives shall be measured. + The runtime of the ${../if/group:/name} directives shall be measured. type: requirement diff --git a/spec/rtems/task/if/current-priority.yml b/spec/rtems/task/if/current-priority.yml index e82a515f..e6c57793 100644 --- a/spec/rtems/task/if/current-priority.yml +++ b/spec/rtems/task/if/current-priority.yml @@ -1,6 +1,6 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause brief: | - This constant is passed to {set-priority:/name} when the caller wants to + This constant is passed to ${set-priority:/name} when the caller wants to obtain the current priority. copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) |