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
xml_interfacet
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::xml_interfacet
xml_interfacet(cmdlinet &_cmdline)
Definition:
xml_interface.h:20
xml
xmlt xml(const source_locationt &location)
Definition:
xml_expr.cpp:25
cmdlinet
Definition:
cmdline.h:19
xml_interfacet
Definition:
xml_interface.h:17
xml_interfacet::get_xml_options
void get_xml_options(cmdlinet &cmdline)
XML User Interface.
Definition:
xml_interface.cpp:21
xmlt
Definition:
xml.h:18
cmdline.h
cbmc
xml_interface.h
Generated by
1.8.14