aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.1/gcc/ada/a-cgarso.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.1/gcc/ada/a-cgarso.ads')
-rw-r--r--gcc-4.8.1/gcc/ada/a-cgarso.ads26
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc-4.8.1/gcc/ada/a-cgarso.ads b/gcc-4.8.1/gcc/ada/a-cgarso.ads
new file mode 100644
index 000000000..77281b5ef
--- /dev/null
+++ b/gcc-4.8.1/gcc/ada/a-cgarso.ads
@@ -0,0 +1,26 @@
+------------------------------------------------------------------------------
+-- --
+-- GNAT LIBRARY COMPONENTS --
+-- --
+-- A D A . C O N T A I N E R S . G E N E R I C _ A R R A Y _ S O R T --
+-- --
+-- 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 Index_Type is (<>);
+ type Element_Type is private;
+ type Array_Type is array (Index_Type range <>) of Element_Type;
+
+ with function "<" (Left, Right : Element_Type)
+ return Boolean is <>;
+
+procedure Ada.Containers.Generic_Array_Sort (Container : in out Array_Type);
+
+pragma Pure (Ada.Containers.Generic_Array_Sort);