version 1.5, 2019/12/24 10:26:39 |
version 1.6, 2020/02/01 14:20:42 |
|
|
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* $OpenXM: OpenXM_contrib2/asir2018/io/pexpr.c,v 1.4 2019/11/12 10:53:23 kondoh Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/io/pexpr.c,v 1.5 2019/12/24 10:26:39 kondoh Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
Line 192 void printbf4itv(BF a) |
|
Line 192 void printbf4itv(BF a) |
|
|
|
void printz(Z n) |
void printz(Z n) |
{ |
{ |
if ( hex_output == 1 ) { |
printmpz(BDY(n)); |
TAIL PUTS("0x"); |
|
mpz_out_str(OUT,16,BDY(n)); |
|
} else |
|
mpz_out_str(OUT,10,BDY(n)); |
|
} |
} |
|
|
void printmpz(mpz_t z) |
void printmpz(mpz_t z) |
{ |
{ |
|
#if !defined(VISUAL) |
if ( hex_output == 1 ) { |
if ( hex_output == 1 ) { |
TAIL PUTS("0x"); |
TAIL PUTS("0x"); |
mpz_out_str(OUT,16,z); |
mpz_out_str(OUT,16,z); |
} else |
} else |
mpz_out_str(OUT,10,z); |
mpz_out_str(OUT,10,z); |
|
#else |
|
char *s; |
|
if ( hex_output == 1 ) { |
|
TAIL PUTS("0x"); |
|
s = mpz_get_str(0,16,z); |
|
} else { |
|
s = mpz_get_str(0,10,z); |
|
} |
|
TAIL PUTS(s); |
|
#endif |
} |
} |
|
|