--- gforth/see.fs 1995/11/07 18:06:59 1.9 +++ gforth/see.fs 1996/08/26 10:07:21 1.14 @@ -25,6 +25,8 @@ \ Ideas: Level should be a stack +require termsize.fs + decimal \ Screen format words 16may93jaw @@ -56,7 +58,7 @@ DEFER nlcount ' noop IS nlcount XPos @ Level @ = ?Exit C-Formated @ IF C-Output @ - IF C-Clearline @ IF 80 XPos @ - spaces + IF C-Clearline @ IF cols XPos @ - spaces ELSE cr THEN 1 YPos +! 0 XPos ! Level @ spaces @@ -64,7 +66,7 @@ DEFER nlcount ' noop IS nlcount : warp? ( len -- len ) nlflag @ IF (nl) nlflag off THEN - XPos @ over + 79 u> IF (nl) THEN ; + XPos @ over + cols u>= IF (nl) THEN ; : ctype ( adr len -- ) warp? dup XPos +! C-Output @ IF type ELSE 2drop THEN ; @@ -200,11 +202,13 @@ VARIABLE C-Pass : ahead? ( n -- flag ) 0> ; : c-(compile) - Display? IF s" POSTPONE " Com# .string - dup @ look 0= ABORT" SEE: No valid XT" - cell+ count $1F and 0 .string bl cemit - THEN - cell+ ; + Display? + IF + s" POSTPONE " Com# .string + dup @ look 0= ABORT" SEE: No valid XT" + name>string 0 .string bl cemit + THEN + cell+ ; : c-lit Display? IF @@ -455,11 +459,11 @@ CREATE C-Table ' f@local# A, ' c-f@local# A, ' laddr# A, ' c-laddr# A, ' lp+!# A, ' c-lp+!# A, - ' (s") A, ' c-s" A, - ' (.") A, ' c-." A, + ' (s") A, ' c-s" A, + ' (.") A, ' c-." A, ' "lit A, ' c-c" A, - ' leave A, ' c-leave A, - ' ?leave A, ' c-?leave A, + comp' leave drop A, ' c-leave A, + comp' ?leave drop A, ' c-?leave A, ' (do) A, ' c-do A, ' (?do) A, ' c-?do A, ' (for) A, ' c-for A, @@ -491,7 +495,7 @@ CREATE C-Table WHILE 2 pick <> WHILE 2 cells + REPEAT - nip cell+ @ EXECUTE + nip cell+ perform true ELSE 2drop drop false @@ -531,75 +535,126 @@ CREATE C-Table Branches on ; : makepass ( a-addr -- ) - c-stop off - BEGIN - analyse - c-stop @ - UNTIL drop ; - -DEFER dosee - -: dopri .name ." is primitive" cr ; -: dovar ." Variable " .name cr ; -: douse ." User " .name cr ; -: docon dup cell+ (name>) >body @ . ." Constant " .name cr ; -: doval dup cell+ (name>) >body @ . ." Value " .name cr ; -: dodef ." Defer " dup >r .name cr - r@ cell+ (name>) >body @ look - 0= ABORT" SEE: No valid xt in deferred word" - dup dosee cr - ." ' " .name r> ." IS " .name cr ; -: dodoe ." Create " dup .name cr - S" DOES> " Com# .string XPos @ Level ! name> - >does-code dup C-Pass @ DebugMode = IF ScanMode c-pass ! EXIT THEN - ScanMode c-pass ! dup makepass - DisplayMode c-pass ! makepass ; -: doali here @ .name ." Alias " .name cr - here @ dosee ; -: docol S" : " Com# .string - dup cell+ count $1F and 2 pick wordinfo .string bl cemit bl cemit - ( XPos @ ) 2 Level ! - name> >body - C-Pass @ DebugMode = IF ScanMode c-pass ! EXIT THEN - ScanMode c-pass ! dup makepass - DisplayMode c-pass ! makepass ; - -create wordtypes - Pri# , ' dopri A, - Var# , ' dovar A, - Con# , ' docon A, - Val# , ' doval A, - Def# , ' dodef A, - Doe# , ' dodoe A, - Ali# , ' doali A, - Col# , ' docol A, - Use# , ' douse A, - 0 , - -: (dosee) ( lfa -- ) - dup dup cell+ c@ >r - wordinfo - wordtypes - BEGIN dup @ dup - WHILE 2 pick = IF cell+ @ nip EXECUTE - r> dup 32 and IF ." immediate" THEN - 64 and IF ." restrict" THEN EXIT THEN - 2 cells + - REPEAT - 2drop rdrop - .name ." Don't know how to handle" cr ; - -' (dosee) IS dosee - -: xtc ( xt -- ) \ do see at xt - Look 0= ABORT" SEE: No valid XT" - cr c-init - dosee ; - -: see name sfind 0= IF ." Word unknown" cr exit THEN - xtc ; - -: lfc cr c-init cell+ dosee ; -: nfc cr c-init dosee ; + c-stop off + BEGIN + analyse + c-stop @ + UNTIL drop ; + +Defer xt-see-xt ( xt -- ) +\ this one is just a forward declaration for indirect recursion + +: .defname ( xt c-addr u -- ) + rot look + if ( c-addr u nfa ) + -rot type space .name + else + drop ." noname " type + then + space ; + +Defer discode ( addr -- ) +\ hook for the disassembler: disassemble code at addr (as far as the +\ disassembler thinks is sensible) +:noname ( addr -- ) + drop ." ..." ; +IS discode + +: seecode ( xt -- ) + dup s" Code" .defname + >body discode + ." end-code" cr ; +: seevar ( xt -- ) + s" Variable" .defname cr ; +: seeuser ( xt -- ) + s" User" .defname cr ; +: seecon ( xt -- ) + dup >body ? + s" Constant" .defname cr ; +: seevalue ( xt -- ) + dup >body ? + s" Value" .defname cr ; +: seedefer ( xt -- ) + dup >body @ xt-see-xt cr + dup s" Defer" .defname cr + >name dup ??? = if + drop ." lastxt >body !" + else + ." IS " .name cr + then ; +: see-threaded ( addr -- ) + C-Pass @ DebugMode = IF + ScanMode c-pass ! + EXIT + THEN + ScanMode c-pass ! dup makepass + DisplayMode c-pass ! makepass ; +: seedoes ( xt -- ) + dup s" create" .defname cr + S" DOES> " Com# .string XPos @ Level ! + >does-code see-threaded ; +: seecol ( xt -- ) + dup s" :" .defname cr + 2 Level ! + >body see-threaded ; +: seefield ( xt -- ) + dup >body ." 0 " ? ." 0 0 " + s" Field" .defname cr ; + +: xt-see ( xt -- ) + cr c-init + dup >does-code + if + seedoes EXIT + then + dup forthstart u< + if + seecode EXIT + then + dup >code-address + CASE + docon: of seecon endof + docol: of seecol endof + dovar: of seevar endof + douser: of seeuser endof + dodefer: of seedefer endof + dofield: of seefield endof + over >body of seecode endof + 2drop abort" unknown word type" + ENDCASE ; + +: (xt-see-xt) ( xt -- ) + xt-see cr ." lastxt" ; +' (xt-see-xt) is xt-see-xt + +: (.immediate) ( xt -- ) + ['] execute = if + ." immediate" + then ; + +: name-see ( nfa -- ) + dup name>int >r + dup name>comp + over r@ = + if \ normal or immediate word + swap xt-see (.immediate) + else + r@ ['] compile-only-error = + if \ compile-only word + swap xt-see (.immediate) ." compile-only" + else \ interpret/compile word + r@ xt-see-xt cr + swap xt-see-xt cr + ." interpret/compile " over .name (.immediate) + then + then + rdrop drop ; + +: see ( "name" -- ) \ tools + name find-name dup 0= + IF + drop -&13 bounce + THEN + name-see ;