#include <ErrorReport.h>
Definition at line 37 of file ErrorReport.h.
◆ DiagnosticMessage() [1/2]
souffle::DiagnosticMessage::DiagnosticMessage |
( |
std::string |
message, |
|
|
SrcLocation |
location |
|
) |
| |
|
inline |
◆ DiagnosticMessage() [2/2]
souffle::DiagnosticMessage::DiagnosticMessage |
( |
std::string |
message | ) |
|
|
inline |
◆ getLocation()
const SrcLocation& souffle::DiagnosticMessage::getLocation |
( |
| ) |
const |
|
inline |
◆ getMessage()
const std::string& souffle::DiagnosticMessage::getMessage |
( |
| ) |
const |
|
inline |
◆ hasLocation()
bool souffle::DiagnosticMessage::hasLocation |
( |
| ) |
const |
|
inline |
Definition at line 59 of file ErrorReport.h.
60 diagnosticMessage.print(out);
◆ print()
void souffle::DiagnosticMessage::print |
( |
std::ostream & |
out | ) |
const |
|
inline |
◆ operator<<
std::ostream& operator<< |
( |
std::ostream & |
out, |
|
|
const DiagnosticMessage & |
diagnosticMessage |
|
) |
| |
|
friend |
Definition at line 71 of file ErrorReport.h.
72 enum class Type { ERROR, WARNING };
74 Diagnostic(Type
type,
DiagnosticMessage primaryMessage, std::vector<DiagnosticMessage> additionalMessages)
◆ hasLoc
bool souffle::DiagnosticMessage::hasLoc |
|
private |
◆ location
◆ message
std::string souffle::DiagnosticMessage::message |
|
private |
The documentation for this class was generated from the following file: