Debugging in Ada 95

[Laurent.Guerby@enst-bretagne.fr (Laurent Guerby)]

[thread renamed]

Robert I. Eachus writes
:    Unfortunately, when I really need a debugger, what I find myself
: looking for is the previous values of things.  With a trace file, print
: previous value is an implementable, although potentially expensive,
: feature. ;-)
: 
:    Yes, it is more work, but you probably have no idea how USEFUL it
: is to be able to back up the state of the computation.  This is
: especially true if what you are trying to debug is a rare exception or
: the like.  Some day, someone is going to build a debugger that can do
: that.  In the meantime I struggle along with trace files and logic
: analyzers.
: 
:    I'm not knocking the idea of making the 'IMAGE attribute more
: widely available.  After all the widening that took place in Ada 95 is
: very nice, it wouldn't have been that hard to go the whole way.

   The "easy"  workaround  is to declare when  possible  a Set_X  each
state variable. For example, while developping a simple ray tracer, we
got an Constraint_Error on a few points, and so we used a :

   (gdb) call Set_Ray (R, (X, Y))
   (gdb) ... step inside the Ray_Color function

with the guessed values of X, Y (the black  spot on our image ;-). GDB
is good at dumping the record values in a  nice format (not for tagged
objects in all cases though), so you don't have to define anything for
"image" except for recursive data structures (no tool will do that for
you in all cases - circular structures).

: 					Robert I. Eachus

-- 
--  Laurent Guerby, student at Telecom Bretagne (France), Team Ada
--  "Use the Source, Luke. The Source will be with you, always (GPL)"
--  http://www-eleves.enst-bretagne.fr/~guerby/ (GATO Project)
--  Try GNAT, the GNU Ada 95 compiler (ftp://cs.nyu.edu/pub/gnat)