souffle::ErrorReport Class Reference

#include <ErrorReport.h>

Collaboration diagram for souffle::ErrorReport:

Public Member Functions
void	addDiagnostic (const Diagnostic &diagnostic)
void	addError (const std::string &message, SrcLocation location)
	Adds an error with the given message and location. More...
void	addWarning (const std::string &message, SrcLocation location)
	Adds a warning with the given message and location. More...
	ErrorReport (bool nowarn=false)
	ErrorReport (const ErrorReport &other)=default
void	exitIfErrors ()
unsigned	getNumErrors () const
unsigned	getNumIssues () const
unsigned	getNumWarnings () const
void	print (std::ostream &out) const

Private Attributes
std::set< Diagnostic >	diagnostics
bool	nowarn

Friends
std::ostream &	operator<< (std::ostream &out, const ErrorReport &report)

Detailed Description

Definition at line 152 of file ErrorReport.h.

Constructor & Destructor Documentation

ErrorReport() [1/2]

souffle::ErrorReport::ErrorReport ( bool  nowarn = false )

inline

Definition at line 154 of file ErrorReport.h.

{ return d.getType() == Diagnostic::Type::ERROR; });

ErrorReport() [2/2]

souffle::ErrorReport::ErrorReport ( const ErrorReport &  other )

default

Member Function Documentation

addDiagnostic()

void souffle::ErrorReport::addDiagnostic ( const Diagnostic &  diagnostic )

inline

Definition at line 186 of file ErrorReport.h.

addError()

void souffle::ErrorReport::addError ( const std::string &  message, SrcLocation  location  )

inline

Adds an error with the given message and location.

Definition at line 173 of file ErrorReport.h.

                                                                    {
        if (!nowarn) {
            diagnostics.insert(
                    Diagnostic(Diagnostic::Type::WARNING, DiagnosticMessage(message, std::move(location))));

References diagnostics, nowarn, and souffle::Diagnostic::WARNING.

Referenced by souffle::ast::transform::SemanticCheckerImpl::checkBranchInits(), souffle::ast::transform::SemanticCheckerImpl::checkInlining(), souffle::ast::transform::SemanticCheckerImpl::checkNamespaces(), souffle::ast::transform::SemanticCheckerImpl::checkWitnessProblem(), souffle::ast::transform::TypeCheckerImpl::visitAggregator(), souffle::ast::transform::TypeCheckerImpl::visitStringConstant(), souffle::ast::transform::TypeCheckerImpl::visitTypeCast(), and souffle::ast::transform::TypeCheckerImpl::visitVariable().

addWarning()

void souffle::ErrorReport::addWarning ( const std::string &  message, SrcLocation  location  )

inline

Adds a warning with the given message and location.

Definition at line 179 of file ErrorReport.h.

                                                     {
        diagnostics.insert(diagnostic);
    }
 
    void exitIfErrors() {

References diagnostics.

exitIfErrors()

void souffle::ErrorReport::exitIfErrors ( )

inline

Definition at line 190 of file ErrorReport.h.

                                      {
        for (const Diagnostic& diagnostic : diagnostics) {
            out << diagnostic;
        }
    }

getNumErrors()

unsigned souffle::ErrorReport::getNumErrors ( ) const

inline

Definition at line 158 of file ErrorReport.h.

                                         { return d.getType() == Diagnostic::Type::WARNING; });
    }
 

getNumIssues()

unsigned souffle::ErrorReport::getNumIssues ( ) const

inline

Definition at line 168 of file ErrorReport.h.

getNumWarnings()

unsigned souffle::ErrorReport::getNumWarnings ( ) const

inline

Definition at line 163 of file ErrorReport.h.

print()

void souffle::ErrorReport::print ( std::ostream &  out ) const

inline

Definition at line 199 of file ErrorReport.h.

                                                                              {
        report.print(out);
        return out;
    }
 

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const ErrorReport &  report  )

friend

Definition at line 205 of file ErrorReport.h.

Field Documentation

diagnostics

std::set<Diagnostic> souffle::ErrorReport::diagnostics

private

Definition at line 211 of file ErrorReport.h.

Referenced by addError(), and addWarning().

nowarn

bool souffle::ErrorReport::nowarn

private

Definition at line 212 of file ErrorReport.h.

Referenced by addError().

---

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

• reports/ErrorReport.h