diff options
Diffstat (limited to 'Build/source/libs/gmp/gmp-6.0.0/mpf/dump.c')
-rw-r--r-- | Build/source/libs/gmp/gmp-6.0.0/mpf/dump.c | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/Build/source/libs/gmp/gmp-6.0.0/mpf/dump.c b/Build/source/libs/gmp/gmp-6.0.0/mpf/dump.c new file mode 100644 index 00000000000..af671059237 --- /dev/null +++ b/Build/source/libs/gmp/gmp-6.0.0/mpf/dump.c @@ -0,0 +1,53 @@ +/* mpf_dump -- Dump a float to stdout. + + THIS IS AN INTERNAL FUNCTION WITH A MUTABLE INTERFACE. IT IS NOT SAFE TO + CALL THIS FUNCTION DIRECTLY. IN FACT, IT IS ALMOST GUARANTEED THAT THIS + FUNCTION WILL CHANGE OR DISAPPEAR IN A FUTURE GNU MP RELEASE. + + +Copyright 1993-1995, 2000, 2001 Free Software Foundation, Inc. + +This file is part of the GNU MP Library. + +The GNU MP Library is free software; you can redistribute it and/or modify +it under the terms of either: + + * the GNU Lesser General Public License as published by the Free + Software Foundation; either version 3 of the License, or (at your + option) any later version. + +or + + * the GNU General Public License as published by the Free Software + Foundation; either version 2 of the License, or (at your option) any + later version. + +or both in parallel, as here. + +The GNU MP Library is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY +or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received copies of the GNU General Public License and the +GNU Lesser General Public License along with the GNU MP Library. If not, +see https://www.gnu.org/licenses/. */ + +#include <stdio.h> +#include <string.h> /* for strlen */ +#include "gmp.h" +#include "gmp-impl.h" + +void +mpf_dump (mpf_srcptr u) +{ + mp_exp_t exp; + char *str; + + str = mpf_get_str (0, &exp, 10, 0, u); + if (str[0] == '-') + printf ("-0.%se%ld\n", str + 1, exp); + else + printf ("0.%se%ld\n", str, exp); + (*__gmp_free_func) (str, strlen (str) + 1); +} |