CBMC
Public Attributes | List of all members
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:

Public Attributes

const jsont & location
 
const goto_trace_stept & step
 
const namespacet & ns
 

Detailed Description

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

Definition at line 26 of file json_goto_trace.h.

Member Data Documentation

◆ location

const jsont& conversion_dependenciest::location

Definition at line 28 of file json_goto_trace.h.

◆ ns

const namespacet& conversion_dependenciest::ns

Definition at line 30 of file json_goto_trace.h.

◆ step

const goto_trace_stept& conversion_dependenciest::step

Definition at line 29 of file json_goto_trace.h.

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