z3dk::SourceMap Struct Reference

Public Attributes
std::vector< SourceFile >	files
std::vector< SourceMapEntry >	entries

Detailed Description

Definition at line 51 of file z3dk_wrapper.cc.

Member Data Documentation

files

std::vector<SourceFile> z3dk::SourceMap::files

Definition at line 52 of file z3dk_wrapper.cc.

entries

std::vector<SourceMapEntry> z3dk::SourceMap::entries

Definition at line 53 of file z3dk_wrapper.cc.

---

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

• src/core/z3dk_wrapper.cc