2017-05-11 13:26:35 +00:00
|
|
|
/*
|
|
|
|
This file is part of solidity.
|
|
|
|
|
|
|
|
solidity is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
solidity is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
2020-07-17 14:54:12 +00:00
|
|
|
// SPDX-License-Identifier: GPL-3.0
|
2017-05-11 13:26:35 +00:00
|
|
|
/**
|
|
|
|
* @author Rhett <roadriverrail@gmail.com>
|
|
|
|
* @date 2017
|
|
|
|
* Error reporting helper class.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2020-01-06 10:52:23 +00:00
|
|
|
#include <libsolutil/CommonData.h>
|
2020-05-28 02:32:46 +00:00
|
|
|
#include <libsolutil/Exceptions.h>
|
2019-01-23 10:22:38 +00:00
|
|
|
|
2018-11-14 13:59:30 +00:00
|
|
|
#include <liblangutil/Exceptions.h>
|
|
|
|
#include <liblangutil/SourceLocation.h>
|
2020-01-06 10:52:23 +00:00
|
|
|
#include <libsolutil/StringUtils.h>
|
2019-03-04 15:27:53 +00:00
|
|
|
|
2022-09-27 00:55:26 +00:00
|
|
|
#include <range/v3/range/conversion.hpp>
|
|
|
|
#include <range/v3/view/filter.hpp>
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2019-12-11 16:31:36 +00:00
|
|
|
namespace solidity::langutil
|
2017-05-11 13:26:35 +00:00
|
|
|
{
|
|
|
|
|
|
|
|
class ErrorReporter
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
|
2017-08-21 14:42:17 +00:00
|
|
|
explicit ErrorReporter(ErrorList& _errors):
|
2017-05-11 13:26:35 +00:00
|
|
|
m_errorList(_errors) { }
|
|
|
|
|
2017-08-21 21:22:20 +00:00
|
|
|
ErrorReporter(ErrorReporter const& _errorReporter) noexcept:
|
|
|
|
m_errorList(_errorReporter.m_errorList) { }
|
|
|
|
|
2017-05-11 13:26:35 +00:00
|
|
|
ErrorReporter& operator=(ErrorReporter const& _errorReporter);
|
|
|
|
|
2019-01-23 10:22:38 +00:00
|
|
|
void append(ErrorList const& _errorList)
|
|
|
|
{
|
|
|
|
m_errorList += _errorList;
|
|
|
|
}
|
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void warning(ErrorId _error, std::string const& _description);
|
2017-02-02 11:39:12 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void warning(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
|
|
|
void warning(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2017-02-02 11:39:12 +00:00
|
|
|
SourceLocation const& _location,
|
|
|
|
std::string const& _description,
|
|
|
|
SecondarySourceLocation const& _secondaryLocation
|
2017-05-11 13:26:35 +00:00
|
|
|
);
|
|
|
|
|
2021-06-30 12:48:45 +00:00
|
|
|
void info(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
|
|
|
|
2017-05-11 13:26:35 +00:00
|
|
|
void error(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2017-05-11 13:26:35 +00:00
|
|
|
Error::Type _type,
|
|
|
|
SourceLocation const& _location,
|
2017-02-02 11:39:12 +00:00
|
|
|
std::string const& _description
|
2017-05-11 13:26:35 +00:00
|
|
|
);
|
|
|
|
|
2021-10-06 09:42:05 +00:00
|
|
|
void info(ErrorId _error, std::string const& _description);
|
|
|
|
|
2017-05-11 13:26:35 +00:00
|
|
|
void declarationError(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2017-05-11 13:26:35 +00:00
|
|
|
SourceLocation const& _location,
|
2017-02-02 11:39:12 +00:00
|
|
|
SecondarySourceLocation const& _secondaryLocation,
|
|
|
|
std::string const& _description
|
2017-05-11 13:26:35 +00:00
|
|
|
);
|
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void declarationError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-02-02 11:39:12 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void fatalDeclarationError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void parserError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void fatalParserError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void syntaxError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2017-08-02 10:26:43 +00:00
|
|
|
void typeError(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2017-08-02 10:26:43 +00:00
|
|
|
SourceLocation const& _location,
|
2017-07-19 22:22:36 +00:00
|
|
|
SecondarySourceLocation const& _secondaryLocation = SecondarySourceLocation(),
|
|
|
|
std::string const& _description = std::string()
|
2017-08-02 10:26:43 +00:00
|
|
|
);
|
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void typeError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2019-03-04 15:27:53 +00:00
|
|
|
template <typename... Strings>
|
2020-04-18 01:00:22 +00:00
|
|
|
void typeErrorConcatenateDescriptions(ErrorId _error, SourceLocation const& _location, Strings const&... _descriptions)
|
2019-03-04 15:27:53 +00:00
|
|
|
{
|
2020-04-18 01:00:22 +00:00
|
|
|
std::initializer_list<std::string> const descs = { _descriptions... };
|
2019-03-04 15:27:53 +00:00
|
|
|
solAssert(descs.size() > 0, "Need error descriptions!");
|
|
|
|
|
2022-09-27 00:55:26 +00:00
|
|
|
auto nonEmpty = [](std::string const& _s) { return !_s.empty(); };
|
|
|
|
std::string errorStr = util::joinHumanReadable(descs | ranges::views::filter(nonEmpty) | ranges::to_vector, " ");
|
2019-03-04 15:27:53 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
error(_error, Error::Type::TypeError, _location, errorStr);
|
2019-03-04 15:27:53 +00:00
|
|
|
}
|
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void fatalTypeError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
|
|
|
void fatalTypeError(ErrorId _error, SourceLocation const& _location, SecondarySourceLocation const& _secondLocation, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
2020-04-18 01:00:22 +00:00
|
|
|
void docstringParsingError(ErrorId _error, SourceLocation const& _location, std::string const& _description);
|
2017-05-11 13:26:35 +00:00
|
|
|
|
|
|
|
ErrorList const& errors() const;
|
|
|
|
|
|
|
|
void clear();
|
|
|
|
|
2021-06-30 12:48:45 +00:00
|
|
|
/// @returns true iff there is any error (ignores warnings and infos).
|
2018-06-29 15:41:59 +00:00
|
|
|
bool hasErrors() const
|
|
|
|
{
|
|
|
|
return m_errorCount > 0;
|
|
|
|
}
|
|
|
|
|
2021-06-30 12:48:45 +00:00
|
|
|
/// @returns the number of errors (ignores warnings and infos).
|
2020-05-12 16:13:17 +00:00
|
|
|
unsigned errorCount() const
|
|
|
|
{
|
|
|
|
return m_errorCount;
|
|
|
|
}
|
|
|
|
|
2019-05-27 14:13:27 +00:00
|
|
|
// @returns true if the maximum error count has been reached.
|
|
|
|
bool hasExcessiveErrors() const;
|
|
|
|
|
2020-05-15 01:20:54 +00:00
|
|
|
class ErrorWatcher
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
ErrorWatcher(ErrorReporter const& _errorReporter):
|
|
|
|
m_errorReporter(_errorReporter),
|
|
|
|
m_initialErrorCount(_errorReporter.errorCount())
|
|
|
|
{}
|
|
|
|
bool ok() const
|
|
|
|
{
|
|
|
|
solAssert(m_initialErrorCount <= m_errorReporter.errorCount(), "Unexpected error count.");
|
|
|
|
return m_initialErrorCount == m_errorReporter.errorCount();
|
|
|
|
}
|
|
|
|
private:
|
|
|
|
ErrorReporter const& m_errorReporter;
|
|
|
|
unsigned const m_initialErrorCount;
|
|
|
|
};
|
|
|
|
|
|
|
|
ErrorWatcher errorWatcher() const
|
|
|
|
{
|
|
|
|
return ErrorWatcher(*this);
|
|
|
|
}
|
|
|
|
|
2017-05-11 13:26:35 +00:00
|
|
|
private:
|
2019-03-05 09:34:45 +00:00
|
|
|
void error(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2019-03-05 09:34:45 +00:00
|
|
|
Error::Type _type,
|
2017-05-11 13:26:35 +00:00
|
|
|
SourceLocation const& _location,
|
|
|
|
SecondarySourceLocation const& _secondaryLocation,
|
|
|
|
std::string const& _description = std::string());
|
|
|
|
|
2019-03-04 13:30:08 +00:00
|
|
|
void fatalError(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2019-03-04 13:30:08 +00:00
|
|
|
Error::Type _type,
|
|
|
|
SourceLocation const& _location,
|
|
|
|
SecondarySourceLocation const& _secondaryLocation,
|
|
|
|
std::string const& _description = std::string());
|
|
|
|
|
2019-03-05 09:34:45 +00:00
|
|
|
void fatalError(
|
2020-04-18 01:00:22 +00:00
|
|
|
ErrorId _error,
|
2019-03-05 09:34:45 +00:00
|
|
|
Error::Type _type,
|
2017-05-11 13:26:35 +00:00
|
|
|
SourceLocation const& _location = SourceLocation(),
|
|
|
|
std::string const& _description = std::string());
|
|
|
|
|
2018-04-05 13:34:03 +00:00
|
|
|
// @returns true if error shouldn't be stored
|
|
|
|
bool checkForExcessiveErrors(Error::Type _type);
|
2017-12-12 08:54:33 +00:00
|
|
|
|
2017-05-11 13:26:35 +00:00
|
|
|
ErrorList& m_errorList;
|
2018-04-05 13:34:03 +00:00
|
|
|
|
|
|
|
unsigned m_errorCount = 0;
|
|
|
|
unsigned m_warningCount = 0;
|
2021-06-30 12:48:45 +00:00
|
|
|
unsigned m_infoCount = 0;
|
2018-04-05 13:34:03 +00:00
|
|
|
|
2019-02-14 10:53:00 +00:00
|
|
|
unsigned const c_maxWarningsAllowed = 256;
|
|
|
|
unsigned const c_maxErrorsAllowed = 256;
|
2021-06-30 12:48:45 +00:00
|
|
|
unsigned const c_maxInfosAllowed = 256;
|
2017-05-11 13:26:35 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|