equal
deleted
inserted
replaced
86 void process(std::istream& input, std::ostream& output, Configuration& configuration) { |
86 void process(std::istream& input, std::ostream& output, Configuration& configuration) { |
87 std::shared_ptr<RelationalWriter> writer(Factory::create(output)); |
87 std::shared_ptr<RelationalWriter> writer(Factory::create(output)); |
88 |
88 |
89 xmlpp::DomParser parser; |
89 xmlpp::DomParser parser; |
90 XMLDocumentConstructor documentConstructor(&input, &parser); |
90 XMLDocumentConstructor documentConstructor(&input, &parser); |
|
91 for (ParserOptionRecipe o : configuration.parserOptions) documentConstructor.setOption(convertor.to_bytes(o.uri), convertor.to_bytes(o.value)); |
91 documentConstructor.process(); |
92 documentConstructor.process(); |
92 if (configuration.xinclude) parser.get_document()->process_xinclude(true); |
93 if (configuration.xinclude) parser.get_document()->process_xinclude(true); |
93 xmlpp::Element* root = parser.get_document()->get_root_node(); |
94 xmlpp::Element* root = parser.get_document()->get_root_node(); |
94 |
95 |
95 xmlpp::Node::PrefixNsMap ns; |
96 xmlpp::Node::PrefixNsMap ns; |