-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathparser.py
More file actions
152 lines (136 loc) · 5.56 KB
/
Copy pathparser.py
File metadata and controls
152 lines (136 loc) · 5.56 KB
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
from ast_nodes import *
class SyntaxError(Exception):
def __init__(self, message, line, col):
super().__init__(f"SyntaxError at line {line} column {col}:\n{message}")
class Parser:
def __init__(self, tokens):
self.tokens = tokens
self.pos = 0
def current(self):
return self.tokens[self.pos] if self.pos < len(self.tokens) else self.tokens[-1]
def consume(self, expected_type, expected_value=None):
tok = self.current()
if tok.type == expected_type and (expected_value is None or tok.value == expected_value):
self.pos += 1
return tok
val_msg = f" '{expected_value}'" if expected_value else ""
raise SyntaxError(f"Expected {expected_type}{val_msg}, got {tok.type} '{tok.value}'", tok.line, tok.col)
def parse(self):
statements = []
while self.current().type != 'EOF':
statements.append(self.parse_statement())
return ProgramNode(statements)
def parse_statement(self):
tok = self.current()
if tok.type == 'KEYWORD':
if tok.value == 'if': return self.parse_if()
if tok.value == 'while': return self.parse_while()
if tok.value == 'for': return self.parse_for()
if tok.value == 'function': return self.parse_function()
if tok.value == 'return': return self.parse_return()
return self.parse_assignment()
def parse_assignment(self):
var_name = self.consume('ID').value
self.consume('ASSIGN')
expr = self.parse_expression()
return AssignmentNode(var_name, expr)
def parse_if(self):
self.consume('KEYWORD', 'if')
condition = self.parse_expression()
self.consume('KEYWORD', 'then')
if_body = []
while self.current().value not in ('else', 'end'):
if_body.append(self.parse_statement())
else_body = None
if self.current().value == 'else':
self.consume('KEYWORD', 'else')
else_body = []
while self.current().value != 'end':
else_body.append(self.parse_statement())
self.consume('KEYWORD', 'end')
return IfNode(condition, if_body, else_body)
def parse_while(self):
self.consume('KEYWORD', 'while')
condition = self.parse_expression()
self.consume('KEYWORD', 'do')
body = []
while self.current().value != 'end':
body.append(self.parse_statement())
self.consume('KEYWORD', 'end')
return WhileNode(condition, body)
def parse_for(self):
self.consume('KEYWORD', 'for')
var_name = self.consume('ID').value
self.consume('ASSIGN')
start_expr = self.parse_expression()
self.consume('PUNCT', ',')
end_expr = self.parse_expression()
self.consume('KEYWORD', 'do')
body = []
while self.current().value != 'end':
body.append(self.parse_statement())
self.consume('KEYWORD', 'end')
return ForNode(var_name, start_expr, end_expr, body)
def parse_function(self):
self.consume('KEYWORD', 'function')
name = self.consume('ID').value
self.consume('PUNCT', '(')
params = []
while self.current().type == 'ID':
params.append(self.consume('ID').value)
if self.current().value == ',':
self.consume('PUNCT', ',')
self.consume('PUNCT', ')')
body = []
while self.current().value != 'end':
body.append(self.parse_statement())
self.consume('KEYWORD', 'end')
return FunctionNode(name, params, body)
def parse_return(self):
self.consume('KEYWORD', 'return')
expr = self.parse_expression() if self.current().type not in ('KEYWORD', 'EOF') else None
return ReturnNode(expr)
def parse_expression(self):
node = self.parse_arithmetic()
while self.current().type == 'OP_COMP':
op = self.consume('OP_COMP').value
right = self.parse_arithmetic()
node = BinaryOpNode(node, op, right)
return node
def parse_arithmetic(self):
node = self.parse_term()
while self.current().type == 'OP_ARITH' and self.current().value in ('+', '-'):
op = self.consume('OP_ARITH').value
right = self.parse_term()
node = BinaryOpNode(node, op, right)
return node
def parse_term(self):
node = self.parse_factor()
while self.current().type == 'OP_ARITH' and self.current().value in ('*', '/', '%'):
op = self.consume('OP_ARITH').value
right = self.parse_factor()
node = BinaryOpNode(node, op, right)
return node
def parse_factor(self):
tok = self.current()
if tok.type == 'INTEGER':
self.pos += 1
return NumberNode(int(tok.value))
elif tok.type == 'FLOAT':
self.pos += 1
return NumberNode(float(tok.value), True)
elif tok.type == 'STRING':
self.pos += 1
return StringNode(tok.value)
elif tok.type == 'KEYWORD' and tok.value in ('true', 'false'):
self.pos += 1
return BooleanNode(tok.value == 'true')
elif tok.type == 'ID':
self.pos += 1
return VariableNode(tok.value)
elif tok.type == 'PUNCT' and tok.value == '(':
self.pos += 1
node = self.parse_expression()
self.consume('PUNCT', ')')
return node
raise SyntaxError(f"Unexpected factor: {tok.type} '{tok.value}'", tok.line, tok.col)