xml_interface.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: XML Interface
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "xml_interface.h"
 
#include <iostream>
 
#include <util/cmdline.h>
#include <util/exception_utils.h>
#include <util/message.h>
 
#include <xmllang/xml_parser.h>
 
static void get_xml_options(const xmlt &xml, cmdlinet &cmdline)
{
  for(const auto &e : xml.elements)
  {
    // recursive call
    get_xml_options(e, cmdline);
  }
 
  if(xml.name == "valueOption")
  {
    std::string name = xml.get_attribute("name");
    std::string value = xml.get_attribute("actual");
 
    if(name.empty())
      cmdline.args.push_back(value);
    else
      cmdline.set(name, value);
  }
  else if(xml.name == "flagOption")
  {
    cmdline.set(xml.get_attribute("name"), xml.get_attribute("actual") == "on");
  }
}
static void get_xml_options(const xmlt &xml, cmdlinet &cmdline) {…}
 
void xml_interface(cmdlinet &cmdline, message_handlert &message_handler)
{
  if(cmdline.isset("xml-interface"))
  {
    xmlt xml;
 
    parse_xml(std::cin, "", message_handler, xml);
 
    // We have to catch here because command line options are
    // parsed in the constructor of parse_optionst and not in main()
    try
    {
      get_xml_options(xml, cmdline);
 
      // Add this so that it gets propagated into optionst;
      // the ui_message_handlert::uit has already been set on the basis
      // of the xml-interface flag.
      cmdline.set("xml-ui");
    }
    catch(const invalid_command_line_argument_exceptiont &e)
    {
      messaget log(message_handler);
      log.error() << e.what() << messaget::eom;
 
      // make sure we fail with a usage error
      cmdline.clear();
    }
  }
}
void xml_interface(cmdlinet &cmdline, message_handlert &message_handler) {…}