cprover
|
Traces of GOTO Programs. More...
Go to the source code of this file.
Functions | |
void | convert (const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml) |
Traces of GOTO Programs.
Definition in file xml_goto_trace.h.
void convert | ( | const namespacet & | ns, |
const goto_tracet & | goto_trace, | ||
xmlt & | xml | ||
) |
Definition at line 24 of file xml_goto_trace.cpp.
References goto_trace_stept::ACTUAL_PARAMETER, printf_formattert::as_string(), goto_trace_stept::ASSERT, goto_trace_stept::ASSIGNMENT, symbolt::base_name, xmlt::data, goto_trace_stept::DECL, symbolt::display_name(), from_expr(), from_type(), goto_trace_stept::FUNCTION_CALL, goto_trace_stept::FUNCTION_RETURN, source_locationt::get_file(), source_locationt::get_property_id(), id2string(), goto_trace_stept::INPUT, irept::is_not_nil(), symbolt::location, namespacet::lookup(), symbolt::mode, xmlt::name, xmlt::new_element(), goto_trace_stept::OUTPUT, xmlt::set_attribute(), xmlt::set_attribute_bool(), goto_tracet::steps, xmlt::swap(), symbolt::type, and xml().