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
19
class
xml_interfacet
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_interfacet::xml_interfacet
xml_interfacet(cmdlinet &_cmdline)
Definition:
xml_interface.h:22
xml
xmlt xml(const source_locationt &location)
Definition:
xml_expr.cpp:26
cmdlinet
Definition:
cmdline.h:19
xml_interfacet
Definition:
xml_interface.h:19
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.15