14 #ifndef CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H 15 #define CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H 115 template <
typename json_arrayT>
119 json_arrayT &dest_array,
124 for(
const auto &step : goto_trace.
steps)
131 ? json_location =
json(source_location)
136 json_location, step, ns, source_location};
152 convert_decl(json_assignment, conversion_dependencies, trace_options);
179 if(source_location != previous_source_location)
187 previous_source_location = source_location;
191 #endif // CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
void convert(const namespacet &ns, const goto_tracet &goto_trace, json_arrayT &dest_array, trace_optionst trace_options=trace_optionst::default_options)
Templated version of the conversion method.
void convert_return(json_objectt &json_call_return, const conversion_dependenciest &conversion_dependencies)
Convert a FUNCTION_RETURN goto_trace step.
void convert_default(json_objectt &json_location_only, const conversion_dependenciest &conversion_dependencies)
Convert all other types of steps not already handled by the other conversion functions.
void convert_output(json_objectt &json_output, const conversion_dependenciest &conversion_dependencies)
Convert an OUTPUT goto_trace step.
void convert_input(json_objectt &json_input, const conversion_dependenciest &conversion_dependencies)
Convert an INPUT goto_trace step.
const source_locationt & source_location
This is structure is here to facilitate passing arguments to the conversion functions.
void convert_decl(json_objectt &json_assignment, const conversion_dependenciest &conversion_dependencies, const trace_optionst &trace_options)
Convert a DECL goto_trace step.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
const goto_trace_stept & step
const irep_idt & get_file() const
void convert_assert(json_objectt &json_failure, const conversion_dependenciest &conversion_dependencies)
Convert an ASSERT goto_trace step.
json_objectt & make_object()
static const trace_optionst default_options
json_objectt json(const source_locationt &location)