-FILE *xfopen (const char *name, const char *mode);
-int xfclose (FILE *ptr);
-
-/* Is SUFFIX ending STRING? */
-int strsuffix (const char* string, const char* suffix);
-
-/* Return a newly allocated string composed of the concatenation of
- STRING1, and STRING2. */
-char* stringappend (const char* string1, const char* string2);
+/** Record that we generate file \a file_name.
+ * \param source whether this is a source file (*c, *.java...)
+ * as opposed to a report (*.output, *.dot...).
+ */
+void output_file_name_check (char **file_name, bool source);