| \ write the entry for the last name to the TAGS file |
\ 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 |
\ 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 |
source-id dup 0<> swap -1 <> and \ input from a file |
| get-current locals-list <> and \ not a local name |
current @ locals-list <> and \ not a local name |
| last @ 0<> and \ not an anonymous (i.e. noname) header |
last @ 0<> and \ not an anonymous (i.e. noname) header |
| if |
if |
| tags-file-id >r |
tags-file-id >r |
| \ 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 |
| endif cr ; |
endif ; |
| |
|
| : (tags-header) ( -- ) |
: (tags-header) ( -- ) |
| defers header |
defers header |