namespace support {
+/**
+ * Class for storing file names.
+ * The file name may be empty. If it is not empty it is an absolute path.
+ * The file may or may not exist.
+ */
class FileName {
public:
+ /// Constructor for empty filenames
FileName();
+ /** Constructor for nonempty filenames.
+ * explicit because we don't want implicit conversion of relative
+ * paths in function arguments (e.g. of unlink).
+ * \param abs_filename the file in question. Must have an absolute path.
+ */
+ explicit FileName(std::string const & abs_filename);
+ virtual ~FileName();
+ virtual void set(std::string const & filename);
+ virtual void erase();
+ /// Is this filename empty?
+ bool empty() const { return name_.empty(); }
+ /// get the absolute file name
+ std::string const absFilename() const { return name_; }
+ /**
+ * Get the file name in the encoding used by the file system.
+ * Only use this for accessing the file, e.g. with an fstream.
+ */
+ std::string const toFilesystemEncoding() const;
+protected:
+ /// The absolute file name.
+ /// The encoding is currently unspecified, anything else than ASCII
+ /// may or may not work.
+ std::string name_;
+};
+
+
+bool operator==(FileName const &, FileName const &);
+bool operator!=(FileName const &, FileName const &);
+bool operator<(FileName const &, FileName const &);
+bool operator>(FileName const &, FileName const &);
+std::ostream & operator<<(std::ostream &, FileName const &);
+
+
+/**
+ * Class for storing file names that appear in documents (e. g. child
+ * documents, included figures etc).
+ * The file name must not denote a file in our temporary directory, but a
+ * file that the user chose.
+ */
+class DocFileName : public FileName {
+public:
+ DocFileName();
/** \param abs_filename the file in question. Must have an absolute path.
* \param save_abs_path how is the file to be output to file?
*/
- FileName(std::string const & abs_filename, bool save_abs_path = true);
+ DocFileName(std::string const & abs_filename, bool save_abs_path = true);
/** \param filename the file in question. May have either a relative
* or an absolute path.
void set(std::string const & filename, std::string const & buffer_path);
void erase();
- bool empty() const { return name_.empty(); }
bool saveAbsPath() const { return save_abs_path_; }
- std::string const absFilename() const { return name_; }
/// \param buffer_path if empty, uses `pwd`
std::string const relFilename(std::string const & buffer_path = std::string()) const;
/// \param buf_path if empty, uses `pwd`
std::string const unzippedFilename() const;
private:
- std::string name_;
bool save_abs_path_;
+ /// Cache for isZipped() because zippedFile() is expensive
+ mutable bool zipped_;
+ /// Is zipped_ valid?
+ mutable bool zipped_valid_;
};
-bool operator==(FileName const &, FileName const &);
-bool operator!=(FileName const &, FileName const &);
+bool operator==(DocFileName const &, DocFileName const &);
+bool operator!=(DocFileName const &, DocFileName const &);
} // namespace support