From f5c31a469e156fdaf989ac327904ee523ec05df9 Mon Sep 17 00:00:00 2001 From: Ben Brosgol Date: Thu, 11 Jan 2018 08:52:55 +0000 Subject: [PATCH] [Ada] Minor type/wording corrections 2018-01-11 Ben Brosgol gcc/ada/ * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording corrections. * gnat_rm.texi: Regenerate. From-SVN: r256505 --- gcc/ada/ChangeLog | 6 ++++++ .../doc/gnat_rm/implementation_defined_aspects.rst | 6 +++--- gcc/ada/gnat_rm.texi | 11 +++-------- 3 files changed, 12 insertions(+), 11 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ec9eeaa1ad6..538bd902b46 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-01-11 Ben Brosgol + + * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording + corrections. + * gnat_rm.texi: Regenerate. + 2018-01-11 Ed Schonberg * 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 c6018227b06..0fa4476b8b7 100644 --- 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 50eac85c045..4c14caeb721 100644 --- 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 -- 2.30.2