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 
18 {
19 public:
20  explicit xml_interfacet(cmdlinet &_cmdline)
21  {
22  get_xml_options(_cmdline);
23  }
24 
25 protected:
26  void get_xml_options(cmdlinet &cmdline);
27  void get_xml_options(const class xmlt &xml, cmdlinet &cmdline);
28 };
29 
30 #endif // CPROVER_CBMC_XML_INTERFACE_H
xml_interfacet(cmdlinet &_cmdline)
Definition: xml_interface.h:20
xmlt xml(const source_locationt &location)
Definition: xml_expr.cpp:25
void get_xml_options(cmdlinet &cmdline)
XML User Interface.
Definition: xml.h:18