Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/libgnat/a-cfhama.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 -- A D A . C O N T A I N E R S . F O R M A L _ H A S H E D _ M A P S -- | 5 -- A D A . C O N T A I N E R S . F O R M A L _ H A S H E D _ M A P S -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 2004-2018, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 2004-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 -- -- |
| 57 | 57 |
| 58 with function Hash (Key : Key_Type) return Hash_Type; | 58 with function Hash (Key : Key_Type) return Hash_Type; |
| 59 with function Equivalent_Keys | 59 with function Equivalent_Keys |
| 60 (Left : Key_Type; | 60 (Left : Key_Type; |
| 61 Right : Key_Type) return Boolean is "="; | 61 Right : Key_Type) return Boolean is "="; |
| 62 with function "=" (Left, Right : Element_Type) return Boolean is <>; | |
| 62 | 63 |
| 63 package Ada.Containers.Formal_Hashed_Maps with | 64 package Ada.Containers.Formal_Hashed_Maps with |
| 64 SPARK_Mode | 65 SPARK_Mode |
| 65 is | 66 is |
| 66 pragma Annotate (CodePeer, Skip_Analysis); | 67 pragma Annotate (CodePeer, Skip_Analysis); |