cprover
xml_goto_program.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Convert goto programs into xml structures and back
4 
5 Author: CM Wintersteiger
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_H
15 #define CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_H
16 
18 #include <util/xml.h>
19 
20 void convert(
21  const goto_programt&,
22  xmlt&);
23 
24 void convert(
25  const xmlt&,
26  goto_programt&);
27 
29  const xmlt &,
31  const irep_idt &);
32 
33 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_H
goto_programt::targett find_instruction(const xmlt &, goto_programt::instructionst &, const irep_idt &)
finds the index of the instruction labelled with the given target label in the given xml-program ...
void convert(const goto_programt &, xmlt &)
constructs the xml structure according to the goto program and the namespace into the given xml objec...
Definition: xml.h:18
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
Concrete Goto Program.