\ SEE.FS highend SEE for ANSforth 16may93jaw \ Copyright (C) 1995 Free Software Foundation, Inc. \ This file is part of Gforth. \ Gforth is free software; you can redistribute it and/or \ modify it under the terms of the GNU General Public License \ as published by the Free Software Foundation; either version 2 \ of the License, or (at your option) any later version. \ This program is distributed in the hope that it will be useful, \ but WITHOUT ANY WARRANTY; without even the implied warranty of \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the \ GNU General Public License for more details. \ 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. \ May be cross-compiled \ I'm sorry. This is really not "forthy" enough. \ Ideas: Level should be a stack require termsize.fs decimal \ Screen format words 16may93jaw VARIABLE C-Output 1 C-Output ! VARIABLE C-Formated 1 C-Formated ! VARIABLE C-Highlight 0 C-Highlight ! VARIABLE C-Clearline 0 C-Clearline ! VARIABLE XPos VARIABLE YPos VARIABLE Level : Format C-Formated @ C-Output @ and IF dup spaces XPos +! ELSE drop THEN ; : level+ 7 Level +! Level @ XPos @ - dup 0> IF Format ELSE drop THEN ; : level- -7 Level +! ; VARIABLE nlflag DEFER nlcount ' noop IS nlcount : nl nlflag on ; : (nl) nlcount XPos @ Level @ = ?Exit C-Formated @ IF C-Output @ IF C-Clearline @ IF cols XPos @ - spaces ELSE cr THEN 1 YPos +! 0 XPos ! Level @ spaces THEN Level @ XPos ! THEN ; : warp? ( len -- len ) nlflag @ IF (nl) nlflag off THEN XPos @ over + cols u>= IF (nl) THEN ; : ctype ( adr len -- ) warp? dup XPos +! C-Output @ IF type ELSE 2drop THEN ; : cemit 1 warp? over bl = Level @ XPos @ = and IF 2drop ELSE XPos +! C-Output @ IF emit ELSE drop THEN THEN ; DEFER .string [IFDEF] Green VARIABLE Colors Colors on : (.string) ( c-addr u n -- ) over warp? drop Colors @ IF C-Highlight @ ?dup IF CT@ swap CT@ or ELSE CT@ THEN attr! ELSE drop THEN ctype ct @ attr! ; [ELSE] : (.string) ( c-addr u n -- ) drop ctype ; [THEN] ' (.string) IS .string : .struc Str# .string ; \ CODES 15may93jaw 21 CONSTANT RepeatCode 22 CONSTANT AgainCode 23 CONSTANT UntilCode \ 09 CONSTANT WhileCode 10 CONSTANT ElseCode 11 CONSTANT AheadCode 13 CONSTANT WhileCode2 14 CONSTANT Disable \ FORMAT WORDS 13jun93jaw VARIABLE C-Stop VARIABLE Branches VARIABLE BranchPointer VARIABLE SearchPointer CREATE BranchTable 500 allot here 3 cells - ACONSTANT MaxTable : FirstBranch BranchTable cell+ SearchPointer ! ; : (BranchAddr?) ( a-addr -- a-addr true | false ) SearchPointer @ BEGIN dup BranchPointer @ u< WHILE dup @ 2 pick <> WHILE 3 cells + REPEAT nip dup 3 cells + SearchPointer ! true ELSE 2drop false THEN ; : BranchAddr? FirstBranch (BranchAddr?) ; ' (BranchAddr?) ALIAS MoreBranchAddr? : CheckEnd ( a-addr -- true | false ) BranchTable cell+ BEGIN dup BranchPointer @ u< WHILE dup @ 2 pick u<= WHILE 3 cells + REPEAT 2drop false ELSE 2drop true THEN ; \ \ addrw addrt \ BEGIN ... WHILE ... AGAIN ... THEN \ ^ ! ! ^ \ ----------+--------+ ! \ ! ! \ +-------------------+ \ \ : CheckWhile ( a-addrw a-addrt -- true | false ) BranchTable BEGIN dup BranchPointer @ u< WHILE dup @ 3 pick u> over @ 3 pick u< and IF dup cell+ @ 3 pick u< IF 2drop drop true EXIT THEN THEN 3 cells + REPEAT 2drop drop false ; : ,Branch ( a-addr -- ) BranchPointer @ dup MaxTable u> ABORT" SEE: Table overflow" ! 1 cells BranchPointer +! ; : Type! ( u -- ) BranchPointer @ 1 cells - ! ; : Branch! ( a-addr rel -- a-addr ) over + over ,Branch ,Branch 0 ,Branch ; \ DEFER CheckUntil VARIABLE NoOutput VARIABLE C-Pass 0 CONSTANT ScanMode 1 CONSTANT DisplayMode 2 CONSTANT DebugMode : Scan? ( -- flag ) C-Pass @ 0= ; : Display? ( -- flag ) C-Pass @ 1 = ; : Debug? ( -- flag ) C-Pass @ 2 = ; : 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+ ; : 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" count 2dup + aligned -rot Display? IF [char] S cemit [char] " cemit bl cemit 0 .string [char] " cemit bl cemit ELSE 2drop THEN ; : c-." count 2dup + aligned -rot Display? IF [char] . cemit [char] " cemit bl cemit 0 .string [char] " cemit bl cemit ELSE 2drop THEN ; : c-c" count 2dup + aligned -rot Display? IF [char] C cemit [char] " cemit bl cemit 0 .string [char] " cemit bl cemit ELSE 2drop THEN ; : Forward? ( a-addr true | false -- ) IF dup dup @ swap 1 cells - @ - Ahead? IF true ELSE drop false THEN \ only if forward jump ELSE false THEN ; : RepeatCheck IF BEGIN 2dup 1 cells - @ swap dup @ + u<= WHILE drop dup cell+ MoreBranchAddr? 0= UNTIL false ELSE true THEN ELSE false THEN ; : c-branch Scan? IF dup @ Branch! dup @ back? IF \ might be: AGAIN, REPEAT dup cell+ BranchAddr? Forward? RepeatCheck IF RepeatCode Type! cell+ Disable swap ! ELSE AgainCode Type! THEN ELSE dup cell+ BranchAddr? Forward? IF ElseCode Type! drop ELSE AheadCode Type! THEN THEN THEN Display? IF dup @ back? IF \ might be: AGAIN, REPEAT level- nl dup cell+ BranchAddr? Forward? RepeatCheck IF drop S" REPEAT " .struc nl ELSE S" AGAIN " .struc nl THEN ELSE dup cell+ BranchAddr? Forward? IF dup cell+ @ WhileCode2 = IF nl S" ELSE" .struc level+ ELSE level- nl S" ELSE" .struc level+ THEN cell+ Disable swap ! ELSE S" AHEAD" .struc level+ THEN THEN THEN Debug? IF dup @ + ELSE cell+ THEN ; : MyBranch ( a-addr -- a-addr a-addr2 ) dup @ over + BranchAddr? BEGIN WHILE 1 cells - @ over <> WHILE dup @ over + MoreBranchAddr? REPEAT SearchPointer @ 3 cells - ELSE true ABORT" SEE: Table failure" THEN ; : DebugBranch Debug? IF dup @ over + swap THEN ; \ return 2 different addresses : c-?branch Scan? IF dup @ Branch! dup @ Back? IF UntilCode Type! THEN THEN Display? IF dup @ Back? IF level- nl S" UNTIL " .struc nl ELSE dup dup @ over + CheckWhile IF MyBranch cell+ dup @ 0= IF WhileCode2 swap ! ELSE drop THEN level- nl S" WHILE " .struc level+ ELSE nl S" IF " .struc level+ THEN THEN THEN DebugBranch 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 Display? IF nl S" FOR" .struc level+ THEN ; : c-next Display? IF level- nl S" NEXT " .struc nl THEN DebugBranch cell+ cell+ ; : c-loop Display? IF level- nl S" LOOP " .struc nl THEN DebugBranch cell+ cell+ ; : c-+loop Display? IF level- nl S" +LOOP " .struc nl 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-loop-lp+!# c-loop cell+ ; : c-+loop-lp+!# c-+loop cell+ ; : c-s+loop-lp+!# c-s+loop cell+ ; : c--loop-lp+!# c--loop cell+ ; : c-leave Display? IF S" LEAVE " .struc THEN Debug? IF dup @ + THEN cell+ ; : c-?leave Display? IF S" ?LEAVE " .struc THEN cell+ DebugBranch swap cell+ swap cell+ ; : c-exit dup 1 cells - CheckEnd IF Display? IF nlflag off S" ;" Com# .string THEN C-Stop on ELSE Display? IF S" EXIT " .struc THEN THEN Debug? IF drop THEN ; : c-does> \ end of create part Display? IF S" DOES> " Com# .string THEN Cell+ cell+ ; : c-abort" count 2dup + aligned -rot Display? IF S" ABORT" .struc [char] " cemit bl cemit 0 .string [char] " cemit bl cemit ELSE 2drop THEN ; CREATE C-Table ' lit A, ' c-lit A, ' @local# A, ' c-@local# A, ' flit A, ' c-flit 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, 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, ' ?branch A, ' c-?branch A, ' branch A, ' c-branch A, ' (loop) A, ' c-loop A, ' (+loop) A, ' c-+loop A, ' (s+loop) A, ' c-s+loop A, ' (-loop) A, ' c--loop A, ' (next) A, ' c-next 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, ' (does>) A, ' c-does> A, ' (abort") A, ' c-abort" A, ' (compile) A, ' c-(compile) A, 0 , \ DOTABLE 15may93jaw : DoTable ( cfa -- flag ) C-Table BEGIN dup @ dup WHILE 2 pick <> WHILE 2 cells + REPEAT nip cell+ perform true ELSE 2drop drop false THEN ; : BranchTo? ( a-addr -- a-addr ) Display? IF dup BranchAddr? IF BEGIN cell+ @ dup 20 u> IF drop nl S" BEGIN " .struc level+ ELSE dup Disable <> IF WhileCode2 = IF nl S" THEN " .struc nl ELSE level- nl S" THEN " .struc nl THEN ELSE drop THEN THEN dup MoreBranchAddr? 0= UNTIL THEN 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 31 and rot wordinfo .string THEN bl cemit ELSE drop THEN ; : c-init 0 YPos ! 0 XPos ! 0 Level ! nlflag off BranchTable BranchPointer ! c-stop off Branches on ; : makepass ( a-addr -- ) 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 ;