version 1.30, 1995/02/15 14:50:07
|
version 1.37, 1995/06/03 14:24:44
|
Line 153 Defer source
|
Line 153 Defer source
|
\ word parse 23feb93py |
\ word parse 23feb93py |
|
|
: parse-word ( char -- addr len ) |
: parse-word ( char -- addr len ) |
source 2dup >r >r >in @ /string |
source 2dup >r >r >in @ over min /string |
rot dup bl = IF drop (parse-white) ELSE (word) THEN |
rot dup bl = IF drop (parse-white) ELSE (word) THEN |
2dup + r> - 1+ r> min >in ! ; |
2dup + r> - 1+ r> min >in ! ; |
: word ( char -- addr ) |
: word ( char -- addr ) |
parse-word here place bl here count + c! here ; |
parse-word here place bl here count + c! here ; |
|
|
: parse ( char -- addr len ) |
: parse ( char -- addr len ) |
>r source >in @ /string over swap r> scan >r |
>r source >in @ over min /string over swap r> scan >r |
over - dup r> IF 1+ THEN >in +! ; |
over - dup r> IF 1+ THEN >in +! ; |
|
|
\ name 13feb93py |
\ name 13feb93py |
Line 173 Defer source
|
Line 173 Defer source
|
2dup + r> - 1+ r> min >in ! ; |
2dup + r> - 1+ r> min >in ! ; |
\ name count ; |
\ name count ; |
|
|
|
: name-too-short? ( c-addr u -- c-addr u ) |
|
dup 0= -&16 and throw ; |
|
|
|
: name-too-long? ( c-addr u -- c-addr u ) |
|
dup $1F u> -&19 and throw ; |
|
|
\ Literal 17dec92py |
\ Literal 17dec92py |
|
|
: Literal ( n -- ) state @ IF postpone lit , THEN ; |
: Literal ( n -- ) state @ IF postpone lit , THEN ; |
Line 781 Avariable leave-sp leave-stack 3 cells
|
Line 787 Avariable leave-sp leave-stack 3 cells
|
: (S") "lit count ; restrict |
: (S") "lit count ; restrict |
: SLiteral postpone (S") here over char+ allot place align ; |
: SLiteral postpone (S") here over char+ allot place align ; |
immediate restrict |
immediate restrict |
: S" [char] " parse state @ IF postpone SLiteral THEN ; |
create s"-buffer /line chars allot |
|
: S" ( run-time: -- c-addr u ) |
|
[char] " parse |
|
state @ |
|
IF |
|
postpone SLiteral |
|
ELSE |
|
/line min >r s"-buffer r@ cmove |
|
s"-buffer r> |
|
THEN ; |
immediate |
immediate |
: ." state @ IF postpone (.") ," align |
: ." state @ IF postpone (.") ," align |
ELSE [char] " parse type THEN ; immediate |
ELSE [char] " parse type THEN ; immediate |
: ( [char] ) parse 2drop ; immediate |
: ( [char] ) parse 2drop ; immediate |
: \ blk @ IF >in @ c/l / 1+ c/l * >in ! EXIT THEN |
: \ ( -- ) \ core-ext backslash |
source >in ! drop ; immediate |
blk @ |
|
IF |
|
>in @ c/l / 1+ c/l * >in ! |
|
EXIT |
|
THEN |
|
source >in ! drop ; immediate |
|
|
|
: \G ( -- ) \ new backslash |
|
POSTPONE \ ; immediate |
|
|
\ error handling 22feb93py |
\ error handling 22feb93py |
\ 'abort thrown out! 11may93jaw |
\ 'abort thrown out! 11may93jaw |
Line 819 defer header ' (header) IS header
|
Line 842 defer header ' (header) IS header
|
dup c, here swap chars dup allot move ; |
dup c, here swap chars dup allot move ; |
|
|
: name, ( "name" -- ) |
: name, ( "name" -- ) |
name |
name name-too-short? name-too-long? |
dup $1F u> -&19 and throw ( is name too long? ) |
|
string, cfalign ; |
string, cfalign ; |
: input-stream-header ( "name" -- ) |
: input-stream-header ( "name" -- ) |
\ !! this is f83-implementation-dependent |
\ !! this is f83-implementation-dependent |
Line 846 create nextname-buffer 32 chars allot
|
Line 868 create nextname-buffer 32 chars allot
|
|
|
\ the next name is given in the string |
\ the next name is given in the string |
: nextname ( c-addr u -- ) \ general |
: nextname ( c-addr u -- ) \ general |
dup $1F u> -&19 and throw ( is name too long? ) |
name-too-long? |
nextname-buffer c! ( c-addr ) |
nextname-buffer c! ( c-addr ) |
nextname-buffer count move |
nextname-buffer count move |
['] nextname-header IS (header) ; |
['] nextname-header IS (header) ; |
Line 918 Create ??? 0 , 3 c, char ? c, char ? c,
|
Line 940 Create ??? 0 , 3 c, char ? c, char ? c,
|
: Constant (Constant) , ; |
: Constant (Constant) , ; |
: AConstant (Constant) A, ; |
: AConstant (Constant) A, ; |
|
|
: 2CONSTANT |
: 2Constant |
create ( w1 w2 "name" -- ) |
Create ( w1 w2 "name" -- ) |
2, |
2, |
does> ( -- w1 w2 ) |
DOES> ( -- w1 w2 ) |
2@ ; |
2@ ; |
|
|
\ IS Defer What's Defers TO 24feb93py |
\ IS Defer What's Defers TO 24feb93py |
Line 981 AVariable current
|
Line 1003 AVariable current
|
\ object oriented search list 17mar93py |
\ object oriented search list 17mar93py |
|
|
\ word list structure: |
\ word list structure: |
\ struct |
|
\ 1 cells: field find-method \ xt: ( c_addr u wid -- name-id ) |
struct |
\ 1 cells: field reveal-method \ xt: ( -- ) |
1 cells: field find-method \ xt: ( c_addr u wid -- name-id ) |
\ 1 cells: field rehash-method \ xt: ( wid -- ) |
1 cells: field reveal-method \ xt: ( -- ) |
|
1 cells: field rehash-method \ xt: ( wid -- ) |
\ \ !! what else |
\ \ !! what else |
\ end-struct wordlist-map-struct |
end-struct wordlist-map-struct |
|
|
\ struct |
struct |
\ 1 cells: field wordlist-id \ not the same as wid; representation depends on implementation |
1 cells: field wordlist-id \ not the same as wid; representation depends on implementation |
\ 1 cells: field wordlist-map \ pointer to a wordlist-map-struct |
1 cells: field wordlist-map \ pointer to a wordlist-map-struct |
\ 1 cells: field wordlist-link \ link field to other wordlists |
1 cells: field wordlist-link \ link field to other wordlists |
\ 1 cells: field wordlist-extend \ points to wordlist extensions (eg hash) |
1 cells: field wordlist-extend \ points to wordlist extensions (eg hash) |
\ end-struct wordlist-struct |
end-struct wordlist-struct |
|
|
: f83find ( addr len wordlist -- nfa / false ) @ (f83find) ; |
: f83find ( addr len wordlist -- nfa / false ) @ (f83find) ; |
|
|
Line 1005 AVariable lookup G forth-wordlist
|
Line 1028 AVariable lookup G forth-wordlist
|
G forth-wordlist current T ! |
G forth-wordlist current T ! |
|
|
: (search-wordlist) ( addr count wid -- nfa / false ) |
: (search-wordlist) ( addr count wid -- nfa / false ) |
dup cell+ @ @ execute ; |
dup wordlist-map @ find-method @ execute ; |
|
|
: search-wordlist ( addr count wid -- 0 / xt +-1 ) |
: search-wordlist ( addr count wid -- 0 / xt +-1 ) |
(search-wordlist) dup IF found THEN ; |
(search-wordlist) dup IF found THEN ; |
Line 1039 Variable warnings G -1 warnings T !
|
Line 1062 Variable warnings G -1 warnings T !
|
last? if |
last? if |
name>string current @ check-shadow |
name>string current @ check-shadow |
then |
then |
current @ cell+ @ cell+ @ execute ; |
current @ wordlist-map @ reveal-method @ execute ; |
|
|
: rehash ( wid -- ) dup cell+ @ cell+ cell+ @ execute ; |
: rehash ( wid -- ) dup wordlist-map @ rehash-method @ execute ; |
|
|
: ' ( "name" -- addr ) name sfind 0= if -&13 bounce then ; |
: ' ( "name" -- addr ) name sfind 0= if -&13 bounce then ; |
: ['] ( "name" -- addr ) ' postpone ALiteral ; immediate |
: ['] ( "name" -- addr ) ' postpone ALiteral ; immediate |
Line 1152 Defer key
|
Line 1175 Defer key
|
\ : bin dup 1 chars - c@ |
\ : bin dup 1 chars - c@ |
\ r/o 4 chars + over - dup >r swap move r> ; |
\ r/o 4 chars + over - dup >r swap move r> ; |
|
|
: bin 1+ ; |
: bin 1 or ; |
|
|
create nl$ 1 c, A c, 0 c, \ gnu includes usually a cr in dos |
create nl$ 1 c, A c, 0 c, \ gnu includes usually a cr in dos |
\ or not unix environments if |
\ or not unix environments if |
Line 1192 create nl$ 1 c, A c, 0 c, \ gnu includes
|
Line 1215 create nl$ 1 c, A c, 0 c, \ gnu includes
|
|
|
create pathfilenamebuf 256 chars allot \ !! make this grow on demand |
create pathfilenamebuf 256 chars allot \ !! make this grow on demand |
|
|
|
\ : check-file-prefix ( addr len -- addr' len' flag ) |
|
\ dup 0= IF true EXIT THEN |
|
\ over c@ '/ = IF true EXIT THEN |
|
\ over 2 S" ./" compare 0= IF true EXIT THEN |
|
\ over 3 S" ../" compare 0= IF true EXIT THEN |
|
\ over 2 S" ~/" compare 0= |
|
\ IF 1 /string |
|
\ S" HOME" getenv tuck pathfilenamebuf swap move |
|
\ 2dup + >r pathfilenamebuf + swap move |
|
\ pathfilenamebuf r> true |
|
\ ELSE false |
|
\ THEN ; |
|
|
: open-path-file ( c-addr1 u1 -- file-id c-addr2 u2 ) |
: open-path-file ( c-addr1 u1 -- file-id c-addr2 u2 ) |
\ opens a file for reading, searching in the path for it; c-addr2 |
\ opens a file for reading, searching in the path for it (unless |
\ u2 is the full filename (valid until the next call); if the file |
\ the filename contains a slash); c-addr2 u2 is the full filename |
\ is not found (or in case of other errors for each try), -38 |
\ (valid until the next call); if the file is not found (or in |
\ (non-existant file) is thrown. Opening for other access modes |
\ case of other errors for each try), -38 (non-existant file) is |
\ makes little sense, as the path will usually contain dirs that |
\ thrown. Opening for other access modes makes little sense, as |
\ are only readable for the user |
\ the path will usually contain dirs that are only readable for |
\ !! check for "/", "./", "../" in original filename; check for "~/"? |
\ the user |
|
\ !! use file-status to determine access mode? |
|
2dup [char] / scan nip ( 0<> ) |
|
if \ the filename contains a slash |
|
2dup r/o open-file throw ( c-addr1 u1 file-id ) |
|
-rot >r pathfilenamebuf r@ cmove ( file-id R: u1 ) |
|
pathfilenamebuf r> EXIT |
|
then |
pathdirs 2@ 0 |
pathdirs 2@ 0 |
|
\ check-file-prefix 0= |
|
\ IF pathdirs 2@ 0 |
?DO ( c-addr1 u1 dirnamep ) |
?DO ( c-addr1 u1 dirnamep ) |
dup >r 2@ dup >r pathfilenamebuf swap cmove ( addr u ) |
dup >r 2@ dup >r pathfilenamebuf swap cmove ( addr u ) |
2dup pathfilenamebuf r@ chars + swap cmove ( addr u ) |
2dup pathfilenamebuf r@ chars + swap cmove ( addr u ) |
pathfilenamebuf over r> + dup >r r/o open-file 0= |
pathfilenamebuf over r> + dup >r r/o open-file 0= |
if ( addr u file-id ) |
IF ( addr u file-id ) |
nip nip r> rdrop 0 leave |
nip nip r> rdrop 0 LEAVE |
then |
THEN |
rdrop drop r> cell+ cell+ |
rdrop drop r> cell+ cell+ |
LOOP |
LOOP |
|
\ ELSE 2dup open-file throw -rot THEN |
0<> -&38 and throw ( file-id u2 ) |
0<> -&38 and throw ( file-id u2 ) |
pathfilenamebuf swap ; |
pathfilenamebuf swap ; |
|
|
Line 1446 Variable argc
|
Line 1492 Variable argc
|
2drop |
2drop |
here r> tuck - 2 cells / ; |
here r> tuck - 2 cells / ; |
|
|
: do-option ( addr1 len1 addr2 len2 -- n ) 2swap |
: do-option ( addr1 len1 addr2 len2 -- n ) |
2dup s" -e" compare 0= >r |
2swap |
2dup s" -evaluate" compare 0= r> or |
2dup s" -e" compare 0= >r |
IF 2drop dup >r ['] evaluate catch |
2dup s" --evaluate" compare 0= r> or |
?dup IF dup >r DoError r> negate (bye) THEN |
IF 2drop dup >r ['] evaluate catch |
r> >tib +! 2 EXIT THEN |
?dup IF dup >r DoError r> negate (bye) THEN |
." Unknown option: " type cr 2drop 1 ; |
r> >tib +! 2 EXIT THEN |
|
." Unknown option: " type cr 2drop 1 ; |
: process-args ( -- ) >tib @ >r |
|
|
: process-args ( -- ) |
|
>tib @ >r |
|
true to script? |
argc @ 1 |
argc @ 1 |
?DO |
?DO |
I arg over c@ [char] - <> |
I arg over c@ [char] - <> |
IF |
IF |
true to script? included false to script? 1 |
required 1 |
ELSE |
ELSE |
I 1+ arg do-option |
I 1+ arg do-option |
THEN |
THEN |
+LOOP |
+LOOP |
|
false to script? |
r> >tib ! ; |
r> >tib ! ; |
|
|
Defer 'cold ' noop IS 'cold |
Defer 'cold ' noop IS 'cold |