C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/print.h File Reference

Go to the source code of this file.

Data Structures
struct	wl_tab_brk
struct	wl_item
Typedefs
typedef struct wl_tab_brk *	ptr_tab_brk
typedef struct wl_item *	ptr_item
typedef struct wl_tab_brk	tab_brk
typedef struct wl_item	item
Functions
void	init_print ()
void	pred_write ()
void	listing_pred_write ()
long	str_to_int ()
long	print_variables ()
void	print_resid_message ()
void	print_operator_kind ()
void	display_psi ()
void	display_psi_stdout ()
void	display_psi_stream ()
void	display_psi_stderr ()
void	print_code ()
Variables
char *	no_name
char *	buffer
long	print_depth
long	indent
long	const_quote
long	write_stderr
long	write_corefs
long	write_resids
long	write_canon

---

Typedef Documentation

typedef struct wl_item item

typedef struct wl_item* ptr_item

Definition at line 7 of file print.h.

typedef struct wl_tab_brk* ptr_tab_brk

Definition at line 6 of file print.h.

typedef struct wl_tab_brk tab_brk

---

Function Documentation

void display_psi

(

)

void display_psi_stderr

(

)

void display_psi_stdout

(

)

void display_psi_stream

(

)

void init_print

(

)

Definition at line 69 of file print.c.

References PRINT_POWER, and seg_format.

Referenced by main(), and WFInit().

void listing_pred_write

(

)

void pred_write

(

)

void print_code

(

)

void print_operator_kind

(

)

void print_resid_message

(

)

long print_variables

(

)

long str_to_int

(

)

---

Variable Documentation

char* buffer

Definition at line 40 of file print.c.

Referenced by apply1_internal(), display_couple(), end_tab(), GetIntOption(), init_memory(), lazy_project_internal(), main_display_psi_term(), main_pred_write(), my_wait_on_feature_internal(), prettyf_inner(), print_resid_message(), print_variables(), regexp_execute_internal(), and wait_on_feature_internal().

long const_quote

Definition at line 27 of file print.c.

Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), display_couple(), listing_pred_write(), main_display_psi_term(), prettyf_quote(), prettyf_quoted_string(), print_resid_message(), and print_variables().

long indent

Definition at line 26 of file print.c.

Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), display_couple(), end_tab(), listing_pred_write(), main_display_psi_term(), main_pred_write(), prettyf_inner(), print_resid_message(), and print_variables().

char* no_name

Definition at line 38 of file print.c.

Referenced by check_pointer(), and pretty_tag_or_psi_term().

long print_depth

Definition at line 25 of file print.c.

Referenced by c_print_depth(), listing_pred_write(), pretty_list(), and pretty_psi_term().

long write_canon

Definition at line 29 of file print.c.

Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), display_couple(), listing_pred_write(), main_display_psi_term(), pretty_psi_term(), pretty_psi_with_ops(), print_resid_message(), and print_variables().

long write_corefs

Definition at line 31 of file print.c.

Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), listing_pred_write(), and main_pred_write().

long write_resids

Definition at line 28 of file print.c.

Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), display_couple(), listing_pred_write(), main_display_psi_term(), print_resid_message(), and print_variables().

long write_stderr

Definition at line 30 of file print.c.

Referenced by c_pwrite(), c_pwriteq(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), listing_pred_write(), and pred_write().

---