CBMC
xml_interface.h File Reference

XML Interface. More...

+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define OPT_XML_INTERFACE
 
#define HELP_XML_INTERFACE
 

Functions

void xml_interface (cmdlinet &, message_handlert &)
 Parse XML-formatted commandline options from stdin. More...
 

Detailed Description

XML Interface.

Definition in file xml_interface.h.

Macro Definition Documentation

◆ HELP_XML_INTERFACE

#define HELP_XML_INTERFACE
Value:
" {y--xml-ui} \t use XML-formatted output\n" \
" {y--xml-interface} \t bi-directional XML interface\n"

Definition at line 39 of file xml_interface.h.

◆ OPT_XML_INTERFACE

#define OPT_XML_INTERFACE
Value:
"(xml-ui)" \
"(xml-interface)"

Definition at line 35 of file xml_interface.h.

Function Documentation

◆ 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.