data_file-methods function

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