cprover
|
Convert goto programs into xml structures and back. More...
Go to the source code of this file.
Functions | |
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 irep_idt &) |
finds the index of the instruction labelled with the given target label in the given xml-program More... | |
Convert goto programs into xml structures and back.
Definition in file xml_goto_program.h.
void 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 25 of file xml_goto_program.cpp.
References ASSERT, ASSIGN, ASSUME, ATOMIC_BEGIN, ATOMIC_END, comment(), convert(), xmlt::data, DEAD, END_FUNCTION, END_THREAD, FUNCTION_CALL, GOTO, id2string(), goto_program_templatet< codeT, guardT >::instructions, LOCATION, xmlt::name, xmlt::new_element(), OTHER, RETURN, xmlt::set_attribute(), SKIP, and START_THREAD.
Referenced by convert().
void 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 202 of file xml_goto_program.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(), convert(), xmlt::data, DEAD, xmlt::elements, END_FUNCTION, END_THREAD, find_instruction(), FUNCTION_CALL, GOTO, goto_program_templatet< codeT, guardT >::instructions, LOCATION, SKIP, START_THREAD, and goto_program_templatet< codeT, guardT >::update().
goto_programt::targett find_instruction | ( | const xmlt & | xml, |
goto_programt::instructionst & | instructions, | ||
const irep_idt & | label | ||
) |
finds the index of the instruction labelled with the given target label in the given xml-program
Definition at line 388 of file xml_goto_program.cpp.
References xmlt::elements.
Referenced by convert().