CBMC
xml_irep.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_XML_IREP_H
11 #define CPROVER_UTIL_XML_IREP_H
12 
13 #include "xml.h"
14 
15 class irept;
16 class source_locationt;
17 
18 void convert(
19  const irept &irep,
20  xmlt &xml);
21 
22 void convert(
23  const xmlt &xml,
24  irept &irep);
25 
26 xmlt xml(const source_locationt &);
27 
28 #endif // CPROVER_UTIL_XML_IREP_H
irept
There are a large number of kinds of tree structured or tree-like data in CPROVER.
Definition: irep.h:364
source_locationt
Definition: source_location.h:20
xmlt
Definition: xml.h:21
convert
void convert(const irept &irep, xmlt &xml)
Definition: xml_irep.cpp:19
xml
xmlt xml(const source_locationt &)
Definition: xml_irep.cpp:95