Go to the source code of this file.
Macros | |
#define | COMMA_PREC ((commasym->op_data)?(commasym->op_data->precedence):0) |
#define | COLON_PREC ((colonsym->op_data)?(colonsym->op_data->precedence):0) |
Variables | |
long | print_depth =PRINT_DEPTH |
long | indent =FALSE |
long | const_quote =TRUE |
long | write_resids =FALSE |
long | write_canon =FALSE |
long | write_stderr =FALSE |
long | write_corefs =TRUE |
long | page_width =PAGE_WIDTH |
long | display_persistent =FALSE |
char * | no_name ="pointer" |
char * | name ="symbol" |
char * | buffer |
char | seg_format [PRINT_POWER+4] |
item | pretty_things [PRETTY_SIZE] |
static long | listing_flag |
static long | func_flag |
#define COLON_PREC ((colonsym->op_data)?(colonsym->op_data->precedence):0) |
#define COMMA_PREC ((commasym->op_data)?(commasym->op_data->precedence):0) |
long all_symbol | ( | char * | s | ) |
long check_legal_cons | ( | ptr_psi_term | t, |
ptr_definition | t_type | ||
) |
void check_pointer | ( | ptr_psi_term | p | ) |
Definition at line 214 of file print.c.
References wl_node::data, deref_ptr, find(), go_through(), heap_insert(), INTCMP, no_name, NULL, and pointer_names.
void display_couple | ( | ptr_psi_term | u, |
char * | s, | ||
ptr_psi_term | v | ||
) |
Definition at line 1516 of file print.c.
References buffer, check_pointer(), const_quote, end_tab(), FALSE, gen_sym_counter, heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), MAX_PRECEDENCE, new_tab(), NULL, output_stream, pointer_names, pretty_output(), pretty_tag_or_psi_term(), pretty_things, prettyf(), printed_pointers, TRUE, var_tree, work_out_length(), write_canon, and write_resids.
void display_psi | ( | FILE * | s, |
ptr_psi_term | t | ||
) |
void display_psi_stderr | ( | ptr_psi_term | t | ) |
void display_psi_stdout | ( | ptr_psi_term | t | ) |
void display_psi_stream | ( | ptr_psi_term | t | ) |
Definition at line 1449 of file print.c.
References main_display_psi_term(), outfile, and output_stream.
void do_pretty_attr | ( | ptr_node | t, |
ptr_tab_brk | tab, | ||
long * | cnt, | ||
long | two, | ||
long | depth | ||
) |
Definition at line 1109 of file print.c.
References COMMA_PREC, display_modules, extract_module_from_name(), mark_tab(), wl_module::module_name, pretty_tag_or_psi_term(), prettyf(), prettyf_quote(), str_to_int(), and strip_module_name().
void end_tab | ( | ) |
Definition at line 497 of file print.c.
References buffer, heap_alloc(), indent, indx, and wl_item::str.
void forbid_variables | ( | ptr_node | n | ) |
Definition at line 309 of file print.c.
References deref_ptr, heap_insert(), INTCMP, wl_node::key, and printed_pointers.
void go_through | ( | ptr_psi_term | t | ) |
void go_through_tree | ( | ptr_node | t | ) |
long has_non_alpha | ( | char * | s | ) |
char* heap_nice_name | ( | ) |
Definition at line 55 of file print.c.
References gen_sym_counter, heap_copy_string(), perr(), and STRLEN.
void init_print | ( | ) |
void insert_variables | ( | ptr_node | vars, |
long | force | ||
) |
Definition at line 281 of file print.c.
References wl_node::data, deref_ptr, find(), INTCMP, and pointer_names.
long is_integer | ( | char * | s | ) |
void listing_pred_write | ( | ptr_node | n, |
long | fflag | ||
) |
Definition at line 1341 of file print.c.
References const_quote, FALSE, func_flag, indent, listing_flag, main_pred_write(), outfile, output_stream, print_depth, PRINT_DEPTH, TRUE, write_canon, write_corefs, write_resids, and write_stderr.
void main_display_psi_term | ( | ptr_psi_term | t | ) |
Definition at line 1470 of file print.c.
References buffer, const_quote, deref_ptr, end_tab(), FALSE, gen_sym_counter, go_through(), heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), MAX_PRECEDENCE, new_tab(), NULL, pointer_names, pretty_output(), pretty_tag_or_psi_term(), pretty_things, printed_pointers, TRUE, var_tree, work_out_length(), write_canon, and write_resids.
void main_pred_write | ( | ptr_node | n | ) |
Definition at line 1375 of file print.c.
References buffer, check_pointer(), end_tab(), FALSE, gen_sym_counter, go_through_tree(), heap_pointer, indent, indx, insert_variables(), mark_tab(), MAX_PRECEDENCE, new_tab(), NULL, pointer_names, pretty_output(), pretty_tag_or_psi_term(), pretty_things, printed_pointers, var_tree, work_out_length(), write_attributes(), and write_corefs.
void mark_tab | ( | ptr_tab_brk | t | ) |
void new_tab | ( | ptr_tab_brk * | t | ) |
Definition at line 525 of file print.c.
References FALSE, and HEAP_ALLOC.
long no_quote | ( | char * | s | ) |
long opcheck | ( | ptr_psi_term | t, |
long * | prec, | ||
long * | type | ||
) |
Definition at line 834 of file print.c.
References check_opargs(), fx, fy, INFIX, wl_operator_data::next, NOTOP, NULL, POSTFIX, wl_operator_data::precedence, PREFIX, xf, xfx, xfy, yf, and yfx.
void pred_write | ( | ptr_node | n | ) |
Definition at line 1365 of file print.c.
References FALSE, listing_flag, main_pred_write(), outfile, output_stream, and write_stderr.
void pretty_attr | ( | ptr_node | t, |
long | depth | ||
) |
Definition at line 1180 of file print.c.
References do_pretty_attr(), new_tab(), prettyf(), and two_or_more().
void pretty_list | ( | ptr_psi_term | t, |
long | depth | ||
) |
Definition at line 661 of file print.c.
References alist, wl_psi_term::attr_list, check_legal_cons(), COMMA_PREC, wl_node::data, deref_ptr, disj_nil, disjunction, DOTDOT, equal_types, FALSE, find(), get_two_args(), INTCMP, wl_definition::keyword, mark_tab(), MAX_PRECEDENCE, new_tab(), nil, overlap_type(), pointer_names, pretty_symbol(), pretty_tag_or_psi_term(), prettyf(), print_depth, TRUE, and wl_psi_term::type.
void pretty_output | ( | ) |
Definition at line 1200 of file print.c.
References wl_tab_brk::broken, wl_tab_brk::column, indx, outfile, wl_tab_brk::printed, wl_item::str, wl_item::tab, and TRUE.
void pretty_psi_term | ( | ptr_psi_term | t, |
long | sprec, | ||
long | depth | ||
) |
Definition at line 972 of file print.c.
References wl_goal::aaaa_1, alist, check_legal_cons(), cut, deref_ptr, disj_nil, disjunction, display_persistent, DOTDOT, eof, equal_types, FALSE, wl_residuation::goal, heap_pointer, integer, wl_definition::keyword, wl_residuation::next, nil, wl_goal::pending, pretty_attr(), pretty_list(), pretty_psi_with_ops(), pretty_quote_symbol(), pretty_symbol(), prettyf(), prettyf_quoted_string(), print_depth, PRINT_POWER, PRINT_SPLIT, quoted_string, REAL, real, seg_format, stream, STRLEN, sub_type(), sys_bytedata, WL_MAXINT, and write_canon.
long pretty_psi_with_ops | ( | ptr_psi_term | t, |
long | sprec, | ||
long | depth | ||
) |
Definition at line 866 of file print.c.
References deref_ptr, FALSE, func_flag, fx, fy, get_two_args(), INFIX, listing_flag, MAX_PRECEDENCE, opcheck(), POSTFIX, PREFIX, pretty_quote_symbol(), pretty_tag_or_psi_term(), prettyf(), TRUE, write_canon, xf, xfx, xfy, yf, and yfx.
void pretty_tag_or_psi_term | ( | ptr_psi_term | p, |
long | sprec, | ||
long | depth | ||
) |
Definition at line 761 of file print.c.
References COLON_PREC, wl_node::data, deref_ptr, DOTDOT, FALSE, find(), heap_insert(), INTCMP, is_top, no_name, NULL, pointer_names, pretty_psi_term(), prettyf(), printed_pointers, and unique_name().
void pretty_variables | ( | ptr_node | n, |
ptr_tab_brk | tab | ||
) |
Definition at line 1221 of file print.c.
References wl_node::data, deref_ptr, eqsym, find(), INTCMP, mark_tab(), MAX_PRECEDENCE, wl_definition::op_data, opcheck(), wl_operator_data::precedence, pretty_psi_term(), prettyf(), and printed_pointers.
void prettyf | ( | char * | s | ) |
void prettyf_inner | ( | char * | s, |
long | q, | ||
char | c | ||
) |
void prettyf_quote | ( | char * | s | ) |
void prettyf_quoted_string | ( | char * | s | ) |
void print_code | ( | FILE * | s, |
ptr_int_list | c | ||
) |
Definition at line 147 of file print.c.
References wl_int_list::next, NOT_CODED, outfile, print_bin(), and wl_int_list::value_1.
void print_operator_kind | ( | FILE * | s, |
long | kind | ||
) |
void print_resid_message | ( | ptr_psi_term | t, |
ptr_resid_list | r | ||
) |
Definition at line 1562 of file print.c.
References buffer, check_pointer(), const_quote, end_tab(), FALSE, gen_sym_counter, heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), MAX_PRECEDENCE, new_tab(), wl_resid_list::next, NULL, outfile, pointer_names, pretty_tag_or_psi_term(), pretty_things, prettyf(), printed_pointers, TRUE, wl_resid_list::var, var_tree, write_canon, and write_resids.
long print_variables | ( | long | printflag | ) |
Definition at line 1272 of file print.c.
References buffer, const_quote, end_tab(), FALSE, forbid_variables(), gen_sym_counter, go_through_tree(), heap_pointer, indent, indx, insert_variables(), listing_flag, mark_tab(), new_tab(), NULL, outfile, output_stream, pointer_names, pretty_output(), pretty_things, pretty_variables(), prettyf(), printed_pointers, TRUE, var_tree, work_out_length(), write_canon, and write_resids.
long starts_nonlower | ( | char * | s | ) |
long strpos | ( | long | pos, |
char * | str | ||
) |
GENERIC unique_name | ( | ) |
void work_out_length | ( | ) |
Definition at line 557 of file print.c.
References wl_tab_brk::broken, wl_tab_brk::column, FALSE, indx, NULL, page_width, wl_tab_brk::printed, wl_item::str, strpos(), wl_item::tab, and TRUE.
void write_attributes | ( | ptr_node | n, |
ptr_tab_brk | tab | ||
) |
Definition at line 1321 of file print.c.
References mark_tab(), MAX_PRECEDENCE, and pretty_tag_or_psi_term().
long page_width =PAGE_WIDTH |
item pretty_things[PRETTY_SIZE] |
long print_depth =PRINT_DEPTH |
char seg_format[PRINT_POWER+4] |