| \ 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,2004,2006 Free Software Foundation, Inc. |
| |
|
| \ This file is part of Gforth. |
\ This file is part of Gforth. |
| |
|
| 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 |
| |
|
| 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 ( 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 -- ) |
: ctype ( adr len -- ) |
| warp? dup XPos +! C-Output @ |
warp? dup XPos +! C-Output @ |
| IF uppercase @ IF bounds ?DO i c@ c-to-upper emit LOOP |
IF uppercase @ IF bounds ?DO i c@ toupper emit LOOP |
| uppercase off ELSE type THEN |
uppercase off ELSE type THEN |
| ELSE 2drop THEN ; |
ELSE 2drop THEN ; |
| |
|
| else |
else |
| base @ >r try |
base @ >r try |
| 8 base ! 0 <<# # # # '\ hold #> ctype #>> 0 |
8 base ! 0 <<# # # # '\ hold #> ctype #>> 0 |
| recover |
restore |
| |
r@ base ! |
| endtry |
endtry |
| r> base ! throw |
rdrop throw |
| endif |
endif |
| endif |
endif |
| 1 /string |
1 /string |
| \ print x as a word if possible |
\ print x as a word if possible |
| dup look 0= IF |
dup look 0= IF |
| drop dup threaded>name dup 0= if |
drop dup threaded>name dup 0= if |
| 2drop dup 1 cells - @ dup body> look |
drop over 1 cells - @ dup body> look |
| IF |
IF |
| nip dup ." <" name>string rot wordinfo .string ." > " |
nip nip dup ." <" name>string rot wordinfo .string ." > " |
| ELSE |
ELSE |
| drop ." <" 0 .r ." > " |
2drop ." <" 0 .r ." > " |
| THEN |
THEN |
| EXIT |
EXIT |
| then |
then |
| \ 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 |
| |
\ flit: ahead X: float then lit X f@ |
| \ s\": ahead X: string then lit X lit len |
\ s\": ahead X: string then lit X lit len |
| \ .\": ahead X: string then lit X lit len type |
\ .\": ahead X: string then lit X lit len type |
| \ !! not recognized anywhere: |
\ !! not recognized anywhere: |
| 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 |
| 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 |
| THEN |
THEN |
| THEN |
THEN |
| Debug? |
Debug? |
| IF dup @ + |
IF @ \ !!! cross-interacts with debugger !!! |
| ELSE cell+ |
ELSE cell+ |
| THEN ; |
THEN ; |
| |
|
| : DebugBranch |
: DebugBranch |
| Debug? |
Debug? |
| IF dup @ over + swap THEN ; \ return 2 different addresses |
IF dup @ swap THEN ; \ return 2 different addresses |
| |
|
| : c-?branch |
: c-?branch |
| Scan? |
Scan? |
| Display? IF nl S" FOR" .struc level+ THEN ; |
Display? IF nl S" FOR" .struc level+ THEN ; |
| |
|
| : c-loop |
: c-loop |
| Display? IF level- nl .name-without bl cemit nl THEN |
Display? IF level- nl .name-without nl bl cemit THEN |
| DebugBranch cell+ |
DebugBranch cell+ |
| Scan? |
Scan? |
| IF dup BranchAddr? |
IF dup BranchAddr? |
| THEN |
THEN |
| DebugBranch cell+ ; |
DebugBranch cell+ ; |
| |
|
| : c-exit dup 1 cells - |
: c-exit ( addr1 -- addr2 ) |
| |
dup 1 cells - |
| CheckEnd |
CheckEnd |
| IF Display? IF nlflag off S" ;" Com# .string THEN |
IF |
| |
Display? IF nlflag off S" ;" Com# .string THEN |
| C-Stop on |
C-Stop on |
| ELSE Display? IF S" EXIT " .struc THEN |
ELSE |
| |
Display? IF S" EXIT " .struc THEN |
| THEN |
THEN |
| Debug? IF drop THEN ; |
Debug? IF drop THEN ; \ !!! cross-interacts with debugger !!! |
| |
|
| : c-abort" |
: c-abort" |
| count 2dup + aligned -rot |
count 2dup + aligned -rot |
| cell +loop |
cell +loop |
| here ; |
here ; |
| |
|
| |
[ifundef] umin \ !! bootstrapping help |
| : umin ( u1 u2 -- u ) |
: umin ( u1 u2 -- u ) |
| 2dup u> |
2dup u> |
| if |
if |
| swap |
swap |
| then |
then |
| drop ; |
drop ; |
| |
[then] |
| |
|
| : next-prim ( addr1 -- addr2 ) \ gforth |
: next-prim ( addr1 -- addr2 ) \ gforth |
| \G find the next primitive after addr1 (unreliable) |
\G find the next primitive after addr1 (unreliable) |
| >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 |
| dup >code-address |
dup >code-address |
| CASE |
CASE |
| docon: of seecon endof |
docon: of seecon endof |
| |
dovalue: of seevalue endof |
| docol: of seecol endof |
docol: of seecol endof |
| dovar: of seevar endof |
dovar: of seevar endof |
| [ [IFDEF] douser: ] |
[ [IFDEF] douser: ] |
| 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 -- ) |
| 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 ; |