version 1.4, 2003/01/13 12:03:12 |
version 1.7, 2018/04/04 09:52:03 |
|
|
/* -*- mode: C; coding: euc-japan -*- */ |
/* -*- mode: C; coding: euc-japan -*- */ |
/* $OpenXM: OpenXM/src/ox_toolkit/print.c,v 1.3 2003/01/11 11:42:32 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/ox_toolkit/print.c,v 1.6 2018/04/04 09:44:09 ohara Exp $ */ |
|
|
/* |
/* |
Functions in this module print a given CMO to console. |
Functions in this module print a given CMO to console. |
Line 15 static void print_cmo_int32(cmo_int32* c); |
|
Line 15 static void print_cmo_int32(cmo_int32* c); |
|
static void print_cmo_list(cmo_list* li); |
static void print_cmo_list(cmo_list* li); |
static void print_cmo_mathcap(cmo_mathcap* c); |
static void print_cmo_mathcap(cmo_mathcap* c); |
static void print_cmo_string(cmo_string* c); |
static void print_cmo_string(cmo_string* c); |
|
static void print_cmo_double(cmo_double* c); |
|
static void print_cmo_bf(cmo_bf* c); |
|
static void print_cmo_zz(cmo_zz* c); |
|
static void print_cmo_qq(cmo_qq* c); |
|
static void print_cmo_tree(cmo_tree* c); |
|
|
void print_cmo(cmo* c) |
void print_cmo(cmo* c) |
{ |
{ |
int tag = c->tag; |
int tag = c->tag; |
|
char *s = get_symbol_by_tag(tag); |
symbol_t symp = lookup_by_tag(tag); |
if (s != NULL) { |
if (symp != NULL) { |
ox_printf("(%s", s); |
ox_printf("(%s", symp->key); |
|
}else { |
}else { |
ox_printf("(%d", tag); |
ox_printf("(%d", tag); |
} |
} |
Line 48 void print_cmo(cmo* c) |
|
Line 52 void print_cmo(cmo* c) |
|
case CMO_DMS_GENERIC: |
case CMO_DMS_GENERIC: |
ox_printf(")"); |
ox_printf(")"); |
break; |
break; |
|
case CMO_ZZ: |
|
print_cmo_zz((cmo_zz *)c); |
|
break; |
|
case CMO_QQ: |
|
print_cmo_qq((cmo_qq *)c); |
|
break; |
|
case CMO_BIGFLOAT: |
|
print_cmo_bf((cmo_bf *)c); |
|
break; |
|
case CMO_IEEE_DOUBLE_FLOAT: |
|
case CMO_64BIT_MACHINE_DOUBLE: |
|
print_cmo_double((cmo_double *)c); |
|
break; |
|
case CMO_TREE: |
|
print_cmo_tree((cmo_tree *)c); |
|
break; |
default: |
default: |
ox_printf("\nprint_cmo() does not know how to print cmo of type %d.\n", tag); |
ox_printf("\nprint_cmo() does not know how to print cmo of type %d.\n", tag); |
} |
} |
Line 80 static void print_cmo_mathcap(cmo_mathcap* c) |
|
Line 100 static void print_cmo_mathcap(cmo_mathcap* c) |
|
static void print_cmo_string(cmo_string* c) |
static void print_cmo_string(cmo_string* c) |
{ |
{ |
ox_printf(", \"%s\")", c->s); |
ox_printf(", \"%s\")", c->s); |
|
} |
|
|
|
static void print_cmo_double(cmo_double* c) |
|
{ |
|
ox_printf(", %.14f)", c->d); |
|
} |
|
|
|
static void print_cmo_zz(cmo_zz* c) |
|
{ |
|
char buf[4096]; |
|
gmp_sprintf(buf, ", %Zd)", c->mpz); |
|
ox_printf("%s", buf); |
|
} |
|
|
|
static void print_cmo_qq(cmo_qq* c) |
|
{ |
|
char buf[4096]; |
|
gmp_sprintf(buf, ", %Qd)", c->mpq); |
|
ox_printf("%s", buf); |
|
} |
|
|
|
static void print_cmo_bf(cmo_bf* c) |
|
{ |
|
char buf[4096]; |
|
mpfr_sprintf(buf, ", %.12f)", c->mpfr); |
|
ox_printf("%s", buf); |
|
} |
|
|
|
static void print_cmo_tree(cmo_tree* c) |
|
{ |
|
ox_printf(", "); |
|
print_cmo(c->name); |
|
ox_printf(", "); |
|
print_cmo(c->attributes); |
|
ox_printf(", "); |
|
print_cmo(c->leaves); |
|
ox_printf(")"); |
} |
} |
|
|