header_file-methods function

Generic function to get the name of the header file, given a file name and a FileFormat instance.