* Add \c converted_file (\c orig_from converted to \c to_format) to
* the cache if it is not already in or not up to date.
*/
* Add \c converted_file (\c orig_from converted to \c to_format) to
* the cache if it is not already in or not up to date.
*/
- void add(std::string const & orig_from, std::string const & to_format,
- std::string const & converted_file) const;
+ void add(support::FileName const & orig_from, std::string const & to_format,
+ support::FileName const & converted_file) const;
std::string const & to_format) const;
/**
* Returns \c true if \c orig_from converted to \c to_format is in
* the cache and up to date.
*/
std::string const & to_format) const;
/**
* Returns \c true if \c orig_from converted to \c to_format is in
* the cache and up to date.
*/
- std::string const cacheName(std::string const & orig_from,
- std::string const & to_format) const;
+ support::FileName const & cacheName(support::FileName const & orig_from,
+ std::string const & to_format) const;
- bool copy(std::string const & orig_from, std::string const & to_format,
- std::string const & dest) const;
+ bool copy(support::FileName const & orig_from, std::string const & to_format,
+ support::FileName const & dest) const;