[BACK]Return to see.fs CVS log [TXT] [DIR] Up to [gforth] / gforth

Diff for /gforth/see.fs between versions 1.11 and 1.16

version 1.11, 1996/05/04 18:39:25 version 1.16, 1997/05/21 20:39:39
Line 50  VARIABLE Level Line 50  VARIABLE Level
 : level-        -7 Level +! ;  : level-        -7 Level +! ;
   
 VARIABLE nlflag  VARIABLE nlflag
   VARIABLE uppercase      \ structure words are in uppercase
   
 DEFER nlcount ' noop IS nlcount  DEFER nlcount ' noop IS nlcount
   
Line 68  DEFER nlcount ' noop IS nlcount Line 69  DEFER nlcount ' noop IS nlcount
                 nlflag @ IF (nl) nlflag off THEN                  nlflag @ IF (nl) nlflag off THEN
                 XPos @ over + cols u>= IF (nl) THEN ;                  XPos @ over + cols u>= IF (nl) THEN ;
   
   : c-to-upper
     dup [char] a >= over [char] z <= and if  bl -  then ;
   
 : ctype         ( adr len -- )  : ctype         ( adr len -- )
                 warp? dup XPos +! C-Output @ IF type ELSE 2drop THEN ;                  warp? dup XPos +! C-Output @ 
                   IF uppercase @ IF bounds ?DO i c@ c-to-upper emit LOOP
                                     uppercase off ELSE type THEN
                   ELSE 2drop THEN ;
   
 : cemit         1 warp?  : cemit         1 warp?
                 over bl = Level @ XPos @ = and                  over bl = Level @ XPos @ = and
Line 98  VARIABLE Colors Colors on Line 105  VARIABLE Colors Colors on
 ' (.string) IS .string  ' (.string) IS .string
   
   
 : .struc        Str# .string ;  : .struc        
           uppercase on Str# .string ;
   
 \ CODES                                                 15may93jaw  \ CODES                                                 15may93jaw
   
Line 216  VARIABLE C-Pass Line 224  VARIABLE C-Pass
     THEN      THEN
     cell+ ;      cell+ ;
   
 : c-@local#  
     Display? IF  
         S" @local" 0 .string  
         dup @ dup 1 cells / abs 0 <# #S rot sign #> 0 .string bl cemit  
     THEN  
     cell+ ;  
   
 : c-flit  
     Display? IF  
         dup f@ scratch represent 0=  
         IF    2drop  scratch 3 min 0 .string  
         ELSE  
             IF  '- cemit  THEN  1-  
             scratch over c@ cemit '. cemit 1 /string 0 .string  
             'E cemit  
             dup abs 0 <# #S rot sign #> 0 .string bl cemit  
         THEN THEN  
     float+ ;  
   
 : c-f@local#  
     Display? IF  
         S" f@local" 0 .string  
         dup @ dup 1 floats / abs 0 <# #S rot sign #> 0 .string bl cemit  
     THEN  
     cell+ ;  
   
 : c-laddr#  
     Display? IF  
         S" laddr# " 0 .string  
         dup @ dup abs 0 <# #S rot sign #> 0 .string bl cemit  
     THEN  
     cell+ ;  
   
 : c-lp+!#  
     Display? IF  
         S" lp+!# " 0 .string  
         dup @ dup abs 0 <# #S rot sign #> 0 .string bl cemit  
     THEN  
     cell+ ;  
   
 : c-s"  : c-s"
         count 2dup + aligned -rot          count 2dup + aligned -rot
         Display?          Display?
Line 383  VARIABLE C-Pass Line 351  VARIABLE C-Pass
         DebugBranch          DebugBranch
         cell+ ;          cell+ ;
   
 : c-?branch-lp+!#  c-?branch cell+ ;  
 : c-branch-lp+!#   c-branch  cell+ ;  
   
 : c-do  
         Display? IF nl S" DO" .struc level+ THEN ;  
   
 : c-?do  
         Display? IF nl S" ?DO" .struc level+ THEN  
         DebugBranch cell+ ;  
   
 : c-for  : c-for
         Display? IF nl S" FOR" .struc level+ THEN ;          Display? IF nl S" FOR" .struc level+ THEN ;
   
 : c-next  : .name-without
         Display? IF level- nl S" NEXT " .struc nl THEN          dup 1 cells - @ look IF name>string 1 /string 1- .struc ELSE drop THEN ;
         DebugBranch cell+ cell+ ;  
   
 : c-loop  : c-loop
         Display? IF level- nl S" LOOP " .struc nl THEN          Display? IF level- nl .name-without bl cemit nl THEN
         DebugBranch cell+ cell+ ;          DebugBranch cell+ cell+ ;
   
 : c-+loop  : c-do
         Display? IF level- nl S" +LOOP " .struc nl THEN          Display? IF nl .name-without level+ THEN ;
         DebugBranch cell+ cell+ ;  
   
 : c-s+loop  
         Display? IF level- nl S" S+LOOP " .struc nl THEN  
         DebugBranch cell+ cell+ ;  
   
 : c--loop  
         Display? IF level- nl S" -LOOP " .struc nl THEN  
         DebugBranch cell+ cell+ ;  
   
 : c-next-lp+!#  c-next cell+ ;  : c-?do
 : c-loop-lp+!#  c-loop cell+ ;          Display? IF nl S" ?DO" .struc level+ THEN
 : c-+loop-lp+!#  c-+loop cell+ ;          DebugBranch cell+ ;
 : c-s+loop-lp+!#  c-s+loop cell+ ;  
 : c--loop-lp+!#  c--loop cell+ ;  
   
 : c-leave  : c-leave
         Display? IF S" LEAVE " .struc THEN          Display? IF S" LEAVE " .struc THEN
Line 454  VARIABLE C-Pass Line 400  VARIABLE C-Pass
   
 CREATE C-Table  CREATE C-Table
         ' lit A,            ' c-lit A,          ' lit A,            ' c-lit A,
         ' @local# A,        ' c-@local# A,          ' (s") A,           ' c-s" A,
         ' flit A,           ' c-flit A,          ' (.") A,           ' c-." A,
         ' 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,  
         ' "lit A,           ' c-c" A,          ' "lit A,           ' c-c" A,
         ' leave A,          ' c-leave A,          comp' leave drop A, ' c-leave A,
         ' ?leave A,         ' c-?leave A,          comp' ?leave drop A, ' c-?leave A,
         ' (do) A,           ' c-do A,          ' (do) A,           ' c-do A,
           ' (+do) A,          ' c-do A,
           ' (u+do) A,         ' c-do A,
           ' (-do) A,          ' c-do A,
           ' (u-do) A,         ' c-do A,
         ' (?do) A,          ' c-?do A,          ' (?do) A,          ' c-?do A,
         ' (for) A,          ' c-for A,          ' (for) A,          ' c-for A,
         ' ?branch A,        ' c-?branch A,          ' ?branch A,        ' c-?branch A,
         ' branch A,         ' c-branch A,          ' branch A,         ' c-branch A,
         ' (loop) A,         ' c-loop A,          ' (loop) A,         ' c-loop A,
         ' (+loop) A,        ' c-+loop A,          ' (+loop) A,        ' c-loop A,
         ' (s+loop) A,       ' c-s+loop A,          ' (s+loop) A,       ' c-loop A,
         ' (-loop) A,        ' c--loop A,          ' (-loop) A,        ' c-loop A,
         ' (next) A,         ' c-next A,          ' (next) A,         ' c-loop A,
         ' ?branch-lp+!# A,  ' c-?branch-lp+!# A,  
         ' branch-lp+!# A,   ' c-branch-lp+!# A,  
         ' (loop)-lp+!# A,   ' c-loop-lp+!# A,  
         ' (+loop)-lp+!# A,  ' c-+loop-lp+!# A,  
         ' (s+loop)-lp+!# A, ' c-s+loop-lp+!# A,  
         ' (-loop)-lp+!# A,  ' c--loop-lp+!# A,  
         ' (next)-lp+!# A,   ' c-next-lp+!# A,  
         ' ;s A,             ' c-exit A,          ' ;s A,             ' c-exit A,
         ' (does>) A,        ' c-does> A,          ' (does>) A,        ' c-does> A,
         ' (abort") A,       ' c-abort" A,          ' (abort") A,       ' c-abort" A,
         ' (compile) A,      ' c-(compile) A,          ' (compile) A,      ' c-(compile) A,
         0 ,          0 ,             here 0 ,
   
   avariable c-extender
   c-extender !
   
 \ DOTABLE                                               15may93jaw  \ DOTABLE                                               15may93jaw
   
 : DoTable ( cfa -- flag )  : DoTable ( cfa -- flag )
         C-Table          C-Table
         BEGIN   dup @ dup          BEGIN   dup @ dup 0= 
         WHILE   2 pick <>                  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 +          WHILE   2 cells +
         REPEAT          REPEAT
         nip cell+ perform          nip cell+ perform
         true          true
         ELSE          ;
         2drop drop false  
         THEN ;  
   
 : BranchTo? ( a-addr -- a-addr )  : BranchTo? ( a-addr -- a-addr )
         Display?  IF     dup BranchAddr?          Display?  IF     dup BranchAddr?
                         IF BEGIN cell+ @ dup 20 u>                          IF
                                   BEGIN cell+ @ dup 20 u>
                                 IF drop nl S" BEGIN " .struc level+                                  IF drop nl S" BEGIN " .struc level+
                                 ELSE                                  ELSE
                                   dup Disable <>                                    dup Disable <>
Line 523  CREATE C-Table Line 468  CREATE C-Table
         dup >r DoTable r> swap IF drop EXIT THEN          dup >r DoTable r> swap IF drop EXIT THEN
         Display?          Display?
         IF look 0= IF  drop dup 1 cells - @ .  \ ABORT" SEE: Bua!"          IF look 0= IF  drop dup 1 cells - @ .  \ ABORT" SEE: Bua!"
            ELSE  dup cell+ count 31 and rot wordinfo .string  THEN  bl cemit          ELSE
               dup cell+ count dup immediate-mask and
               IF  bl cemit  ." POSTPONE " THEN
               31 and rot wordinfo .string  THEN  bl cemit
         ELSE drop          ELSE drop
         THEN ;          THEN ;
   
Line 535  CREATE C-Table Line 483  CREATE C-Table
         Branches on ;          Branches on ;
   
 : makepass ( a-addr -- )  : makepass ( a-addr -- )
         c-stop off      c-stop off
         BEGIN      BEGIN
                 analyse          analyse
                 c-stop @          c-stop @
         UNTIL drop ;      UNTIL drop ;
   
 DEFER dosee  Defer xt-see-xt ( xt -- )
   \ this one is just a forward declaration for indirect recursion
 : dopri .name ." is primitive" cr ;  
 : dovar ." Variable " .name cr ;  : .defname ( xt c-addr u -- )
 : douse ." User " .name cr ;      rot look
 : docon  dup cell+ (name>) >body @ . ." Constant " .name cr ;      if ( c-addr u nfa )
 : doval  dup cell+ (name>) >body @ . ." Value " .name cr ;          -rot type space .name
 : dodef ." Defer " dup >r .name cr      else
     r@ cell+ (name>) >body @ look          drop ." noname " type
     0= ABORT" SEE: No valid xt in deferred word"      then
     dup dosee cr      space ;
     ." ' " .name r> ." IS " .name cr ;  
 : dodoe ." Create " dup .name cr  Defer discode ( addr -- )
         S" DOES> " Com# .string XPos @ Level ! name>  \  hook for the disassembler: disassemble code at addr (as far as the
         >does-code dup C-Pass @ DebugMode = IF ScanMode c-pass ! EXIT THEN  \  disassembler thinks is sensible)
         ScanMode c-pass ! dup makepass  :noname ( addr -- )
         DisplayMode c-pass ! makepass ;      drop ." ..." ;
 : doali here @ .name ." Alias " .name cr  IS discode
         here @ dosee ;  
 : docol  : seecode ( xt -- )
     S" : " Com# .string      dup s" Code" .defname
     dup name>string 2 pick wordinfo .string bl cemit bl cemit      >body discode
     ( XPos @ ) 2 Level !      ."  end-code" cr ;
     name> >body  : seevar ( xt -- )
     C-Pass @ DebugMode =      s" Variable" .defname cr ;
     IF  : seeuser ( xt -- )
         ScanMode c-pass ! EXIT      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      THEN
     ScanMode c-pass ! dup makepass      ScanMode c-pass ! dup makepass
     DisplayMode c-pass ! 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 nl
       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 ;
   
 create wordtypes  : see ( "name" -- ) \ tools
         Pri# ,   ' dopri A,      name find-name dup 0=
         Var# ,   ' dovar A,      IF
         Con# ,   ' docon A,          drop -&13 bounce
         Val# ,   ' doval A,      THEN
         Def# ,   ' dodef A,      name-see ;
         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 ;  
   
   
Removed from v.1.11  
changed lines
  Added in v.1.16

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