version 1.4, 1995/11/29 20:20:34
|
version 1.6, 1996/02/09 17:34:08
|
Line 64 create tags-line 128 chars allot
|
Line 64 create tags-line 128 chars allot
|
endif |
endif |
tags-file @ ; |
tags-file @ ; |
|
|
create emit-file-char 0 c, |
|
|
|
: emit-file ( c file-id -- ) |
|
swap emit-file-char c! |
|
emit-file-char 1 chars rot write-file ; |
|
|
|
2variable last-loadfilename 0 0 last-loadfilename 2! |
2variable last-loadfilename 0 0 last-loadfilename 2! |
|
|
: put-load-file-name ( file-id -- ) |
: put-load-file-name ( file-id -- ) |
Line 89 create emit-file-char 0 c,
|
Line 83 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 100 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 |