version 1.60, 2007/12/31 18:40:24
|
version 1.62, 2011/12/27 16:38:08
|
Line 88 require search.fs
|
Line 88 require search.fs
|
require float.fs |
require float.fs |
require extend.fs \ for case |
require extend.fs \ for case |
|
|
|
: save-mem-dict ( addr1 u -- addr2 u ) |
|
here swap dup allot ( addr1 addr2 u ) |
|
2dup 2>r move 2r> ; |
|
|
: compile-@local ( n -- ) \ gforth compile-fetch-local |
: compile-@local ( n -- ) \ gforth compile-fetch-local |
case |
case |
0 of postpone @local0 endof |
0 of postpone @local0 endof |
Line 132 vocabulary locals \ this contains the lo
|
Line 136 vocabulary locals \ this contains the lo
|
' locals >body wordlist-id ' locals-list >body ! |
' locals >body wordlist-id ' locals-list >body ! |
slowvoc ! |
slowvoc ! |
|
|
create locals-buffer 1000 allot \ !! limited and unsafe |
variable locals-mem-list \ linked list of all locals name memory in |
\ here the names of the local variables are stored |
0 locals-mem-list ! \ the current (outer-level) definition |
\ we would have problems storing them at the normal dp |
|
|
|
variable locals-dp \ so here's the special dp for locals. |
: free-list ( addr -- ) |
|
\ free all members of a linked list (link field is first) |
|
begin |
|
dup while |
|
dup @ swap free throw |
|
repeat |
|
drop ; |
|
|
|
: prepend-list ( addr1 addr2 -- ) |
|
\ addr1 is the address of a list element, addr2 is the address of |
|
\ the cell containing the address of the first list element |
|
2dup @ swap ! \ store link to next element |
|
! ; \ store pointer to new first element |
|
|
: alignlp-w ( n1 -- n2 ) |
: alignlp-w ( n1 -- n2 ) |
\ cell-align size and generate the corresponding code for aligning lp |
\ cell-align size and generate the corresponding code for aligning lp |
Line 221 variable locals-dp \ so here's the speci
|
Line 236 variable locals-dp \ so here's the speci
|
locals-size @ swap ! |
locals-size @ swap ! |
postpone lp@ postpone c! ; |
postpone lp@ postpone c! ; |
|
|
|
7 cells 32 + constant locals-name-size \ 32-char name + fields + wiggle room |
|
|
|
: create-local1 ( "name" -- a-addr ) |
|
create |
|
immediate restrict |
|
here 0 , ( place for the offset ) ; |
|
|
|
variable dict-execute-dp \ the special dp for DICT-EXECUTE |
|
|
|
0 value dict-execute-ude \ USABLE-DICTIONARY-END during DICT-EXECUTE |
|
|
|
: dict-execute1 ( ... addr1 addr2 xt -- ... ) |
|
\ execute xt with HERE set to addr1 and USABLE-DICTIONARY-END set to addr2 |
|
dict-execute-dp @ dp 2>r |
|
dict-execute-ude ['] usable-dictionary-end defer@ 2>r |
|
swap to dict-execute-ude |
|
['] dict-execute-ude is usable-dictionary-end |
|
swap to dict-execute-dp |
|
dict-execute-dp dpp ! |
|
catch |
|
2r> is usable-dictionary-end to dict-execute-ude |
|
2r> dpp ! dict-execute-dp ! |
|
throw ; |
|
|
|
defer dict-execute ( ... addr1 addr2 xt -- ... ) |
|
|
|
:noname ( ... addr1 addr2 xt -- ... ) |
|
\ first have a dummy routine, for SOME-CLOCAL etc. below |
|
nip nip execute ; |
|
is dict-execute |
|
|
: create-local ( " name" -- a-addr ) |
: create-local ( " name" -- a-addr ) |
\ defines the local "name"; the offset of the local shall be |
\ defines the local "name"; the offset of the local shall be |
\ stored in a-addr |
\ stored in a-addr |
create |
locals-name-size allocate throw |
immediate restrict |
dup locals-mem-list prepend-list |
here 0 , ( place for the offset ) ; |
locals-name-size cell /string over + ['] create-local1 dict-execute ; |
|
|
|
variable locals-dp \ so here's the special dp for locals. |
|
|
: lp-offset ( n1 -- n2 ) |
: lp-offset ( n1 -- n2 ) |
\ converts the offset from the frame start to an offset from lp and |
\ converts the offset from the frame start to an offset from lp and |
Line 312 forth definitions
|
Line 360 forth definitions
|
also locals-types |
also locals-types |
|
|
\ these "locals" are used for comparison in TO |
\ these "locals" are used for comparison in TO |
|
|
c: some-clocal 2drop |
c: some-clocal 2drop |
d: some-dlocal 2drop |
d: some-dlocal 2drop |
f: some-flocal 2drop |
f: some-flocal 2drop |
w: some-wlocal 2drop |
w: some-wlocal 2drop |
|
|
|
' dict-execute1 is dict-execute \ now the real thing |
|
|
\ the following gymnastics are for declaring locals without type specifier. |
\ the following gymnastics are for declaring locals without type specifier. |
\ we exploit a feature of our dictionary: every wordlist |
\ we exploit a feature of our dictionary: every wordlist |
Line 351 new-locals-map mappedwordlist Constant n
|
Line 400 new-locals-map mappedwordlist Constant n
|
\ slowvoc ! |
\ slowvoc ! |
\ new-locals-map ' new-locals >body wordlist-map A! \ !! use special access words |
\ new-locals-map ' new-locals >body wordlist-map A! \ !! use special access words |
|
|
variable old-dpp |
|
|
|
\ and now, finally, the user interface words |
\ and now, finally, the user interface words |
: { ( -- latestxt wid 0 ) \ gforth open-brace |
: { ( -- latestxt wid 0 ) \ gforth open-brace |
dp old-dpp ! |
|
locals-dp dpp ! |
|
latestxt get-current |
latestxt get-current |
get-order new-locals-wl swap 1+ set-order |
get-order new-locals-wl swap 1+ set-order |
also locals definitions locals-types |
also locals definitions locals-types |
Line 367 locals-types definitions
|
Line 412 locals-types definitions
|
|
|
: } ( latestxt wid 0 a-addr1 xt1 ... -- ) \ gforth close-brace |
: } ( latestxt wid 0 a-addr1 xt1 ... -- ) \ gforth close-brace |
\ ends locals definitions |
\ ends locals definitions |
] old-dpp @ dpp ! |
] |
begin |
begin |
dup |
dup |
while |
while |
Line 497 forth definitions
|
Line 542 forth definitions
|
latest latestxt |
latest latestxt |
clear-leave-stack |
clear-leave-stack |
0 locals-size ! |
0 locals-size ! |
locals-buffer locals-dp ! |
locals-mem-list @ free-list |
|
0 locals-mem-list ! |
0 locals-list ! |
0 locals-list ! |
dead-code off |
dead-code off |
defstart ; |
defstart ; |