version 1.12, 1995/11/07 18:06:39
|
version 1.13, 1995/11/29 20:20:35
|
Line 129 decimal
|
Line 129 decimal
|
\ SOURCE-ID SAVE-INPUT RESTORE-INPUT 11jun93jaw |
\ SOURCE-ID SAVE-INPUT RESTORE-INPUT 11jun93jaw |
|
|
: source-id ( -- 0 | -1 | fileid ) \ core-ext source-i-d |
: source-id ( -- 0 | -1 | fileid ) \ core-ext source-i-d |
loadfile @ dup 0= IF drop loadline @ 0 min THEN ; |
loadfile @ dup 0= IF drop sourceline# 0 min THEN ; |
|
|
: save-input ( -- x1 .. xn n ) \ core-ext |
: save-input ( -- x1 .. xn n ) \ core-ext |
>in @ |
>in @ |
loadfile @ ?dup |
loadfile @ ?dup |
IF dup file-position throw loadline @ >tib @ 6 |
IF dup file-position throw sourceline# >tib @ 6 |
#tib @ >tib +! |
#tib @ >tib +! |
ELSE loadline @ blk @ linestart @ >tib @ 5 THEN |
ELSE sourceline# blk @ linestart @ >tib @ 5 THEN |
; |
; |
|
|
: restore-input ( x1 .. xn n -- flag ) \ core-ext |
: restore-input ( x1 .. xn n -- flag ) \ core-ext |
Line 144 decimal
|
Line 144 decimal
|
6 = IF loadline ! rot dup loadfile ! |
6 = IF loadline ! rot dup loadfile ! |
reposition-file IF drop true EXIT THEN |
reposition-file IF drop true EXIT THEN |
ELSE linestart ! blk ! |
ELSE linestart ! blk ! |
dup loadline @ <> IF 2drop true EXIT THEN |
dup sourceline# <> IF 2drop true EXIT THEN |
loadline ! |
loadline ! |
THEN |
THEN |
>in ! false ; |
>in ! false ; |