Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/libgnat/a-ngelfu.ads @ 131:84e7813d76e9
gcc-8.2
| author | mir3636 |
|---|---|
| date | Thu, 25 Oct 2018 07:37:49 +0900 |
| parents | 04ced10e8804 |
| children | 1830386684a0 |
comparison
equal
deleted
inserted
replaced
| 111:04ced10e8804 | 131:84e7813d76e9 |
|---|---|
| 4 -- -- | 4 -- -- |
| 5 -- ADA.NUMERICS.GENERIC_ELEMENTARY_FUNCTIONS -- | 5 -- ADA.NUMERICS.GENERIC_ELEMENTARY_FUNCTIONS -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 2012-2017, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 2012-2018, 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 Post aspects that have been added to the spec. -- | 13 -- apply solely to the Post aspects that have been added to the spec. -- |
| 14 -- -- | 14 -- -- |
| 194 Pre => X >= 1.0, | 194 Pre => X >= 1.0, |
| 195 Post => Arccosh'Result >= 0.0 | 195 Post => Arccosh'Result >= 0.0 |
| 196 and then (if X = 1.0 then Arccosh'Result = 0.0); | 196 and then (if X = 1.0 then Arccosh'Result = 0.0); |
| 197 | 197 |
| 198 function Arctanh (X : Float_Type'Base) return Float_Type'Base with | 198 function Arctanh (X : Float_Type'Base) return Float_Type'Base with |
| 199 Pre => abs X /= 1.0, | 199 Pre => abs X < 1.0, |
| 200 Post => (if X = 0.0 then Arctanh'Result = 0.0); | 200 Post => (if X = 0.0 then Arctanh'Result = 0.0); |
| 201 | 201 |
| 202 function Arccoth (X : Float_Type'Base) return Float_Type'Base with | 202 function Arccoth (X : Float_Type'Base) return Float_Type'Base with |
| 203 Pre => X <= 1.0 and abs X /= 1.0; | 203 Pre => abs X > 1.0; |
| 204 | 204 |
| 205 end Ada.Numerics.Generic_Elementary_Functions; | 205 end Ada.Numerics.Generic_Elementary_Functions; |