23 if(cmdline.
isset(
"xml-interface"))
28 parse_xml(std::cin,
"", message_handler, xml);
32 cmdline.
set(
"xml-ui");
47 if(xml.
name==
"valueOption")
53 cmdline.
args.push_back(value);
55 cmdline.
set(name, value);
57 else if(xml.
name==
"flagOption")
xmlt xml(const source_locationt &location)
std::string get_attribute(const std::string &attribute) const
virtual bool isset(char option) const
virtual void set(const std::string &option)
void get_xml_options(cmdlinet &cmdline)
XML User Interface.
bool parse_xml(std::istream &in, const std::string &filename, message_handlert &message_handler, xmlt &dest)