cprover
xml_interfacet Class Reference

#include <xml_interface.h>

Inheritance diagram for xml_interfacet:
[legend]

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)
 

Detailed Description

Definition at line 17 of file xml_interface.h.

Constructor & Destructor Documentation

◆ xml_interfacet()

xml_interfacet::xml_interfacet ( cmdlinet _cmdline)
inlineexplicit

Definition at line 20 of file xml_interface.h.

References get_xml_options().

Member Function Documentation

◆ get_xml_options() [1/2]

void xml_interfacet::get_xml_options ( cmdlinet cmdline)
protected

XML User Interface.

Definition at line 21 of file xml_interface.cpp.

References cmdlinet::isset(), message_handler, parse_xml(), cmdlinet::set(), and xml().

Referenced by xml_interfacet().

◆ get_xml_options() [2/2]

void xml_interfacet::get_xml_options ( const class xmlt xml,
cmdlinet cmdline 
)
protected

The documentation for this class was generated from the following files: