CBMC
|
XML Interface. More...
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... | |
XML Interface.
Definition in file xml_interface.h.
#define HELP_XML_INTERFACE |
Definition at line 39 of file xml_interface.h.
#define OPT_XML_INTERFACE |
Definition at line 35 of file xml_interface.h.
void xml_interface | ( | cmdlinet & | cmdline, |
message_handlert & | message_handler | ||
) |
Parse XML-formatted commandline options from stdin.
Example:
Definition at line 47 of file xml_interface.cpp.