cprover
conversion_dependenciest Struct Reference

This is structure is here to facilitate passing arguments to the conversion functions. More...

#include <json_goto_trace.h>

Collaboration diagram for conversion_dependenciest:
[legend]

Public Attributes

const jsontlocation
 
const goto_trace_steptstep
 
const namespacetns
 
const source_locationtsource_location
 

Detailed Description

This is structure is here to facilitate passing arguments to the conversion functions.

Definition at line 27 of file json_goto_trace.h.

Member Data Documentation

◆ location

const jsont& conversion_dependenciest::location

◆ ns

const namespacet& conversion_dependenciest::ns

Definition at line 31 of file json_goto_trace.h.

Referenced by convert_decl(), convert_input(), convert_output(), and convert_return().

◆ source_location

const source_locationt& conversion_dependenciest::source_location

Definition at line 32 of file json_goto_trace.h.

Referenced by convert_assert().

◆ step

const goto_trace_stept& conversion_dependenciest::step

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