mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-30 03:40:34 +02:00
434f2f7a91
SCM_DEBUGGINGP: * debug.h (scm_debug_mode_p, scm_debug_mode, SCM_DEBUGGINGP), eval.c (scm_debug_mode_p): Deprecated scm_debug_mode and SCM_DEBUGGINGP. Provided scm_debug_mode_p instead, to have one single interface that also matches the naming conventions. Probably scm_debug_mode_p should be part of the private interface anyway. * debug.h (scm_debug_mode_p), backtrace.c (display_error_body), eval.c (SCM_APPLY, scm_trampoline_0, scm_trampoline_1, scm_trampoline_2): Change uses of scm_debug_mode or SCM_DEBUGGINGP to scm_debug_mode_p. Deprecate direct access to scm_ceval, scm_deval and scm_ceval_ptr: * eval.h (scm_ceval, scm_deval, scm_ceval_ptr), debug.h (scm_ceval_ptr): Deprecated. Moved declaration of scm_ceval_ptr from debug.h to eval.h. * debug.h (SCM_RESET_DEBUG_MODE): Don't access scm_ceval_ptr any more, just leave it with setting scm_debug_mode_p, which is equivalent for practical purposes. * deprecated.h (SCM_XEVAL, SCM_XEVALCAR): Call scm_i_eval_x instead of *scm_ceval_ptr. Leave all evaluating to scm_i_eval_x. * gdbint.c (gdb_eval): Call scm_i_eval_x instead of scm_ceval. * eval.c (ceval, deval, scm_ceval, scm_deval): Made scm_ceval static and renamed it to ceval throughout. Provide a new exported but deprecated function scm_ceval as a wrapper for backwards compatibility. The same is done for the deval/scm_deval pair of functions. * eval.c (CEVAL, SCM_CEVAL): Renamed SCM_CEVAL to CEVAL throughout. Defined CEVAL to ceval or deval, based on compilation phase. * eval.c (SCM_XEVAL, SCM_XEVALCAR): Dispatch on scm_debug_mode_p to ceval and deval instead of calling *scm_ceval_ptr. * eval.c (dispatching_eval): New deprecated static function. * eval.c (scm_ceval_ptr): Initialized to dispatching_eval in order to emulate its old behaviour as closely as possible. Change the evaluator such that only expressions for which pair? is true are passed to CEVAL, and such that all other expressions are evaluated outside of CEVAL: * eval.c (EVAL): New, provided in analogy to EVALCAR. Evaluate an expression that is assumed to be memoized already. All but expressions of the form '(<form> <form> ...)' are evaluated inline without calling an evaluator. * eval.c (SCM_XEVAL, SCM_XEVALCAR, EVALCAR): Evaluate all but expressions of the form '(<form> <form> ...)' inline without calling an evaluator. * eval.c (scm_i_eval_x, scm_i_eval, scm_ceval, scm_deval): Handle the special case of unmemoized symbols passed on the top level. * eval.c (CEVAL): Change calls to CEVAL to EVAL, except where it is known that the expression passed to CEVAL is of the form '(<form> <form> ...)'. Remove handling of the tc7-objects, since now it is known that the input expression of CEVAL is a pair.
193 lines
6.1 KiB
C
193 lines
6.1 KiB
C
/* classes: h_files */
|
||
|
||
#ifndef SCM_DEBUG_H
|
||
#define SCM_DEBUG_H
|
||
|
||
/* Copyright (C) 1995,1996,1998,1999,2000,2001,2002,2004
|
||
* Free Software Foundation, Inc.
|
||
*
|
||
* This library is free software; you can redistribute it and/or
|
||
* modify it under the terms of the GNU Lesser General Public
|
||
* License as published by the Free Software Foundation; either
|
||
* version 2.1 of the License, or (at your option) any later version.
|
||
*
|
||
* This library 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
|
||
* Lesser General Public License for more details.
|
||
*
|
||
* You should have received a copy of the GNU Lesser General Public
|
||
* License along with this library; if not, write to the Free Software
|
||
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
||
*/
|
||
|
||
|
||
|
||
#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.
|
||
*/
|
||
|
||
SCM_API scm_t_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_SHOW_FILE_NAME scm_debug_opts[13].val
|
||
#define SCM_N_DEBUG_OPTIONS 14
|
||
|
||
SCM_API int scm_debug_mode_p;
|
||
SCM_API int scm_check_entry_p;
|
||
SCM_API int scm_check_apply_p;
|
||
SCM_API int scm_check_exit_p;
|
||
|
||
#define SCM_RESET_DEBUG_MODE \
|
||
do {\
|
||
scm_check_entry_p = (SCM_ENTER_FRAME_P || SCM_BREAKPOINTS_P)\
|
||
&& !SCM_FALSEP (SCM_ENTER_FRAME_HDLR);\
|
||
scm_check_apply_p = (SCM_APPLY_FRAME_P || SCM_TRACE_P)\
|
||
&& !SCM_FALSEP (SCM_APPLY_FRAME_HDLR);\
|
||
scm_check_exit_p = (SCM_EXIT_FRAME_P || SCM_TRACE_P)\
|
||
&& !SCM_FALSEP (SCM_EXIT_FRAME_HDLR);\
|
||
scm_debug_mode_p = SCM_DEVAL_P\
|
||
|| scm_check_entry_p || scm_check_apply_p || scm_check_exit_p;\
|
||
} while (0)
|
||
|
||
/* {Evaluator}
|
||
*/
|
||
|
||
typedef union scm_t_debug_info
|
||
{
|
||
struct { SCM exp, env; } e;
|
||
struct { SCM proc, args; } a;
|
||
SCM id;
|
||
} scm_t_debug_info;
|
||
|
||
SCM_API long scm_debug_eframe_size;
|
||
|
||
typedef struct scm_t_debug_frame
|
||
{
|
||
struct scm_t_debug_frame *prev;
|
||
long status;
|
||
scm_t_debug_info *vect;
|
||
scm_t_debug_info *info;
|
||
} scm_t_debug_frame;
|
||
|
||
#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
|
||
|
||
#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)
|
||
|
||
/* {Debug Objects}
|
||
*/
|
||
|
||
SCM_API scm_t_bits scm_tc16_debugobj;
|
||
|
||
#define SCM_DEBUGOBJP(x) \
|
||
SCM_TYP16_PREDICATE (scm_tc16_debugobj, x)
|
||
#define SCM_DEBUGOBJ_FRAME(x) \
|
||
((scm_t_debug_frame *) SCM_CELL_WORD_1 (x))
|
||
#define SCM_SET_DEBUGOBJ_FRAME(x, f) SCM_SET_CELL_WORD_1 (x, f)
|
||
|
||
/* {Memoized Source}
|
||
*/
|
||
|
||
SCM_API scm_t_bits scm_tc16_memoized;
|
||
|
||
#define SCM_MEMOIZEDP(x) SCM_TYP16_PREDICATE (scm_tc16_memoized, x)
|
||
#define SCM_MEMOIZED_EXP(x) SCM_CAR (SCM_CELL_OBJECT_1 (x))
|
||
#define SCM_MEMOIZED_ENV(x) SCM_CDR (SCM_CELL_OBJECT_1 (x))
|
||
|
||
|
||
|
||
SCM_API SCM scm_debug_object_p (SCM obj);
|
||
SCM_API SCM scm_local_eval (SCM exp, SCM env);
|
||
SCM_API SCM scm_reverse_lookup (SCM env, SCM data);
|
||
SCM_API SCM scm_start_stack (SCM info_id, SCM exp, SCM env);
|
||
SCM_API SCM scm_procedure_environment (SCM proc);
|
||
SCM_API SCM scm_procedure_source (SCM proc);
|
||
SCM_API SCM scm_procedure_name (SCM proc);
|
||
SCM_API SCM scm_memoized_environment (SCM m);
|
||
SCM_API SCM scm_make_memoized (SCM exp, SCM env);
|
||
SCM_API SCM scm_memoized_p (SCM obj);
|
||
SCM_API SCM scm_with_traps (SCM thunk);
|
||
SCM_API SCM scm_evaluator_traps (SCM setting);
|
||
SCM_API SCM scm_debug_options (SCM setting);
|
||
SCM_API SCM scm_unmemoize (SCM memoized);
|
||
SCM_API SCM scm_make_debugobj (scm_t_debug_frame *debug);
|
||
SCM_API void scm_init_debug (void);
|
||
|
||
#ifdef GUILE_DEBUG
|
||
SCM_API SCM scm_memcons (SCM car, SCM cdr, SCM env);
|
||
SCM_API SCM scm_mem_to_proc (SCM obj);
|
||
SCM_API SCM scm_proc_to_mem (SCM obj);
|
||
SCM_API SCM scm_debug_hang (SCM obj);
|
||
#endif /*GUILE_DEBUG*/
|
||
|
||
#if SCM_ENABLE_DEPRECATED == 1
|
||
|
||
#define CHECK_ENTRY scm_check_entry_p
|
||
#define CHECK_APPLY scm_check_apply_p
|
||
#define CHECK_EXIT scm_check_exit_p
|
||
|
||
/* Deprecated in guile 1.7.0 on 2004-03-29. */
|
||
#define SCM_DEBUGGINGP scm_debug_mode_p
|
||
#define scm_debug_mode scm_debug_mode_p
|
||
|
||
#endif
|
||
|
||
#endif /* SCM_DEBUG_H */
|
||
|
||
/*
|
||
Local Variables:
|
||
c-file-style: "gnu"
|
||
End:
|
||
*/
|