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
|
#pragma once
#include <unordered_map>
#include <string>
#include "lexer/enum_type.h"
using namespace std;
namespace ov4
{
class T_property
{
public:
int operand_number = 0;
bool continuable = true;
int pivot_priority = -1;
// require: MUST
// accept: optional, but if it doesn't accept, but there is indeed a child, then error
child_existence_type left;
child_existence_type right;
enum_token_type enum_type = TEXT;
};
inline unordered_map<string, T_property> symbol_property = {
// non-operator
{"\'", {.enum_type = SINGLE_QUOTATION}},
{"\"", {.enum_type = SINGLE_QUOTATION}},
// bracket
{"(", {.continuable = false, .enum_type = LEFT_BRACKET}},
{")", {.continuable = false, .enum_type = RIGHT_BRACKET}},
// operator
{"&", {.operand_number = 1, .continuable = true, .pivot_priority = 2000, .left = child_existence_type::EXIST, .right = child_existence_type::NOT_EXIST, .enum_type = ASYNC}},
{"|", {.operand_number = 1, .continuable = true, .pivot_priority = 100, .left = child_existence_type::EXIST, .right = child_existence_type::EXIST, .enum_type = PIPE}},
{"&&", {.operand_number = 1, .continuable = true, .pivot_priority = 1000, .left = child_existence_type::EXIST, .right = child_existence_type::EXIST, .enum_type = LOGIC_AND}},
{"||", {.operand_number = 1, .continuable = true, .pivot_priority = 1000, .left = child_existence_type::EXIST, .right = child_existence_type::EXIST, .enum_type = LOGIC_OR}},
};
string symbol_enum2string(enum_token_type e);
bool symbol_contains_enum_type(enum_token_type e);
}
|
