! returns the extension */
| 56 | |
| 57 | /*! returns the extension */ |
| 58 | std::string FileName::ext() const { |
| 59 | size_t pos = filename.find_last_of('.'); |
| 60 | if (pos == std::string::npos) return ""; |
| 61 | return filename.substr(pos+1); |
| 62 | } |
| 63 | |
| 64 | /*! returns the extension */ |
| 65 | FileName FileName::dropExt() const { |
no test coverage detected