aboutsummaryrefslogtreecommitdiff
path: root/src/openvic-dataloader/v2script/LuaDefinesGrammar.hpp
blob: b64d0f994a0328063cad308bc91607c99ffba951 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
#pragma once

#include <lexy/dsl.hpp>

#include "SimpleGrammar.hpp"
#include "detail/LexyLitRange.hpp"

namespace ovdl::v2script::lua::grammar {
   struct ParseOptions {
   };

   template<ParseOptions Options>
   struct StatementListBlock;

   static constexpr auto comment_specifier = LEXY_LIT("--") >> lexy::dsl::until(lexy::dsl::newline).or_eof();

   template<ParseOptions Options>
   struct Identifier {
      static constexpr auto rule = lexy::dsl::identifier(lexy::dsl::ascii::alpha_underscore, lexy::dsl::ascii::alpha_digit_underscore);
      static constexpr auto value = lexy::callback<ast::NodePtr>(
         [](auto lexeme) {
            std::string str(lexeme.data(), lexeme.size());
            return ast::make_node_ptr<ast::IdentifierNode>(ast::NodeLocation { lexeme.begin(), lexeme.end() }, LEXY_MOV(str));
         });
   };

   template<ParseOptions Options>
   struct Value {
      static constexpr auto rule = lexy::dsl::identifier(lexy::dsl::ascii::digit / lexy::dsl::lit_c<'.'> / lexy::dsl::lit_c<'-'>);
      static constexpr auto value = lexy::callback<ast::NodePtr>(
         [](auto lexeme) {
            std::string str(lexeme.data(), lexeme.size());
            return ast::make_node_ptr<ast::IdentifierNode>(ast::NodeLocation { lexeme.begin(), lexeme.end() }, LEXY_MOV(str));
         });
   };

   template<ParseOptions Options>
   struct String {
      static constexpr auto rule = [] {
         // Arbitrary code points that aren't control characters.
         auto c = ovdl::detail::lexydsl::make_range<0x20, 0xFF>() - lexy::dsl::ascii::control;

         return lexy::dsl::delimited(lexy::dsl::position(lexy::dsl::lit_b<'"'>))(c) | lexy::dsl::delimited(lexy::dsl::position(lexy::dsl::lit_b<'\''>))(c);
      }();

      static constexpr auto value =
         lexy::as_string<std::string> >>
         lexy::callback<ast::NodePtr>(
            [](const char* begin, auto&& str, const char* end) {
               return ast::make_node_ptr<ast::StringNode>(ast::NodeLocation::make_from(begin, end), LEXY_MOV(str));
            });
   };

   template<ParseOptions Options>
   struct Expression {
      static constexpr auto rule = lexy::dsl::p<Value<Options>> | lexy::dsl::p<String<Options>>;
      static constexpr auto value = lexy::forward<ast::NodePtr>;
   };

   template<ParseOptions Options>
   struct AssignmentStatement {
      static constexpr auto rule =
         lexy::dsl::position(lexy::dsl::p<Identifier<Options>>) >>
         lexy::dsl::equal_sign >>
         (lexy::dsl::p<Expression<Options>> | lexy::dsl::recurse_branch<StatementListBlock<Options>>);

      static constexpr auto value = lexy::callback<ast::NodePtr>(
         [](const char* pos, auto name, lexy::nullopt = {}) {
            return LEXY_MOV(name);
         },
         [](auto name, lexy::nullopt = {}) {
            return LEXY_MOV(name);
         },
         [](const char* pos, auto name, auto&& initalizer) {
            return ast::make_node_ptr<ast::AssignNode>(pos, LEXY_MOV(name), LEXY_MOV(initalizer));
         });
   };

   template<ParseOptions Options>
   struct StatementListBlock {
      static constexpr auto rule =
         lexy::dsl::position(lexy::dsl::curly_bracketed.open()) >>
         lexy::dsl::opt(
            lexy::dsl::list(
               lexy::dsl::recurse_branch<AssignmentStatement<Options>>,
               lexy::dsl::trailing_sep(lexy::dsl::lit_c<','>))) >>
         lexy::dsl::position(lexy::dsl::curly_bracketed.close());

      static constexpr auto value =
         lexy::as_list<std::vector<ast::NodePtr>> >>
         lexy::callback<ast::NodePtr>(
            [](const char* begin, lexy::nullopt, const char* end) {
               return ast::make_node_ptr<ast::ListNode>(ast::NodeLocation::make_from(begin, end));
            },
            [](const char* begin, auto&& list, const char* end) {
               return ast::make_node_ptr<ast::ListNode>(ast::NodeLocation::make_from(begin, end), LEXY_MOV(list));
            },
            [](const char* begin, auto& list, const char* end) {
               return ast::make_node_ptr<ast::ListNode>(ast::NodeLocation::make_from(begin, end), list);
            });
   };

   template<ParseOptions Options = ParseOptions {}>
   struct File {
      // Allow arbitrary spaces between individual tokens.
      static constexpr auto whitespace = ovdl::v2script::grammar::whitespace_specifier | comment_specifier;

      static constexpr auto rule = lexy::dsl::position + lexy::dsl::terminator(lexy::dsl::eof).opt_list(lexy::dsl::p<AssignmentStatement<Options>>);

      static constexpr auto value = lexy::as_list<std::vector<ast::NodePtr>> >> lexy::new_<ast::FileNode, ast::NodePtr>;
   };
}