error_report.h

Go to the documentation of this file.

#pragma once

#include "tc/lang/tree.h"

namespace lang {

struct ErrorReport : public std::exception {
  ErrorReport(const ErrorReport& e)
      : ss(e.ss.str()), context(e.context), the_message(e.the_message) {}

  ErrorReport(TreeRef context) : context(context->range()) {}
  ErrorReport(SourceRange range) : context(std::move(range)) {}
  virtual const char* what() const noexcept override {
    std::stringstream msg;
    msg << "\n" << ss.str() << ":\n";
    context.highlight(msg);
    the_message = msg.str();
    return the_message.c_str();
  }

 private:
  template <typename T>
  friend const ErrorReport& operator<<(const ErrorReport& e, const T& t);

  mutable std::stringstream ss;
  SourceRange context;
  mutable std::string the_message;
};

inline void warn(const ErrorReport& err) {
  std::cerr << err.what();
}

template <typename T>
const ErrorReport& operator<<(const ErrorReport& e, const T& t) {
  e.ss << t;
  return e;
}

#define TC_ASSERT(ctx, cond)                                               \
  if (!(cond)) {                                                           \
    throw ::lang::ErrorReport(ctx)                                         \
        << __FILE__ << ":" << __LINE__ << ": assertion failed: " << #cond; \
  }
} // namespace lang