expression_grammar.h

Go to the documentation of this file.

/*
 * Copyright 2026 MusicScience37 (Kenta Kabashima)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
#pragma once
 
#include <string>
 
#include <boost/phoenix.hpp>
#include <boost/spirit/home/qi.hpp>
 
#include "func_sketch/parser/parsed_expression.h"
 
namespace func_sketch::parser {

class ExpressionGrammar
    : public boost::spirit::qi::grammar<std::string::const_iterator,
          ParsedExpression(), boost::spirit::ascii::space_type> {
public:
    using IteratorType = std::string::const_iterator;

    ExpressionGrammar();

    [[nodiscard]] const std::string& error_message() const noexcept;

    void clear_error_message() noexcept;

    [[nodiscard]] ParsedExpression parse(const std::string& str);
 
private:
    template <typename T>
    using Rule = boost::spirit::qi::rule<IteratorType, T(),
        boost::spirit::ascii::space_type>;

    Rule<Complex> imaginary_number_rule_;

    Rule<ParsedLiteral> literal_rule_;

    Rule<ParsedIdentifier> identifier_rule_;

    Rule<ParsedFunctionCallExpression> function_call_expr_rule_;

    Rule<ParsedExpression> atomic_value_expr_rule_;

    Rule<ParsedExpression> value_expr_rule_;

    Rule<ParsedExpression> factor_expr_rule_;

    Rule<ParsedExpression> unary_expr_rule_;

    Rule<ParsedExpression> term_expr_rule_;

    Rule<ParsedExpression> sum_expr_rule_;

    Rule<ParsedExpression> expr_rule_;

    std::string error_message_;
};
 
}  // namespace func_sketch::parser