--- gforth/see.fs 2000/06/15 09:01:11 1.28 +++ gforth/see.fs 2002/12/25 21:16:54 1.44 @@ -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 @@ -87,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 @@ -236,12 +248,57 @@ VARIABLE C-Pass : back? ( n -- flag ) 0< ; : ahead? ( n -- flag ) 0> ; -: c-lit +: .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 ( addr1 -- addr2 ) Display? IF - dup @ dup abs 0 <# #S rot sign #> 0 .string bl cemit + dup @ body> .word bl cemit THEN cell+ ; +: c-callxt ( addr1 -- addr2 ) + Display? IF + dup @ .word bl cemit + THEN + cell+ ; + +\ here docon: , docol: , dovar: , douser: , dodefer: , dofield: , +\ here over - 2constant doers + +: c-lit ( addr1 -- addr2 ) + Display? IF + dup @ dup body> dup cfaligned over = swap in-dictionary? and if + ( addr1 addr1@ ) + dup body> @ dovar: = if + drop c-call EXIT + endif + endif + \ !! test for cfa here, and print "['] ..." + dup abs 0 <# #S rot sign #> 0 .string bl cemit + endif + cell+ ; + +: c-lit+ ( addr1 -- addr2 ) + Display? if + dup @ dup abs 0 <# #S rot sign #> 0 .string bl cemit + s" + " 0 .string + endif + cell+ ; + : .name-without ( addr -- addr ) \ prints a name without () e.g. (+LOOP) or (s") dup 1 cells - @ look @@ -413,9 +470,15 @@ VARIABLE C-Pass CREATE C-Table ' lit A, ' c-lit A, - ' (s") A, ' c-c" A, - ' (.") A, ' c-c" A, - ' "lit A, ' c-c" A, + ' does-exec A, ' c-callxt A, + ' lit@ A, ' c-call A, +[IFDEF] call ' call A, ' c-call A, [THEN] +\ ' useraddr A, .... + ' lit-perform A, ' c-call A, + ' lit+ A, ' c-lit+ A, +[IFDEF] (s") ' (s") A, ' c-c" A, [THEN] +[IFDEF] (.") ' (.") A, ' c-c" A, [THEN] +[IFDEF] "lit ' "lit A, ' c-c" A, [THEN] [IFDEF] (c") ' (c") A, ' c-c" A, [THEN] ' (do) A, ' c-do A, [IFDEF] (+do) ' (+do) A, ' c-do A, [THEN] @@ -432,7 +495,7 @@ CREATE C-Table [IFDEF] (-loop) ' (-loop) A, ' c-loop A, [THEN] ' (next) A, ' c-loop A, ' ;s A, ' c-exit A, - ' (abort") A, ' c-abort" A, +[IFDEF] (abort") ' (abort") A, ' c-abort" A, [THEN] \ only defined if compiler is loaded [IFDEF] (compile) ' (compile) A, ' c-(compile) A, [THEN] [IFDEF] (does>) ' (does>) A, ' c-does> A, [THEN] @@ -443,20 +506,23 @@ c-extender ! \ DOTABLE 15may93jaw -: DoTable ( cfa -- flag ) - C-Table - BEGIN dup @ dup 0= - IF drop cell+ @ dup - IF ( next table!) dup @ ELSE - ( end!) 2drop false EXIT THEN - THEN - \ jump over to extender, if any 26jan97jaw - 2 pick <> - WHILE 2 cells + - REPEAT - nip cell+ perform - true - ; +: DoTable ( ca/cfa -- flag ) + decompile-prim C-Table BEGIN ( cfa table-entry ) + dup @ dup 0= IF + drop cell+ @ dup IF ( next table!) + dup @ + ELSE ( end!) + 2drop false EXIT + THEN + THEN + \ jump over to extender, if any 26jan97jaw + xt>threaded 2 pick <> + WHILE + 2 cells + + REPEAT + nip cell+ perform + true +; : BranchTo? ( a-addr -- a-addr ) Display? IF dup BranchAddr? @@ -476,17 +542,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 ! @@ -521,8 +585,7 @@ Defer discode ( addr u -- ) \ gforth : 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 head? -2 and if i unloop exit then cell +loop @@ -554,10 +617,7 @@ Defer discode ( addr u -- ) \ gforth : seecode ( xt -- ) dup s" Code" .defname - threading-method - if - >code-address - then + >code-address dup in-dictionary? \ user-defined code word? if dup next-head @@ -603,7 +663,8 @@ Defer discode ( addr u -- ) \ gforth 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 @@ -648,7 +709,7 @@ Defer discode ( addr u -- ) \ gforth if \ normal or immediate word swap xt-see (.immediate) else - r@ ['] compile-only-error = + r@ ['] ticking-compile-only-error = if \ compile-only word swap xt-see (.immediate) ." compile-only" else \ interpret/compile word