/* classes: h_files */ #ifndef DEBUGH #define DEBUGH /* Copyright (C) 1995,1996,1998, 1999 Free Software Foundation * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2, or (at your option) * any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this software; see the file COPYING. If not, write to * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, * Boston, MA 02111-1307 USA * * As a special exception, the Free Software Foundation gives permission * for additional uses of the text contained in its release of GUILE. * * The exception is that, if you link the GUILE library with other files * to produce an executable, this does not by itself cause the * resulting executable to be covered by the GNU General Public License. * Your use of that executable is in no way restricted on account of * linking the GUILE library code into it. * * This exception does not however invalidate any other reasons why * the executable file might be covered by the GNU General Public License. * * This exception applies only to the code released by the * Free Software Foundation under the name GUILE. If you copy * code from other Free Software Foundation releases into a copy of * GUILE, as the General Public License permits, the exception does * not apply to the code that you add in this way. To avoid misleading * anyone as to the status of such modified files, you must delete * this exception notice from them. * * If you write modifications of your own for GUILE, it is your choice * whether to permit this exception to apply to your modifications. * If you do not wish that, delete this exception notice. * * The author can be reached at djurfeldt@nada.kth.se * Mikael Djurfeldt, SANS/NADA KTH, 10044 STOCKHOLM, SWEDEN */ /* Software engineering face-lift by Greg J. Badros, 11-Dec-1999, gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */ #include "libguile/__scm.h" #include "libguile/options.h" /* * Here comes some definitions for the debugging machinery. * It might seem strange to represent debug flags as ints, * but consider that any particular piece of code is normally * only interested in one flag at a time. This is then * the most efficient representation. */ /* {Options} */ /* scm_debug_opts is defined in eval.c. */ extern scm_option scm_debug_opts[]; #define SCM_CHEAPTRAPS_P scm_debug_opts[0].val #define SCM_BREAKPOINTS_P scm_debug_opts[1].val #define SCM_TRACE_P scm_debug_opts[2].val #define SCM_REC_PROCNAMES_P scm_debug_opts[3].val #define SCM_BACKWARDS_P scm_debug_opts[4].val #define SCM_BACKTRACE_WIDTH scm_debug_opts[5].val #define SCM_BACKTRACE_INDENT scm_debug_opts[6].val #define SCM_N_FRAMES scm_debug_opts[7].val #define SCM_BACKTRACE_MAXDEPTH scm_debug_opts[8].val #define SCM_BACKTRACE_DEPTH scm_debug_opts[9].val #define SCM_BACKTRACE_P scm_debug_opts[10].val #define SCM_DEVAL_P scm_debug_opts[11].val #define SCM_STACK_LIMIT scm_debug_opts[12].val #define SCM_N_DEBUG_OPTIONS 13 extern SCM (*scm_ceval_ptr) SCM_P ((SCM exp, SCM env)); extern int scm_debug_mode; extern int scm_check_entry_p, scm_check_apply_p, scm_check_exit_p; #define CHECK_ENTRY scm_check_entry_p #define CHECK_APPLY scm_check_apply_p #define CHECK_EXIT scm_check_exit_p #define SCM_RESET_DEBUG_MODE \ do {\ CHECK_ENTRY = SCM_ENTER_FRAME_P || SCM_BREAKPOINTS_P;\ CHECK_APPLY = SCM_APPLY_FRAME_P || SCM_TRACE_P;\ CHECK_EXIT = SCM_EXIT_FRAME_P || SCM_TRACE_P;\ scm_debug_mode = SCM_DEVAL_P || CHECK_ENTRY || CHECK_APPLY || CHECK_EXIT;\ scm_ceval_ptr = scm_debug_mode ? scm_deval : scm_ceval;\ } while (0) /* {Evaluator} */ typedef union scm_debug_info { struct { SCM exp, env; } e; struct { SCM proc, args; } a; SCM id; } scm_debug_info; extern int scm_debug_eframe_size; typedef struct scm_debug_frame { struct scm_debug_frame *prev; long status; scm_debug_info *vect; scm_debug_info *info; } scm_debug_frame; #ifndef USE_THREADS extern scm_debug_frame *scm_last_debug_frame; #endif #define SCM_EVALFRAME (0L << 11) #define SCM_APPLYFRAME (1L << 11) #define SCM_VOIDFRAME (3L << 11) #define SCM_MACROEXPF (1L << 10) #define SCM_TAILREC (1L << 9) #define SCM_TRACED_FRAME (1L << 8) #define SCM_ARGS_READY (1L << 7) #define SCM_DOVERFLOW (1L << 6) #define SCM_MAX_FRAME_SIZE 63 /* also used as a mask for the size field */ #define SCM_FRAMETYPE (3L << 11) #define SCM_EVALFRAMEP(x) (((x).status & SCM_FRAMETYPE) == SCM_EVALFRAME) #define SCM_APPLYFRAMEP(x) (((x).status & SCM_FRAMETYPE) == SCM_APPLYFRAME) #define SCM_VOIDFRAMEP(x) (((x).status & SCM_FRAMETYPE) == SCM_VOIDFRAME) #define SCM_OVERFLOWP(x) (((x).status & SCM_DOVERFLOW) != 0) #define SCM_ARGS_READY_P(x) (((x).status & SCM_ARGS_READY) != 0) #define SCM_TRACED_FRAME_P(x) (((x).status & SCM_TRACED_FRAME) != 0) #define SCM_TAILRECP(x) (((x).status & SCM_TAILREC) != 0) #define SCM_MACROEXPP(x) (((x).status & SCM_MACROEXPF) != 0) #define SCM_SET_OVERFLOW(x) ((x).status |= SCM_DOVERFLOW) #define SCM_SET_ARGSREADY(x) ((x).status |= SCM_ARGS_READY) #define SCM_CLEAR_ARGSREADY(x) ((x).status &= ~SCM_ARGS_READY) #define SCM_SET_TRACED_FRAME(x) ((x).status |= SCM_TRACED_FRAME) #define SCM_CLEAR_TRACED_FRAME(x) ((x).status &= ~SCM_TRACED_FRAME) #define SCM_SET_TAILREC(x) ((x).status |= SCM_TAILREC) #define SCM_SET_MACROEXP(x) ((x).status |= SCM_MACROEXPF) #define SCM_CLEAR_MACROEXP(x) ((x).status &= ~SCM_MACROEXPF) #define SCM_DEBUGGINGP scm_debug_mode #define SCM_DSIDEVAL(x, env) if NIMP(x) scm_deval((x), (env)) /* {Debug Objects} */ extern long scm_tc16_debugobj; #define SCM_DEBUGOBJP(x) (SCM_NIMP(x) && (scm_tc16_debugobj == SCM_TYP16 (x))) #define SCM_DEBUGOBJ_FRAME(x) SCM_CDR (x) #define SCM_SET_DEBUGOBJ_FRAME(x, f) SCM_SETCDR (x, f) /* {Memoized Source} */ extern long scm_tc16_memoized; #define SCM_MEMOIZEDP(x) (SCM_NIMP(x) && (scm_tc16_memoized == SCM_TYP16 (x))) #define SCM_MEMOIZED_EXP(x) SCM_CAR (SCM_CDR (x)) #define SCM_MEMOIZED_ENV(x) SCM_CDR (SCM_CDR (x)) extern SCM * scm_lookup_cstr SCM_P ((char *str, int len, SCM env)); extern SCM * scm_lookup_soft SCM_P ((SCM var, SCM genv)); extern SCM scm_evstr SCM_P ((char *str)); extern SCM scm_eval_string SCM_P ((SCM str)); extern int scm_ready_p SCM_P ((void)); extern void debug_print SCM_P ((SCM obj)); extern SCM scm_debug_object_p SCM_P ((SCM obj)); extern SCM scm_local_eval SCM_P ((SCM exp, SCM env)); extern SCM scm_reverse_lookup SCM_P ((SCM env, SCM data)); extern SCM scm_start_stack SCM_P ((SCM id, SCM exp, SCM env)); extern SCM scm_procedure_environment SCM_P ((SCM proc)); extern SCM scm_procedure_source SCM_P ((SCM proc)); extern SCM scm_procedure_name SCM_P ((SCM proc)); extern SCM scm_memoized_environment SCM_P ((SCM m)); extern SCM scm_make_memoized SCM_P ((SCM exp, SCM env)); extern SCM scm_memoized_p SCM_P ((SCM obj)); extern SCM scm_with_traps SCM_P ((SCM thunk)); extern SCM scm_evaluator_traps SCM_P ((SCM setting)); extern SCM scm_debug_options SCM_P ((SCM setting)); extern SCM scm_unmemoize SCM_P ((SCM memoized)); extern SCM scm_make_debugobj SCM_P ((scm_debug_frame* debug)); extern void scm_init_debug SCM_P ((void)); #ifdef GUILE_DEBUG extern SCM scm_make_gloc SCM_P ((SCM var, SCM env)); extern SCM scm_gloc_p SCM_P ((SCM obj)); extern SCM scm_make_iloc SCM_P ((SCM frame, SCM binding, SCM cdrp)); extern SCM scm_iloc_p SCM_P ((SCM obj)); extern SCM scm_memcons SCM_P ((SCM car, SCM cdr, SCM env)); extern SCM scm_mem_to_proc SCM_P ((SCM obj)); extern SCM scm_proc_to_mem SCM_P ((SCM obj)); extern SCM scm_debug_hang SCM_P ((SCM obj)); #endif /*GUILE_DEBUG*/ #endif /* DEBUGH */