comparison gcc/ada/libgnat/a-cfinve.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
4 -- -- 4 -- --
5 -- ADA.CONTAINERS.FORMAL_INDEFINITE_VECTORS -- 5 -- ADA.CONTAINERS.FORMAL_INDEFINITE_VECTORS --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 2014-2018, Free Software Foundation, Inc. -- 9 -- Copyright (C) 2014-2019, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- This specification is derived from the Ada Reference Manual for use with -- 11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow -- 12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the contents of the part following the private keyword. -- 13 -- apply solely to the contents of the part following the private keyword. --
14 -- -- 14 -- --
36 with Ada.Containers.Functional_Vectors; 36 with Ada.Containers.Functional_Vectors;
37 37
38 generic 38 generic
39 type Index_Type is range <>; 39 type Index_Type is range <>;
40 type Element_Type (<>) is private; 40 type Element_Type (<>) is private;
41 with function "=" (Left, Right : Element_Type) return Boolean is <>;
41 Max_Size_In_Storage_Elements : Natural; 42 Max_Size_In_Storage_Elements : Natural;
42 -- Maximum size of Vector elements in bytes. This has the same meaning as 43 -- Maximum size of Vector elements in bytes. This has the same meaning as
43 -- in Ada.Containers.Bounded_Holders, with the same restrictions. Note that 44 -- in Ada.Containers.Bounded_Holders, with the same restrictions. Note that
44 -- setting this too small can lead to erroneous execution; see comments in 45 -- setting this too small can lead to erroneous execution; see comments in
45 -- Ada.Containers.Bounded_Holders. If Element_Type is class-wide, it is the 46 -- Ada.Containers.Bounded_Holders. If Element_Type is class-wide, it is the