cprover
goto_tracet Class Reference

TO_BE_DOCUMENTED. More...

#include <goto_trace.h>

Collaboration diagram for goto_tracet:
[legend]

Public Types

typedef std::list< goto_trace_steptstepst
 

Public Member Functions

void clear ()
 
void output (const class namespacet &ns, std::ostream &out) const
 outputs the trace in ASCII to a given stream More...
 
void swap (goto_tracet &other)
 
void add_step (const goto_trace_stept &step)
 
goto_trace_steptget_last_step ()
 
void trim_after (stepst::iterator s)
 

Public Attributes

stepst steps
 
irep_idt mode
 

Detailed Description

TO_BE_DOCUMENTED.

Definition at line 152 of file goto_trace.h.

Member Typedef Documentation

◆ stepst

Definition at line 155 of file goto_trace.h.

Member Function Documentation

◆ add_step()

void goto_tracet::add_step ( const goto_trace_stept step)
inline

Definition at line 178 of file goto_trace.h.

References steps.

Referenced by interpretert::step().

◆ clear()

void goto_tracet::clear ( void  )
inline

Definition at line 160 of file goto_trace.h.

References dstringt::clear(), mode, and steps.

◆ get_last_step()

goto_trace_stept& goto_tracet::get_last_step ( )
inline

◆ output()

void goto_tracet::output ( const class namespacet ns,
std::ostream &  out 
) const

outputs the trace in ASCII to a given stream

Definition at line 27 of file goto_trace.cpp.

References steps.

Referenced by interpretert::command().

◆ swap()

void goto_tracet::swap ( goto_tracet other)
inline

Definition at line 172 of file goto_trace.h.

References mode, steps, and dstringt::swap().

◆ trim_after()

void goto_tracet::trim_after ( stepst::iterator  s)
inline

Definition at line 191 of file goto_trace.h.

References steps.

Referenced by build_goto_trace().

Member Data Documentation

◆ mode

irep_idt goto_tracet::mode

Definition at line 158 of file goto_trace.h.

Referenced by clear(), and swap().

◆ steps


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