Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst @ 131:84e7813d76e9
gcc-8.2
| author | mir3636 |
|---|---|
| date | Thu, 25 Oct 2018 07:37:49 +0900 |
| parents | 04ced10e8804 |
| children | 1830386684a0 |
comparison
equal
deleted
inserted
replaced
| 111:04ced10e8804 | 131:84e7813d76e9 |
|---|---|
| 300 .. index:: Iterable | 300 .. index:: Iterable |
| 301 | 301 |
| 302 This aspect provides a light-weight mechanism for loops and quantified | 302 This aspect provides a light-weight mechanism for loops and quantified |
| 303 expressions over container types, without the overhead imposed by the tampering | 303 expressions over container types, without the overhead imposed by the tampering |
| 304 checks of standard Ada 2012 iterators. The value of the aspect is an aggregate | 304 checks of standard Ada 2012 iterators. The value of the aspect is an aggregate |
| 305 with six named components, or which the last three are optional: ``First``, | 305 with six named components, of which the last three are optional: ``First``, |
| 306 ``Next``, ``Has_Element``,``Element``, ``Last``, and ``Previous``. | 306 ``Next``, ``Has_Element``, ``Element``, ``Last``, and ``Previous``. |
| 307 When only the first three components are specified, only the | 307 When only the first three components are specified, only the |
| 308 ``for .. in`` form of iteration over cursors is available. When ``Element`` | 308 ``for .. in`` form of iteration over cursors is available. When ``Element`` |
| 309 is specified, both this form and the ``for .. of`` form of iteration over | 309 is specified, both this form and the ``for .. of`` form of iteration over |
| 310 elements are available. If the last two components are specified, reverse | 310 elements are available. If the last two components are specified, reverse |
| 311 iterations over the container can be specified (analogous to what can be done | 311 iterations over the container can be specified (analogous to what can be done |
| 312 over predefined containers that support the Reverse_Iterator interface). | 312 over predefined containers that support the ``Reverse_Iterator`` interface). |
| 313 The following is a typical example of use: | 313 The following is a typical example of use: |
| 314 | 314 |
| 315 .. code-block:: ada | 315 .. code-block:: ada |
| 316 | 316 |
| 317 type List is private with | 317 type List is private with |