| endif |
endif |
| rdrop ; |
rdrop ; |
| |
|
| : put-tags-entry ( -- ) |
: put-tags-string ( c-addr u -- ) |
| \ write the entry for the last name to the TAGS file |
2>r source-id dup 0<> swap -1 <> and \ input from a file |
| \ if the input is from a file and it is not a local name |
|
| source-id dup 0<> swap -1 <> and \ input from a file |
|
| current @ locals-list <> and \ not a local name |
current @ locals-list <> and \ not a local name |
| latest 0<> and \ not an anonymous (i.e. noname) header |
|
| if |
if |
| tags-file-id >r |
tags-file-id >r |
| r@ put-load-file-name |
r@ put-load-file-name |
| source drop >in @ r@ write-file throw |
source drop >in @ r@ write-file throw |
| 127 r@ emit-file throw |
127 r@ emit-file throw |
| \ bl r@ emit-file throw |
r> 2r> rot dup >r write-file throw |
| latest name>string r@ write-file throw |
|
| \ bl r@ emit-file throw |
|
| 1 r@ emit-file throw |
1 r@ emit-file throw |
| base @ decimal sourceline# 0 <# #s #> r@ write-file throw base ! |
base @ decimal sourceline# 0 <# #s #> r@ write-file throw base ! |
| s" ,0" r@ write-line throw |
s" ,0" r@ write-line throw |
| \ instead of using 0, we could use file-position and subtract |
\ instead of using 0, we could use file-position and subtract |
| \ the line length |
\ the line length |
| rdrop |
rdrop |
| |
else |
| |
2r> 2drop |
| endif ; |
endif ; |
| |
|
| |
: put-tags-name ( -- ) |
| |
>in @ parse-name put-tags-string >in ! ; |
| |
|
| |
' put-tags-name is record-name |
| |
|
| |
: put-tags-entry ( -- ) |
| |
\ write the entry for the last name to the TAGS file |
| |
\ if the input is from a file and it is not a local name |
| |
latest 0<> if |
| |
latest name>string put-tags-string |
| |
then ; |
| |
|
| : (tags-header) ( -- ) |
: (tags-header) ( -- ) |
| defers header |
defers header |
| put-tags-entry ; |
put-tags-entry ; |
