cprover
|
#include <xml_goto_program_hashing.h>
Public Member Functions | |
xml_goto_program_convertt (xml_irep_convertt::ireps_containert &ic) | |
void | convert (const goto_programt &, xmlt &) |
constructs the xml structure according to the goto program and the namespace into the given xml object. More... | |
void | convert (const xmlt &, goto_programt &) |
constructs the goto program according to the xml structure and the namespace into the given goto program object. More... | |
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 More... | |
Private Attributes | |
xml_irep_convertt | irepconverter |
Definition at line 23 of file xml_goto_program_hashing.h.
|
inlineexplicit |
Definition at line 29 of file xml_goto_program_hashing.h.
References convert(), and find_instruction().
void xml_goto_program_convertt::convert | ( | const goto_programt & | goto_program, |
xmlt & | xml | ||
) |
constructs the xml structure according to the goto program and the namespace into the given xml object.
Definition at line 26 of file xml_goto_program_hashing.cpp.
References ASSERT, ASSIGN, ASSUME, ATOMIC_BEGIN, ATOMIC_END, comment(), xmlt::data, DEAD, END_FUNCTION, END_THREAD, FUNCTION_CALL, GOTO, id2string(), goto_program_templatet< codeT, guardT >::instructions, irepconverter, LOCATION, xmlt::name, xmlt::new_element(), OTHER, xml_irep_convertt::reference_convert(), RETURN, xmlt::set_attribute(), SKIP, and START_THREAD.
Referenced by xml_goto_function_convertt::convert(), and xml_goto_program_convertt().
void xml_goto_program_convertt::convert | ( | const xmlt & | xml, |
goto_programt & | goto_program | ||
) |
constructs the goto program according to the xml structure and the namespace into the given goto program object.
Definition at line 198 of file xml_goto_program_hashing.cpp.
References goto_program_templatet< codeT, guardT >::add_instruction(), ASSERT, ASSIGN, ASSUME, ATOMIC_BEGIN, ATOMIC_END, goto_program_templatet< codeT, guardT >::clear(), goto_program_templatet< codeT, guardT >::compute_location_numbers(), xml_irep_convertt::convert(), xmlt::data, DEAD, xmlt::elements, END_FUNCTION, END_THREAD, find_instruction(), FUNCTION_CALL, GOTO, goto_program_templatet< codeT, guardT >::instructions, irepconverter, LOCATION, xml_irep_convertt::resolve_references(), SKIP, START_THREAD, and goto_program_templatet< codeT, guardT >::update().
goto_programt::targett xml_goto_program_convertt::find_instruction | ( | const xmlt & | xml, |
goto_programt::instructionst & | instructions, | ||
const std::string & | label | ||
) |
finds the index of the instruction labelled with the given target label in the given xml-program
Definition at line 387 of file xml_goto_program_hashing.cpp.
References xmlt::elements.
Referenced by convert(), and xml_goto_program_convertt().
|
private |
Definition at line 26 of file xml_goto_program_hashing.h.
Referenced by convert().