formula_node.hpp

// Copyright Take Vos 2020.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt)
 
#pragma once
 
#include "formula_post_process_context.hpp"
#include "formula_evaluation_context.hpp"
#include "../required.hpp"
#include "../parse_location.hpp"
#include "../datum.hpp"
#include "../exception.hpp"
#include "../error_info.hpp"
#include <vector>
#include <memory>
#include <string>
 
namespace tt {
 
struct formula_node {
    using formula_vector = std::vector<std::unique_ptr<formula_node>>;
 
    parse_location location;
 
    formula_node(parse_location location) : location(location) {}
 
    virtual ~formula_node() {}
 
    virtual void post_process(formula_post_process_context& context) {}
 
    virtual void resolve_function_pointer(formula_post_process_context& context) {}
 
    virtual datum evaluate(formula_evaluation_context& context) const = 0;
 
    datum evaluate_without_output(formula_evaluation_context& context) const {
        context.disable_output();
        auto r = evaluate(context);
        context.enable_output();
        return r;
    }
 
    virtual datum &evaluate_lvalue(formula_evaluation_context& context) const {
        tt_error_info().set<"parse_location">(location);
        throw operation_error("Expression is not a modifiable value.");
    }
 
    virtual bool has_evaluate_xvalue() const {
        return false;
    }
 
    virtual datum const &evaluate_xvalue(formula_evaluation_context const& context) const {
        tt_error_info().set<"parse_location">(location);
        throw operation_error("Expression is not a xvalue.");
    }
 
    virtual datum &assign(formula_evaluation_context& context, datum const &rhs) const {
        return evaluate_lvalue(context) = rhs;
    }
 
    datum &assign_without_output(formula_evaluation_context& context, datum const &rhs) const {
        context.disable_output();
        auto &r = assign(context, rhs);
        context.enable_output();
        return r;
    }
 
    virtual datum call(formula_evaluation_context& context, datum::vector const &arguments) const {
        tt_error_info().set<"parse_location">(location);
        throw operation_error("Expression is not callable.");
    }
 
    virtual std::string get_name() const {
        tt_error_info().set<"parse_location">(location);
        throw parse_error("Expect a name got {})", *this);
    }
 
    virtual std::vector<std::string> get_name_and_argument_names() const {
        tt_error_info().set<"parse_location">(location);
        throw parse_error("Expect a function definition got {})", *this);
    }
 
    virtual std::string string() const noexcept = 0;
 
    friend std::string to_string(formula_node const& rhs) noexcept {
        return rhs.string();
    }
 
    friend std::ostream& operator<<(std::ostream& lhs, formula_node const& rhs) noexcept {
        return lhs << to_string(rhs);
    }
};
 
}