Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/libgnat/a-cofuve.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.FUNCTIONAL_VECTORS -- | 5 -- ADA.CONTAINERS.FUNCTIONAL_VECTORS -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 2016-2018, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 2016-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 type Index_Type is (<>); | 36 type Index_Type is (<>); |
| 37 -- To avoid Constraint_Error being raised at run time, Index_Type'Base | 37 -- To avoid Constraint_Error being raised at run time, Index_Type'Base |
| 38 -- should have at least one more element at the low end than Index_Type. | 38 -- should have at least one more element at the low end than Index_Type. |
| 39 | 39 |
| 40 type Element_Type (<>) is private; | 40 type Element_Type (<>) is private; |
| 41 with function "=" (Left, Right : Element_Type) return Boolean is <>; | |
| 41 | 42 |
| 42 package Ada.Containers.Functional_Vectors with SPARK_Mode is | 43 package Ada.Containers.Functional_Vectors with SPARK_Mode is |
| 43 | 44 |
| 44 subtype Extended_Index is Index_Type'Base range | 45 subtype Extended_Index is Index_Type'Base range |
| 45 Index_Type'Pred (Index_Type'First) .. Index_Type'Last; | 46 Index_Type'Pred (Index_Type'First) .. Index_Type'Last; |