OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[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
This commit is contained in:
Ben Brosgol 2018-01-11 08:52:55 +00:00 committed by Pierre-Marie de Rodat
parent 07733aa11e
commit f5c31a469e
3 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/ChangeLog
View File

@ -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

6
gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst
View File

@ -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

11
gcc/ada/gnat_rm.texi
View File

@ -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