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

Go to the source code of this file.

Defines
#define	NOTQUIET   (!quietflag || verbose)
#define	Traceline   if (trace) traceline
#define	Infoline   if (NOTQUIET) infoline
#define	Warningline   if (warningflag) warningline
Functions
void	stack_info ()
void	init_trace ()
void	reset_step ()
void	tracing ()
void	new_trace ()
void	new_step ()
void	toggle_trace ()
void	toggle_step ()
void	set_trace_to_prove ()
long	warning ()
long	warningx ()
void	perr ()
void	perr_s ()
void	perr_s2 ()
void	perr_i ()
void	report_error ()
void	report_warning ()
void	report_error2 ()
void	report_warning2 ()
void	nonnum_warning ()
long	bit_and_warning ()
long	bit_or_warning ()
long	bit_not_warning ()
long	int_div_warning ()
long	mod_warning ()
long	shift_warning ()
void	outputline ()
void	infoline ()
void	traceline ()
void	warningline ()
void	Errorline ()
void	Syntaxerrorline ()
Variables
long	quietflag
long	trace
long	verbose
long	stepflag
long	steptrace
long	stepcount

---

Define Documentation

#define Infoline   if (NOTQUIET) infoline

Definition at line 75 of file error.h.

Referenced by c_warning(), main(), main_prove(), read_char(), and what_next_aim().

#define NOTQUIET   (!quietflag || verbose)

Definition at line 47 of file error.h.

Referenced by abort_life(), c_quiet(), exit_life(), show_count(), and what_next_aim().

#define Traceline   if (trace) traceline

Definition at line 70 of file error.h.

Referenced by c_disj(), c_freeze_inner(), check_disj(), check_func(), clause_aim(), copy(), do_currying(), do_residuation(), encode_types(), eval_aim(), eval_global_var(), fetch_def(), fetch_def_lazy(), global_unify(), insert_translation(), main_prove(), prove_aim(), release_resid_main(), and type_disj_aim().

#define Warningline   if (warningflag) warningline

Definition at line 92 of file error.h.

Referenced by assert_args_not_eval(), assert_complicated_type(), assert_protected(), c_alias(), c_module_access(), c_string2psi(), main_prove(), make_feature_private(), make_public(), read_name(), read_string(), redefine(), unify_real_result(), and update_symbol().

---

Function Documentation

long bit_and_warning

(

)

long bit_not_warning

(

)

long bit_or_warning

(

)

void Errorline

(

)

void infoline

(

)

void init_trace

(

)

Definition at line 274 of file error.c.

References FALSE, and trace.

Referenced by main(), and WFInit().

long int_div_warning

(

)

long mod_warning

(

)

void new_step

(

)

void new_trace

(

)

void nonnum_warning

(

)

void outputline

(

)

void perr

(

)

void perr_i

(

)

void perr_s

(

)

void perr_s2

(

)

void report_error

(

)

void report_error2

(

)

void report_warning

(

)

void report_warning2

(

)

void reset_step

(

)

Definition at line 283 of file error.c.

Referenced by main(), and what_next_aim().

void set_trace_to_prove

(

)

Definition at line 326 of file error.c.

Referenced by c_tprove().

long shift_warning

(

)

void stack_info

(

)

void Syntaxerrorline

(

)

void toggle_step

(

)

Definition at line 337 of file error.c.

References new_trace(), and trace.

Referenced by c_step().

void toggle_trace

(

)

Definition at line 331 of file error.c.

References new_trace().

Referenced by c_trace().

void traceline

(

)

void tracing

(

)

Definition at line 291 of file error.c.

References stepcount, stepflag, and TRUE.

Referenced by do_residuation(), and traceline().

long warning

(

)

Definition at line 372 of file error.c.

void warningline

(

)

long warningx

(

)

Definition at line 379 of file error.c.

References perr(), and warningflag.

---

Variable Documentation

long quietflag

Definition at line 98 of file error.c.

Referenced by handle_interrupt(), main(), title(), and WFInit().

long stepcount

Definition at line 103 of file error.c.

Referenced by handle_interrupt(), main_prove(), and tracing().

long stepflag

Definition at line 101 of file error.c.

long steptrace

Definition at line 102 of file error.c.

Referenced by handle_interrupt(), and main_prove().

long trace

Definition at line 99 of file error.c.

long verbose

Definition at line 100 of file error.c.

---