Development Log

  • GNAT Pro
    Sep 21st, 2017

    Support for reverse iteration on formal containers
    The Iterable aspect that defines formal containers has been extended so that two new operations can be included in the aspect: Last and Previous. These operations are optional; if present, they allow the programmer to specify a reverse iteration over such a container, using the reverse keyword on the corresponding loop. This provides the same functionality as that available on predefined containers that implement the Reversible_Iterator interface.