cprover
|
#include <xml_interface.h>
Public Member Functions | |
xml_interfacet (cmdlinet &_cmdline) | |
Protected Member Functions | |
void | get_xml_options (cmdlinet &cmdline) |
XML User Interface. More... | |
void | get_xml_options (const class xmlt &xml, cmdlinet &cmdline) |
Definition at line 17 of file xml_interface.h.
|
inlineexplicit |
Definition at line 20 of file xml_interface.h.
References get_xml_options(), and xml().
|
protected |
XML User Interface.
Definition at line 21 of file xml_interface.cpp.
References cmdlinet::args, xmlt::elements, xmlt::get_attribute(), cmdlinet::isset(), xmlt::name, parse_xml(), cmdlinet::set(), and xml().
Referenced by xml_interfacet().