*/
void changeExtension(std::string const & extension);
- /** Guess the file format name (as in Format::name()) from contents.
- Normally you don't want to use this directly, but rather
- Formats::getFormatFromFile().
- */
- std::string guessFormatFromContents() const;
-
- /// check for zipped file
- bool isZippedFile() const;
-
static FileName fromFilesystemEncoding(std::string const & name);
/// (securely) create a temporary file with the given mask.
/// \p mask must be in filesystem encoding, if it contains a
/// relative path, the template file will be created in the global
/// temporary directory as given by 'package().temp_dir()'.
- static FileName tempName(std::string const & mask = empty_string());
+ static FileName tempName(std::string const & mask);
static FileName tempName(FileName const & temp_dir,
std::string const & mask);
bool hasExtension(const std::string & ext);
/// path without file name
FileName onlyPath() const;
+ /// path of parent directory
+ /// returns empty path for root directory
+ FileName parentPath() const;
/// used for display in the Gui
docstring displayName(int threshold = 1000) const;