{
std::string dirname(const std::string& filename);
std::string basename(const std::string& filename);
+ /**
+ * normalize filename so that "blup/bla/blo/../../bar" will become
+ * "blup/bar"
+ */
+ std::string normalize(const std::string& filename);
}
#endif