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
17
#include <
goto-programs/goto_program.h
>
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
28
goto_programt::targett
find_instruction
(
29
const
xmlt
&,
30
goto_programt::instructionst
&,
31
const
irep_idt
&);
32
33
#endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_H
find_instruction
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 ...
Definition:
xml_goto_program.cpp:388
goto_program_templatet< codet, exprt >::instructionst
std::list< instructiont > instructionst
Definition:
goto_program_template.h:344
convert
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_goto_program.cpp:25
xmlt
Definition:
xml.h:18
xml.h
dstringt
Definition:
dstring.h:21
goto_programt
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition:
goto_program.h:24
goto_program.h
Concrete Goto Program.
goto_program_templatet< codet, exprt >::targett
instructionst::iterator targett
Definition:
goto_program_template.h:346
goto-cc
xml_binaries
xml_goto_program.h
Generated by
1.8.14