cprover
xml_goto_program_convertt Class Reference

#include <xml_goto_program_hashing.h>

Collaboration diagram for xml_goto_program_convertt:
[legend]

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
 

Detailed Description

Definition at line 23 of file xml_goto_program_hashing.h.

Constructor & Destructor Documentation

◆ xml_goto_program_convertt()

xml_goto_program_convertt::xml_goto_program_convertt ( xml_irep_convertt::ireps_containert ic)
inlineexplicit

Definition at line 29 of file xml_goto_program_hashing.h.

Member Function Documentation

◆ convert() [1/2]

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.

parameters: goto program and an xml structure to fill
Returns
none

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, START_THREAD, and xml().

Referenced by xml_goto_function_convertt::convert().

◆ convert() [2/2]

◆ find_instruction()

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

parameters: a target label string, the instructions list and an xml
program
Returns
iterator to the found instruction or .end()

Definition at line 387 of file xml_goto_program_hashing.cpp.

References xmlt::elements, and xml().

Referenced by convert().

Member Data Documentation

◆ irepconverter

xml_irep_convertt xml_goto_program_convertt::irepconverter
private

Definition at line 26 of file xml_goto_program_hashing.h.

Referenced by convert().


The documentation for this class was generated from the following files: