cprover
|
Traces of GOTO Programs. More...
Go to the source code of this file.
Functions | |
void | convert (const namespacet &, const goto_tracet &, jsont &) |
Traces of GOTO Programs.
Definition in file json_goto_trace.h.
void convert | ( | const namespacet & | , |
const goto_tracet & | , | ||
jsont & | |||
) |
Definition at line 22 of file json_goto_trace.cpp.
References goto_trace_stept::ACTUAL_PARAMETER, goto_trace_stept::ASSERT, goto_trace_stept::ASSIGNMENT, symbolt::base_name, 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(), jsont::is_null(), json(), jsont::json_boolean(), symbolt::location, namespacet::lookup(), jsont::make_array(), jsont::make_object(), symbolt::mode, goto_trace_stept::OUTPUT, json_arrayt::push_back(), goto_tracet::steps, and symbolt::type.