Powered by ViewCVS 1.0-dev
| 1 : | anton | 1.1 | \ DEBUG.FS Debugger 12jun93jaw |
| 2 : | |||
| 3 : | anton | 1.22 | \ Copyright (C) 1995,1996,1997,2000,2003 Free Software Foundation, Inc. |
| 4 : | anton | 1.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 2 | ||
| 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, write to the Free Software | ||
| 19 : | anton | 1.17 | \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. |
| 20 : | anton | 1.4 | |
| 21 : | jwilke | 1.19 | require see.fs |
| 22 : | |||
| 23 : | anton | 1.1 | decimal |
| 24 : | |||
| 25 : | crook | 1.14 | VARIABLE dbg-ip \ instruction pointer for debugger |
| 26 : | anton | 1.1 | |
| 27 : | jwilke | 1.15 | \ !! move to see? |
| 28 : | |||
| 29 : | : save-see-flags ( -- n* cnt ) | ||
| 30 : | C-Output @ | ||
| 31 : | C-Formated @ 1 ; | ||
| 32 : | |||
| 33 : | : restore-see-flags ( n* cnt -- ) | ||
| 34 : | drop C-Formated ! | ||
| 35 : | C-Output ! ; | ||
| 36 : | |||
| 37 : | anton | 1.1 | : scanword ( body -- ) |
| 38 : | jwilke | 1.15 | >r save-see-flags r> |
| 39 : | anton | 1.1 | c-init C-Output off |
| 40 : | ScanMode c-pass ! | ||
| 41 : | dup MakePass | ||
| 42 : | 0 Level ! | ||
| 43 : | 0 XPos ! | ||
| 44 : | DisplayMode c-pass ! | ||
| 45 : | MakePass | ||
| 46 : | jwilke | 1.15 | restore-see-flags ; |
| 47 : | anton | 1.1 | |
| 48 : | : .n 0 <# # # # # #S #> ctype bl cemit ; | ||
| 49 : | |||
| 50 : | : d.s ." [ " depth . ." ] " | ||
| 51 : | depth 4 min dup 0 ?DO dup i - pick .n LOOP drop ; | ||
| 52 : | |||
| 53 : | : NoFine XPos off YPos off | ||
| 54 : | NLFlag off Level off | ||
| 55 : | C-Formated off | ||
| 56 : | ; | ||
| 57 : | |||
| 58 : | jwilke | 1.15 | : Leave-D ; |
| 59 : | |||
| 60 : | : disp-step ( -- ) | ||
| 61 : | \ display step at current dbg-ip | ||
| 62 : | anton | 1.1 | DisplayMode c-pass ! \ change to displaymode |
| 63 : | cr | ||
| 64 : | c-stop off | ||
| 65 : | jwilke | 1.8 | Base @ hex dbg-ip @ 8 u.r space dbg-ip @ @ 8 u.r space |
| 66 : | anton | 1.1 | Base ! |
| 67 : | jwilke | 1.15 | save-see-flags |
| 68 : | anton | 1.1 | NoFine 10 XPos ! |
| 69 : | jwilke | 1.8 | dbg-ip @ DisplayMode c-pass ! Analyse drop |
| 70 : | jwilke | 1.15 | 25 XPos @ - 0 max spaces ." -> " |
| 71 : | restore-see-flags ; | ||
| 72 : | anton | 1.1 | |
| 73 : | : get-next ( -- n | n n ) | ||
| 74 : | DebugMode c-pass ! | ||
| 75 : | jwilke | 1.8 | dbg-ip @ Analyse ; |
| 76 : | anton | 1.1 | |
| 77 : | : jump ( addr -- ) | ||
| 78 : | r> drop \ discard last ip | ||
| 79 : | >r ; | ||
| 80 : | |||
| 81 : | AVARIABLE DebugLoop | ||
| 82 : | |||
| 83 : | jwilke | 1.8 | : breaker r> 1 cells - dbg-ip ! DebugLoop @ jump ; |
| 84 : | anton | 1.1 | |
| 85 : | CREATE BP 0 , 0 , | ||
| 86 : | CREATE DT 0 , 0 , | ||
| 87 : | |||
| 88 : | : set-bp ( 0 n | 0 n n -- ) | ||
| 89 : | 0. BP 2! | ||
| 90 : | ?dup IF dup BP ! dup @ DT ! | ||
| 91 : | ['] Breaker swap ! | ||
| 92 : | ?dup IF dup BP cell+ ! dup @ DT cell+ ! | ||
| 93 : | ['] Breaker swap ! drop THEN | ||
| 94 : | THEN ; | ||
| 95 : | |||
| 96 : | : restore-bp ( -- ) | ||
| 97 : | BP @ ?dup IF DT @ swap ! THEN | ||
| 98 : | BP cell+ @ ?dup IF DT cell+ @ swap ! THEN ; | ||
| 99 : | |||
| 100 : | VARIABLE Body | ||
| 101 : | |||
| 102 : | jwilke | 1.18 | : nestXT-checkSpecial ( xt -- xt2 | cfa xt2 ) |
| 103 : | dup >does-code IF | ||
| 104 : | \ if nest into a does> we must leave | ||
| 105 : | \ the body address on stack as does> does... | ||
| 106 : | dup >body swap EXIT | ||
| 107 : | THEN | ||
| 108 : | dup ['] EXECUTE = IF | ||
| 109 : | \ xt to EXECUTE is next stack item... | ||
| 110 : | drop EXIT | ||
| 111 : | THEN | ||
| 112 : | dup ['] PERFORM = IF | ||
| 113 : | \ xt to EXECUTE is addressed by next stack item | ||
| 114 : | drop @ EXIT | ||
| 115 : | THEN | ||
| 116 : | BEGIN | ||
| 117 : | dup >code-address dodefer: = | ||
| 118 : | WHILE | ||
| 119 : | \ load xt of DEFERed word | ||
| 120 : | cr ." nesting defered..." | ||
| 121 : | >body @ | ||
| 122 : | REPEAT ; | ||
| 123 : | jwilke | 1.10 | |
| 124 : | jwilke | 1.18 | : nestXT ( xt -- true | body false ) |
| 125 : | \G return true if we are not able to debug this, | ||
| 126 : | \G body and false otherwise | ||
| 127 : | nestXT-checkSpecial | ||
| 128 : | \ scan code with xt-see | ||
| 129 : | DebugMode c-pass ! C-Output off | ||
| 130 : | xt-see C-Output on | ||
| 131 : | c-pass @ DebugMode = dup | ||
| 132 : | IF cr ." Cannot debug!!" | ||
| 133 : | THEN ; | ||
| 134 : | anton | 1.1 | |
| 135 : | VARIABLE Nesting | ||
| 136 : | |||
| 137 : | VARIABLE Unnest | ||
| 138 : | |||
| 139 : | : D-KEY ( -- flag ) | ||
| 140 : | BEGIN | ||
| 141 : | Unnest @ IF 0 ELSE key THEN | ||
| 142 : | jwilke | 1.18 | CASE [char] n OF dbg-ip @ @ nestXT EXIT ENDOF |
| 143 : | anton | 1.1 | [char] s OF Leave-D |
| 144 : | -128 THROW ENDOF | ||
| 145 : | [char] a OF Leave-D | ||
| 146 : | -128 THROW ENDOF | ||
| 147 : | [char] d OF Leave-D | ||
| 148 : | cr ." Done..." cr | ||
| 149 : | Nesting off | ||
| 150 : | jwilke | 1.8 | r> drop dbg-ip @ >r |
| 151 : | anton | 1.1 | EXIT ENDOF |
| 152 : | [char] ? OF cr ." Nest Stop Done Unnest" cr | ||
| 153 : | ENDOF | ||
| 154 : | [char] u OF Unnest on true EXIT ENDOF | ||
| 155 : | drop true EXIT | ||
| 156 : | ENDCASE | ||
| 157 : | AGAIN ; | ||
| 158 : | |||
| 159 : | jwilke | 1.15 | : (_debug) ( body ip -- ) |
| 160 : | anton | 1.1 | 0 Nesting ! |
| 161 : | BEGIN Unnest off | ||
| 162 : | cr ." Scanning code..." cr C-Formated on | ||
| 163 : | jwilke | 1.15 | swap scanword dbg-ip ! |
| 164 : | anton | 1.1 | cr ." Nesting debugger ready!" cr |
| 165 : | jwilke | 1.10 | BEGIN d.s disp-step D-Key |
| 166 : | anton | 1.1 | WHILE C-Stop @ 0= |
| 167 : | WHILE 0 get-next set-bp | ||
| 168 : | jwilke | 1.8 | dbg-ip @ jump |
| 169 : | anton | 1.1 | [ here DebugLoop ! ] |
| 170 : | restore-bp | ||
| 171 : | REPEAT | ||
| 172 : | jwilke | 1.8 | Nesting @ 0= IF EXIT THEN |
| 173 : | anton | 1.1 | -1 Nesting +! r> |
| 174 : | ELSE | ||
| 175 : | jwilke | 1.8 | dbg-ip @ 1 cells + >r 1 Nesting +! |
| 176 : | anton | 1.1 | THEN |
| 177 : | jwilke | 1.15 | dup |
| 178 : | anton | 1.1 | AGAIN ; |
| 179 : | |||
| 180 : | jwilke | 1.15 | : (debug) dup (_debug) ; |
| 181 : | |||
| 182 : | crook | 1.14 | : dbg ( "name" -- ) \ gforth |
| 183 : | crook | 1.11 | ' NestXT IF EXIT THEN (debug) Leave-D ; |
| 184 : | anton | 1.1 | |
| 185 : | jwilke | 1.15 | : break:, ( -- ) |
| 186 : | anton | 1.23 | latestxt postpone literal ; |
| 187 : | jwilke | 1.15 | |
| 188 : | : (break:) | ||
| 189 : | r> ['] (_debug) >body >r ; | ||
| 190 : | |||
| 191 : | crook | 1.14 | : break: ( -- ) \ gforth |
| 192 : | jwilke | 1.15 | break:, postpone (break:) ; immediate |
| 193 : | anton | 1.6 | |
| 194 : | jwilke | 1.7 | : (break") |
| 195 : | crook | 1.11 | cr |
| 196 : | ." BREAK AT: " type cr | ||
| 197 : | jwilke | 1.15 | r> ['] (_debug) >body >r ; |
| 198 : | anton | 1.6 | |
| 199 : | crook | 1.14 | : break" ( 'ccc"' -- ) \ gforth |
| 200 : | jwilke | 1.15 | break:, |
| 201 : | crook | 1.11 | postpone s" |
| 202 : | postpone (break") ; immediate |
|
CVS Admin Powered by ViewCVS 1.0-dev |
ViewCVS and CVS Help |