Searched defs:altfilename (Results 1 – 3 of 3) sorted by relevance
332 public void set_altfilename(IFILE ifile, char *altfilename) in set_altfilename()
355 constant char *altfilename; in close_file() local
969 public void close_altfile(constant char *altfilename, constant char *filename) in close_altfile()