1: \ Simple debugging aids
2:
3: \ Copyright (C) 1995,1997,1999,2002,2003,2004,2005,2006,2007,2009,2011 Free Software Foundation, Inc.
4:
5: \ This file is part of Gforth.
6:
7: \ Gforth is free software; you can redistribute it and/or
8: \ modify it under the terms of the GNU General Public License
9: \ as published by the Free Software Foundation, either version 3
10: \ of the License, or (at your option) any later version.
11:
12: \ This program is distributed in the hope that it will be useful,
13: \ but WITHOUT ANY WARRANTY; without even the implied warranty of
14: \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: \ GNU General Public License for more details.
16:
17: \ You should have received a copy of the GNU General Public License
18: \ along with this program. If not, see http://www.gnu.org/licenses/.
19:
20:
21: \ They are meant to support a different style of debugging than the
22: \ tracing/stepping debuggers used in languages with long turn-around
23: \ times.
24:
25: \ IMO, a much better (faster) way in fast-compilig languages is to add
26: \ printing code at well-selected places, let the program run, look at
27: \ the output, see where things went wrong, add more printing code, etc.,
28: \ until the bug is found.
29:
30: \ We support fast insertion and removal of the printing code.
31:
32: \ !!Warning: the default debugging actions will destroy the contents
33: \ of the pictured numeric output string (i.e., don't use ~~ between <#
34: \ and #>).
35:
36: require source.fs
37:
38: defer printdebugdata ( -- ) \ gforth print-debug-data
39: ' .s IS printdebugdata
40: defer .debugline ( nfile nline -- ) \ gforth print-debug-line
41: \G Print the source code location indicated by @var{nfile nline}, and
42: \G additional debugging information; the default @code{.debugline}
43: \G prints the additional information with @code{printdebugdata}.
44:
45: : (.debugline) ( nfile nline -- )
46: cr .sourcepos ." :"
47: \ it would be nice to print the name of the following word,
48: \ but that's not easily possible for primitives
49: printdebugdata
50: cr ;
51:
52: [IFUNDEF] debug-fid
53: stderr value debug-fid ( -- fid )
54: \G (value) Debugging output prints to this file
55: [THEN]
56:
57: ' (.debugline) IS .debugline
58:
59: : .debugline-directed ( nfile nline -- )
60: action-of type action-of emit { oldtype oldemit }
61: try
62: ['] (type) is type ['] (emit) is emit
63: ['] .debugline debug-fid outfile-execute
64: 0
65: restore
66: oldemit is emit oldtype is type
67: endtry
68: throw ;
69:
70: :noname ( -- )
71: current-sourcepos .debugline-directed ;
72: :noname ( compilation -- ; run-time -- )
73: compile-sourcepos POSTPONE .debugline-directed ;
74: interpret/compile: ~~ ( -- ) \ gforth tilde-tilde
75: \G Prints the source code location of the @code{~~} and the stack
76: \G contents with @code{.debugline}.
77:
78: :noname ( -- ) stderr to debug-fid defers 'cold ; IS 'cold
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>