! store XML to disk */
| 187 | |
| 188 | /*! store XML to disk */ |
| 189 | void emitXML(const FileName& fileName, const Ref<XML>& xml) |
| 190 | { |
| 191 | std::ofstream cout(fileName.c_str()); |
| 192 | if (!cout.is_open()) THROW_RUNTIME_ERROR("cannot open file " + fileName.str() + " for writing"); |
| 193 | emitXML(cout,xml); |
| 194 | cout.close(); |
| 195 | } |
| 196 | } |
no test coverage detected