--- gforth/see.fs 1999/02/03 00:10:22 1.21 +++ gforth/see.fs 2001/03/28 09:06:57 1.36 @@ -1,6 +1,6 @@ \ SEE.FS highend SEE for ANSforth 16may93jaw -\ Copyright (C) 1995 Free Software Foundation, Inc. +\ Copyright (C) 1995,2000 Free Software Foundation, Inc. \ This file is part of Gforth. @@ -16,7 +16,7 @@ \ You should have received a copy of the GNU General Public License \ along with this program; if not, write to the Free Software -\ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. +\ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA. \ May be cross-compiled @@ -28,7 +28,19 @@ require look.fs require termsize.fs require wordinfo.fs -[IFUNDEF] .name : .name name>string type space ; [THEN] +[IFUNDEF] .name +: id. ( nt -- ) \ gforth + \G Print the name of the word represented by @var{nt}. + \ this name comes from fig-Forth + name>string type space ; + +' id. alias .id ( nt -- ) +\G F83 name for @code{id.}. + +' id. alias .name ( nt -- ) +\G Gforth <=0.5.0 name for @code{id.}. + +[THEN] decimal @@ -72,8 +84,9 @@ DEFER nlcount ' noop IS nlcount nlflag @ IF (nl) nlflag off THEN XPos @ over + cols u>= IF (nl) THEN ; -: c-to-upper - dup [char] a >= over [char] z <= and if bl - then ; +: c-to-upper ( c1 -- c2 ) \ gforth + \ nac05feb1999 there is a primitive, toupper, with this function + dup [char] a >= over [char] z <= and if bl - then ; : ctype ( adr len -- ) warp? dup XPos +! C-Output @ @@ -86,7 +99,7 @@ DEFER nlcount ' noop IS nlcount IF 2drop ELSE XPos +! C-Output @ IF emit ELSE drop THEN THEN ; -DEFER .string +DEFER .string ( c-addr u n -- ) [IFDEF] Green VARIABLE Colors Colors on @@ -135,7 +148,7 @@ VARIABLE SearchPointer \ The branchtable consists of three entrys: \ address of branch , branch destination , branch type -CREATE BranchTable 500 allot +CREATE BranchTable 128 cells allot here 3 cells - ACONSTANT MaxTable @@ -235,21 +248,31 @@ VARIABLE C-Pass : back? ( n -- flag ) 0< ; : ahead? ( n -- flag ) 0> ; -: c-(compile) - 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 dup @ dup abs 0 <# #S rot sign #> 0 .string bl cemit THEN cell+ ; +: .word ( addr xt -- addr ) + look 0= IF + drop dup 1 cells - @ dup body> look + IF + nip dup ." <" name>string rot wordinfo .string ." >" + ELSE + drop ." <" 0 .r ." >" + THEN + ELSE + dup cell+ @ immediate-mask and + IF + bl cemit ." POSTPONE " + THEN + dup name>string rot wordinfo .string + THEN ; + +: c-call + Display? IF dup @ body> .word bl cemit THEN cell+ ; + : .name-without ( addr -- addr ) \ prints a name without () e.g. (+LOOP) or (s") dup 1 cells - @ look @@ -393,10 +416,6 @@ VARIABLE C-Pass THEN Debug? IF drop THEN ; -: c-does> \ end of create part - Display? IF S" DOES> " Com# .string THEN - maxaligned /does-handler + ; - : c-abort" count 2dup + aligned -rot Display? @@ -406,9 +425,26 @@ VARIABLE C-Pass ELSE 2drop THEN ; +[IFDEF] (does>) +: c-does> \ end of create part + Display? IF S" DOES> " Com# .string THEN + maxaligned /does-handler + ; +[THEN] + +[IFDEF] (compile) +: c-(compile) + Display? + IF + s" POSTPONE " Com# .string + dup @ look 0= ABORT" SEE: No valid XT" + name>string 0 .string bl cemit + THEN + cell+ ; +[THEN] CREATE C-Table ' lit A, ' c-lit A, + ' call A, ' c-call A, ' (s") A, ' c-c" A, ' (.") A, ' c-c" A, ' "lit A, ' c-c" A, @@ -428,9 +464,10 @@ CREATE C-Table [IFDEF] (-loop) ' (-loop) A, ' c-loop A, [THEN] ' (next) A, ' c-loop A, ' ;s A, ' c-exit A, - ' (does>) A, ' c-does> A, ' (abort") A, ' c-abort" A, - ' (compile) A, ' c-(compile) A, +\ only defined if compiler is loaded +[IFDEF] (compile) ' (compile) A, ' c-(compile) A, [THEN] +[IFDEF] (does>) ' (does>) A, ' c-does> A, [THEN] 0 , here 0 , avariable c-extender @@ -471,17 +508,15 @@ c-extender ! THEN ; : analyse ( a-addr1 -- a-addr2 ) - Branches @ IF BranchTo? THEN - dup cell+ swap @ - dup >r DoTable r> swap IF drop EXIT THEN - Display? - IF look 0= IF drop dup 1 cells - @ . \ ABORT" SEE: Bua!" - ELSE - dup cell+ count dup immediate-mask and - IF bl cemit ." POSTPONE " THEN - 31 and rot wordinfo .string THEN bl cemit - ELSE drop - THEN ; + Branches @ IF BranchTo? THEN + dup cell+ swap @ + dup >r DoTable r> swap IF drop EXIT THEN + Display? + IF + .word bl cemit + ELSE + drop + THEN ; : c-init 0 YPos ! 0 XPos ! @@ -509,12 +544,43 @@ Defer xt-see-xt ( xt -- ) 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 +Defer discode ( addr u -- ) \ gforth +\G hook for the disassembler: disassemble code at addr of length u +' dump IS discode + +: next-head ( addr1 -- addr2 ) \ gforth + \G find the next header starting after addr1, up to here (unreliable). + here swap u+do + i head? + if + i unloop exit + then + cell +loop + here ; + +: umin ( u1 u2 -- u ) + 2dup u> + if + swap + then + drop ; + +: next-prim ( addr1 -- addr2 ) \ gforth + \G find the next primitive after addr1 (unreliable) + 1+ >r -1 primstart + begin ( umin head R: boundary ) + @ dup + while + tuck name>int >code-address ( head1 umin ca R: boundary ) + r@ - umin + swap + repeat + drop dup r@ negate u>= + \ "umin+boundary within [0,boundary)" = "umin within [-boundary,0)" + if ( umin R: boundary ) \ no primitive found behind -> use a default length + drop 31 + then + r> + ; : seecode ( xt -- ) dup s" Code" .defname @@ -522,8 +588,14 @@ IS discode if >code-address then - discode - ." end-code" cr ; + dup in-dictionary? \ user-defined code word? + if + dup next-head + else + dup next-prim + then + over - discode + ." end-code" cr ; : seevar ( xt -- ) s" Variable" .defname cr ; : seeuser ( xt -- ) @@ -537,10 +609,10 @@ IS discode : seedefer ( xt -- ) dup >body @ xt-see-xt cr dup s" Defer" .defname cr - >name dup ??? = if - drop ." lastxt >body !" - else + >name ?dup-if ." IS " .name cr + else + ." lastxt >body !" then ; : see-threaded ( addr -- ) C-Pass @ DebugMode = IF @@ -561,7 +633,8 @@ IS discode dup >body ." 0 " ? ." 0 0 " s" Field" .defname cr ; -: xt-see ( xt -- ) +: xt-see ( xt -- ) \ gforth + \G Decompile the definition represented by @i{xt}. cr c-init dup >does-code if @@ -585,7 +658,8 @@ IS discode [ [IFDEF] dofield: ] dofield: of seefield endof [ [THEN] ] - over >body of seecode endof + over of seecode endof \ direct threaded code words + over >body of seecode endof \ indirect threaded code words 2drop abort" unknown word type" ENDCASE ; @@ -624,7 +698,7 @@ IS discode \G etc.) is lost. name find-name dup 0= IF - drop -&13 bounce + drop -&13 throw THEN name-see ;