[Ada] Minor type/wording corrections

2018-01-11  Ben Brosgol  <brosgol@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
	corrections.
	* gnat_rm.texi: Regenerate.

From-SVN: r256505

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ec9eeaa1ad629dae50e59dc9b9010a12b8480fdc..538bd902b4658a60856ce7985bc0ea79ba80a85c 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2018-01-11  Ben Brosgol  <brosgol@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
+       corrections.
+       * gnat_rm.texi: Regenerate.
+
 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst
index c6018227b06eee280ba3b1eeaf7d26721424773e..0fa4476b8b7eb6284cc2c29796608c96114f0b59 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst
@@ -302,14 +302,14 @@ Aspect Iterable
 This aspect provides a light-weight mechanism for loops and quantified
 expressions over container types, without the overhead imposed by the tampering
 checks of standard Ada 2012 iterators. The value of the aspect is an aggregate
-with six named components, or which the last three are optional: ``First``,
- ``Next``, ``Has_Element``,``Element``, ``Last``, and ``Previous``.
+with six named components, of which the last three are optional: ``First``,
+``Next``, ``Has_Element``, ``Element``, ``Last``, and ``Previous``.
 When only the first three components are specified, only the
 ``for .. in`` form of iteration over cursors is available. When ``Element``
 is specified, both this form and the ``for .. of`` form of iteration over
 elements are available. If the last two components are specified, reverse
 iterations over the container can be specified (analogous to what can be done
-over predefined containers that support the Reverse_Iterator interface).
+over predefined containers that support the ``Reverse_Iterator`` interface).
 The following is a typical example of use:
 
 .. code-block:: ada

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 50eac85c045290ba434ebc175ef957528c62b591..4c14caeb721b24a94c0a4d56c8b20e056fcf72b2 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -9415,19 +9415,14 @@ that it is separately controllable using pragma @code{Assertion_Policy}.
 This aspect provides a light-weight mechanism for loops and quantified
 expressions over container types, without the overhead imposed by the tampering
 checks of standard Ada 2012 iterators. The value of the aspect is an aggregate
-with six named components, or which the last three are optional: @code{First},
-
-@quotation
-
-@code{Next}, @code{Has_Element},`@w{`}Element`@w{`}, @code{Last}, and @code{Previous}.
-@end quotation
-
+with six named components, of which the last three are optional: @code{First},
+@code{Next}, @code{Has_Element}, @code{Element}, @code{Last}, and @code{Previous}.
 When only the first three components are specified, only the
 @code{for .. in} form of iteration over cursors is available. When @code{Element}
 is specified, both this form and the @code{for .. of} form of iteration over
 elements are available. If the last two components are specified, reverse
 iterations over the container can be specified (analogous to what can be done
-over predefined containers that support the Reverse_Iterator interface).
+over predefined containers that support the @code{Reverse_Iterator} interface).
 The following is a typical example of use:
 
 @example