[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
hierarchical debugging
Date: Thu, 28 Sep 89 12:10:01 PDT
From: todd@ptolemy.arc.nasa.gov (Todd Stock)
After using Quintus Prolog for 4 years I got in the habit of tracing
a program in levels, that is I could skip along at the top level seeing
ONLY calls and "return values". Then, when I found wierd behavior, I
could back up, call the function again but this time recursively tracing
one level deeper. In this way you can significantly minimize the junk
you see traced and essentially go right to the problem.
[...]
So now I'm working on the Symbolics (and liking it BTW) but I can't seem
to pull off this simple debugging strategy even though I've seen it done
in simpler lisps.
[...]
Here are a couple of debugging commands you might try. In order to get into
the debugger, you can set a breakpoint in a function (use the Set Breakpoint
command), place (BREAK) in your source and recompile, monitor a variable (use
the Monitor Variable command or click Meta-Control-Shift-Left [yes, it's
Baroque] on the output of DESCRIBE of a structure or instance), or, of course,
your program can blow up.
c-X C -- Set Break On Call flag. The next time a funcall/apply is executed,
the debugger will be entered first. Also, when that called function is
about to return or throw, your machine will enter the debugger again. c-m-V
lets you look at the returned/thrown values.
c-X m-C -- Equivalent to c-X C followed by <Resume>.
c-X m-c-C -- Equivalent to c-X C followed by c-m-R (retry current frame).
c-X E -- Set Break on Exit flag. When the current frame's function is going
to return (or the current frame be unwound via THROW), enter the debugger
first. With a numeric argument this will set the flag for the current frame
and all the ones below it.
c-X c-C and c-X c-E clear the respective flags, by the way. c-X c-E also
takes a numeric argument.
The debugger command c-Help will give you quite a lot of help, more than I
could absorb the first few times I read it (and it's gotten considerably
longer since then!).