diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 12:21:49 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 12:21:49 +0000 |
| commit | 5f8e1c78cb93b8d23dad3eb2917cac135a2303ba (patch) | |
| tree | 296882c1f43d6414faa2e072d78fa56df8926f6f /gcc/ada/a-iteint.ads | |
| parent | 3a82f2b428391a072f1525255973d6460a7547a0 (diff) | |
| download | gcc-5f8e1c78cb93b8d23dad3eb2917cac135a2303ba.tar.gz | |
2011-08-29 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb, exp_ch3.adb, s-stposu.adb, a-undesu.ads,
a-undesu.adb: Minor reformatting.
2011-08-29 Ed Schonberg <schonberg@adacore.com>
* exp_disp.adb (Check_Premature_Freezing): When building a dispatch
table, accept an unfrozen untagged component if it is an actual for a
formal incomplete type.
* a-convec.ads, a-convec.adb: Instantiate Ada.Iterator_Interfaces to
provide new iterator forms over vectors.
Introduce type Iterator in package body to implement operations of
Reversible_Iterator interface.
* a-iteint.ads: Make package pure so it is usable with new container
packages, that are categorized Remote_Types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178211 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-iteint.ads')
| -rw-r--r-- | gcc/ada/a-iteint.ads | 39 |
1 files changed, 26 insertions, 13 deletions
diff --git a/gcc/ada/a-iteint.ads b/gcc/ada/a-iteint.ads index 99dd304a4e9..c6aaa768147 100644 --- a/gcc/ada/a-iteint.ads +++ b/gcc/ada/a-iteint.ads @@ -6,32 +6,45 @@ -- -- -- S p e c -- -- -- +-- Copyright (C) 2004-2011, Free Software Foundation, Inc. -- +-- -- -- This specification is derived from the Ada Reference Manual for use with -- --- 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. -- +-- 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/>. -- -- -- ------------------------------------------------------------------------------ generic - type Cursor is private; - No_Element : Cursor; - pragma Unreferenced (No_Element); - + type Cursor; + with function Has_Element (Position : Cursor) return Boolean; package Ada.Iterator_Interfaces is - type Forward_Iterator is limited interface; + pragma Pure; + type Forward_Iterator is limited interface; function First (Object : Forward_Iterator) return Cursor is abstract; - function Next - (Object : Forward_Iterator; + (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; + (Object : Reversible_Iterator; Position : Cursor) return Cursor is abstract; end Ada.Iterator_Interfaces; |