Loading...

Searching...

No Matches

structured_trace_util.cpp File Reference

Utilities for printing location info steps in the trace in a format agnostic way. More...

#include "structured_trace_util.h"
#include "goto_trace.h"
#include <algorithm>

+ Include dependency graph for structured_trace_util.cpp:

Functions

Identify for a given instruction whether it is a loophead or just a location.

Turns a default_step_kindt into a string that can be used in the trace.

Detailed Description

Utilities for printing location info steps in the trace in a format agnostic way.

std::optional< default_trace_stept > default_step ( const goto_trace_stept & step,

const source_locationt & previous_source_location

)

Definition at line 39 of file structured_trace_util.cpp.

default_step_kindt default_step_kind ( const goto_programt::instructiont & instruction )

Identify for a given instruction whether it is a loophead or just a location.

Loopheads are determined by whether there is backwards jump to them. This matches the loop detection used for loop IDs

Definition at line 17 of file structured_trace_util.cpp.

std::string default_step_name ( const default_step_kindt & step_type )

Turns a default_step_kindt into a string that can be used in the trace.

Definition at line 27 of file structured_trace_util.cpp.