cprover
xml_interface.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: XML Interface
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CBMC_XML_INTERFACE_H
13 #define CPROVER_CBMC_XML_INTERFACE_H
14 
15 #include <util/cmdline.h>
16 
17 class xmlt;
18 
20 {
21 public:
22  explicit xml_interfacet(cmdlinet &_cmdline)
23  {
24  get_xml_options(_cmdline);
25  }
26 
27 protected:
28  void get_xml_options(cmdlinet &cmdline);
29  void get_xml_options(const xmlt &xml, cmdlinet &cmdline);
30 };
31 
32 #endif // CPROVER_CBMC_XML_INTERFACE_H
xml
xmlt xml(const source_locationt &location)
Definition: xml_expr.cpp:26
xml_interfacet
Definition: xml_interface.h:19
cmdlinet
Definition: cmdline.h:19
xml_interfacet::xml_interfacet
xml_interfacet(cmdlinet &_cmdline)
Definition: xml_interface.h:22
xmlt
Definition: xml.h:18
cmdline.h
xml_interfacet::get_xml_options
void get_xml_options(cmdlinet &cmdline)
XML User Interface.
Definition: xml_interface.cpp:21