| // Copyright (c) 2013 The Chromium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef TOOLS_GN_ERR_H_ |
| #define TOOLS_GN_ERR_H_ |
| |
| #include <expected> |
| #include <memory> |
| #include <string> |
| #include <utility> |
| #include <vector> |
| |
| #include "gn/label.h" |
| #include "gn/location.h" |
| #include "gn/token.h" |
| |
| class ParseNode; |
| class Value; |
| struct ErrOutput; |
| |
| // Result of doing some operation. Check has_error() to see if an error |
| // occurred. |
| // |
| // An error has a location and a message. Below that, is some optional help |
| // text to go with the annotation of the location. |
| // |
| // An error can also have sub-errors which are additionally printed out |
| // below. They can provide additional context. |
| class Err { |
| private: |
| struct ErrInfo { |
| ErrInfo(const Location& loc, |
| const std::string& msg, |
| const std::string& help) |
| : location(loc), message(msg), help_text(help) {} |
| |
| Location location; |
| Label toolchain_label; |
| |
| std::vector<LocationRange> ranges; |
| |
| std::string message; |
| std::string help_text; |
| |
| std::vector<Err> sub_errs; |
| }; |
| |
| public: |
| using RangeList = std::vector<LocationRange>; |
| |
| // Indicates no error. |
| Err() = default; |
| |
| // Error at a single point. |
| Err(const Location& location, |
| const std::string& msg, |
| const std::string& help = std::string()); |
| |
| // Error at a given range. |
| Err(const LocationRange& range, |
| const std::string& msg, |
| const std::string& help = std::string()); |
| |
| // Error at a given token. |
| Err(const Token& token, |
| const std::string& msg, |
| const std::string& help_text = std::string()); |
| |
| // Error at a given node. |
| Err(const ParseNode* node, |
| const std::string& msg, |
| const std::string& help_text = std::string()); |
| |
| // Error at a given value. |
| Err(const Value& value, |
| const std::string& msg, |
| const std::string& help_text = std::string()); |
| |
| Err(const Err& other); |
| Err(Err&& other) = default; |
| |
| Err& operator=(const Err&); |
| Err& operator=(Err&&) = default; |
| |
| bool has_error() const { return !!info_; } |
| |
| // All getters and setters below require has_error() returns true. |
| const Location& location() const { return info_->location; } |
| const std::string& message() const { return info_->message; } |
| const std::string& help_text() const { return info_->help_text; } |
| |
| void AppendRange(const LocationRange& range) { |
| info_->ranges.push_back(range); |
| } |
| const RangeList& ranges() const { return info_->ranges; } |
| |
| void set_toolchain_label(const Label& toolchain_label) { |
| info_->toolchain_label = toolchain_label; |
| } |
| |
| void AppendSubErr(const Err& err); |
| |
| // Prints the error to standard out. |
| // Returns true if the error was actually printed, or false if it was |
| // suppressed (e.g., due to reaching the error limit). Callers can use this |
| // return value to determine whether to print additional formatting like |
| // newlines or separators. |
| bool PrintToStdout() const; |
| |
| // Converts the error to a string, formatted as it would be if calling |
| // PrintToStdout with text decoration disabled. |
| std::string to_string() const; |
| |
| // Prints to standard out but uses a "WARNING" messaging instead of the |
| // normal "ERROR" messaging. This is a property of the printing system rather |
| // than of the Err class because there is no expectation that code calling a |
| // function that take an Err check that the error is nonfatal and continue. |
| // Generally all Err objects with has_error() set are fatal. |
| // |
| // In some very specific cases code will detect a condition and print a |
| // nonfatal error to the screen instead of returning it. In these cases, that |
| // code can decide at printing time whether it will continue (and use this |
| // method) or not (and use PrintToStdout()). |
| // |
| // Returns true if the warning was actually printed, or false if suppressed. |
| bool PrintNonfatalToStdout() const; |
| |
| private: |
| bool InternalPrintToStdout(bool is_sub_err, bool is_fatal) const; |
| void InternalFormat(ErrOutput& output, bool is_sub_err, bool is_fatal) const; |
| |
| std::unique_ptr<ErrInfo> info_; // Non-null indicates error. |
| }; |
| |
| // "return Ok()" is far more clear than "return Err()" |
| inline Err Ok() { |
| return Err(); |
| } |
| |
| // A wrapper around std::expected<T, Err>. |
| // std::expected does not allow implicit conversions because you can have |
| // std::expected<T, T>. Since that isn't a problem for us, we add the |
| // implicit conversions. |
| template <typename T> |
| class Result : public std::expected<T, Err> { |
| static_assert(!std::is_void_v<T>, "Use Err instead of Result<void>"); |
| static_assert(!std::is_same_v<T, Err>, "Err cannot be the success case"); |
| |
| public: |
| using std::expected<T, Err>::expected; |
| |
| // Implicit conversion from Err (always creates an error state) |
| Result(Err err) : std::expected<T, Err>(std::unexpect, std::move(err)) { |
| // Cannot create an error result that's actually an "Ok". |
| DCHECK(this->error().has_error()); |
| } |
| |
| // Implicit conversion from T (always creates success state) |
| Result(const T& val) : std::expected<T, Err>(val) {} |
| Result(T&& val) : std::expected<T, Err>(std::move(val)) {} |
| |
| // We implement transform_error here because while it is in the C++23 spec |
| // (which we use), the older macOS SDK used in CI doesn't support it. |
| template <typename F> |
| constexpr Result<T> transform_error(F&& f) const& { |
| if (this->has_value()) { |
| return Result<T>(**this); |
| } |
| return Result<T>(std::forward<F>(f)(this->error())); |
| } |
| |
| template <typename F> |
| constexpr Result<T> transform_error(F&& f) && { |
| if (this->has_value()) { |
| return Result<T>(std::move(**this)); |
| } |
| return Result<T>(std::forward<F>(f)(std::move(this->error()))); |
| } |
| |
| // Implementation of has_error for compatibility with Err type. |
| bool has_error() const { return !this->has_value(); } |
| |
| // Implementation of message for compatibility with Err type. |
| const std::string& message() const { |
| DCHECK(has_error()); |
| return this->error().message(); |
| } |
| }; |
| |
| namespace internal { |
| |
| inline Err GetError(const Err& err) { |
| return err; |
| } |
| |
| inline Err GetError(Err&& err) { |
| return std::move(err); |
| } |
| |
| template <typename T, typename E> |
| inline E GetError(const std::expected<T, E>& exp) { |
| return exp.error(); |
| } |
| |
| template <typename T, typename E> |
| inline E GetError(std::expected<T, E>&& exp) { |
| return std::move(exp).error(); |
| } |
| |
| } // namespace internal |
| |
| // We will define the following terms: |
| // A "new-style" function is one which returns either Result<T> or Err (which is |
| // treated as Result<void>). |
| // A "legacy" function takes an Err* pointer as a parameter and returns a value. |
| |
| #define _STATUS_CONCAT_INNER(a, b) a##b |
| #define _STATUS_CONCAT(a, b) _STATUS_CONCAT_INNER(a, b) |
| |
| // Usage: In a new-style function, call |
| // ASSIGN_OR_RETURN(auto foo, new_style_function()) |
| #define ASSIGN_OR_RETURN(lhs, rexpr) \ |
| _ASSIGN_OR_RETURN_IMPL(_STATUS_CONCAT(_expected_value, __COUNTER__), lhs, \ |
| rexpr) |
| |
| #define _ASSIGN_OR_RETURN_IMPL(expected_val, lhs, rexpr) \ |
| auto expected_val = (rexpr); \ |
| if (!expected_val) { \ |
| return std::move(expected_val).error(); \ |
| } \ |
| lhs = std::move(*expected_val) |
| |
| // Usage: In a new-style function, call |
| // RETURN_IF_ERROR(new_style_function()) |
| #define RETURN_IF_ERROR(expr) \ |
| _RETURN_IF_ERROR_IMPL(_STATUS_CONCAT(_status_value, __COUNTER__), expr) |
| |
| #define _RETURN_IF_ERROR_IMPL(status_val, expr) \ |
| do { \ |
| auto status_val = (expr); \ |
| if (status_val.has_error()) { \ |
| return internal::GetError(std::move(status_val)); \ |
| } \ |
| } while (0) |
| |
| // Usage: In a legacy function returning void, call |
| // ASSIGN_OR_RETURN_VOID(foo, err_ptr, new_style_function()) |
| #define ASSIGN_OR_RETURN_VOID(lhs, err_ptr, rexpr) \ |
| _ASSIGN_OR_RETURN_VOID_IMPL(_STATUS_CONCAT(_expected_value, __COUNTER__), \ |
| lhs, err_ptr, rexpr) |
| |
| #define _ASSIGN_OR_RETURN_VOID_IMPL(expected_val, lhs, err_ptr, rexpr) \ |
| auto expected_val = (rexpr); \ |
| if (!expected_val) { \ |
| *(err_ptr) = std::move(expected_val).error(); \ |
| return; \ |
| } \ |
| lhs = std::move(*expected_val) |
| |
| // Usage: In a legacy function returning void, call |
| // RETURN_IF_ERROR_VOID(err_ptr, new_style_function()) |
| #define RETURN_IF_ERROR_VOID(err_ptr, expr) \ |
| _RETURN_IF_ERROR_VOID_IMPL(_STATUS_CONCAT(_status_value, __COUNTER__), \ |
| err_ptr, expr) |
| |
| #define _RETURN_IF_ERROR_VOID_IMPL(status_val, err_ptr, expr) \ |
| do { \ |
| auto status_val = (expr); \ |
| if (status_val.has_error()) { \ |
| *(err_ptr) = internal::GetError(std::move(status_val)); \ |
| return; \ |
| } \ |
| } while (0) |
| |
| // Usage: In a legacy function returning a pointer or bool, call |
| // ASSIGN_OR_RETURN_PTR(foo, err_ptr, new_style_function()) |
| #define ASSIGN_OR_RETURN_PTR(lhs, err_ptr, rexpr) \ |
| _ASSIGN_OR_RETURN_PTR_IMPL(_STATUS_CONCAT(_expected_value, __COUNTER__), \ |
| lhs, err_ptr, rexpr) |
| |
| #define _ASSIGN_OR_RETURN_PTR_IMPL(expected_val, lhs, err_ptr, rexpr) \ |
| auto expected_val = (rexpr); \ |
| if (!expected_val) { \ |
| *(err_ptr) = std::move(expected_val).error(); \ |
| return {}; \ |
| } \ |
| lhs = std::move(*expected_val) |
| |
| // Usage: In a legacy function returning a pointer or bool, call |
| // RETURN_IF_ERROR_PTR(err_ptr, new_style_function()) |
| #define RETURN_IF_ERROR_PTR(err_ptr, expr) \ |
| _RETURN_IF_ERROR_PTR_IMPL(_STATUS_CONCAT(_status_value, __COUNTER__), \ |
| err_ptr, expr) |
| |
| #define _RETURN_IF_ERROR_PTR_IMPL(status_val, err_ptr, expr) \ |
| do { \ |
| auto status_val = (expr); \ |
| if (status_val.has_error()) { \ |
| *(err_ptr) = internal::GetError(std::move(status_val)); \ |
| return {}; \ |
| } \ |
| } while (0) |
| |
| #endif // TOOLS_GN_ERR_H_ |