neograph::graph::Diagnostic Struct Reference

One static-analysis finding, with a machine-readable witness (counterexample) for tooling to highlight. More...

#include <validator.h>

Public Attributes
std::string	code
	"E3".."E18", "S1".."S5", "SOUNDNESS"
std::string	json_pointer
	RFC 6901 pointer; empty means document root.
std::string	message
	human-readable, self-contained
std::string	path
	Legacy JSON-ish display path.
std::string	severity
	"error" | "warning" | "note" (the soundness summary only)
json	witness
	machine-readable counterexample

Detailed Description

One static-analysis finding, with a machine-readable witness (counterexample) for tooling to highlight.

Definition at line 39 of file validator.h.

---

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

• include/neograph/graph/validator.h