| 22 | } |
| 23 | |
| 24 | Options |
| 25 | Options::FileOptions::withFileExtension(const std::string& fileExtensionWithDot) const |
| 26 | { |
| 27 | FileOptions newSelf(fileExtensionWithDot); |
| 28 | return options_->clone(newSelf); |
| 29 | } |
| 30 | |
| 31 | // Options --------------------------------------------------------------------------- |
| 32 | Options::Options(Options::FileOptions fileOptions, |