diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-08-05 15:10:50 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-05 17:10:50 +0200 |
| commit | dedac3eb7331f441f24b192fa0d9d1e1162f57ba (patch) | |
| tree | dbf7d77eccd6d83effd5cc41a4d0d61e74a759c3 /gcc/ada/a-iteint.ads | |
| parent | 7c62a85a8dcec50e474c02525c5f165ad30cf2d9 (diff) | |
| download | gcc-dedac3eb7331f441f24b192fa0d9d1e1162f57ba.zip gcc-dedac3eb7331f441f24b192fa0d9d1e1162f57ba.tar.gz gcc-dedac3eb7331f441f24b192fa0d9d1e1162f57ba.tar.bz2 | |
par_sco.adb, [...]: Minor reformatting.
2011-08-05 Robert Dewar <dewar@adacore.com>
* par_sco.adb, sem_ch3.adb, scos.ads, a-iteint.ads, sem_ch12.adb,
a-cimutr.adb, a-cimutr.ads, sem_util.ads, sem_res.adb, a-fihema.adb,
sem_ch4.adb, lib-xref-alfa.adb, exp_disp.adb, a-comutr.adb,
a-comutr.ads, lib-xref.adb: Minor reformatting.
2011-08-05 Robert Dewar <dewar@adacore.com>
* sem_ch11.adb (Analyze_Raise_Statement): Kill assignment to formal
warning if there is an exception handler present.
From-SVN: r177451
Diffstat (limited to 'gcc/ada/a-iteint.ads')
| -rw-r--r-- | gcc/ada/a-iteint.ads | 39 |
1 files changed, 15 insertions, 24 deletions
diff --git a/gcc/ada/a-iteint.ads b/gcc/ada/a-iteint.ads index 935cb2d..99dd304 100644 --- a/gcc/ada/a-iteint.ads +++ b/gcc/ada/a-iteint.ads @@ -6,27 +6,10 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- --- -- -- This specification is derived from the Ada Reference Manual for use with -- --- GNAT. The copyright notice above, and the license provisions that follow -- --- apply solely to the contents of the part following the private keyword. -- --- -- --- GNAT is free software; you can redistribute it and/or modify it under -- --- terms of the GNU General Public License as published by the Free Soft- -- --- ware Foundation; either version 3, or (at your option) any later ver- -- --- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- --- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- --- or FITNESS FOR A PARTICULAR PURPOSE. -- --- -- --- As a special exception under Section 7 of GPL version 3, you are granted -- --- additional permissions described in the GCC Runtime Library Exception, -- --- version 3.1, as published by the Free Software Foundation. -- --- -- --- You should have received a copy of the GNU General Public License and -- --- a copy of the GCC Runtime Library Exception along with this program; -- --- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- --- <http://www.gnu.org/licenses/>. -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- -- -- ------------------------------------------------------------------------------ @@ -34,13 +17,21 @@ generic type Cursor is private; No_Element : Cursor; pragma Unreferenced (No_Element); + package Ada.Iterator_Interfaces is type Forward_Iterator is limited interface; + function First (Object : Forward_Iterator) return Cursor is abstract; - function Next (Object : Forward_Iterator; Position : Cursor) return Cursor - is abstract; + + function Next + (Object : Forward_Iterator; + Position : Cursor) return Cursor is abstract; + type Reversible_Iterator is limited interface and Forward_Iterator; + function Last (Object : Reversible_Iterator) return Cursor is abstract; - function Previous (Object : Reversible_Iterator; Position : Cursor) - return Cursor is abstract; + + function Previous + (Object : Reversible_Iterator; + Position : Cursor) return Cursor is abstract; end Ada.Iterator_Interfaces; |