From af0c51ac87ab2a87caa03fa108f0d164987a2764 Mon Sep 17 00:00:00 2001 From: Ben Cheng Date: Thu, 28 Mar 2013 11:14:20 -0700 Subject: [GCC 4.8] Initial check-in of GCC 4.8.0 Change-Id: I0719d8a6d0f69b367a6ab6f10eb75622dbf12771 --- gcc-4.8/gcc/ada/a-iteint.ads | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 gcc-4.8/gcc/ada/a-iteint.ads (limited to 'gcc-4.8/gcc/ada/a-iteint.ads') diff --git a/gcc-4.8/gcc/ada/a-iteint.ads b/gcc-4.8/gcc/ada/a-iteint.ads new file mode 100644 index 000000000..8ac9e1a12 --- /dev/null +++ b/gcc-4.8/gcc/ada/a-iteint.ads @@ -0,0 +1,39 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT LIBRARY COMPONENTS -- +-- -- +-- A D A . I T E R A T O R . I N T E R F A C E S -- +-- -- +-- S p e c -- +-- -- +-- 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. -- +-- -- +------------------------------------------------------------------------------ + +generic + type Cursor; + with function Has_Element (Position : Cursor) return Boolean; + pragma Unreferenced (Has_Element); + +package Ada.Iterator_Interfaces is + pragma Pure; + + 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; + + 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; +end Ada.Iterator_Interfaces; -- cgit v1.2.3