cprover
xml_goto_program_hashing.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Convert goto programs into xml structures and back (with
4  irep hashing)
5 
6 Author: CM Wintersteiger
7 
8 Date: July 2006
9 
10 \*******************************************************************/
11 
14 
15 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_HASHING_H
16 #define CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_HASHING_H
17 
19 #include <util/xml.h>
20 
21 #include "xml_irep_hashing.h"
22 
24 {
25 private:
27 
28 public:
30  irepconverter(ic)
31  {
32  }
33 
34  void convert(const goto_programt&, xmlt&);
35  void convert(const xmlt&, goto_programt&);
36 
38  const xmlt &,
40  const std::string &);
41 };
42 
43 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_HASHING_H
void convert(const goto_programt &, xmlt &)
constructs the xml structure according to the goto program and the namespace into the given xml objec...
XML-irep conversions with hashing.
goto_programt::targett find_instruction(const xmlt &, goto_programt::instructionst &, const std::string &)
finds the index of the instruction labelled with the given target label in the given xml-program ...
Definition: xml.h:18
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
xml_goto_program_convertt(xml_irep_convertt::ireps_containert &ic)
Concrete Goto Program.