cprover
trace_optionst Struct Reference

#include <goto_trace.h>

+ Collaboration diagram for trace_optionst:

Public Member Functions

 trace_optionst (const optionst &options)
 

Public Attributes

bool json_full_lhs
 
bool hex_representation
 
bool base_prefix
 
bool show_function_calls
 
bool show_code
 
bool compact_trace
 
bool stack_trace
 

Static Public Attributes

static const trace_optionst default_options = trace_optionst()
 

Private Member Functions

 trace_optionst ()
 

Detailed Description

Definition at line 196 of file goto_trace.h.

Constructor & Destructor Documentation

◆ trace_optionst() [1/2]

trace_optionst::trace_optionst ( const optionst options)
inlineexplicit

Definition at line 208 of file goto_trace.h.

◆ trace_optionst() [2/2]

trace_optionst::trace_optionst ( )
inlineprivate

Definition at line 220 of file goto_trace.h.

Member Data Documentation

◆ base_prefix

bool trace_optionst::base_prefix

Definition at line 200 of file goto_trace.h.

◆ compact_trace

bool trace_optionst::compact_trace

Definition at line 203 of file goto_trace.h.

◆ default_options

const trace_optionst trace_optionst::default_options = trace_optionst()
static

Definition at line 206 of file goto_trace.h.

◆ hex_representation

bool trace_optionst::hex_representation

Definition at line 199 of file goto_trace.h.

◆ json_full_lhs

bool trace_optionst::json_full_lhs

Definition at line 198 of file goto_trace.h.

◆ show_code

bool trace_optionst::show_code

Definition at line 202 of file goto_trace.h.

◆ show_function_calls

bool trace_optionst::show_function_calls

Definition at line 201 of file goto_trace.h.

◆ stack_trace

bool trace_optionst::stack_trace

Definition at line 204 of file goto_trace.h.


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