version 1.4, 1995/11/29 20:20:34
|
version 1.5, 1995/12/23 16:21:56
|
Line 89 create emit-file-char 0 c,
|
Line 89 create emit-file-char 0 c,
|
\ 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 |
Line 106 create emit-file-char 0 c,
|
Line 106 create emit-file-char 0 c,
|
\ 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 |