arachnespace::contracts::validation_result Struct Reference

#include <include/arachne/contracts.hpp>

Public Member Functions
bool	valid () const noexcept
	operator bool () const noexcept

Public Attributes
std::vector< diagnostic >	diagnostics

Detailed Description

Validation result. An empty diagnostic list means success.

Definition at line 37 of file contracts.hpp.

Member Function Documentation

operator bool()

arachnespace::contracts::validation_result::operator bool ( ) const

inlineexplicitnoexcept

Definition at line 42 of file contracts.hpp.

{ return valid(); }

References valid().

Here is the call graph for this function:

valid()

bool arachnespace::contracts::validation_result::valid ( ) const

inlinenodiscardnoexcept

Definition at line 40 of file contracts.hpp.

{ return diagnostics.empty(); }

Referenced by operator bool().

Here is the caller graph for this function:

Member Data Documentation

diagnostics

std::vector<diagnostic> arachnespace::contracts::validation_result::diagnostics

Definition at line 38 of file contracts.hpp.

---

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

• contracts.hpp