z3dk::Diagnostic Struct Reference

Public Attributes
DiagnosticSeverity	severity = DiagnosticSeverity::kError
std::string	message
std::string	filename
int	line = 0
int	column = 0
std::string	raw

Detailed Description

Definition at line 19 of file z3dk_wrapper.cc.

Member Data Documentation

severity

DiagnosticSeverity z3dk::Diagnostic::severity = DiagnosticSeverity::kError

Definition at line 20 of file z3dk_wrapper.cc.

Referenced by yaze::core::anonymous_namespace{z3dk_wrapper.cc}::ConvertDiagnostic().

message

std::string z3dk::Diagnostic::message

Definition at line 21 of file z3dk_wrapper.cc.

Referenced by yaze::core::anonymous_namespace{z3dk_wrapper.cc}::ConvertDiagnostic().

filename

std::string z3dk::Diagnostic::filename

Definition at line 22 of file z3dk_wrapper.cc.

Referenced by yaze::core::anonymous_namespace{z3dk_wrapper.cc}::ConvertDiagnostic().

line

int z3dk::Diagnostic::line = 0

Definition at line 23 of file z3dk_wrapper.cc.

Referenced by yaze::core::anonymous_namespace{z3dk_wrapper.cc}::ConvertDiagnostic().

column

int z3dk::Diagnostic::column = 0

Definition at line 24 of file z3dk_wrapper.cc.

Referenced by yaze::core::anonymous_namespace{z3dk_wrapper.cc}::ConvertDiagnostic().

raw

std::string z3dk::Diagnostic::raw

Definition at line 25 of file z3dk_wrapper.cc.

Referenced by yaze::core::anonymous_namespace{z3dk_wrapper.cc}::ConvertDiagnostic().

---

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

• src/core/z3dk_wrapper.cc