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
const source_locationt &	source_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

Definition at line 29 of file json_goto_trace.h.

ns

const namespacet& conversion_dependenciest::ns

Definition at line 31 of file json_goto_trace.h.

source_location

const source_locationt& conversion_dependenciest::source_location

Definition at line 32 of file json_goto_trace.h.

step

const goto_trace_stept& conversion_dependenciest::step

Definition at line 30 of file json_goto_trace.h.

---

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

• goto-programs/json_goto_trace.h