xml_interface.cpp File Reference

XML Interface. More...

#include "xml_interface.h"
#include <iostream>
#include <util/cmdline.h>
#include <util/exception_utils.h>
#include <util/message.h>
#include <xmllang/xml_parser.h>

Include dependency graph for xml_interface.cpp:

Go to the source code of this file.

Functions
static void	get_xml_options (const xmlt &xml, cmdlinet &cmdline)
	Parse commandline options from xml into cmdline. More...
void	xml_interface (cmdlinet &cmdline, message_handlert &message_handler)
	Parse XML-formatted commandline options from stdin. More...

Detailed Description

XML Interface.

Definition in file xml_interface.cpp.

Function Documentation

get_xml_options()

static void get_xml_options ( const xmlt &  xml, cmdlinet &  cmdline  )

static

Parse commandline options from xml into cmdline.

Definition at line 23 of file xml_interface.cpp.

xml_interface()

void xml_interface	(	cmdlinet &	cmdline,
		message_handlert &	message_handler
	)

Parse XML-formatted commandline options from stdin.

Example:

<options>
  <valueOption actual="main.c"/>
  <valueOption name="function" actual="foo"/>
  <valueOption name="unwind" actual="3"/>
  <valueOption name="property" actual="foo.assertion.1"/>
  <valueOption name="property" actual="foo.assertion.3"/>
  <flagOption name="trace" actual="on"/>
  <flagOption name="show-properties" actual="off"/>
</options>

Definition at line 47 of file xml_interface.cpp.