parser.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <string>
#include <unordered_map>
#include <vector>
 
#include "gsl/pointers"
 
#include "porytiles/utilities/c_parser/array_declaration.hpp"
#include "porytiles/utilities/c_parser/define_statement.hpp"
#include "porytiles/utilities/c_parser/enum_declaration.hpp"
#include "porytiles/utilities/c_parser/function_definition.hpp"
#include "porytiles/utilities/c_parser/incbin_declaration.hpp"
#include "porytiles/utilities/c_parser/source_position.hpp"
#include "porytiles/utilities/c_parser/struct_initializer_declaration.hpp"
#include "porytiles/utilities/c_parser/struct_variable_declaration.hpp"
#include "porytiles/utilities/c_parser/token.hpp"
#include "porytiles/utilities/result/chainable_result.hpp"
 
namespace porytiles {
 
class CParserContext;
 
class Parser {
  public:
    Parser(gsl::not_null<const TextFormatter *> format, std::vector<Token> tokens)
        : format_{format}, tokens_{std::move(tokens)}
    {
    }
 
    Parser(gsl::not_null<const TextFormatter *> format, std::vector<Token> tokens, const CParserContext *context)
        : format_{format}, tokens_{std::move(tokens)}, context_{context}
    {
    }
 
    [[nodiscard]] ChainableResult<std::vector<DefineStatement>> parse_defines();
 
    [[nodiscard]] ChainableResult<std::vector<EnumDeclaration>> parse_enums();
 
    [[nodiscard]] ChainableResult<std::vector<ArrayDeclaration>> parse_pointer_arrays();
 
    [[nodiscard]] ChainableResult<std::vector<FunctionDefinition>> parse_functions();
 
    [[nodiscard]] ChainableResult<std::vector<StructVariableDeclaration>> parse_struct_variables();
 
    [[nodiscard]] ChainableResult<std::vector<StructInitializerDeclaration>> parse_struct_initializers();
 
    [[nodiscard]] ChainableResult<std::vector<IncbinDeclaration>> parse_incbin_arrays();
 
  private:
    [[nodiscard]] const Token &peek() const;
    [[nodiscard]] const Token &peek_next() const;
    const Token &advance();
    [[nodiscard]] bool is_at_end() const;
    [[nodiscard]] bool check(TokenType type) const;
    bool match(TokenType type);
 
    void skip_to_next_line();
    [[nodiscard]] bool is_at_line_end() const;
    [[nodiscard]] ChainableResult<DefineStatement> parse_define();
    [[nodiscard]] ChainableResult<EnumDeclaration> parse_enum();
    [[nodiscard]] ChainableResult<EnumMember> parse_enum_member(std::int64_t &counter);
    [[nodiscard]] std::vector<Token> collect_expression_tokens();
    [[nodiscard]] std::vector<Token> collect_enum_value_tokens();
    [[nodiscard]] ChainableResult<std::int64_t> evaluate_expression(const std::vector<Token> &expr_tokens);
 
    // Shunting Yard algorithm helpers
    [[nodiscard]] std::vector<Token> to_postfix(const std::vector<Token> &expr_tokens);
    [[nodiscard]] ChainableResult<std::int64_t> evaluate_postfix(const std::vector<Token> &postfix);
    [[nodiscard]] int operator_precedence(TokenType type) const;
    [[nodiscard]] bool is_left_associative(TokenType type) const;
    [[nodiscard]] bool is_operator(TokenType type) const;
    [[nodiscard]] bool is_unary_operator(TokenType type) const;
 
    [[nodiscard]] FormattableError make_error(SourcePosition pos, std::string message) const;
 
    const TextFormatter *format_;
    std::vector<Token> tokens_;
    std::size_t current_{0};
    std::unordered_map<std::string, std::int64_t> defined_values_{{"UCHAR_MAX", 255}}; // Symbol table for macro values
    const CParserContext *context_{nullptr};
};
 
} // namespace porytiles