! returns the extension */
| 63 | |
| 64 | /*! returns the extension */ |
| 65 | FileName FileName::dropExt() const { |
| 66 | size_t pos = filename.find_last_of('.'); |
| 67 | if (pos == std::string::npos) return filename; |
| 68 | return filename.substr(0,pos); |
| 69 | } |
| 70 | |
| 71 | /*! returns the basename without extension */ |
| 72 | std::string FileName::name() const { |