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

#include "extern.h"
#include "print.h"
#include "types.h"
#include "login.h"
#include "lefun.h"
#include "parser.h"
#include "built_ins.h"
#include "error.h"

Go to the source code of this file.

Functions
static long	depth_gs ()
static long	depth_cs ()
static long	depth_ts ()
void	stack_info (FILE *outfile)
void	vinfoline ()
void	outputline (char *format, VarArgBase)
void	traceline (char *format, VarArgBase)
void	infoline (char *format, VarArgBase)
void	warningline (char *format, VarArgBase)
void	Errorline (char *format, VarArgBase)
void	Syntaxerrorline (char *format, VarArgBase)
void	init_trace ()
void	reset_step ()
void	tracing ()
void	new_trace (long newtrace)
void	new_step (long newstep)
void	set_trace_to_prove ()
void	toggle_trace ()
void	toggle_step ()
void	perr (char *str)
void	perr_s (char *s1, char *s2)
void	perr_s2 (char *s1, char *s2, char *s3)
void	perr_i (char *str, long i)
long	warning ()
long	warningx ()
void	report_error_main (ptr_psi_term g, char *s, char *s2)
void	report_error (ptr_psi_term g, char *s)
long	reportAndAbort (ptr_psi_term g, char *s)
void	report_warning (ptr_psi_term g, char *s)
void	report_error2_main (ptr_psi_term g, char *s, char *s2)
void	report_error2 (ptr_psi_term g, char *s)
void	report_warning2 (ptr_psi_term g, char *s)
void	nonnum_warning (ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2)
long	nonint_warning (ptr_psi_term arg, REAL val, char *msg)
long	bit_and_warning (ptr_psi_term arg, REAL val)
long	bit_or_warning (ptr_psi_term arg, REAL val)
long	bit_not_warning (ptr_psi_term arg, REAL val)
long	int_div_warning (ptr_psi_term arg, REAL val)
long	mod_warning (ptr_psi_term arg, REAL val, int zero)
long	shift_warning (long dir, ptr_psi_term arg, REAL val)
Variables
static char	vcid [] = "$Id: error.c,v 1.3 1995/07/11 01:53:03 duchier Exp $"
long	warningflag = TRUE
long	quietflag = FALSE
long	trace = FALSE
long	verbose = FALSE
long	stepflag
long	steptrace
long	stepcount

---

Function Documentation

long bit_and_warning	(	ptr_psi_term	arg,
		REAL	val
	)

Definition at line 511 of file error.c.

Referenced by c_bit_and().

long bit_not_warning	(	ptr_psi_term	arg,
		REAL	val
	)

Definition at line 525 of file error.c.

References nonint_warning().

Referenced by c_bit_not().

long bit_or_warning	(	ptr_psi_term	arg,
		REAL	val
	)

Definition at line 518 of file error.c.

References nonint_warning().

Referenced by c_bit_or().

static long depth_cs

(

)

[static]

Definition at line 117 of file error.c.

References choice_stack, and wl_choice_point::next.

Referenced by stack_info().

static long depth_gs

(

)

[static]

Definition at line 106 of file error.c.

References goal_stack, and wl_goal::next.

Referenced by stack_info().

static long depth_ts

(

)

[static]

Definition at line 128 of file error.c.

References wl_stack::next, and undo_stack.

Referenced by stack_info().

void Errorline	(	char *	format,
		VarArgBase
	)

Definition at line 225 of file error.c.

Referenced by accept_internal(), add_rule(), append_files(), apply1_internal(), assert_attributes(), assert_complicated_type(), assert_less(), assert_type(), bind_or_connect_internal(), bitvector_bit_code(), c_alias(), c_append_file(), c_apply(), c_ascii(), c_assert_first(), c_assert_last(), c_assign(), c_begin_raw(), c_bk_assign(), c_boolpred(), c_call(), c_char(), c_chdir(), c_close(), c_cond(), c_declaration(), c_disj(), c_display_modules(), c_display_persistent(), c_div(), c_end_raw(), c_eval_disjunction(), c_exists(), c_exists_choice(), c_freeze_inner(), c_get(), c_get_raw(), c_glb(), c_global(), c_global_assign(), c_int2string(), c_intdiv(), c_listing(), c_load(), c_log(), c_logical_main(), c_mresiduate(), c_not(), c_not_implemented(), c_open_in(), c_open_module(), c_open_out(), c_page_width(), c_persistent(), c_pred(), c_print_depth(), c_private(), c_private_feature(), c_project(), c_public(), c_put_main(), c_read(), c_replace(), c_set_choice(), c_set_input(), c_set_module(), c_set_output(), c_setq(), c_split_double(), c_sqrt(), c_string2psi(), c_string_address(), c_trace(), c_trace_input(), c_undo(), c_unify_pred(), c_xor(), call_primitive(), check_goal_stack(), check_psi_term(), clause_aim(), copy(), declare_operator(), encode_types(), general_insert(), get_module(), global_error_check(), global_unify(), heap_alloc(), import_symbol_internal(), init_memory(), main(), main_prove(), make_bitvector_internal(), op_declare(), open_input_file(), open_module_one(), open_output_file(), persistent_error_check(), pred_clause(), put_back_char(), put_back_token(), redefine(), regexp_compile_internal(), regexp_execute_internal(), residuateGoalOnVar(), socket_internal(), stack_alloc(), type_cyclicity(), unchecked(), undo_actions(), unify_wait_result(), and update_symbol().

void infoline	(	char *	format,
		VarArgBase
	)

Definition at line 193 of file error.c.

void init_trace

(

)

Definition at line 274 of file error.c.

References FALSE, and trace.

Referenced by main(), and WFInit().

long int_div_warning	(	ptr_psi_term	arg,
		REAL	val
	)

Definition at line 532 of file error.c.

References nonint_warning().

Referenced by c_intdiv().

long mod_warning	(	ptr_psi_term	arg,
		REAL	val,
		int	zero
	)

Definition at line 539 of file error.c.

References nonint_warning().

Referenced by c_mod().

void new_step

(

long

newstep

)

Definition at line 316 of file error.c.

void new_trace

(

long

newtrace

)

Definition at line 306 of file error.c.

Referenced by toggle_step(), and toggle_trace().

long nonint_warning	(	ptr_psi_term	arg,
		REAL	val,
		char *	msg
	)

Definition at line 497 of file error.c.

Referenced by bit_not_warning(), bit_or_warning(), int_div_warning(), and mod_warning().

void nonnum_warning	(	ptr_psi_term	t,
		ptr_psi_term	arg1,
		ptr_psi_term	arg2
	)

Definition at line 483 of file error.c.

Referenced by c_add(), c_bit_and(), c_bit_not(), c_bit_or(), c_diff(), c_div(), c_equal(), c_exp(), c_floor_ceiling(), c_gt(), c_gtoe(), c_intdiv(), c_log(), c_lt(), c_ltoe(), c_mod(), c_mult(), c_shift(), c_sqrt(), c_sub(), and c_trig().

void outputline	(	char *	format,
		VarArgBase
	)

Definition at line 164 of file error.c.

References output_stream, VarArg, VarArgDecl, VarArgInit, and vinfoline().

Referenced by c_listing(), c_print_codes(), and print_codes().

void perr

(

char *

str

)

Definition at line 346 of file error.c.

Referenced by encode_types(), heap_nice_name(), parse_list(), perr_sort_cycle(), perr_sort_list(), print_def_type(), push(), type_cyclicity(), warningx(), and yes_or_no().

void perr_i	(	char *	str,
		long	i
	)

Definition at line 364 of file error.c.

Referenced by psi_term_error().

void perr_s	(	char *	s1,
		char*	s2
	)

Definition at line 352 of file error.c.

Referenced by perr_sort(), and psi_term_error().

void perr_s2	(	char *	s1,
		char*	s2,
		char*	s3
	)

Definition at line 358 of file error.c.

void report_error	(	ptr_psi_term	g,
		char *	s
	)

Definition at line 405 of file error.c.

References report_error_main().

void report_error2	(	ptr_psi_term	g,
		char *	s
	)

Definition at line 459 of file error.c.

References report_error2_main().

void report_error2_main	(	ptr_psi_term	g,
		char *	s,
		char *	s2
	)

Definition at line 442 of file error.c.

References report_error_main(), and warningflag.

Referenced by report_error2(), and report_warning2().

void report_error_main	(	ptr_psi_term	g,
		char *	s,
		char *	s2
	)

Definition at line 387 of file error.c.

Referenced by report_error(), report_error2_main(), and reportAndAbort().

void report_warning	(	ptr_psi_term	g,
		char *	s
	)

Definition at line 433 of file error.c.

void report_warning2	(	ptr_psi_term	g,
		char *	s
	)

Definition at line 472 of file error.c.

References report_error2_main(), and warningflag.

long reportAndAbort	(	ptr_psi_term	g,
		char *	s
	)

Definition at line 419 of file error.c.

References abort_life(), and report_error_main().

Referenced by c_isa_subsort().

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	(	long	dir,
		ptr_psi_term	arg,
		REAL	val
	)

Definition at line 554 of file error.c.

Referenced by c_shift().

void stack_info

(

FILE *

outfile

)

Definition at line 138 of file error.c.

References depth_cs(), depth_gs(), depth_ts(), and verbose.

Referenced by garbage(), and show_count().

void Syntaxerrorline	(	char *	format,
		VarArgBase
	)

Definition at line 250 of file error.c.

Referenced by assert_rule(), feature_insert(), make_life_form(), parse(), read_life_form(), read_psi_term(), read_string_error(), and TOKEN_ERROR().

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	(	char *	format,
		VarArgBase
	)

Definition at line 175 of file error.c.

References trace, tracing(), VarArg, VarArgDecl, VarArgInit, and vinfoline().

void tracing

(

)

Definition at line 291 of file error.c.

References stepcount, stepflag, and TRUE.

Referenced by do_residuation(), and traceline().

void vinfoline

(

)

Referenced by outputline(), and traceline().

long warning

(

)

Definition at line 372 of file error.c.

void warningline	(	char *	format,
		VarArgBase
	)

Definition at line 207 of file error.c.

long warningx

(

)

Definition at line 379 of file error.c.

References perr(), and warningflag.

---

Variable Documentation

long quietflag = FALSE

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.

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

long steptrace

Definition at line 102 of file error.c.

Referenced by handle_interrupt(), and main_prove().

long trace = FALSE

Definition at line 99 of file error.c.

Referenced by c_trace(), do_residuation(), handle_interrupt(), init_trace(), toggle_step(), and traceline().

char vcid[] = "$Id: error.c,v 1.3 1995/07/11 01:53:03 duchier Exp $" [static]

Definition at line 14 of file error.c.

long verbose = FALSE

Definition at line 100 of file error.c.

Referenced by c_verbose(), garbage(), handle_interrupt(), memory_check(), show_count(), and stack_info().

long warningflag = TRUE

Definition at line 97 of file error.c.

Referenced by c_warning(), redefine(), report_error2_main(), report_warning2(), and warningx().

---