xml_interfacet Class Reference

#include <xml_interface.h>

Inheritance diagram for xml_interfacet:

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 xmlt &xml, cmdlinet &cmdline)
	XML User Interface. More...

Detailed Description

Definition at line 19 of file xml_interface.h.

Constructor & Destructor Documentation

xml_interfacet()

xml_interfacet::xml_interfacet ( cmdlinet &  _cmdline )

inlineexplicit

Definition at line 22 of file xml_interface.h.

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.

get_xml_options() [2/2]

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

protected

XML User Interface.

Definition at line 37 of file xml_interface.cpp.

---

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

• cbmc/xml_interface.h
• cbmc/xml_interface.cpp