z3dk::LintResult Struct Reference

Public Member Functions
bool	success () const

Public Attributes
std::vector< Diagnostic >	diagnostics

Detailed Description

Definition at line 98 of file z3dk_wrapper.cc.

Member Function Documentation

success()

bool z3dk::LintResult::success ( ) const

inline

Definition at line 100 of file z3dk_wrapper.cc.

Referenced by yaze::core::Z3dkWrapper::Assemble().

Member Data Documentation

diagnostics

std::vector<Diagnostic> z3dk::LintResult::diagnostics

Definition at line 99 of file z3dk_wrapper.cc.

Referenced by yaze::core::Z3dkWrapper::Assemble(), and yaze::core::Z3dkWrapper::RunLintOnLastResult().

---

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

• src/core/z3dk_wrapper.cc