CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Static Public Attributes | Private Member Functions | List of all members
trace_optionst Struct Reference

Options for printing the trace using show_goto_trace. More...

#include <goto_trace.h>

+ Collaboration diagram for trace_optionst:
[フレーム]
[legend]

Public Member Functions

  trace_optionst (const optionst &options)
 

Public Attributes

bool  json_full_lhs
  Add rawLhs property to trace.
 
bool  hex_representation
  Represent plain trace values in hex.
 
bool  base_prefix
  Use prefix (0b or 0x) for distinguishing the base of the representation.
 
bool  show_function_calls
  Show function calls in plain text trace.
 
bool  show_code
  Show original code in plain text trace.
 
bool  compact_trace
  Give a compact trace.
 
bool  stack_trace
  Give a stack trace only.
 

Static Public Attributes

static const trace_optionst  default_options = trace_optionst()
 

Private Member Functions

  trace_optionst ()
 

Detailed Description

Options for printing the trace using show_goto_trace.

Definition at line 220 of file goto_trace.h.

Constructor & Destructor Documentation

◆  trace_optionst() [1/2]

trace_optionst::trace_optionst ( const optionst &  options )
inlineexplicit

Definition at line 240 of file goto_trace.h.

◆  trace_optionst() [2/2]

trace_optionst::trace_optionst ( )
inlineprivate

Definition at line 252 of file goto_trace.h.

Member Data Documentation

◆  base_prefix

bool trace_optionst::base_prefix

Use prefix (0b or 0x) for distinguishing the base of the representation.

Definition at line 228 of file goto_trace.h.

◆  compact_trace

bool trace_optionst::compact_trace

Give a compact trace.

Definition at line 234 of file goto_trace.h.

◆  default_options

const trace_optionst trace_optionst::default_options = trace_optionst()
static

Definition at line 238 of file goto_trace.h.

◆  hex_representation

bool trace_optionst::hex_representation

Represent plain trace values in hex.

Definition at line 225 of file goto_trace.h.

◆  json_full_lhs

bool trace_optionst::json_full_lhs

Add rawLhs property to trace.

Definition at line 223 of file goto_trace.h.

◆  show_code

bool trace_optionst::show_code

Show original code in plain text trace.

Definition at line 232 of file goto_trace.h.

◆  show_function_calls

bool trace_optionst::show_function_calls

Show function calls in plain text trace.

Definition at line 230 of file goto_trace.h.

◆  stack_trace

bool trace_optionst::stack_trace

Give a stack trace only.

Definition at line 236 of file goto_trace.h.

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

AltStyle によって変換されたページ (->オリジナル) /