Diff for /gforth/see.fs between versions 1.45 and 1.53

version 1.45, 2002/12/26 14:09:20 version 1.53, 2004/01/13 16:00:55
Line 1 Line 1
 \ SEE.FS       highend SEE for ANSforth                16may93jaw  \ SEE.FS       highend SEE for ANSforth                16may93jaw
   
 \ Copyright (C) 1995,2000 Free Software Foundation, Inc.  \ Copyright (C) 1995,2000,2003 Free Software Foundation, Inc.
   
 \ This file is part of Gforth.  \ This file is part of Gforth.
   
Line 28 Line 28
 require look.fs  require look.fs
 require termsize.fs  require termsize.fs
 require wordinfo.fs  require wordinfo.fs
 [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  decimal
   
Line 275  VARIABLE C-Pass Line 262  VARIABLE C-Pass
 : back? ( addr target -- addr flag )  : back? ( addr target -- addr flag )
     over u< ;      over u< ;
   
 : .word ( addr xt -- addr )  : .word ( addr x -- addr )
     look 0= IF      \ print x as a word if possible
         drop dup 1 cells - @ dup body> look      dup look 0= IF
         IF          drop dup threaded>name dup 0= if
             nip dup ." <" name>string rot wordinfo .string ." >"              2drop dup 1 cells - @ dup body> look
         ELSE              IF
             drop ." <" 0 .r ." >"                  nip dup ." <" name>string rot wordinfo .string ." > "
         THEN              ELSE
     ELSE                  drop ." <" 0 .r ." > "
         dup cell+ @ immediate-mask and              THEN
         IF              EXIT
             bl cemit  ." POSTPONE "          then
         THEN      THEN
         dup name>string rot wordinfo .string      nip dup cell+ @ immediate-mask and
     THEN ;      IF
           bl cemit  ." POSTPONE "
       THEN
       dup name>string rot wordinfo .string
       ;
   
 : c-call ( addr1 -- addr2 )  : c-call ( addr1 -- addr2 )
     Display? IF      Display? IF
Line 327  VARIABLE C-Pass Line 318  VARIABLE C-Pass
     cell+ ;      cell+ ;
   
 : .name-without ( addr -- addr )  : .name-without ( addr -- addr )
 \ prints a name without a() e.g. a(+LOOP) or (s")      \ !! the stack effect cannot be correct
     dup 1 cells - @ look IF      \ prints a name without a() e.g. a(+LOOP) or (s")
       dup 1 cells - @ threaded>name dup IF
         name>string over c@ 'a = IF          name>string over c@ 'a = IF
             1 /string              1 /string
         THEN          THEN
Line 354  VARIABLE C-Pass Line 346  VARIABLE C-Pass
     \ if f is false, addr2=addr1      \ if f is false, addr2=addr1
     \ recognizes the following patterns:      \ recognizes the following patterns:
     \ c":     ahead X: len string then lit X      \ c":     ahead X: len string then lit X
     \ s\":    ahead X: string then lit X lit len      \ flit:   ahead X: float      then lit X f@
     \ .\":    ahead X: string then lit X lit len type      \ s\":    ahead X: string     then lit X lit len
       \ .\":    ahead X: string     then lit X lit len type
     \ !! not recognized anywhere:      \ !! not recognized anywhere:
     \ abort": if ahead X: len string then lit X c(abort") then      \ abort": if ahead X: len string then lit X c(abort") then
     dup @ back? if false exit endif      dup @ back? if false exit endif
Line 363  VARIABLE C-Pass Line 356  VARIABLE C-Pass
     r@ @ decompile-prim ['] lit xt>threaded <> if rdrop false exit endif      r@ @ decompile-prim ['] lit xt>threaded <> if rdrop false exit endif
     r@ cell+ @ over cell+ <> if rdrop false exit endif      r@ cell+ @ over cell+ <> if rdrop false exit endif
     \ we have at least C"      \ we have at least C"
     r@ 2 cells + @ decompile-prim ['] lit xt>threaded = if      r@ 2 cells + @ decompile-prim dup ['] lit xt>threaded = if
         r@ 3 cells + @ over cell+ + aligned r@ = if          drop r@ 3 cells + @ over cell+ + aligned r@ = if
             \ we have at least s"              \ we have at least s"
             r@ 4 cells + @ decompile-prim ['] lit-perform xt>threaded =              r@ 4 cells + @ decompile-prim ['] lit-perform xt>threaded =
             r@ 5 cells + @ ['] type >body = and if              r@ 5 cells + @ ['] type >body = and if
Line 381  VARIABLE C-Pass Line 374  VARIABLE C-Pass
             nip cells r> + true exit              nip cells r> + true exit
         endif          endif
     endif      endif
       ['] f@ xt>threaded = if
           display? if
               r@ cell+ @ f@ 10 8 16 f>str-rdp 0 .string bl cemit
           endif
           drop r> 3 cells + true exit
       endif
     \ !! check if count matches space?      \ !! check if count matches space?
     display? if      display? if
         s\" c\" " 0 .string r@ cell+ @ count 0 .string '" cemit bl cemit          s\" c\" " 0 .string r@ cell+ @ count 0 .string '" cemit bl cemit
Line 561  CREATE C-Table Line 560  CREATE C-Table
 [IFDEF] "lit    ' "lit A,           ' c-c" A, [THEN]  [IFDEF] "lit    ' "lit A,           ' c-c" A, [THEN]
 [IFDEF] (c")    ' (c") A,           ' c-c" A, [THEN]  [IFDEF] (c")    ' (c") A,           ' c-c" A, [THEN]
                 ' (do) A,           ' c-do A,                  ' (do) A,           ' c-do A,
 [IFDEF] (+do)   ' a(+do) A,         ' c-?do A, [THEN]  [IFDEF] (+do)   ' (+do) A,          ' c-?do A, [THEN]
 [IFDEF] (u+do)  ' a(u+do) A,        ' c-?do A, [THEN]  [IFDEF] (u+do)  ' (u+do) A,         ' c-?do A, [THEN]
 [IFDEF] (-do)   ' a(-do) A,         ' c-?do A, [THEN]  [IFDEF] (-do)   ' (-do) A,          ' c-?do A, [THEN]
 [IFDEF] (u-do)  ' a(u-do) A,        ' c-?do A, [THEN]  [IFDEF] (u-do)  ' (u-do) A,         ' c-?do A, [THEN]
                 ' a(?do) A,         ' c-?do A,                  ' (?do) A,          ' c-?do A,
                 ' (for) A,          ' c-for A,                  ' (for) A,          ' c-for A,
                 ' a?branch A,       ' c-?branch A,                  ' ?branch A,        ' c-?branch A,
                 ' abranch A,        ' c-branch A,                  ' branch A,         ' c-branch A,
                 ' a(loop) A,        ' c-loop A,                  ' (loop) A,         ' c-loop A,
                 ' a(+loop) A,       ' c-loop A,                  ' (+loop) A,        ' c-loop A,
 [IFDEF] (s+loop) ' a(s+loop) A,     ' c-loop A, [THEN]  [IFDEF] (s+loop) ' (s+loop) A,      ' c-loop A, [THEN]
 [IFDEF] (-loop) ' a(-loop) A,       ' c-loop A, [THEN]  [IFDEF] (-loop) ' (-loop) A,        ' c-loop A, [THEN]
                 ' a(next) A,        ' c-loop A,                  ' (next) A,         ' c-loop A,
                 ' ;s A,             ' c-exit A,                  ' ;s A,             ' c-exit A,
 [IFDEF] (abort") ' (abort") A,      ' c-abort" A, [THEN]  [IFDEF] (abort") ' (abort") A,      ' c-abort" A, [THEN]
 \ only defined if compiler is loaded  \ only defined if compiler is loaded
Line 722  Defer discode ( addr u -- ) \ gforth Line 721  Defer discode ( addr u -- ) \ gforth
     >name ?dup-if      >name ?dup-if
         ." IS " .name cr          ." IS " .name cr
     else      else
         ." lastxt >body !"          ." latestxt >body !"
     then ;      then ;
 : see-threaded ( addr -- )  : see-threaded ( addr -- )
     C-Pass @ DebugMode = IF      C-Pass @ DebugMode = IF
Line 774  Defer discode ( addr u -- ) \ gforth Line 773  Defer discode ( addr u -- ) \ gforth
     ENDCASE ;      ENDCASE ;
   
 : (xt-see-xt) ( xt -- )  : (xt-see-xt) ( xt -- )
     xt-see cr ." lastxt" ;      xt-see cr ." latestxt" ;
 ' (xt-see-xt) is xt-see-xt  ' (xt-see-xt) is xt-see-xt
   
 : (.immediate) ( xt -- )  : (.immediate) ( xt -- )
Line 795  Defer discode ( addr u -- ) \ gforth Line 794  Defer discode ( addr u -- ) \ gforth
         else \ interpret/compile word          else \ interpret/compile word
             r@ xt-see-xt cr              r@ xt-see-xt cr
             swap xt-see-xt cr              swap xt-see-xt cr
             ." interpret/compile " over .name (.immediate)              ." interpret/compile: " over .name drop
         then          then
     then      then
     rdrop drop ;      rdrop drop ;

Removed from v.1.45  
changed lines
  Added in v.1.53


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>