! removes the base from a filename (if possible) */
| 104 | |
| 105 | /*! removes the base from a filename (if possible) */ |
| 106 | FileName FileName::operator -( const FileName& base ) const { |
| 107 | size_t pos = filename.find_first_of(base); |
| 108 | if (pos == std::string::npos) return *this; |
| 109 | return FileName(filename.substr(pos+1)); |
| 110 | } |
| 111 | |
| 112 | /*! == operator */ |
| 113 | bool operator== (const FileName& a, const FileName& b) { |