validator.h

#ifndef SPUDPLATE_VALIDATOR_H
#define SPUDPLATE_VALIDATOR_H
 
#include <stdexcept>
#include <string>
#include <unordered_map>
 
#include "spudplate/ast.h"
 
namespace spudplate {
 
using TypeMap = std::unordered_map<std::string, VarType>;
 
class SemanticError : public std::runtime_error {
  public:
    SemanticError(const std::string& message, int line, int column)
        : std::runtime_error(message), line_(line), column_(column) {}
 
    [[nodiscard]] int line() const { return line_; }
    [[nodiscard]] int column() const { return column_; }
 
  private:
    int line_;
    int column_;
};
 
void validate(const Program& program);
 
ExprPtr clone_expr(const Expr& expr);
 
ExprPtr normalize(const Expr& expr, const TypeMap& tm);
 
bool exprs_equal(const Expr& a, const Expr& b);
 
}  // namespace spudplate
 
#endif  // SPUDPLATE_VALIDATOR_H