CBMC
xml_goto_trace.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Traces of GOTO Programs
4 
5 Author: Daniel Kroening
6 
7 Date: November 2005
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
15 #define CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
16 
17 class goto_tracet;
18 class namespacet;
19 class xmlt;
20 
21 void convert(
22  const namespacet &ns,
23  const goto_tracet &goto_trace,
24  xmlt &xml);
25 
26 #endif // CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
Trace of a GOTO program.
Definition: goto_trace.h:177
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:94
Definition: xml.h:21
xmlt xml(const irep_idt &property_id, const property_infot &property_info)
Definition: properties.cpp:110
void convert(const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml)