[rtems-central commit] spec: Fix math formats
Sebastian Huber
sebh at rtems.org
Wed Nov 24 10:25:12 UTC 2021
Module: rtems-central
Branch: master
Commit: 932679bb343877c986c0fe28e5d79e1c5ce484be
Changeset: http://git.rtems.org/rtems-central/commit/?id=932679bb343877c986c0fe28e5d79e1c5ce484be
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Wed Nov 24 11:29:46 2021 +0100
spec: Fix math formats
---
spec/rtems/event/req/event-constant.yml | 2 +-
spec/rtems/event/req/event-number.yml | 2 +-
spec/rtems/signal/req/signal-constant.yml | 4 ++--
spec/rtems/signal/req/signal-delivery.yml | 4 ++--
spec/rtems/signal/req/signal-number.yml | 2 +-
spec/rtems/signal/req/signal-set.yml | 2 +-
6 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/spec/rtems/event/req/event-constant.yml b/spec/rtems/event/req/event-constant.yml
index f030e95..9b62fc8 100644
--- a/spec/rtems/event/req/event-constant.yml
+++ b/spec/rtems/event/req/event-constant.yml
@@ -72,7 +72,7 @@ rationale: null
references: []
requirement-type: functional
text: |
- Let :math:`J\in{0, 1, ..., 31}`. The :math:`J`-th event number constant
+ Let :math:`J\in\{0, 1, ..., 31\}`. The :math:`J`-th event number constant
shall be a constant expression which evaluates to the integer representation
of event number :math:`J`.
type: requirement
diff --git a/spec/rtems/event/req/event-number.yml b/spec/rtems/event/req/event-number.yml
index b9c5fb7..8896776 100644
--- a/spec/rtems/event/req/event-number.yml
+++ b/spec/rtems/event/req/event-number.yml
@@ -10,6 +10,6 @@ rationale: null
references: []
requirement-type: functional
text: |
- Let :math:`J\in{0, 1, ..., 31}`. The event number :math:`J` shall be
+ Let :math:`J\in\{0, 1, ..., 31\}`. The event number :math:`J` shall be
represented by the integer :math:`2^J`.
type: requirement
diff --git a/spec/rtems/signal/req/signal-constant.yml b/spec/rtems/signal/req/signal-constant.yml
index bcfe93d..d6cbc3c 100644
--- a/spec/rtems/signal/req/signal-constant.yml
+++ b/spec/rtems/signal/req/signal-constant.yml
@@ -72,7 +72,7 @@ rationale: null
references: []
requirement-type: functional
text: |
- Let :math:`J\in{0, 1, ..., 31}`. The :math:`J`-th signal constant shall be a
- constant expression which evaluates to the integer representation of signal
+ Let :math:`J\in\{0, 1, ..., 31\}`. The :math:`J`-th signal constant shall be
+ a constant expression which evaluates to the integer representation of signal
:math:`J`.
type: requirement
diff --git a/spec/rtems/signal/req/signal-delivery.yml b/spec/rtems/signal/req/signal-delivery.yml
index 1fb1805..8b5c95f 100644
--- a/spec/rtems/signal/req/signal-delivery.yml
+++ b/spec/rtems/signal/req/signal-delivery.yml
@@ -10,7 +10,7 @@ rationale: null
references: []
requirement-type: functional
text: |
- Let :math:`J\in{0, 1, ..., 31}`. While a task is able to catch signals, when
- signal :math:`J` is sent to the task, it shall be caught by the task as
+ Let :math:`J\in\{0, 1, ..., 31\}`. While a task is able to catch signals,
+ when signal :math:`J` is sent to the task, it shall be caught by the task as
exactly signal :math:`J`.
type: requirement
diff --git a/spec/rtems/signal/req/signal-number.yml b/spec/rtems/signal/req/signal-number.yml
index a8579b0..2c0e76d 100644
--- a/spec/rtems/signal/req/signal-number.yml
+++ b/spec/rtems/signal/req/signal-number.yml
@@ -10,6 +10,6 @@ rationale: null
references: []
requirement-type: functional
text: |
- Let :math:`J\in{0, 1, ..., 31}`. The signal :math:`J` shall be represented
+ Let :math:`J\in\{0, 1, ..., 31\}`. The signal :math:`J` shall be represented
by the integer :math:`2^J`.
type: requirement
diff --git a/spec/rtems/signal/req/signal-set.yml b/spec/rtems/signal/req/signal-set.yml
index 5b18472..2929474 100644
--- a/spec/rtems/signal/req/signal-set.yml
+++ b/spec/rtems/signal/req/signal-set.yml
@@ -10,6 +10,6 @@ rationale: null
references: []
requirement-type: functional
text: |
- Let :math:`J\in{0, 1, ..., 31}`. The ${../if/set:/name} integer type shall
+ Let :math:`J\in\{0, 1, ..., 31\}`. The ${../if/set:/name} integer type shall
be able to represent the integer representation of signal :math:`J`.
type: requirement
More information about the vc
mailing list